definition of \(r\)-open-half-ball chart around point on \(C^\infty\) manifold with boundary
Topics
About: \(C^\infty\) manifold
The table of contents of this article
Starting Context
- The reader knows a definition of chart on \(C^\infty\) manifold with boundary.
Target Context
- The reader will have a definition of \(r\)-open-half-ball chart 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 }\}\)
\( m\): \(\in M\)
\( r\): \(\in \{r' \in \mathbb{R} \vert 0 \lt r'\}\)
\(*(H_{m, r} \subseteq M, \phi_m)\): \(\in \{\text{ the charts around } m \text{ on } M\}\)
//
Conditions:
\(\phi_m (H_{m, r}) = H_{\phi_m (m), r} \subseteq \mathbb{H}^d\) where \(H_{\phi_m (m), r}\) is the open half ball centered at \(\phi_m (m)\) with the radius \(r\)
//
2: Note
There is no \(r\)-open-half-ball chart around \(m\) when \(m\) is an interior point: \(\phi_m (H_{m, r}) = H_{\phi_m (m), r}\) is required to be centered at \(\phi_m (m)\), but \(\phi_m (m)\) is mapped to an interior point of \(\mathbb{H}^d\), so, \(\phi_m (H_{m, r})\) does not satisfy the requirement even if it is an \(r\)-open half ball (which will not be centered at \(\phi_m (m)\)).
There is always an \(r\)-open-half-ball chart around \(m\) for any positive \(r\) when \(m\) is a boundary point, by the proposition that for any \(C^\infty\) manifold with boundary, each interior point has an \(r\)-open-ball chart and each boundary point has an \(r\)-open-half-ball chart for any positive \(r\).
