M空间(M-space),是一类特殊的拓扑空间.设X为拓扑空间.称X为M空间,若存在X的开覆盖列{定云了,}满足: 1.对于任意i产丫汁1是哪的星加细. 2.对于任意二EX与任意i,二E ('(二),点列{二}在X中有聚点. 空间X是M空间,当且仅当X是某度量空间在拟完全映射下的原像.X是仿紧M空间,当且仅当X是某度量空间在完全映射下的原像.M空间不是有限可积的,但可数多个仿紧M空间的积空间是仿紧M空间.若X同时是M空间与a空间,则X是可度量化的. [1] 参考资料 1. 数学辞海(第二卷)