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

$(X,\mathcal T)$ is a topological space and $A$ is dense in it and for each dense $B$, we have: $$B\subseteq A\to B=A$$ Is $X$ finite?

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

What if $\tau$ is the indiscrete topology, that is, $\tau=\{\varnothing,X\}$? Now every singleton is dense in $X$. Thus, if $A=\{x_0\}$ and $B$ is dense in $X$ with $B\subseteq A$, we have $B=A$.

share|cite|improve this answer
I like your's as well! and was quite surprised to see it (temporarily) disappear. – arjafi Apr 9 '13 at 11:23

Not necessarily. If $( X , \mathcal{T} )$ is a discrete space, then $X$ is the only dense subset. So any infinite discrete space will be a counterexample.

share|cite|improve this answer
+$1$ I like your counterexample! – Clayton Apr 9 '13 at 11:13

Any infinite topological space of Cantor-Bendixson rank one without condensation points is an example: the set of isolated points is a minimal dense subset.

For instance, take a sequence $(x_n)$ in a metric space with finitely many limit points $y_1,...,y_m$. Then $X= \{x_n \mid n \geq 0 \} \cup \{y_1,...,y_m\}$ and $A= \{x_n \mid n \geq 0\}$ is an example.

Other examples are ordinals less than $\omega_1$.

share|cite|improve this answer

Your Answer


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