PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] boundary of a closed set is nowhere dense (Derivation)

Let $A$ be closed. In general, the boundary of a set is closed. So it suffices to show that $\partial A$ has empty interior.

Let $U\subset\partial A$ be open. Since $\partial A\subset \overline{A}=A$ this implies that $U\subset A$ Since $\operatorname{int}(A)$ is the largest open subset of $A$ we must have $U\subset\operatorname{int}(A)$ Therefore $U\subset \partial A \cap \operatorname{int}(A)$ But $\partial A \cap \operatorname{int}(A)=(\overline{A}-\operatorname{int}(A))\cap\operatorname{int}(A)=\emptyset$ so $U=\emptyset$




"boundary of a closed set is nowhere dense" is owned by neapol1s.
(view preamble | get metadata)

View style:

Keywords:  nowhere dense, boundary

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: implies, open, interior, boundary, closed

This is version 1 of boundary of a closed set is nowhere dense, born on 2008-11-30.
Object id is 11290, canonical name is BoundaryOfAClosedSetIsNowhereDense.
Accessed 601 times total.

Classification:
AMS MSC54A99 (General topology :: Generalities :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)