P空間(P一space)一類特殊的拓撲空間.設拓撲空間X是吉洪諾夫空間Y的子空間,{2}}是Y的一列開集族,若每個o}覆蓋X,並且對於任意二任X,有
其中}Gl(二)= U {v{二E V E U};,則稱{o}}是X在Y中的一個p構造.若X是吉洪諾夫空間,並且X在(3X中有p構造,則稱X為p空間,其中(3X是X的斯通一切赫緊化.切赫完備空間是p空間.X是p空間,若且唯若X在它的任意1'z緊化中具有p構造.P空間X在其任意1'z緊化中的外權不超過X的網路權(阿爾漢蓋路斯基外延基定理).在仿緊T:空間範圍內,p空間與M空間是一致的,這一結果是阿爾漢蓋路斯基(八pxaore}}mcxi-W , A.)與森田紀一(Morita , K.)分別獨立發現的.