definition of chart half ball around point on \(C^\infty\) manifold with boundary
Topics
About: \(C^\infty\) manifold
The table of contents of this article
- Starting Context
- Target Context
- Orientation
- Main Body
- 1: Structured Description
- 2: Natural Language Description
- 3: Note
Starting Context
- The reader knows a definition of chart on \(C^\infty\) manifold with boundary.
Target Context
- The reader will have a definition of chart half ball around point on \(C^\infty\) manifold with boundary.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( M\): \(\in \{\text{ the } d \text{ -dimensional } C^\infty \text{ manifolds with boundary }\}\)
\( p\): \(\in M\)
\(*H_p\): \(\in \{\text{ the open neighborhoods of } p \text{ on } M\}\)
//
Conditions:
\(\exists (H_p \subseteq M, \phi_p) \in \{\text{ the charts on } M\} \)
\(\land\)
\(\phi_p (H_p) \in \{\text{ the open half balls around } \phi_p (p) \text{ on } \mathbb{H}^d\}\)
//
2: Natural Language Description
For any \(d\)-dimensional \(C^\infty\) manifold with boundary, \(M\), and any point, \(p \in M\), any open neighborhood of \(p\), \(H_p \subseteq M\), such that there is a chart, \((H_p \subseteq M, \phi_p)\), and \(\phi_p (H_p) \subseteq \mathbb{H}^d\) is an open half ball around \(\phi_p (p)\)
3: Note
There is no chart half ball around \(p\) when \(p\) is an interior point: \(\phi_p (H_p)\) is required to be centered at \(\phi_p (p)\), but \(\phi_p (p)\) is mapped to an interior point of \(\mathbb{H}^d\), so, \(\phi_p (H_p)\) is not regarded to be any half ball.
There is always a chart half ball around \(p\) when \(p\) is a boundary point, by the proposition that for any \(C^\infty\) manifold with boundary, each interior point has a chart ball and each boundary point has a chart half ball.
It can be called also "chart open half ball around \(p\) on \(M\)", but of course, each chart domain is known to be an open subset.
