稠密集

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP




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


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




目录





  • 1 度量空间中的稠密集


  • 2 例子


  • 3 参见


  • 4 參考文獻




度量空间中的稠密集


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



A¯=A∪limnan:∀n≥0, an∈Adisplaystyle overline A=Acup lim _na_n:forall ngeq 0, a_nin AoverlineA = A cup lim_n a_n : forall n ge 0, a_n in A

那么当



A¯=Xdisplaystyle overline A=X overlineA = X

AX中是稠密的。


注意A⊆limnan:∀n≥0, an∈Adisplaystyle Asubseteq lim _na_n:forall ngeq 0, a_nin A A subseteq lim_n a_n : forall n ge 0, a_n in A 。如果Undisplaystyle U_nU_n是一个完备度量空间X中稠密开集上的序列,则∩n=1∞Undisplaystyle cap _n=1^infty U_ncap^infty_n=1 U_nX上依然稠密。这个事实与贝尔纲定理中的一个形式等价。



例子


  • 每一拓扑空间是其自身的稠密集。


  • 有理数域和无理数域是实数域中的稠密集(在通常拓扑意义下)。

  • 度量空间Mdisplaystyle MM是其完备集γMdisplaystyle gamma Mgamma M中的稠密集。


参见



  • 可分空间:存在可数稠密集的空间。


  • 无处稠密集:意如其文。


參考文獻


.mw-parser-output .refbeginfont-size:90%;margin-bottom:0.5em.mw-parser-output .refbegin-hanging-indents>ullist-style-type:none;margin-left:0.mw-parser-output .refbegin-hanging-indents>ul>li,.mw-parser-output .refbegin-hanging-indents>dl>ddmargin-left:0;padding-left:3.2em;text-indent:-3.2em;list-style:none.mw-parser-output .refbegin-100font-size:100%


  • Nicolas Bourbaki. General Topology, Chapters 1–4. Elements of Mathematics. Springer-Verlag. 1989 [1971]. ISBN 3-540-64241-2. 


  • Steen, Lynn Arthur; Seebach, J. Arthur Jr., Counterexamples in Topology Dover reprint of 1978, Berlin, New York: Springer-Verlag, 1995 [1978], ISBN 978-0-486-68735-3, MR507446 


Popular posts from this blog

泉州府

大跃进

马相伯