A compact F-space with noncoinciding dimensions (Q408575): Difference between revisions

By a compact space we mean a compact Hausdorff space. The author proves that there is a compact \(F\)-space of weight \({\mathfrak c}^+\) with \(\text{Ind}X=2\) and closed subspaces \(X_0\) and \(X_1\) such that \(X=X_0\cup X_1\) and \(\text{Ind}X_0=\text{Ind}X_1=1\). This implies that \(\dim X=1\), and, from the construction, it is clear that \(\text{ind}X=2\). It is well known that for every compact space \(X\), \(\dim X\leq \text{ind}X\leq \text{Ind}X\), and \(\dim X=0\) if and only if \(\text{ind}X=0\) if and only if \(\text{Ind}X=0\). \textit{K. P. Hart} and \textit{J. van Mill} [Topology Appl. 158, No. 18, 2512--2519 (2011; Zbl 1234.54040)] proved under the Continuum Hypothesis that for every compact \(F\)-space \(X\) of weight \({\mathfrak c}\), \(\dim X=\text{ind}X=\text{Ind}X\). It is open whether this is a theorem in ZFC. The author's result shows that this cannot be generalized to compact \(F\)-spaces of larger weight.