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

Given a space $X$ and $C \subset X$, we say that $C$ is strongly discrete if there exists a disjoint family $\{U_x: x\in C\} $ of open sets in $X$ such that $x\in U_x$ for all $x\in C$. The question is this:

How to show any convergent sequence is strongly discrete in Hausdorff space?

Thanks ahead.

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

We have to take $C$ which consists only of the terms of the sequence (not the limit $x_{\infty}$, otherwise it won't work). We can assume that $x_i\neq x_j$ if $i\neq j$. For $i,j\in\Bbb N\cup_{\infty}$, $i\neq j$, we can find disjoint open sets $O_{i,j}$ and $O'_{i,j}$ such that $x_i\in O_{i,j}$, $x_j\in O'_{i,j}$.

For all $i\in\Bbb N$, we can find $N_i\in\Bbb N$ such that $x_j\notin O_{i,\infty}$ if $j\geq N_i$. We can assume $N_i>i$. Then take $U_i:=\bigcap_{k=1}^{N_i}O_{ik}$: it's an open set. These ones are disjoint.

share|cite|improve this answer
So: the correct statement seems to be: let $x_n \to x_{\infty}$ be a convergent sequence in a Hausdorff space. Then $C = \{x_n : n \in \mathbb{N}\} \setminus \{x_\infty\}$ is strongly discrete. An easy counterexample to the statement in the question is $x_0 = 0$ and $x_n = 1/n$ for $n \geq 1$. – commenter Oct 28 '12 at 9:37

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.