第2章 §24 导集闭集闭包.docxVIP

  • 3
  • 0
  • 约4.23千字
  • 约 8页
  • 2023-08-07 发布于辽宁
  • 举报
§2.4导集,闭集,闭包 本节重点: 熟练掌握凝聚点、导集、闭集、闭包的概念; 区别一个点属于导集或闭包的概念上的不同; 掌握一个点属于导集或闭集或闭包的充要条件; 掌握用“闭集”叙述的连续映射的充要条件. 如果在一个拓扑空间中给定了一个子集,那么拓扑空间中的每一个点相对于这个子集而 言“处境”各自不同,因此可以对它们进行分类处理. 定义2.4.1设X是一个拓扑空间,A^X.如果点xEX的每一个邻域U中都有A中异 于x的点,即Un(A-{x})^,则称点x是集合A的一个凝聚点或极限点.集合A的所 有凝聚点构成的集合称为A的导集,记作d (A) .如果xGA并且x不是A的凝聚点,即存 在x的一个邻域U使得U n(A-{x})=°,则称x为A的一个孤立点. 即:(牢记) x^d(A)=如司目1/「-[对)h 0 x^d(A) O =0 在上述定义之中,凝聚点、导集、以及孤立点的定义无一例外地都依赖于它所在的拓扑 空间的那个给定的拓扑.因此,当你在讨论问题时涉及了多个拓扑而又谈到某个凝聚点时, 你必须明确你所谈的凝聚点是相对于哪个拓扑而言,不容许产生任何混淆.由于我们将要定 义的许多概念绝大多数都是依赖于给定拓扑的,因此类似于这里谈到的问题今后几乎时时都 会发生,我们不每次都作类似的注释,而请读者自己留心. 某些读者可能已经在诸如欧氏空间中接触过刚刚定义的这些概念,但绝不要以为对欧氏 空间有效的性质,例如欧氏空间中凝聚点的性质,对一般的拓扑空间都有效.以下两个例子 可以帮助读者澄清某些不正确的潜在印象. 例2.4.1离散空间中集合的凝聚点和导集. 设X是一个离散空间,A是X中的一个任意子集.由于X中的每一个单点集都是开集, 因此如果xEX,则X有一个邻域{x},使得⑴一⑴)=°n』3),以上论证说 明,集合A没有任何一个凝聚点,从而A的导集是空集,即d(A)=0. 例2.4.2平庸空间中集合的凝聚点和导集. 设X是一个平庸空间,A是X中的一个任意子集.我们分三种情形讨论: 第1种情形:A=0 .这时A显然没有任何一个凝聚点,亦即 d (A) =0 .(可以参见定理2.4.1中第(1)条的证明.) 第2种情形:A是一个单点集,令A= {知}如果xEX,xN气,点x只有惟一的一个 邻域X,这时工房(网一⑴),所以(且-同工0 ;因此x是a的一个凝聚点, iPxGd(A).然而对于气的惟一邻域X有:裁(所以 d (A) =X-A. 第3种情形:A包含点多于一个.请读者自己证明这时X中的每一个点都是A的凝聚点, 即 d (A)=X. 定理2.4.1设X是一个拓扑空间,A^X.则 ⑴ d (°) =0; A5 蕴涵 d (A) u d (B); d (AUB)=d (A)Ud(B); d (d (A)) UAUd(A). 证明 (1)由于对于任何一点xGX和点x的任何一个邻域U, 有叩必5)*3戏㈣如㈣ 设 A^b.如果 “ * . :^0:.xed(B)这证明了 d (A)匚 d (B). 根据(2),因为 A,B 匚 AUB,所以有 d (A),d (B)匚 d (AUB),从而 d (A) Ud(B)匚 d (AUB). 另方面如果二# 另一万面,如果 (BUeU. 3U n(A-{x}) = 0 ]3^ e m ^n(5-(x}) = 0 ” s Dn(AuB-{x}) = Dn((A-(x))u(B 一{工})) =(D c (A - {x} )) u (D c 0 - {x} )) u (U c (A -(科))u V c 0 - 尊})) =0 二 Dc(A/-{x}) = 0^ x^d(AuB~)^d(AuB) u 心)项顷 综上所述,可见(3)成立?(这是证明一个集合包含于另一个集合的另一方法:要证 月匚月,只要证F件8 =对A即可.) 设: sUn(A-{x}) = 0 m 矿匚 U^^n(A-{x}) = 0 v x^A,^7nA = 0 ^\fy^yr^A-{y}) = ^-V^T,:.V^Uy:.y^d{A), nd(A) = 0「Vc(d(A)—{x}) = 0 即(4 即(4)成立. 定义2.4.2设X是一个拓扑空间,A^X.如果A的每一个凝聚点都属于A,即d (A) 匚A,则称A是拓扑空间X中的一个闭集. 例如,根据例2.4.1和例2.4.2中的讨论可见,离散空间中的任何一个子集都是闭集, 而平庸空间中的任何一个非空的真子集都不是闭集. 定理2.4.2设X是一个拓扑空间,AUX.则A是一个闭集,当且仅当A的补集次 是一个开集. 证明 必要性:设A是一个闭集 Vxe A,: d(4) c A E吏 d{A)m WwS m 一 {町)=0 「切 cH = ?= 充分性:设: A^Tyx^A,x^Al,Al^UK

文档评论(0)

1亿VIP精品文档

相关文档