Edit: In the comment below, Emil Jeřábek points out that my proof is wrong. But I'll leave this answer here for posterity.
Here's a partial answer to the Stone space question. The answer is yes for metrizable Stone spaces: if XcongX+X+X then XcongX+X. I assume you're using + to denote coproduct of topological spaces.
Proof: Write I(X) for the set of isolated points of a topological set X. (A point is isolated if, as a singleton subset, it is open.) Then I(X+Y)congI(X)+I(Y) for all X and Y. So, supposing that Xcong3X, we have I(X)cong3I(X). But X is compact, so I(X) is finite, so I(X) is empty. Hence X is a compact, metrizable, totally disconnected space with no isolated points. A classical theorem then implies that X is either empty or homeomorphic to the Cantor set. In either case, XcongX+X.
I guess metrizability of the Stone space corresponds to countability of the corresponding Boolean ring.
The topological theory of Stone spaces is more subtle in the non-metrizable case, if I remember correctly.
No comments:
Post a Comment