User:Dfeuer/Compact Separable Perfect Hausdorff Space Cardinality

From ProofWiki
Jump to: navigation, search


Let $(X, \tau)$ be a compact separable perfect Hausdorff space.

Then $|X| \ge |2^{\aleph_1}|$.


Since $(X, \tau)$ is separable, it has a countable dense subset $D$.

$D$ is perfect when considered as a subspace:

Let $x \in D$, and let $U$ be a $\tau$-open neighborhood of $x$. Then $U$ contains an element $y \in X$, $y ≠ x$. Then $U \setminus \{x\}$ is a non-empty open set, so it must contain an element of $D$.

By Point in Finite Hausdorff Space is Isolated, $D$ is infinite.

Thus $D$ is countably infinite.

Then $D \times D$ is also countably infinite.

Let $A: D \times D \to \mathcal P(\tau \times \tau)$ be defined by letting $A(x,y)$ be the set of all ordered pairs $(A,B)$ of disjoint open sets such that $x \in A$ and $y \in B$.

By the Axiom of Countable Choice, there is a mapping $A': D \times D \to \tau \times \tau$ such that $a(x, y) \in A(x,y)$ for each $(x,y) \in D \times D$.

Let $U: D \times D \to \tau$ be $\operatorname{fst} \circ A'$.

Axiom of Countable Choice

This theorem depends on the Axiom of Countable Choice.

Although not as strong as the Axiom of Choice, the Axiom of Countable Choice is similarly independent of the Zermelo-Fraenkel axioms.

As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.


The outline of this proof is due to Asaf Karagila on StackExchange: Karagila's outline