The smallest basically disconnected preimage of a space (Q5903130): Difference between revisions

The author shows that for every completely regular Hausdorff space X there exists the smallest basically disconnected space \(\Lambda\) X which has a canonical perfect irreducible mapping onto X; i.e. there exists a perfect irreducible mapping \(\Lambda\) : \(\Lambda\) \(X\to^{onto}X\) such that for every perfect irreducible mapping \(g: Y\to^{onto}X\), where Y is basically disconnected, there exists a continuous mapping \(h: Y\to^{onto}\Lambda X\) such that \(g=\Lambda \circ h\). In the first stage of the construction the author proves that the space \(\Lambda_ 1X\) consisting of all prime prime-z-filters which are generated by open ultrafilters is homeomorphic to X iff X is basically disconnected. Next the space \(\Lambda\) X is constructed as an inverse limit of a continuous inverse sequence \(\{\Lambda_{\alpha}X,\Lambda^{\alpha}_{\beta}\); \(\beta <\alpha <\omega_ 1\}\), where \(\Lambda_{\alpha +1}X=\Lambda_ 1(\Lambda_{\alpha}X)\) for every \(\alpha <\omega_ 1\). From the existence of the space \(\Lambda\) X it follows that for every locally compact basically disconnected space X there exists the smallest basically disconnected compactification BX.