Manifold with boundary
= Manifold with boundary
A smooth manifold with boundary has charts in the half-space $\{x_n\geq0\}\subseteq\mathbb R^n$, with smoothly compatible transition maps. The boundary is the locus modeled on $x_n=0$.
= Manifold with boundary
A smooth manifold with boundary has charts in the half-space $\{x_n\geq0\}\subseteq\mathbb R^n$, with smoothly compatible transition maps. The boundary is the locus modeled on $x_n=0$.