一般的度量空间上开集的构造

设 $(X,d)$ 是度量空间,$Y$ 是 $(X,d)$ 上的非空开集.则 $Y$ 可以表示成 $(X,d)$ 中互不相交的开球的并.

证明:由于 $Y$ 是 $(X,d)$ 上的非空开集,因此存在http://jaxedit.com/note/?10020