定理 16.2 (闭域套定理)
设 ∣ D n ∣ \left|D_{n}\right| ∣Dn∣ 是 R 2 \mathbf{R}^{2} R2中的闭域列, 它满足:
- (i) D n ⊃ D n + 1 , n = 1 , 2 , ⋯ D_{n} \supset D_{n+1}, n=1,2, \cdots Dn⊃Dn+1,n=1,2,⋯;
- (ii) d n = d ( D n ) , lim n → ∞ d n = 0 d_{n}=d\left(D_{n}\right), \lim \limits_{n \rightarrow \infty} d_{n}=0 dn=d(Dn),n→∞limdn=0,
则存在惟一的点 P 0 ∈ D n , n = 1 , 2 , ⋯ P_{0} \in D_{n}, n=1,2, \cdots P0∈Dn,n=1,2,⋯.
证
任取点列 P n ∈ D n , n = 1 , 2 , ⋯ P_{n} \in D_{n}, n=1,2, \cdots Pn∈