这两周着重阅读了P58-63,整理一下学习成果
拓扑与拓扑空间
定义1:集合 的一个拓扑是 的子集的一个族 ,它满足以下条件:
- (平凡开集性质).
- (任意并封闭性) 的任意子族的元素的并在 中.
- (有限交封闭性) 的任意有限子族的元素的交在 中.
定义2:一个指定了拓扑的集合 叫拓扑空间.
为什么要这么定义呢?
在 上,我们有邻域的概念:
给定一个点 和一个半径 ,则 的一个 邻域为:
每个 且 ,其实可以看作一个更抽象的“邻域”,它没有半径,只是规定了哪些元素在这个“邻域”里面,在拓扑学中,我们把这样的邻域 称为“开集”
再看拓扑的三个性质,类比到邻域的概念上:
- 平凡开集性质其实就是令 的特殊情况.对于空集,这是为了保证有限交封闭性成立,因为这些集合的交可能是空集.
- 任意并封闭性说明一些邻域(或者说开集)的并也是另一个点的邻域,在 上这很好证明,请读者自行证明.
- 有限交封闭性很有意思,为什么只有有限个开集的交是封闭的呢?
我们来看一个反例:
我们取一系列开区间
,其中
运用一点数分知识(可以类比区间套定理的证明过程,但是要注意区间套定理的区间是闭区间,而这里是开区间),不难发现
很明显, 不是一个邻域,,因为它不满足 ,它只是一个单点集.
拓扑的基
我们已经知道,是一个向量空间,其中所有元素能表示为基底的线性组合(高中生朋友们请代入平面向量基本定理).
这很方便,因为我们可以用k个向量和k个实数表示空间中的所有向量,在研究其它向量的时候,将它表示为基底的线性组合能大大方便我们的研究.
那么拓扑呢?它是否也有这样的“基底?”
答案是有的
定义3: 拓扑空间 中,拓扑的一个基是满足以下条件的的子集族:
- (覆盖性)对于每个,至少有一个 使得.
- (交兼容性)若有 且 ,则有且.
定义4:若任给一个 且,存在一个 ,使得 ,那么是的开集,所有这样的 构成的族称为由 生成的拓扑.
为什么我们断言,由定义4生成的 一定是一个拓扑呢?
证明1:
这里加入一个小小的引理
引理1.1:拓扑的基的所有元素都是开集.
证明1.1:这很好证明,任给一个 且 ,根据覆盖性,显然我们有 ,且显然 ,根据定义4, 是一个开集,所以.
让我们来根据拓扑的定义逐条验证:
我们先来验证平凡开集性质:
- 根据拓扑的基的覆盖性,我们能在 中找到 中的所有元素,且 中没有中没有的元素,因此, ,根据引理1, 都是开集,那么根据拓扑的并封闭性,它们的并 也是开集,所以.
- 拓扑的基并不包含空集,但是如果我们令定义4中的 ,对于 中任意元素, 也成立,因为没有这样的 .这是一个虚真论断.(不懂的可以看原书P5)因此 也是开集.
验证并封闭性:
- 我们任取取 中的一些元素,为何不是呢?因为拓扑有可能是不可数的.这里要注意,我们只取了 中的一些元素而不是全部元素.我们要证明的是总是存在 使得其可以表示为.
- 下面开始正式证明:我们令 ,那么 中的每一个元素都能找到一个使得.显然,是一个开集,那么根据定义4,我们有.
- 由于,显然有,因为是一系列 的交.让我们简化一下,.根据这个结论,结合定义4,我们可以得出 是开集.
验证有限交封闭性:
- 我们选取任意的 ,那么根据定义4,一定有.根据交兼容性,存在使得. 由于分别是 的子集,.(实际上这一步十分令人费解,至少是对我而言,如果理解不了建议多看看书上的图13.3.)
- (1)由此,一定有 ,使得. 这是因为根据引理1.1,是一个开集,而开集不能有原集合以外的元素.到这里,根据定义4, 是一个开集.
- (2)我们设,现在我们证明,对于有限交 ,
- 我们注意任意,由于相交的两个集合是开集,那么根据(1)中的结论,是开集,即(2)式中相邻两项的交集仍然是开集.
- 这样,(2)中的式子长度可以被缩减到一半,如果是奇数项则向上取整.因为相邻两项的交仍然是开集.这样一直重复缩减,我们可以把所有的项缩成一个项,而它仍然是开集.由此,可以得到是开集.
由此,我们验证了确实是一个拓扑,证毕.
先讲这么多吧,后面的几个引理下周再说
不想上晚自习