# Closed set

• Sep 23rd 2011, 09:00 AM
dwsmith
Closed set
If a subset of a top. space is closed, then it contains all its limit points.

So I need to show that if $A\subset X$ is closed then $A=\bar{A}$.

Since A is closed, $X-A$ is open. Also, $\bar{A}=A\cup A'$

A' is the set of all limit points of A.

I am not sure if this helps, but

$X-\bar{A}=X-(A\cup A')=(X-A)\cup (X-A')$
• Sep 23rd 2011, 10:23 AM
Drexel28
Re: Closed set
Quote:

Originally Posted by dwsmith
If a subset of a top. space is closed, then it contains all its limit points.

So I need to show that if $A\subset X$ is closed then $A=\bar{A}$.

Since A is closed, $X-A$ is open. Also, $\bar{A}=A\cup A'$

A' is the set of all limit points of A.

I am not sure if this helps, but

$X-\bar{A}=X-(A\cup A')=(X-A)\cup (X-A')$

I'm confused, you're trying to prove that if $A$ is closed then $\overline{A}=A$ where $\overline{A}$ is DEFINED to be $A\cup A'$? Well, isn't $A'\subseteq A$ so that trivially $A\cup A'=A$?
• Sep 23rd 2011, 10:43 AM
dwsmith
Re: Closed set
Quote:

Originally Posted by Drexel28
I'm confused, you're trying to prove that if $A$ is closed then $\overline{A}=A$ where $\overline{A}$ is DEFINED to be $A\cup A'$? Well, isn't $A'\subseteq A$ so that trivially $A\cup A'=A$?

No. The limit points don't have to to be in A.
• Sep 23rd 2011, 11:09 AM
Plato
Re: Closed set
Quote:

Originally Posted by dwsmith
The limit points don't have to to be in A.

They must belong to A if A is closed.
In the OP you wrote: if $A$ is closed then $A=\overline{A}$.

Note that one way of defining $\overline{A}$ as the smallest closed set that contains $A$.
• Sep 23rd 2011, 11:23 AM
dwsmith
Re: Closed set
I think there is an issue. The also part is clarifying notation not part of the statement to prove.
• Sep 23rd 2011, 11:33 AM
Plato
Re: Closed set
Quote:

Originally Posted by dwsmith
I think there is an issue. The also part is clarifying notation not part of the statement to prove.

A\subset X[/TEX] is closed then $A=\bar{A}$. Since A is closed,
Because $X\setminus A$ is open then by definition of limit point, all $A'\subseteq A$.