Proof that the boundary and the closure of a subset are closed.


by xman
Tags: boundary, closure, proof, subset
xman
xman is offline
#1
Sep11-06, 08:13 PM
P: 97
Hello,
I am currently working on proving the following theorem

The boundary [tex] \partial A [/tex] and the closure [tex] \overline{A} [/tex] of a subset A of [tex] \mathbb C[/tex] are closed sets.

Proof: Let [tex] A \subset \mathbb C.[/tex] We want to show the set [tex] \partial A \cap \overline{A} [/tex] is closed. To show that [tex] \partial A \cap \overline{A}[/tex] is closed, we will show that the complement of [tex] \partial A \cap \overline{A}[/tex] is open. So the complement of [tex]\partial A \cap \overline{A}[/tex] is the set of all points not in [tex] \partial A \cap \overline{A},[/tex] i.e. [tex] \mathbb C \sim (\partial A \cap \overline{A} ).[/tex] Since [tex] \overline{A} = A\cup \partial S[/tex] and the set [tex]\partial A \cap \overline{A}[/tex] contains all of its boundary points by definition of the intersection. So the complement of [tex] \partial A \cap \overline{A}[/tex] cannot contain any of its boundary points by the definition of the complement. Since the complement does not contain any points on its boundary, then the complement is open. Therefore, since the complement of [tex]\partial A \cap \overline{A}[/tex] is open then the set [tex]\partial A \cap \overline{A}[/tex] is closed.

I am really poor at doing proofs, any help, insight, or questions would be greatly appreciated. Please let me know. Thanks.
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
StatusX
StatusX is offline
#2
Sep11-06, 08:59 PM
HW Helper
P: 2,566
The boundary and the closure are both closed. Their intersection is also closed, but their intersection is just the boundary. So what are you trying to prove?
xman
xman is offline
#3
Sep11-06, 09:06 PM
P: 97
StatusX, thanks for the reply. I am trying to show the theorem:

Thm. The boundary [tex] \partial A[/tex] and the closure [tex] \overline{A} [/tex] of a subset [tex] A [/tex] of [tex] \mathbb C [/tex] are closed.

StatusX
StatusX is offline
#4
Sep11-06, 09:16 PM
HW Helper
P: 2,566

Proof that the boundary and the closure of a subset are closed.


Then why are you looking at their intersection? Also, what are you using as the definition of these terms?
xman
xman is offline
#5
Sep11-06, 09:29 PM
P: 97
I misunderstood the statement, I was thinking and = intersection. I realized that the minute I read your first post. I'm using the following definitions.

"z is an interior point of A if there exists an r>0 such that the open disk is contained in A."

The open set consists of the set of all points of a set that are interior to to that set.

The boundary point is so called if for every r>0 the open disk has non-empty intersection with both A and its complement (C-A).

The closure of a set A is the union of A and its boundary.

So I need to show that both the boundary and the closure are closed sets. So, to show the sets are closed, do I consider the complement of the boundary for both cases? I can see how the closure of A is closed, since its complement is what I was essentially arguing in my first post. I am a little unsure about just the boundary part.

Am I at least on the right track now?
StatusX
StatusX is offline
#6
Sep12-06, 08:48 AM
HW Helper
P: 2,566
Yes, the complement of the closure is the interior of the complement, so is open (prove this). Remember the intersection of closed sets is closed, so can you find a couple closed sets whose intersection is the boundary?
xman
xman is offline
#7
Sep12-06, 06:26 PM
P: 97
Thanks, StatusX. This is what I have. I know my proof isn't complete, I think I am having a problem with the boundary argument.

Let [tex] A \subset \mathbb C.[/tex] We want to show that [tex] \partial A [/tex] is closed and [tex] \overline{A} [/tex] is closed. To show that both the boundary and the closure are closed, we need to show that the complement of each is open. So first we will show that the boundary is closed and then we will show the closure is closed.

A point [tex] z\in \mathbb C[/tex] which for every r>0 there is an open disk [tex] \Delta(z,r)[/tex] which has a non-empty intersection with A and its complement [tex]\mathbb C\sim A[/tex] is said to be boundary point. Thus, the collection of all such points is the boundary. The complement of the boundary [tex]\mathbb C \sim \partial A[/tex] then cannot contain any points for which there exists an open disk who has a non-empty intersection with both A and [tex]\mathbb C\sim A.[/tex] Since the complement must have empty intersections with [tex]\mathbb C\sim A[/tex] and A this implies there exists an r>0 such that every open disk lies entirely inside the complement. Since for every point in the complement we can find an r>0 such that the open disk about that point lies entirely in the complement, then every point in the complement is an interior point to the complement. Since all points interior to the complement are interior points, then the complement is open. Since the complement of the boundary is open then the boundary is closed.

To show the closure of a subset of the complex plane is closed, we need to show that its complement is open. Since [tex]\overline{A}[/tex] contains all points in the union of A and its boundary [tex]\partial A[/tex] then the complement of the closure is all points outside of this union. Since the complement cannot contain any points in A then we need only worry about the boundary of A. By the previous paragraph we showed the boundary is closed. Since the complement cannot contain any points of A and the boundary is closed, then the complement of [tex]\overline{A}[/tex] is open. Since the complement of [tex]\overline{A} [/tex] is open then [tex]\overline{A}[/tex] is closed.

Let me know what you think.


Register to reply

Related Discussions
closed subset of a metric space Calculus 7
Closed subset of XxY? Calculus & Beyond Homework 4
Closure of A is the smallest closed set containing A Set Theory, Logic, Probability, Statistics 2
help~find the interior, boundary, closure and accumulation points of the following. Calculus 5
Proving that a certian subset of L^1([0,1]) is closed Calculus & Beyond Homework 2