General Topology – Topological Boundary vs Manifold Boundary of Embedded Manifolds

differential-geometrydifferential-topologygeneral-topology

Suppose I embed a manifold-with-boundary $M$ in some $\mathbb{R}^n$. Are there conditions (necessary, sufficient, or both) that can help determine when the topological boundary of $M$ is equal to the manifold boundary?

By "topological boundary," I'm referring to $\text{Bd } M$, which is the closure minus the interior (relative to $\mathbb{R}^n$).

By "manifold boundary," I mean the boundary $\partial M$ that is specified in the definition of "manifold-with-boundary."

Best Answer

If you embed a smooth $m$-manifold $M$ smoothly in $\mathbb{R}^n$ then the "topological boundary" of $M$ is the closure of $M$. As locally each point of $M$ has a neighbourhood in $\mathbb{R}^n$ where $M$ looks like $\mathbb{R}^m$, then no point of $M$ is interior.

When $m=n$ and $M$ is compact then, yes (at least in the smooth case) the topological and manifold boundaries coincide.

I expect the above hold for topological embeddings but won't swear to it; they need not be locally flat (see nasties like the Alexander horned sphere),