Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the following statement

$(C_2)$: For every set $X$ there exists a compact Hausdorff topology on $X$.

$C_2$ is a theorem of $ZFC$, because Choice gives us a bijection between any infinite set and the successor ordinal of the cardinality of the set, and any successor ordinal is compact and Hausdorff in its order topology.

Question: Is $C_2$ a theorem of $ZF$?

share|cite|improve this question
up vote 9 down vote accepted

$ZF$ already proves $C_2$. Given a nonempty set $X$, pick a point $p$ in $X$ and declare a set to be open if it either does not contain $p$ or is cofinite. $ZF$ proves this topology to be compact and Hausdorff.

share|cite|improve this answer
Thanks! I didn't realise there was such a simple answer. This makes the original formulation of the question overly complicated so I edited it to make it more useful to the readers. – LostInMath Sep 26 '11 at 15:22
This is called "the one point compactification" of a discrete space $X \setminus \{p\}$. – GEdgar Sep 26 '11 at 17:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.