474: For Map Between Arbitrary Subsets of C∞ Manifolds with Boundary Ck at Point, Any Possible Pair of Domain Chart and Codomain Chart Satisfies Condition of Definition

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

A description/proof of that for map between arbitrary subsets of $C^{\mathrm{\infty }}$ manifolds with boundary $C^k$ at point, any possible pair of domain chart and codomain chart satisfies condition of definition

---

Topics

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

---

The table of contents of this article

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

---

Starting Context

• The reader knows definition of map between arbitrary subsets of $C^{\mathrm{\infty }}$ manifolds with boundary $C^k$ at point, where $k$ excludes $0$ and includes $\mathrm{\infty }$.
• The reader admits the proposition that for any map between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds $C^k$ at any point, where $k$ includes $\mathrm{\infty }$, the restriction on any domain that contains the point is $C^k$ at the point.
• The reader admits the proposition that for any maps between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds $C^k$ at corresponding points, where $k$ includes $\mathrm{\infty }$, the composition is $C^k$ at the point.
• The reader admits the proposition that for any injective map, the map image of the intersection of any sets is the intersection of the map images of the sets.
• The reader admits the proposition that for any map between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds, the map is $C^k$ at any point if the restriction on any subspace open neighborhood of point domain is $C^k$ at the point.

---

Target Context

• The reader will have a description and a proof of the proposition that for any map between any arbitrary subsets of any $C^{\mathrm{\infty }}$ manifolds with boundary $C^k$ at any point, where $k$ excludes $0$ and includes $\mathrm{\infty }$, any pair of domain chart around the point and codomain chart around the corresponding point such that the intersection of the domain chart and the domain is mapped into the codomain chart satisfies the condition of the definition.

---

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: Note

The definition requires directly only that there is a pair of a domain chart and a codomain chart that satisfies the conditions, not that any possible pair satisfies the condition, and this proposition confirms that the latter is indeed implied.

---

2: Description

For any $C^{\mathrm{\infty }}$ manifolds with (possibly empty) boundary, $M_1,M_2$, any subsets, $S_1\subseteq M_1,S_2\subseteq M_2$, any point, $p\in S_1$, any natural number (excluding 0) or $\mathrm{\infty }$ $k$, and any map, $f:S_1\to S_2$, that is $C^k$ at $p$, the pair of any chart, $(U_p^{″}\subseteq M_1,{\varphi }_p^{″})$, around $p$ and any chart, $(U_{f(p)}^{\prime }\subseteq M_2,{\varphi }_{f(p)}^{\prime })$, around $f(p)$ such that $f(U_p^{″}\cap S_1)\subseteq U_{f(p)}^{\prime }$ satisfied the condition of the definition: ${\varphi }_{f(p)}^{\prime }\circ f\circ {{\varphi }_p^{″}}^{-1}{|}_{{\varphi }_p^{″}(U_p^{″}\cap S_1)}:{\varphi }_p^{″}(U_p^{″}\cap S_1)\to {\varphi }_{f(p)}^{\prime }(U_{f(p)}^{\prime })$ is $C^k$ at ${\varphi }_p^{″}(p)$.

---

3: Proof

By the definition, there are a chart, $(U_p^{\prime }\subseteq M_1,{\varphi }_p^{\prime })$, around $p$ and a chart, $(U_{f(p)}\subseteq M_2,{\varphi }_{f(p)})$, around $f(p)$ such that $f(U_p^{\prime }\cap S_1)\subseteq U_{f(p)}$ and ${\varphi }_{f(p)}\circ f\circ {{\varphi }_p^{\prime }}^{-1}{|}_{{\varphi }_p^{\prime }(U_p^{\prime }\cap S_1)}:{\varphi }_p^{\prime }(U_p^{\prime }\cap S_1)\to {\varphi }_{f(p)}(U_{f(p)})$ is $C^k$ at ${\varphi }_p^{\prime }(p)$.

${\varphi }_{f(p)}^{\prime }\circ f\circ {{\varphi }_p^{″}}^{-1}{|}_{{\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime }\cap S_1)}={\varphi }_{f(p)}^{\prime }\circ {{\varphi }_{f(p)}}^{-1}\circ {\varphi }_{f(p)}\circ f\circ {{\varphi }_p^{\prime }}^{-1}\circ {\varphi }_p^{\prime }\circ {{\varphi }_p^{″}}^{-1}{|}_{{\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime }\cap S_1)}$.

${\varphi }_{f(p)}\circ f\circ {{\varphi }_p^{\prime }}^{-1}{|}_{{\varphi }_p^{\prime }(U_p^{\prime }\cap U_p^{″}\cap S_1)}$ is $C^k$ at ${\varphi }_p^{\prime }(p)$, by the proposition that for any map between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds $C^k$ at any point, where $k$ includes $\mathrm{\infty }$, the restriction on any domain that contains the point is $C^k$ at the point. ${\varphi }_p^{\prime }\circ {{\varphi }_p^{″}}^{-1}{|}_{{\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime }\cap S_1)}$ and ${\varphi }_{f(p)}^{\prime }\circ {{\varphi }_{f(p)}}^{-1}$ are $C^k$ at ${\varphi }_p^{″}(p)$ and ${\varphi }_{f(p)}(f(p))$, because the transition maps are diffeomorphic and by the proposition that for any map between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds $C^k$ at any point, where $k$ includes $\mathrm{\infty }$, the restriction on any domain that contains the point is $C^k$ at the point.

So, the composition, ${\varphi }_{f(p)}^{\prime }\circ {{\varphi }_{f(p)}}^{-1}\circ {\varphi }_{f(p)}\circ f\circ {{\varphi }_p^{\prime }}^{-1}\circ {\varphi }_p^{\prime }\circ {{\varphi }_p^{″}}^{-1}{|}_{{\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime }\cap S_1)}$ is $C^k$ at ${\varphi }_p^{″}(p)$, by the proposition that for any maps between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds with boundary $C^k$ at corresponding points, where $k$ includes $\mathrm{\infty }$, the composition is $C^k$ at the point.

${\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime }\cap S_1)={\varphi }_p^{″}(U_p^{″}\cap S_1)\cap {\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime })$ (by the proposition that for any injective map, the map image of the intersection of any sets is the intersection of the map images of the sets) is an open neighborhood of ${\varphi }_p^{″}(p)$ on ${\varphi }_p^{″}(U_p^{″}\cap S_1)$, because ${\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime })$ is open on ${\mathbb{H}}^{d_1}$ or ${\mathbb{R}}^{d_1}$: when $(U_p^{″}\subseteq M_1,{\varphi }_p^{″})$ is a boundary chart, ${\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime })=U\cap {\mathbb{H}}^{d_1}$ for an open $U\subseteq {\mathbb{R}}^{d_1}$, and ${\varphi }_p^{″}(U_p^{″}\cap S_1)\cap {\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime })={\varphi }_p^{″}(U_p^{″}\cap S_1)\cap U\cap {\mathbb{H}}^{d_1}={\varphi }_p^{″}(U_p^{″}\cap S_1)\cap U$ because ${\varphi }_p^{″}(U_p^{″}\cap S_1)\subseteq {\mathbb{H}}^{d_1}$; otherwise, ${\varphi }_p^{″}(U_p^{″}\cap U_p^{\prime })$ itself is open on ${\mathbb{R}}^{d_1}$.

So, ${\varphi }_{f(p)}^{\prime }\circ f\circ {{\varphi }_p^{″}}^{-1}{|}_{{\varphi }_p^{″}(U_p^{″}\cap S_1)}$ is $C^k$ at ${\varphi }_p^{″}(p)$, by the proposition that for any map between any arbitrary subsets of any Euclidean $C^{\mathrm{\infty }}$ manifolds, the map is $C^k$ at any point if the restriction on any subspace open neighborhood of point domain is $C^k$ at the point.

---

References

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