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 Hausdorff 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

1 Answer 1

Your proof is correct. You only need the $T_1$ property.

share|improve this answer

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.