定义223设X,)是-个扬外空间加果存在X的一个 度量货得补是腹量0桥导科未的栖分，周X, 一个阿度化空铜