设X={xn}是可分度量空间V有可数稠密子集,V1是V的任意一个非空子空间,d是度量.
由于X在V中稠密,所以对任意的k>=1,V=U{n>=1}B(xn,1/k),这里U表示取并集,B(xn,1/k)表示中心为xn半径为1/k的球
从而V1=V1∩V=V1∩(U{n>=1}B(xn,1/k))=U{n>=1}{B(xn,1/k)∩V1}
在每一个非空的B(xn,1/k)∩V中取一个元素记作znk,这样的znk至多可数个,它们构成一个集合记作Z,则Z就是V1的可数稠密子集.事实上,对任意的k>=1,任取V1中元素x,由于V1=U{n>=1}{B(xn,1/(2k))∩V1},所以存在n>=1使得x∈B(xn,1/(2k))∩V1,由于B(xn,1/(2k))∩V1非空,所以znk是存在的,因此d(x,znk)