第四百零七章 博雷尔集集合论
11起初数学家定义（非负实值）外测度。
12空间是空虚混沌；数学家的目光流转在集合上。
13数学家说：“要有非负集函数。”
。
就有了非负集函数。
14数学家看空集是好的，就把空集和非空集分开了。
15数学家让空集的函数值一定为0有起点，这是头一条。
16数学家说：“并集的值一定要包含它在任意集合的所有部分对应值之和所控制。”
17数学家就造出可数次可加性（顺带连通性）。
事就这样成了。
18数学家感觉对外测度满意了，是第二条。
19数学家说：“好的集合一定要能够把每个集合分为两部分，使得这两部分的外测度加和与原集合相等。”
事就这样成了。
110数学家称这样为可测的，称其它集合为不可测的。
数学家看着是好的。
111数学家说：“所有可测的集合会形成一个结构，我们称这种结构为σ代数。”
事就这样成了。
112于是数学家定义了σ代数，并验证了可测集组成一个σ代数。
这样的做法符合公理化原则。
数学家看着是好的。
113有可测集，有不可测集，是第三条。
114数学家说：“空间有意义，需要拓扑，可以谈开闭集。
115开集都要可测才好。”
事就这样成了。
116于是数学家造了一个包含所有开集的最小σ代数，称其为Borel代数。
117就把大数中的元素称为Borel集。
标在空间中。
118所有开集有测度，则必然可以延拓到Borel集上。
数学家看着是好的。
119有拓扑，赋测度，是第四条。
……
本章未完，点击下一页继续阅读