【第二章 习题27】
凝点定义:度量空间 X X X中的点 p p p叫做 E ⊂ X E \subset X E⊂X的凝点,假如 p p p的每个邻域含有 E E E的不可数无穷多个点。
设 E ⊂ R k E \subset R^{k} E⊂Rk且 E E E不可数。命 P P P为 E E E的所有凝点的集,证明 P P P完全,并且 E E E中最多有可数多个点不在 P P P中。换句话说,证明 P c ∩ E P^{c} \cap E Pc∩E最多可数。
【证明】
设 { V n } \left\{ V_{n} \right\} {Vn}是 R k R^{k} Rk的可数基,设 V i ′ ∈ { V n } V_{i}^{'} \in \{ V_{n}\} Vi′∈{Vn},且满足 E ∩ V i ′ E \cap V_{i}^{'} E∩Vi′至多可数。令
W = ∪ i = 1 n V i ′ W = \cup_{i = 1}^{n}V_{i}^{'} W=∪i=1nVi′
- P = W c P = W^{c} P=Wc,也即 P c = W P^{c} = W Pc=W
a) P c ⊂ W P^{c} \subset W Pc⊂W
设 y ∈ P c y \in P^{c} y∈Pc,与凝点的特性相反, y y y的某邻域 W y W_{y} Wy与 E E E的交集至多含有可数多个点。而 W y W_{y} Wy可由至多可数多个 V i ′ V_{i}^{'} Vi′的并集组成,也就是 y y y必在某个 V i ′ V_{i}^{'} Vi′中。
b) P c ⊃ W P^{c} \supset W Pc⊃W
设 y ∈ W y \in W y∈W,不妨设 y ∈ V i ′ y \in V_{i}^{'} y∈Vi′,则 y y y的某邻域 W y W_{y} Wy在 V i ′ V_{i}^{'} Vi′中,由于 E ∩ V i ′ E \cap V_{i}^{'} E∩Vi′至多可数,也就是 E ∩ W y E \cap W_{y} E∩Wy至多可数。从而 y y y不是 P P P的凝点,所以 y ∈ P c y \in P^{c} y∈Pc。
- P c ∩ E P^{c} \cap E Pc∩E最多可数
根据1的结论
P c ∩ E = W ∩ E = E ∩ ( ∪ i = 1 n V i ′ ) = ∪ i = 1 n ( V i ′ ∩ E ) P^{c} \cap E = W \cap E = E \cap \left( \cup_{i = 1}^{n}V_{i}^{'} \right) = \cup_{i = 1}^{n}\left( V_{i}^{'} \cap E \right) Pc∩E=W∩E=E∩(∪i=1nVi′)=∪i=1n(Vi′∩E)
由于 V i ′ ∩ E V_{i}^{'} \cap E Vi′∩E至多可数,所以 ∪ i = 1 n ( V i ′ ∩ E ) \cup_{i = 1}^{n}\left( V_{i}^{'} \cap E \right) ∪i=1n(Vi′∩E)至多可数,也就是 P c ∩ E P^{c} \cap E Pc∩E最多可数。
- P P P完全
由于 P = W c P = W^{c} P=Wc,而 W W W是开集,所以 P P P是闭集。
下面证明 P P P中每个点都是极限点,也就是 P P P不含孤立点。利用反证法,假设 P P P含有孤立点 x x x,即 x x x的某个邻域 W x W_{x} Wx内没有其它凝点。该邻域扣掉该凝点后, W x − { x } W_{x} - \left\{ x \right\} Wx−{x}仍然为开集。该开集中没有凝点,是至多可数个数的 V n V_{n} Vn的并集,且每个 V n V_{n} Vn不含凝点,也就是满足 V n ∩ E V_{n} \cap E Vn∩E至多可数。所以 ( W x − { x } ) ∩ E \left( W_{x} - \left\{ x \right\} \right) \cap E (Wx−{x})∩E至多可数,从而 W x ∩ E W_{x} \cap E Wx∩E至多可数,但这与 x ∈ P x \in P x∈P是凝点矛盾。
综上 P P P是闭集且不含孤立点,所以 P P P是完全集。