初学阶段理解可能存在错误,望指正
- My confuse
#1:度量空间中的开集跟拓扑空间中的开集有什么不同?
度量空间中开集的定义:
设A是度量空间的一个子集,如果A中的每个点都有一个球形邻域包含于A,则称A是度量空间X中的一个开集。
度量空间中开集的性质:
1.集合本身和空集都是开集;
2.任意两个开集的交是一个开集;
3.任意一个开集族的并是开集。
所以以前学的 在R上开区间是开集是指在度量空间R上 开区间是开集 闭区间不是开集。
然而,拓扑空间不一定是度量空间,所以度量空间上的开集不一定是拓扑空间上的开集,也就是说,有可能在定义了某个拓扑的R上,开区间不是开集,闭区间却成了开集。
拓扑空间中对开集的描述,是先定义什么是拓扑:
X是一个集合,T是X的一个子集族,若T满足:
1.集合X本身和空集都是T的元素;
2.T中任意两个元素的交也是T的元素;
3.T中任意元素的并也是T的元素。
则T是X的一个拓扑。
此外T的每一个元素都叫做拓扑空间X的一个开集。
发现度量空间中开集的性质跟拓扑空间中T中元素的性质是一样的(将T视作拓扑空间中全体开集的集合)。
这样的话,定义空间的一个拓扑实际上就是规定空间上的所有开集是哪些。在不同的规定下,开集就不一样,而在拓扑空间中,开集的规定只要符合那三条性质就可以了。
综上我认为度量空间中的开集与拓扑空间中的开集在内容上差的很多,没什么对应,但与同空间(同一度量下或者同一拓扑下)的其他开集之间的关系是一样的。
#2.拓扑空间中的离散空间 与 离散的度量空间 之间是什么关系?