稠密集

维基百科,自由的百科全书
跳转至: 导航搜索

拓扑学数学的其它相关领域,给定拓扑空间X及其子集A,如果对于X中任一点xx的任一邻域A交集不为空,则A称为在X稠密。直观上,如果X中的任一点x可以被A中的点很好的逼近,则称AX稠密

等价地说,AX稠密当且仅当X中唯一包含A闭集X自己。或者说,A闭包X,又或者A的补集的内部空集

度量空间中的稠密集[编辑]

度量空间(E,d)中,也可以如下定义稠密集。当X的拓扑由一个度量给定时,在XA闭包\overline{A}AA中元素的所有数列极限(它的极限点)的集合的并集,

\overline{A} = A \cup \{ \lim_n a_n : \forall n \ge 0, \ a_n \in A \}

那么当

 \overline{A} = X

AX中是稠密的。

注意 A \subseteq \{ \lim_n a_n : \forall n \ge 0, \ a_n \in A \}。如果\{U_n\}是一个完备度量空间X中稠密开集上的序列,则\cap^{\infty}_{n=1} U_nX上依然稠密。这个事实与贝尔纲定理中的一个形式等价。

例子[编辑]

参见[编辑]

參考文獻[编辑]