Boundary of an open set in R2 is a limit point?


by dumbQuestion
Tags: boundary, limit, point
dumbQuestion
dumbQuestion is offline
#1
Feb19-13, 10:26 PM
P: 126
I have kind of a simple point set topology question. If I am in ℝ2 and I have a connected open set, call it O, then is it true that all points on the boundary ∂O are limit points of O? I guess I'm stuck envisioning as O as, at least homeomorphic, to an open disk of radius epsilon. So it seems obvious that any points on the boundary would be limit points. But is that true in general?
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
WannabeNewton
WannabeNewton is offline
#2
Feb19-13, 11:13 PM
C. Spirit
Sci Advisor
Thanks
WannabeNewton's Avatar
P: 4,938
Let [itex]U\subseteq \mathbb{R}^{n}[/itex] be connected and open and non empty. [itex]p\in \partial U[/itex] if and only if every neighborhood of [itex]p[/itex] contains both a point in [itex]U[/itex] (and in [itex]\mathbb{R}^{n}\setminus U[/itex] but we don't care about that here). Let [itex]p\in \partial U[/itex] and assume there exists a neighborhood [itex]V[/itex] of [itex]p[/itex] in [itex]\mathbb{R}^{n}[/itex] such that [itex]V\cap U = \left \{ p \right \}[/itex] (we know of course that [itex]U\supset \left \{ p \right \}[/itex]). This implies [itex]\left \{ p \right \}[/itex] is a non - empty proper clopen subset of [itex]U[/itex] which is a contradiction because [itex]U[/itex] is connected. Thus, [itex]p[/itex] is a limit point of [itex]U[/itex].
dumbQuestion
dumbQuestion is offline
#3
Feb20-13, 12:14 AM
P: 126
thank you very much!

WannabeNewton
WannabeNewton is offline
#4
Feb20-13, 12:20 AM
C. Spirit
Sci Advisor
Thanks
WannabeNewton's Avatar
P: 4,938

Boundary of an open set in R2 is a limit point?


Quote Quote by dumbQuestion View Post
thank you very much!
Should work for any Hausdorff connected space and not just euclidean space as far as I can see. Was there a particular reason for this question or did it just pop into your head for fun or something= D? Cheers!
jgens
jgens is offline
#5
Feb20-13, 09:25 AM
P: 1,623
Quote Quote by WannabeNewton View Post
Let [itex]U\subseteq \mathbb{R}^{n}[/itex] be connected and open and non empty. [itex]p\in \partial U[/itex] if and only if every neighborhood of [itex]p[/itex] contains both a point in [itex]U[/itex] (and in [itex]\mathbb{R}^{n}\setminus U[/itex] but we don't care about that here). Let [itex]p\in \partial U[/itex] and assume there exists a neighborhood [itex]V[/itex] of [itex]p[/itex] in [itex]\mathbb{R}^{n}[/itex] such that [itex]V\cap U = \left \{ p \right \}[/itex] (we know of course that [itex]U\supset \left \{ p \right \}[/itex]). This implies [itex]\left \{ p \right \}[/itex] is a non - empty proper clopen subset of [itex]U[/itex] which is a contradiction because [itex]U[/itex] is connected. Thus, [itex]p[/itex] is a limit point of [itex]U[/itex].
Unfortunately this does not work since open sets will not contain their boundary points. Luckily that observation gives us a way to fix the proof. All we now have to note is that the boundary point condition implies that every nbhd of p non-trivially intersects U - {p} = U.
WannabeNewton
WannabeNewton is offline
#6
Feb20-13, 09:41 AM
C. Spirit
Sci Advisor
Thanks
WannabeNewton's Avatar
P: 4,938
Quote Quote by jgens View Post
Unfortunately this does not work since open sets will not contain their boundary points.
Totally missed that detail haha. Maybe the OP didn't mean to say open but another class of subsets because he was trying to use connectedness explicitly. Anyways, I gotta go to class now so cheers!


Register to reply

Related Discussions
Is boundary of A open? Calculus & Beyond Homework 4
1D wave equation open boundary Differential Equations 3
Open Boundary Reflection. Classical Physics 0
boundary of open set always zero measure? Calculus 6
plasma : open boundary conditions Classical Physics 0