补充资料：完全化(一致空间X的)

完全化(一致空间X的)
pace X] ' completion (of a uniform

　　完全化(一致空间X的)[~pleti佣(of au‘匆n”sPa理X);一(脚圈扣Me少目m 11碑比lp匆砚TaaX)] 分离完全一致空间(co帅lete uniform spaCe)X，存在一致连续映射i:X~X，使得对任何从X到分离完全一致空间y的一致连续映射f，存在唯一的一致连续映射g:戈~Y，使得f=901.子空间i(x)在戈中稠密，且X中近域在ixi下的象是i(X)中的近域;它们在XxX中的闭包组成X中近域的基本系.如果X是可分离的，则i是单射(容许X和i(X)等同).子空间AC=X的分离完全化同构于i(A)C=X的闭包.一致空间的积的分离完全化同构于在积中作为因子的空间的分离完全化的积. X存在性的证明实际上推广了从有理数集到实数集的Cantor构造.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。