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.

I have this question for several days:

Let $X$ be a topological space and $X$ is Hausdorff. $C$ is an countable discrete subset of $X$. Then does there exist a disjoint family of open sets $\{U_x: x\in C\}$ of $X$ such that $x\in U_x$ for all $x\in C$?

My idea is this: Assume that $C= \{x_n:n\in N\}$. Induction on $N$. For $n=1$, for $C$ is discrete, we choose an open set $U_1$ such that only $x_1 \in U_1$; now we assume for n=k, we have got $\{U_i: i=1,2,...,k\}$ such that they are disjoint. When $n=k+1$, for $x_{n+1}$, because $X$ is Hausdorff, so I can choose an open set $U_{n+1}$ which disjoint with any $U_i$ for any $i=1,2,...k$. Therefore I can get such disjoint family.

Am I right? Thanks for any help.

share|improve this question
    
You forgot to use discreteness in choosing $U_{n+1}$. You want $x_m\not\in U_i$ for $m>i$, too. Then, countable choice seems to be used. –  Jonas Meyer Dec 29 '12 at 10:07
    
yes, i forget it. –  Paul Dec 29 '12 at 10:13
add comment

1 Answer

up vote 3 down vote accepted

Your argument does not work. Suppose that $X=\Bbb R$ and $C=\Bbb N$. You might take $U_0=(-1,1)$: this is an open nbhd of $0$ that does not contain any other member of $\Bbb N$, but no open nbhd of $1$ is disjoint from $U_0$.

In fact the result is false. Let $X=\Bbb Q\times\Bbb Q$, and let $C=\Bbb Q\times\{0\}$. Points of $X\setminus C$ are isolated. For $r>0$ and $q\in\Bbb Q$ let

$$B(q,r)=\big\{\langle q,0\rangle\big\}\cup\left\{\langle x,y\rangle\in X\setminus C:(x-q)^2+y^2<r^2\right\}\;;$$

$B(q,r)$ is what’s left of the usual open ball of radius $r$ centred at $\langle q,0\rangle$ after all of the $x$-axis except $\langle q,0\rangle$ has been removed. The sets $B(q,r)$ for $r>0$ are a local base at $\langle q,0\rangle$ in $X$.

It’s easy to check that $X$ with this topology is Hausdorff, and $C$ is certainly a countable discrete subset of $X$. ($C$ is even a closed discrete subset of $X$.) However, there is clearly no function $\varphi:\Bbb Q\to\Bbb R^+$ such that $\left\{B\big(q,\varphi(q)\big):q\in\Bbb Q\right\}$ is a pairwise disjoint family of open nbhds of the points of $C$.

share|improve this answer
add comment

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.