• Support PF! Buy your school textbooks, materials and every day products Here!

Set Theory (Proof)

  • Thread starter CornMuffin
  • Start date
  • #1
67
5

Homework Statement



The boundary [tex]\partial E [/tex] of a set E if defined to be the set f points adherent to both E and the complement of E,
[tex] \partial E=\overline{E}\bigcap \overline{(X\backslash E)}[/tex]

Show that E is open if and only if [tex] E \bigcap \partial E [/tex] is empty. Show that E is closed if and only if [tex]\partial E \subseteq E [/tex]

I did the first part, but I need help with the second part.

Homework Equations





The Attempt at a Solution


Assume E is closed, then [tex] E = \overline{E}[/tex] and its complement is open
so, [tex] (X\backslash E) \subset \overline{(X\backslash E)}[/tex] and [tex]\overline{(X\backslash E)} [/tex]
(contains points in X but not in X\E)
So, [tex]E\bigcap \overline{(X\backslash E)}=\overline{E} \bigcap \overline{(X\backslash E)}[/tex] is non empty and every point in [tex]\overline{E} \bigcap \overline{(X\backslash E)} [/tex] is in E since [tex]E=\overline{E} [/tex]
So, [tex]\partial E \subseteq E[/tex]

But I am having trouble going in the other direction
 
Last edited:

Answers and Replies

  • #2
140
0
I've seen this question before. Are you working out of the metric space chapter in Gamelin and Greene's "Intro to Topology?" That's the only place I've ever seen "adherent points."

You're trying to prove

[tex] \partial E \subset E \Rightarrow E=\overline{E}[/tex]?

I got this by looking at the contrapositive. We know that if the closure is the set of all adherent points, then a set is always a subset of its own closure, correct? Then the contrapositive would look like

[tex] \overline{E} \not\subset E \Rightarrow \partial E \not\subset E[/tex].

Try taking it from there. Perhaps there is a direct method of proof, but the contrapositive was the first route that popped into my head.
 

Related Threads for: Set Theory (Proof)

  • Last Post
Replies
6
Views
552
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
3
Views
794
  • Last Post
Replies
12
Views
3K
  • Last Post
Replies
3
Views
978
  • Last Post
Replies
4
Views
1K
Top