In Euclidean space, the boundary of a subset (Closure - Interior) is always closed, but I would like to know when it's compact as well. Is it when the subset is bounded?
When is the boundary of a subset of $\mathbb{R^n}$ compact?
6
$\begingroup$
real-analysis
compactness
-
0@LeonidKovalev I see, thanks! – 2012-06-25
1 Answers
0
Community wiki answer-made-of-comments:
The boundary of a bounded set is itself bounded. By the Heine-Borel theorem, if a subset of the Euclidean space is bounded then its boundary is compact. – A. De Luca
Everything that others have said is true. I just want to add that the boundary of the complement of a bounded set is also bounded. After all, everything far out is then in the interior, and thus the boundary is still bounded + closed, and hence by Heine-Borel also compact. – Jyrki Lahtonen
In $\mathbb R^n$ with $n\ge 2$, the above two cases are exhaustive: the boundedness of $\partial A$ implies that either $A$ or $A^c$ is bounded. Not so in $n=1$. The key difference is the connectedness of $\mathbb R^n \setminus B(0,R)$. – Leonid Kovalev
-
0@palio: If the set is contained in some closed ball, so is its closure, and hence its boundary. – 2012-06-26