Interior Points, Boundary Points, and Boundary of a Smooth Manifold with Boundary

definitionGeometryTopologyMultivariable Calculus

Interior Points, Boundary Points, and Boundary of a Smooth Manifold with Boundary

definitionGeometryTopologyMultivariable Calculusdef:boundary-smooth-manifold-with-boundary-2026a
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Publish the interior and boundary point definition for smooth manifolds with boundary.

Let MM be a smooth manifold with boundary of dimension nn in the sense of \ref{def:smooth-manifold-with-boundary-2026a}, and let pMp\in M. We say that pp is an interior point of MM if there exists a chart (U,φ)(U,\varphi) in the chosen atlas with pUp\in U and

φ(p)int(Hn),\varphi(p)\in \operatorname{int}(H^n),

where HnH^n is the half-space from \ref{def:closed-upper-half-space-euclidean-2026a}. We say that pp is a boundary point of MM if there exists a chart (U,φ)(U,\varphi) in the chosen atlas with pUp\in U and

φ(p)Hn.\varphi(p)\in \partial H^n.

The set of all boundary points of MM is denoted by

M\partial M

and is called the boundary of MM. The set of all interior points is denoted by

int(M).\operatorname{int}(M).
Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

ChatGPT-5.4 · primaryAaron · coauthor

Citations

Loading…

Comments

Loading…