On the homogeneity of dyadic compact Hausdorff spaces
type: Item
instance of: scholarly article
title: On the homogeneity of dyadic compact Hausdorff spaces
zbMATH Open document ID: 0849.54014
DOI: 10.1007/BF01210425
published in: Mathematical Notes
publication date: 1994-11-16T00:00:00Z
review text: \textit{B. A. Efimov} [Tr. Mosk. Mat. O.-va 14, 211-247 (1965; Zbl 0163.17202), p. 233] posed the following question: Does there exist a zero-dimensional homogeneous dyadic compact Hausdorff space that is not homeomorphic to \(D^\tau\)? \textit{V. V. Pashenkov} [Sov. Math., Dokl. 15, 43-47 (1974); translation from Dokl. Akad. Nauk SSSR 214, 44-47 (1974; Zbl 0301.54024)] constructed for each uncountable cardinal \(\tau\) a zero-dimensional homogeneous dyadic compact Hausdorff space of weight \(2^\tau\) that is not homeomorphic to the Cantor cube. But Efimov's question for the space of weight \(\omega_1\) remained open. \textit{M. Bell} had established under the assumption of CH that a zero-dimensional homogeneous dyadic compact Hausdorff space of weight \(\omega_1\) is homeomorphic to \(D^{\omega_1}\). Under the assumption of \(\text{MA}+ \neg\text{CH}\), the author has cited the proof of the same result and expressed the hope of the existence of a ``naive'' solution. This solution was soon obtained and presented at the Aleksandrov Seminar at the Moscow State University. The present paper is devoted to the presentation of this result and those similar to it. (During preparation of this article, the author heard from M. Bell that he also had obtained a ``naive'' proof of the above statement.) The fundamental results results of the paper are Theorem 4. Let \(X\) be a homogeneous dyadic compact Hausdorff space of weight \(\omega_1\). Then \(X\) is a Dugundji space. Theorem 5. Let \(X\) be a dyadic compact Hausdorff space. If the space \(\mathbb{P} (X)\) of probability measures on \(X\) is homogeneous, then \(\mathbb{P} (X)\) is homeomorphic either to \(\mathbb{I}^{\omega_0}\) or to \(\mathbb{I}^{\omega_1}\). These results are obtained using the concept of a point of bicommutativity (Def. 2) and an existence theorem for such points in limit diagrams of morphisms of spectra (Theorem 1).
Mathematics Subject Classification ID: 54D30
Mathematics Subject Classification ID: 54A25
zbMATH DE Number: 687525
zbMATH Keywords: Cantor cube
zbMATH Keywords: homogeneous dyadic compact Hausdorff space
zbMATH Keywords: Dugundji space
zbMATH Keywords: point of bicommutativity
author: Leonid B. Shapiro
MaRDI profile type: Publication
cites work: Q3914041
cites work: Q4110321
full work available at URL: https://doi.org/10.1007/bf01210425
OpenAlex ID: W2319285814
description: scientific article; zbMATH DE number 687525