Compact spaces with a \(\mathbb{P}\)-diagonal (Q297979)

In this interesting paper, the authors prove that every compact space with a \(\mathbb{P}\)-diagonal is metrizable. Here \(\mathbb{P}\) denotes the space of irrational numbers. The property of a \(\mathbb{P}\)-diagonal arose in the study of the geometry of topological vector spaces. The proof of the above result is based on a Baire Category type result for the Cantor cube \(2^{\omega_1}\) of which the authors note that it would be interesting to see whether there is a more direct argument for it. It is then completed by showing that no compact space that can be mapped continuously onto \(2^{\omega_1}\) has a \(\mathbb{P}\)-diagonal.