0
$\begingroup$

It is a very intuitive question, actually is very trivial... I have to show that $S\,'\!\subset \overline{S}$.

Using the definition of limit point ,we have :

$\forall \epsilon>0, \big(]x- \epsilon ,x+\epsilon[\;\cap\; S\big)\setminus \{x\} \neq \emptyset$

But, also, the definition of closure is

$\forall \epsilon>0, \big(] x- \epsilon ,x+\epsilon [\;\cap\; S\big) \neq\emptyset$

So, every limit point is also a closure point. Is that right?

How could I write it? That is being my problem: I know it, it's quite obvious by the definition, but I can't write it in a proper way...

I say that limit point is a subset of closure because "it is the closure minus a point"?

(I'm sorry my stupidity...)

  • 0
    I use it too.but in this notation i thought that would be too much parentheses...that´s it.2012-06-27

2 Answers 2

0

A point $x$ belongs to the closure $\bar S$ if each neighborhood of $x$ intersects $S$ in at least one point $y$. A point $x$ belongs to the set $S'$ if each neighborhood of $x$ intersects $S$ in at least one point $y$ which is different from $x$. Therefore obviously $S'\subset \bar S$.

How can we characterize possible points $x\in \bar S\setminus S'\,$? Every neighborhood of such a point intersects $S$ all right, but there is at least one neighborhood $U$ of $x$ for which $U\cap S$ contains no $y\ne x$; so this intersection is exactly $=\{x\}$. This is to say that $x\in S$, and $x$ is an isolated point of $S$.

Therefore your statement that $S'$ "is the closure minus a point" is not correct as it stands: The set $S'$ is the "closure of $S$ minus the isolated points of $S$".

0

I think your explanation is pretty good, but if you want another idea I'd propose the following: if $\,x\notin\overline{S}\,$ then there exists $\,\epsilon >0\,\,s.t.\,\,(x-\epsilon\,,\,x+\epsilon)\cap S=\emptyset\Longrightarrow x\notin S'\,$ , by sheer definition of the derived set.