1
$\begingroup$

If every infinite subset has a limit point in a metric space $X$, then $X$ is separable (in ZF)

Yesterday, i posted this question and got an answer that 'Limit Point Compact⇒Separable' is unprovable in ZF.

As you can see, the proof in the link is done by the fact that there could be an infinite set which doesn't have a countable subset. I accepted the equivalence as an consequence of AC and continued my study.

However, most of spaces in classical analysis are Dedekind-infinite(i.e. $X≧|\aleph_0|$) as far as i know, and i have no idea how to prove this in ZF.(Since the way of my argument i tried today is exactly the same as the one i tried yesterday, that is, i can't make a countable choice).

I want to prove this if possible, or know whether it is unprovable. Help

1 Answers 1

2

Take the same space as JDH suggested, and embed it into $[0,1]$, now add to that the interval $[2,3]$.

This set is Dedekind infinite and limit point compact, but it is not separable for obvious reasons.


I couldn't find anywhere a particular account for the exact consistency strength needed for this sort of statement. However if there are no infinite D-finite sets then the assertion "Every infinite set has an accumulation point" is equivalent to that of "Every sequence has a convergent subsequence"

I have a hunch that this too is not enough to prove that $X$ is separable.

Generally speaking, though, there is a plethora of statements about metric spaces and compactness, Lindelof-ness and such, all which are equivalent to countable choice. I would not be surprised if this turns out to be equivalent to the axiom of countable choice as well, but I don't have much time nowadays to sit and tackle this problem on my own.

  • 0
    I am not an intuitionist at all. My research is about the axiom of choice, but my meta-theory is usually ZFC (+large cardinals when needed).2012-08-09