| 完备空间是本身的第二纲集 |
| |
| 引用本文： | 黄鸿文.完备空间是本身的第二纲集[J].内蒙古师范大学学报(教育科学版),1994(Z1). |
| |
| 作者姓名： | 黄鸿文 |
| |
| 作者单位： | 赤峰教育学院 |
| |
| 摘 要： | 文1]提出,任一完备空间是第二纲的(俗称纲定理)而未给出证明令初学者费解.本文首先谈谈完备空间的一个充要条件,接着对纲定理加以论述,并给出一个判定稀疏集的条件.本文所采用的符号可参阅2]文3]指出,完备空间内的闭集本身构成完备的子空间.由此,我们可以得到如下完备空间的一个充要条件.定理1(X,ρ)为完备空间的充要条件是:若(?)_n为X的闭子集,当(?)_1≥(?)_2≥…≥(?)_n≥…且dia (?)_n→0时,(?)(?)_n为单点集.n=1,2,….证明(?)从每个(?)_n内取一点x_n∈(?)_m由于limdia(?)_n=0,则{x_m}为Cauchy序列.因为X是完备空间,故X中的任一Cauchy序列都收敛,即limx_m=x_0存在.巳知(?)_n为闭集.故x_0∈(?)_n且(?)(?)_n不空,n=1,2,….若又有y_0∈(?)(?)_n,则ρ(x_0,y_0)≤limdia(?)_n=0,于是x_0=y_0,(?)记A_1={x_m}_(n=1,2,…);A_2={x_n}_(n=2,3,…);A_k={x_m)_(m=k,k+1,…),…并令(?)_n=(?)_m,则(?)_m为闭集,且(?)_1≥(?)_2≥…≥(?)_m≥….显然dis(?)_m=diaA_m→0,于是由题设,(?)x_0∈(?)(?)_m,从而就有Lim(x_0,x_m)→0,即{x_m}在X内有极限.定义1 若A≤x在(X,ρ)内的任一非空开集内无处稠密,对非空开集G有(?)(?)G,称A在X内稀疏.由此不难证明如下命题.
|
| 本文献已被 CNKI 等数据库收录！ |
|
