- 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)