703: Chart Half Ball 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 chart half ball 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: Natural Language Description
• 3: 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 chart half ball 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 }\}$
$p$: $\in M$
$\ast H_p$: $\in \{\text{ the open neighborhoods of }p\text{ on }M\}$
//

Conditions:
$\mathrm{\exists }(H_p\subseteq M,{\varphi }_p)\in \{\text{ the charts on }M\}$
$\wedge$
${\varphi }_p(H_p)\in \{\text{ the open half balls around }{\varphi }_p(p)\text{ on }{\mathbb{H}}^d\}$
//

---

2: Natural Language Description

For any $d$-dimensional $C^{\mathrm{\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,{\varphi }_p)$, and ${\varphi }_p(H_p)\subseteq {\mathbb{H}}^d$ is an open half ball around ${\varphi }_p(p)$

---

3: Note

There is no chart half ball around $p$ when $p$ is an interior point: ${\varphi }_p(H_p)$ is required to be centered at ${\varphi }_p(p)$, but ${\varphi }_p(p)$ is mapped to an interior point of ${\mathbb{H}}^d$, so, ${\varphi }_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^{\mathrm{\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.

---

References

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