2
$\begingroup$

Let $X$ be a metric space. Furthermore, let $E$ be an open subset of $X$. Then, the complement of $E$, or all members of $X$ that are not in $E$, is closed, or contains all of its limit points. I understand this to be true locally around $E$.

However, why is this true when taking into account $X$ entirely. For instance, could there not exist a limit point of $X$ which is not a limit point of $E$? What if there is a point not in $E$ "distant" from $E$ which is a limit point of $X$ but not in $X$? Then, $E$ would still be open, but its complement would not be closed.

  • 0
    @Santiago: I think the question should be rephrased to take what you point out into account!2012-01-01

2 Answers 2

3

Subsets being open or closed would very much depend on the space. The real numbers are open, and closed, in the space $\mathbb R$; in the space $\mathbb C$, however, it is a closed set which is not open.

So the a set $E$ which is open in $X$ is such set that $X$ can recognize all those not in $E$ as a closed set.

Consider the set $(0,1)$ which is open in $\mathbb R$, and also in $\mathbb Q$. However $\dfrac{1}{\sqrt 2}$ is not a rational number, so it is a limit point of $(0,1)\cap\mathbb Q$ which $\mathbb Q$ does not know about, and therefore does not care for.

  • 0
    @Hassan: If $X$ is a topological space then in itself $X$ is both open and closed. In particular, the topological space of the real numbers thinks of itself as both an open set as well as a closed set. The complex numbers, however, do not agree that it is open but only that it is closed.2012-01-01
0

The complement of any open subset of $X$ is a closed subset of $X$. This is often taken to be the definition of a closed subset. Any limit point of $X$ is a point of $X$ (since $X$ is the essentially the entire universe you are working in), so if a limit point is not in $E$ then it must be in its complement.