3
$\begingroup$

I have the feeling I'm missing something obvious, but here it goes...

I'm trying to prove that for a subset $A$ of a topological space $X$, $\overline{\overline{A}}=\overline{A}$. The inclusion $\overline{\overline{A}} \subseteq \overline{A}$ I can do, but I'm not seeing the other direction.

Say we let $x \in \overline{A}$. Then every open set $O$ containing $x$ contains a point of $A$. Now if $x \in \overline{\overline{A}}$, then every open set containing $x$ contains a point of $\overline{A}$ distinct from $x$. My problem is: couldn't $\{x,a\}$ potentially be an open set containing $x$ and containing a point of $A$, but containing no other point in $\overline{A}$?

(Also, does anyone know a trick to make \bar{\bar{A}} look right? The second bar is skewed to the left and doesn't look very good.)

$\endgroup$
  • 3
    $\begingroup$ You can try and prove two separate things that will let you conclude that: $(1)$ $\operatorname{cl} A$ is closed. $(2)$ If $A$ is closed, then $\operatorname{cl} A = A$. The fact that ${\operatorname{cl} ({\operatorname{cl} A})}=\operatorname{cl} A$ then follows at once. $\endgroup$ – Pedro Tamaroff Jul 20 '12 at 2:10
4
$\begingroup$

How do you define the closure of a set $A$? If it's not already your definition, it might be a useful thing to prove that the closure of a set is precisely the intersection of all closed sets containing it.

$\endgroup$
  • $\begingroup$ Which is, the smallest closed set containing it... $\endgroup$ – Temitope.A Jul 20 '12 at 9:43
3
$\begingroup$

The condition you want to check is \[ x \in \bar A \quad \Leftrightarrow \quad \text{for each open set $U$ containing $x$, $U \cap A \neq \emptyset$} \] This definition implies, among other things, that $A \subset \bar A$. Indeed, with the notation above we always have $x \in U \cap A$. Is it clear why this implies the remaining inclusion in your problem?

If you instead require that $U \cap (A - \{x\}) \neq \emptyset$ then you have defined the set $A'$ of limit points of $A$. We have $\bar A = A \cup A'$. Simple examples such as $A = \{0\}$ inside of $\mathbb R$, for which $\bar A = A$ but $A' = \emptyset$, can be helpful in keeping this straight.

$\endgroup$
  • $\begingroup$ Most topological properties, by the way, have a lot of equivalent forms. Learning the different definitions of the closure listen on Wikipedia can really save you work — Kris' hint, for example, would give maybe the quickest proof possible of the inclusion that you already did. $\endgroup$ – Dylan Moreland Jul 20 '12 at 2:13
2
$\begingroup$

Suppose $x\in\overline{\overline{A}}$. Let $U$ be an open set containing $x$; we want to show that $U\cap A\neq\varnothing$. We know that $U\cap\overline{A}\neq\varnothing$, so there exists $y\in \overline{A}$ such that $y\in U$. But since $U$ is an open set that contains $y$ and $y\in\overline{A}$, then...

$\endgroup$
  • $\begingroup$ then $\overline{A} = A$? $\endgroup$ – Guerlando OCs May 30 '16 at 0:02
0
$\begingroup$

A set is closed iff every convergent sequence in the set has its limit in that set. The closure operation adds a set's limit points to the set. A closed set already contains its limit points, so repeating the operation doesn't change the answer (idempotent).


For Example:

The sequence 1/n; 0 < n < inf goes like this..

1, 1/2, 1/3, 1/4, ... , 1/465674564, ...

It's limit is 0, which is not part of the sequence, so closure would add the 0.

NOTE - The above example is just meant to illustrate how closure works. As far as I know, this sequence is not a subset of any metric space.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.