穆尔空间是拓扑学中的一种拓扑空间。设{2l}是拓扑空间X的开覆盖列.对任意二EX,
定义
设n≥1,π为
阿贝尔群。连通
CW复形X=M(π,n)若满足
则称M(π,n)为穆尔空间。
性质
度量空间必是穆尔空间。
概念
穆尔空间(Moore space)一类拓扑空间。设{2l}是拓扑空间X的开覆盖列.对任意二EX,记
若族{哪(二)>1i E N}都是二的局部基,则称{}}}; )是x的展开列。具有展开列的空间称为可展空间。正则的可展空间称为穆尔空间。
历史背景
穆尔空间是琼斯(Jones , F. B.)于1937年命名的。正规的穆尔空间可否度量化问题至今尚未全部解决。冯·道文(van Douwen,E. K.)于1977年举出大量不可度量化的穆尔空间的例子。琼斯于1937年曾指出正规穆尔空间是完全正规的.