1. 拓扑空间从开集公理到直观理解第一次接触拓扑空间这个概念时我完全被那些抽象的定义搞晕了。直到有一天我把拓扑空间想象成一个橡皮泥宇宙才突然明白了它的本质。拓扑空间的核心不是具体的形状而是研究变形过程中保持不变的特性。比如橡皮泥可以拉伸、扭曲但不能撕裂或粘合这种柔性几何的特性正是拓扑学研究的内容。严格来说给定集合X上的拓扑τ是X的子集族满足三个条件空集和X本身都在τ中任意多个开集的并仍是开集有限个开集的交仍是开集举个生活中的例子假设X代表一个城市的所有地点我们可以定义一个开集是指不包含其边界的区域比如市中心5公里范围内但不包括5公里边界整个城市和不存在的地点空集自然都是开集任意多个这样的区域合并还是开集有限个这样的区域重叠部分也是开集这种结构让我们可以严格定义附近、连续等概念。有趣的是同一个集合可以有不同的拓扑。比如在实数线上通常拓扑开区间及其任意并离散拓扑所有子集都是开集平凡拓扑只有空集和全集是开集2. σ代数测度论的基石σ代数与拓扑空间看似相似实则大不相同。我第一次混淆这两个概念时在概率论作业中犯了不少错误。σ代数的本质是可测量集合的框架它为定义长度、面积、体积、概率等测度概念提供了基础。σ代数Σ对集合X的子集有以下要求空集和X在Σ中对补集封闭A∈Σ ⇒ A^c∈Σ对可数并封闭关键区别在于拓扑强调附近概念σ代数强调可测概念拓扑对任意并封闭σ代数只对可数并封闭σ代数必须对补集封闭拓扑则不需要举个实际应用的例子在概率论中样本空间Ω的所有可能事件构成一个σ代数如果Ω是实数集Borel σ代数就是包含所有开区间的最小σ代数这保证了概率测度的良好定义性3. Borel集合连接拓扑与测度的桥梁Borel集合是我觉得最精妙的概念之一——它完美连接了拓扑和测度这两个看似独立的世界。Borel σ代数是包含拓扑中所有开集的最小σ代数。换句话说先取一个拓扑空间的所有开集然后补充必要的集合使其成为σ代数这样得到的σ代数就是Borel σ代数在实数线上所有开区间(a,b)都是Borel集闭区间[a,b]也是可表示为∩(a-1/n,b1/n)单点集{a}也是∩[a,a1/n]有理数集Q也是可数并的单点集一个有趣的特性虽然Borel σ代数很大但它仍然比所有实数子集的集合小得多。这引出了我们接下来要讨论的康托集。4. 康托集违反直觉的经典反例康托集是我见过最神奇的反例之一。第一次学习时我完全无法理解一个测度为零的集合怎么能包含不可数个点让我们一步步构建这个神奇的对象构造过程从[0,1]区间开始去掉中间1/3的开区间(1/3,2/3)在剩下的两个区间中各自去掉中间的1/3无限重复这个过程最终剩下的点构成康托集C它具有以下惊人性质测度为0因为去掉的总长度是1/32/94/27...1不可数可以与二进制无限序列一一对应完全不连通没有任何区间处处不稠密最令人惊讶的是虽然康托集是勒贝格可测的测度为0但它不是Borel集这是因为它的构造方式太病态了无法通过可数次的集合运算从开集得到。这个例子完美展示了测度论中可测比Borel可测更广泛的概念。在实际应用中康托集类型的结构出现在分形几何中某些动力系统的奇异吸引子信号处理中的间断点分析理解这些抽象概念的最好方法就是动手构造例子。比如尝试构造一个既开又闭的集合或者验证某个集合族是否满足σ代数条件。我在学习过程中发现用具体的小有限集比如X{1,2,3}来验证定义特别有帮助。