バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）たちで対応するポイントたちにおいて\(C^k\)であるものたちに対して、コンポジション（合成）はポイントにおいて\(C^k\)であることの記述/証明
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
開始コンテキスト
- 読者は、バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）でポイントにおいて\(C^k\)なもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、の定義を知っている。
- 読者は、任意のトポロジカルスペース（空間）たち間の任意のマップ（写像）たちで対応するポイントたちにおいてコンティニュアス（連続）であるものに対して、コンポジション（合成)は当該ポイントにおいてコンティニュアス（連続）であるという命題を認めている。
- 読者は、任意のバウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）で任意のポイントにおいて\(C^k\)であるもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、に対して、当該ポイント周りのドメイン（定義域）チャートと対応するポイント周りのコドメイン（余域）チャートの任意のペアでドメイン（定義域）チャートとドメイン（定義域）のインターセクション（共通集合）がコドメイン（余域）チャートの中へマップされるものは定義の条件を満たすという命題を認めている。
- 読者は、任意のユークリディアン\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）たちで対応するポイントたちにおいて\(C^k\)であるものたち、ここで、\(k\)は\(\infty\)を含む、に対して、コンポジション（合成）は当該ポイントにおいて\(C^k\)であるという命題を認めている。
ターゲットコンテキスト
- 読者は、バウンダリー（境界）付き任意の\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）たちで対応するポイントたちにおいて\(C^k\)であるものたち、ここで、\(k\)は\(\infty\)を含む、に対して、コンポジション（合成）はポイントにおいて\(C^k\)であるという命題の記述および証明を得る。。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
（空かもしれない）バウンダリー（境界）付き任意の\(C^\infty\)マニフォールド（多様体）たち\(M_1, M_2, M_3\)、以下を満たす任意のサブセット（部分集合）たち\(S_1 \subseteq M_1, S_2, S'_2 \subseteq M_2, S_3 \subseteq M_3\)、つまり、\(S_2 \subseteq S'_2\)、任意のポイント\(p \in S_1\)、任意のナチュラルナンバー（自然数）（0を含む）または\(\infty\) \(k\)、以下を満たす任意のマップ（写像）たち\(f_1: S_1 \to S_2, f_2: S'_2 \to S_3\)、つまり、\(f_1\)および\(f_2\)は\(p\)および\(f_1 (p)\)において\(C^k\)である、に対して、\(f_2 \circ f_1: S_1 \to S_3\)は\(p\)において\(C^k\)である。
2: 証明
\(k = 0\)であると仮定しよう。
\(f_2 \circ f_1\)は\(p\)においてコンティニュアス（連続）である、任意のトポロジカルスペース（空間）たち間の任意のマップ（写像）たちで対応するポイントたちにおいてコンティニュアス（連続）であるものに対して、コンポジション（合成)は当該ポイントにおいてコンティニュアス（連続）であるという命題によって。
\(\infty\)を含んで\(1 \le k\)であると仮定しよう。
以下を満たす、\(f_1 (p)\)の周りのあるチャート\((U'_{f_1 (p)} \subseteq M_2, \phi'_{f_1 (p)})\)および\(f_2 \circ f_1 (p)\)の周りのあるチャート\((U_{f_2 \circ f_1 (p)} \subseteq M_3, \phi_{f_2 \circ f_1 (p)})\)、つまり、\(f_2 (U'_{f_1 (p)} \cap S'_2) \subseteq U_{f_2 \circ f_1 (p)}\)で\(\phi_{f_2 \circ f_1 (p)} \circ f_2 \circ {\phi'_{f_1 (p)}}^{-1} \vert_{\phi'_{f_1 (p)} (U'_{f_1 (p)} \cap S'_2)}\)は\(\phi'_{f_1 (p)} (f_1 (p))\)において\(C^k\)である、がある。
\(f_1\)は\(p\)においてコンティニュアス（連続）である（当該定義内の注を参照）から、\(p\)の\(S_1\)上における以下を満たすあるオープンネイバーフッド（開近傍）\(U_p \subseteq S_1\)、つまり、\(f_1 (U_p) \subseteq U'_{f_1 (p)} \cap S_2\)、ここで、あるオープンサブセット（開部分集合）\(U' \subseteq M_1\)に対して\(U_p = U' \cap S_1\)、がある。\(p\)の周りに以下を満たすあるチャート\((U'_p \subseteq M_1, \phi'_p)\)、つまり、\(U'_p \subseteq U'\)、がある。\(f_1 (U'_p \cap S_1) \subseteq f_1 (U_p) \subseteq U'_{f_1 (p)} \cap S_2 \subseteq U'_{f_1 (p)}\)。任意のバウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）で任意のポイントにおいて\(C^k\)であるもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、に対して、当該ポイント周りのドメイン（定義域）チャートと対応するポイント周りのコドメイン（余域）チャートの任意のペアでドメイン（定義域）チャートとドメイン（定義域）のインターセクション（共通集合）がコドメイン（余域）チャートの中へマップされるものは定義の条件を満たすという命題によって、\(\phi'_{f_1 (p)} \circ f_1 \circ {\phi'_p}^{-1} \vert_{\phi'_p (U'_p \cap S_1)}\)は\(\phi'_p (p)\)において\(C^k\)である。
\(f_2 \circ f_1 (U'_p \cap S_1) \subseteq f_2 (U'_{f_1 (p)} \cap S_2) \subseteq f_2 (U'_{f_1 (p)} \cap S'_2) \subseteq U_{f_2 \circ f_1 (p)}\)。\(\phi_{f_2 \circ f_1 (p)} \circ f_2 \circ f_1 \circ {\phi'_p}^{-1} \vert_{\phi'_p (U'_p \cap S_1)} = \phi_{f_2 \circ f_1 (p)} \circ f_2 \circ {\phi'_{f_1 (p)}}^{-1} \vert_{\phi'_{f_1 (p)} (U'_{f_1 (p)} \cap S'_2)} \circ \phi'_{f_1 (p)} \circ f_1 \circ {\phi'_p}^{-1} \vert_{\phi'_p (U'_p \cap S_1)}\)、それは、\(\phi'_p (p)\)において\(C^k\)である、任意のユークリディアン\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）たちで対応するポイントたちにおいて\(C^k\)であるものたち、ここで、\(k\)は\(\infty\)を含む、に対して、コンポジション（合成）は当該ポイントにおいて\(C^k\)であるという命題によって。
