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 want to prove that, if $(X, \tau)$ is Hausdorff and $A\subseteq X$ is non empty then $A'$ the set of accumulation points is closed in $X$.

My reasoning:

$x \in X \setminus A' \rightarrow \exists\ U \subseteq X $ s.t. $x\in U$, $U$ is open and $U \cap A \subseteq \{x\} $

Now by Haussdorf condition, $\{x\}$ is closed and hence $(X\setminus \{x\}) \cap U = U\setminus \{x\}$ is open as well.

Let $y \in U$ if $y\not = x $ then $y\in U\setminus \{x\}$ and $U\setminus \{x\} \cap A = \emptyset$

so $y\in X\setminus A'$ hence, as $x \in X\setminus A'$,

$U\subseteq X\setminus A'$ and $X\setminus A'$ is open, giving the result.

Now, I am not completely sure, I do not think I used the Hausdorff condition fully as I only needed the first separation axiom (implied by Hausdorff) ...

What do you think? thanks!

share|improve this question
    
It looks fine; all you need is $T_1$. –  Brian M. Scott Nov 23 '12 at 15:36
    
ah ok thank you! it seemed strange that they gave me more than i needed! –  Moritzplatz Nov 23 '12 at 15:51
1  
It’s quite common to deal only with Hausdorff spaces, even when less separation is sufficient. –  Brian M. Scott Nov 23 '12 at 15:54

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.