|
|
|
|
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)
| Keywords: |
nowhere dense, boundary |
This object's parent.
|
|
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 MSC: | 54A99 (General topology :: Generalities :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|