*可分的

separable

简介

可度量化的拓扑空间E称为可分的，如果存在E的可数稠子集P. 例如，数轴是可分的. 更确切地，有理数集是R中的可数稠子集.

更一般地，对任一非零自然数n，数值空间Rn及Cn都是可分的.

为使可度量化空间E可分，必须且只须E的拓扑有可数基.

为使可度量化的拓扑向量空间E可分，必须且只须E有可数的完全子集. 由此得出结论： 分析中常用的函数空间大都是可分的、

可度量化拓扑空间的子集称为可分的，如果作为拓扑子空间来说是可分的.

拓展资料