1
$\begingroup$

Let $\Omega$ be an open subset of $\mathbb R^n$, with $\Omega \neq \emptyset$ and $\Omega \neq \mathbb R^n$.

Can you give an example where $\partial\Omega \neq \partial\bar{\Omega}$, and how can one exclude this situation?

  • 3
    a) disk minus a radius; b) assume that the boundary is a smooth surface.2012-05-24

1 Answers 1

5

Take any open subset $G \subsetneq \mathbb{R}^n$ nonempty. Pick $x\in G$. Let $\Omega = G\setminus \{x\}$ which is clearly open. Clearly $x\in \partial\Omega$ but $x\not\in\partial\bar{\Omega}$.

A necessary and sufficient condition to rule this out is to require that $\partial\Omega = \partial\left( \bar\Omega^c\right)$. In other words, it suffices that every neighborhood of any point $y\in \partial\Omega$ contains a point $z$ in the interior of the complement of $\Omega$.

If you just want sufficient conditions:

  • As Leonid alluded to it suffices that $\partial\Omega$ is a smooth surface
  • in fact it being a Lipschitz hypersurface would also do.
  • Otherwise you may require $\Omega$ to be convex
  • or that $\partial\Omega$ satisfies an exterior cone condition.

Do you have an application in mind?