703: r-Open-Half-Ball Chart Around Point on C∞ Manifold with Boundary

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of $r$-open-half-ball chart around point on $C^{\mathrm{\infty }}$ manifold with boundary

---

Topics

About: $C^{\mathrm{\infty }}$ manifold

---

The table of contents of this article

• Starting Context
• Target Context
• Orientation
• Main Body
• 1: Structured Description
• 2: Note

---

Starting Context

• The reader knows a definition of chart on $C^{\mathrm{\infty }}$ manifold with boundary.

---

Target Context

• The reader will have a definition of $r$-open-half-ball chart around point on $C^{\mathrm{\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}^{\mathrm{\infty }}\text{ manifolds with boundary }\}$
$m$: $\in M$
$r$: $\in \{r^{\prime }\in \mathbb{R}|0<r^{\prime }\}$
$\ast (H_{m,r}\subseteq M,{\varphi }_m)$: $\in \{\text{ the charts around }m\text{ on }M\}$
//

Conditions:
${\varphi }_m(H_{m,r})=H_{{\varphi }_m(m),r}\subseteq {\mathbb{H}}^d$ where $H_{{\varphi }_m(m),r}$ is the open half ball centered at ${\varphi }_m(m)$ with the radius $r$
//

---

2: Note

There is no $r$-open-half-ball chart around $m$ when $m$ is an interior point: ${\varphi }_m(H_{m,r})=H_{{\varphi }_m(m),r}$ is required to be centered at ${\varphi }_m(m)$, but ${\varphi }_m(m)$ is mapped to an interior point of ${\mathbb{H}}^d$, so, ${\varphi }_m(H_{m,r})$ does not satisfy the requirement even if it is an $r$-open half ball (which will not be centered at ${\varphi }_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^{\mathrm{\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$.

---

References

<The previous article in this series | The table of contents of this series | The next article in this series>