We prove a necessary condition
for a (compact, Hausdorff) space to be dyadic (= image of product of 2-point
spaces):
Theorem. Let Y be a dyadic space of weight m, and let r be a cardinal number
less than m. Then X has a dyadic subspace of weight r.
It may be observed (with the aid of Corollary 2, below) that this theorem is a
stronger and more general version of a result published in a previous paper by the
author [this Journal, 28 (1969), 173–182; Lemma III.6.]
|