可度量化拓扑线性空间

metrizable topological linear space