Take the 2-minute tour ×
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.

It is just an idea (might be wrong) but, i think that if a Hausdorff space, say $X$, contains too many elements, then a countable subset cannot be dense in it.

Does there exist a cardinality that any space with that (or bigger) cardinality cannot have a countable dense subset?

Thanks.

share|improve this question
    
If $X$ is a non-empty set equipped with the trivial topology, any singleton will be dense in it, so you should probably require $X$ to be Hausdorff, to make the question more interesting. –  Dejan Govc Mar 23 at 22:56
    
Of course, thanks. I edited the question. –  ThePortakal Mar 23 at 22:59
5  
See this answer. –  tetori Mar 23 at 23:06

2 Answers 2

up vote 19 down vote accepted

The maximum possible cardinality of a separable Hausdorff space is $2^{2^{\aleph_0}}$.

Let $X$ be a separable Hausdorff space and let $A$ be a countable dense subset of $X$. Define a function $f:X\to\mathcal P(\mathcal P(A))$ by setting $f(x)=\{B\subseteq A:x\in\overline{B}\}$. Using the fact that $X$ is Hausdorff, it's easy to see that $f$ is injective, whence $|X|\le|\mathcal P(\mathcal P(A))|\le2^{2^{\aleph_0}}$. (The Hausdorff separation axiom cannot be replaced by T$_1$ here; an arbitrary set with the minimal T$_1$ topology is a separable T$_1$-space.)

The product of continuum many separable spaces is separable. In particular, then, the product of $2^{\aleph_0}$ copies of the discrete space $\{0,1\}$ is a separable compact Hausdorff space of cardinality $2^{2^{\aleph_0}}$.

The Stone-Čech compactification of $\mathbb N$ is another famous example of a separable compact Hausdorff space of cardinality $2^{2^{\aleph_0}}$.

share|improve this answer

Consider a arbitrary set $S$ with the indiscrete topology: the only open sets are $\emptyset$ and $S$. Then even a one-point set is dense in $S$.

share|improve this answer
    
OP edited the question to rule out this example; the space must now be Hausdorff. –  MJD Mar 23 at 23:30

Your Answer

 
discard

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.