定理2.6.1一个度量空间中的 所有球形邻域构成的集族是这个度 量空间作为拓扑空间时的一个基. 注：(1)实数空间R中所有的开区间 构成的集族是它的一个基。 (2)离散空间中所有单点集构成 的族是它的一个基定理2.6.1 一个度量空间中的 所有球形邻域构成的集族是这个度 量空间作为拓扑空间时的一个基． 注:(1)实数空间 R 中所有的开区间 构成的集族是它的一个基. (2)离散空间中所有单点集构成 的族是它的一个基