Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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


The paper says "Compact metric space is separable" is unprovable in ZF$^0$( That is, ZF without axiom of regularity).

And i know "Limit point compact" does not imply "separable" in ZF

I searched for it, but couldn't find whether "Compact metric space $\Rightarrow$ Separable"

Is it provable in ZF?

Thank you in advance

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

It is an exercise in Herrlich The Axiom of Choice, E.9 p. 85.

The statement that every compact metric space is separable is equivalent to that of "countable sum of compact metric spaces are separable".

The latter is not provable without the axiom of choice, because if there is a countable set of pairs whose union is a Dedekind-finite set (i.e. a Russell set) then each of the pairs is a compact metric space with the discrete topology, but the union is not a separable space.

The exercise itself is referred from:

K. Keremedis and E. Tachtsis. Countable sums and products of metrizable spaces in ZF. Math. Logic Quart. 51:95–103, 2005.

share|cite|improve this answer
Then, is "$K$ is Compact in separable metric space $\Rightarrow$ $K$ is separable" provable? I can only show that it has a countable base. – Katlus Dec 16 '12 at 14:23
@Katlus: I want to say yes, but I'm not 100% sure. It might be possible to produce some counterexample, but I'm not sure about that either. – Asaf Karagila Dec 16 '12 at 14:36

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.