カーブのクローズドバウンダリーポイント（閉境界点）におけるベロシティーとは何であるかの記述
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
開始コンテキスト
- 読者は、\(C^\infty\)カーブの定義を知っている。
- 読者は、バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）でポイントにおいて\(C^k\)なもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、の定義を知っている。
- 読者は、任意のバウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）で任意のポイントにおいて\(C^k\)であるもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、に対して、当該ポイント周りのドメイン（定義域）チャートと対応するポイント周りのコドメイン（余域）チャートの任意のペアでドメイン（定義域）チャートとドメイン（定義域）のインターセクション（共通集合）がコドメイン（余域）チャートの中へマップされるものは定義の条件を満たすという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のカーブの任意のクローズドバウンダリーポイント（閉境界点）におけるベロシティーとは何であるかの記述を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 注
当該結論は、実のところ、かなり広く直感的に推測されるものだろう、しかし、これは、その推測が正しいことをもっと厳密に確かめることを目的としたものである。
2: 記述
（空かもしれない）バウンダリー（境界）付き任意の\(C^\infty\)マニフォールド（多様体）\(M\)、任意の（半かもしれない）クローズドインターバル（閉区間）\(J \subseteq \mathbb{R}\)で任意のクローズドバウンダリーポイント（閉境界点）\(t_j\)を持つもの、任意の\(C^\infty\)カーブ\(\gamma: J \to M\)に対して、\(\gamma\)の\(t_j\)におけるベロシティー\(d \gamma / d t \vert_{t_j}\)とは何であるか？
本議論は、ふんだんにバウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間のマップ（写像）でポイントにおいて\(C^k\)なもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、の定義に基づいている。
\(J = [t_1, t_2)\)または\([t_1, t_2]\)、ここで、\(t_1 \lt t_2\)（\([t_1, t_1]\)ケースは考慮する価値がないだろう、なぜなら、ベロシティーは決定されないだろう）、そして、私たちは、\(t_1\)におけるベロシティーについて話そう。
\(J\)は、カノニカル（自然な）バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）であるとみなされる。
あるチャート\(([t_1, t_3) \subseteq J, id)\)、ここで、\(t_3\)が具体的に何であるかはどうでもよい、\(t_1 \lt t_3 \le t_2\)でありさえすれば、がある。
当該チャート上にて、\(d / d t \vert_{t_1}\)は、以下を満たす\(T_{t_1}J\)上のベクトルであると定義されている、つまり、任意の\(C^\infty\)ファンクション（関数）\(f: J \to \mathbb{R}\)に対して、\(d / d t \vert_{t_1} (f) = d f' / d t \vert_{t_1}\)、ここで、\(f'\)は以下を満たす任意の\(C^\infty\)マップ（写像）（\(f\)のエクステンション（拡張）と呼ばれる）\(f': U'_{t_1} \to \mathbb{R}\)、ここで、\(U'_{t_1}\)は\(t_1\)の\(\mathbb{R}\)上におけるあるオープンネイバーフッド（開近傍）\(U'_{t_1} \subseteq \mathbb{R}\)、つまり、\(f' \vert_{U'_{t_1} \cap J} = f \vert_{U'_{t_1} \cap J}\)。結果は実際には\(f'\)の選択には依存しない、なぜなら、それは、\(f\)の片方向デリバティブ（微分係数）に一致しなければならない。それは、本当にデライベイション（微分）である、なぜなら、\(d / d t \vert_{t_1} (f g) := d (f g)' / d t \vert_{t_1}\)であるが、\((f g)'\)は\(f' g'\)であると取ることができる、なぜなら、何らかのエクステンション（拡張）たち、\(f\)の\(f': U'_{f, t_1} \to \mathbb{R}\)および\(g\)の\(g': U'_{g, t_1} \to \mathbb{R}\)があるが、\(f' \vert_{U'_{f, t_1} \cap U'_{g, t_1}} g' \vert_{U'_{f, t_1} \cap U'_{g, t_1}} \)は\(f g\)のあるエクステンション（拡張）であり、したがって、\(= d (f' g') / d t \vert_{t_1} = (d f' / d t g') \vert_{t_1} + (f' d g' / d t) \vert_{t_1} = d f' / d t \vert_{t_1} g' (t_1) + f' (t_1) d g' / d t \vert_{t_1} = d / d t \vert_{t_1} (f) g (t_1) + f (t_1) d / d t \vert_{t_1} (g)\)。
\(d \gamma / d t \vert_{t_1}\)は、\(d \gamma \vert_{t_1} (d / d t \vert_{t_1})\)、ここで、\(d \gamma \vert_{t_j}\)は\(\gamma\)の\(t_j\)におけるディファレンシャル、であると定義されている。
任意の\(C^\infty\)ファンクション（関数）\(f: M \to \mathbb{R}\)に対して、\(d \gamma / d t \vert_{t_1} (f) = (d \gamma \vert_{t_1} (d / d t \vert_{t_1})) (f) = d / d t \vert_{t_1} (f \circ \gamma) = d (f \circ \gamma)' / d t \vert_{t_1}\)、ここで、\((f \circ \gamma)'\)は\(f \circ \gamma\)のある\(C^\infty\)エクステンション（拡張）\((f \circ \gamma)': U_{t_1} \to \mathbb{R}\)、である。
あるチャート\((U_{\gamma (t_1)} \subseteq M, \phi_{\gamma (t_1)})\)があり、\(id \circ f \circ {\phi_{\gamma (t_1)}}^{-1} = f \circ {\phi_{\gamma (t_1)}}^{-1}: \phi_{\gamma (t_1)} (U_{\gamma (t_1)}) \to \mathbb{R}\) は\(\phi_{\gamma (t_1)} (\gamma (t_1))\)において\(C^\infty\)である、それが含意するのは、\(\phi_{\gamma (t_1)} (\gamma (t_1))\)のあるオープンネイバーフッド（開近傍）\(U'_{\phi_{\gamma (t_1)} (\gamma (t_1))} \subseteq \mathbb{R}^d\)と\(f \circ {\phi_{\gamma (t_1)}}^{-1}\)のある\(C^\infty\)エクステンション（拡張）\(f': U'_{\phi_{\gamma (t_1)} (\gamma (t_1))} \to \mathbb{R}\)があるということ。
\(t_1\)の周りに以下を満たすあるチャート\((U'_{t_1} \subseteq J, id)\)、つまり、\(\gamma (U'_{t_1}) \subseteq U_{\gamma (t_1)}\)で\(\phi_{\gamma (t_1)} \circ \gamma \circ {id}^{-1} = \phi_{\gamma (t_1)} \circ \gamma: U'_{t_1} \to \phi_{\gamma (t_1)} (U_{\gamma (t_1)})\)は\(t_1\)において\(C^\infty\)である、がある、任意のバウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）たちの任意のサブセット（部分集合）たち間の任意のマップ（写像）で任意のポイントにおいて\(C^k\)であるもの、ここで、\(k\)は\(0\)を除外し\(\infty\)を含む、に対して、当該ポイント周りのドメイン（定義域）チャートと対応するポイント周りのコドメイン（余域）チャートの任意のペアでドメイン（定義域）チャートとドメイン（定義域）のインターセクション（共通集合）がコドメイン（余域）チャートの中へマップされるものは定義の条件を満たすという命題によって、それが含意するのは、\(t_1\)のあるオープンネイバーフッド（開近傍）\(U''_{t_1} \subseteq \mathbb{R}\)と\(\phi_{\gamma (t_1)} \circ \gamma\)のある\(C^\infty\)エクステンション（拡張）\(\gamma': U''_{t_1} \to \mathbb{R}^d\)がある。
\(\gamma'\)は\(t_1\)においてコンティニュアス（連続）であるので、\(t_1\)の以下を満たすあるオープンネイバーフッド（開近傍）\(U'''_{t_1} \subseteq U''_{t_1}\)、つまり、\(\gamma' (U'''_{t_1}) \subseteq U'_{\phi_{\gamma (t_1)} (\gamma (t_1))}\)、があり、\(\gamma'\)を\(U'''_{t_1}\)からのものとして取ろう。すると、\(f' \circ \gamma': U'''_{t_1} \to \mathbb{R}\)は\(f \circ \gamma\)の\(C^\infty\)エクステンション（拡張）である、なぜなら、\(f' \circ \gamma' \vert_{U'''_{t_1} \cap J} = f' \circ \phi_{\gamma (t_1)} \circ \gamma \vert_{U'''_{t_1} \cap J} = f \circ {\phi_{\gamma (t_1)}}^{-1} \circ \phi_{\gamma (t_1)} \circ \gamma \vert_{U'''_{t_1} \cap J} = f \circ \gamma \vert_{U'''_{t_1} \cap J}\)、その一方で、それは、\(C^\infty\)である、\(C^\infty\)マップ（写像）たちのコンポジション（合成）として。したがって、\((f \circ \gamma)'\)は\(f' \circ \gamma'\)であると取ることができる。
したがって、\(d \gamma / d t \vert_{t_1} (f) = d (f' \circ \gamma') / d t \vert_{t_1} = \partial f' / \partial x^k \vert_{\gamma' (t_1)} d \gamma'^k / d t \vert_{t_1}\)、ここで、\(k\)は\(U'_{\phi_{\gamma (t_1)} (\gamma (t_1))}\)上における\(k\)番目コンポーネントを表わす。
結果の表現はエクステンション（拡張）たち\(f'\)および\(\gamma'\)を含んでいるが、それは実際にはエクステンション（拡張）たちに依存しない、なぜなら、\(d \gamma'^k / d t \vert_{t_1}\)は片方向デリバティブ（微分係数）\(d (\phi_{\gamma (t_1)} \circ \gamma)^k / d t \vert_{t_1}\)に等しくなければならず、\(\partial f' / \partial x^k \vert_{\gamma' (t_1)}\)は片方向デリバティブ（微分係数）（\(\gamma (t_1)\)は\(M\)のバウンダリー（境界）上にあり\(k = d\)である時）または通常のデリバティブ（微分係数）（その他の場合）\(\partial (f \circ {\phi_{\gamma (t_1)}}^{-1}) / \partial x^k \vert_{\phi_{\gamma (t_1)} (\gamma (t_1))}\)に等しくなければならない。
したがって、結局のところ、\(d \gamma / d t \vert_{t_1} (f) = \partial (f \circ {\phi_{\gamma (t_1)}}^{-1}) / \partial x^k \vert_{\phi_{\gamma (t_1)} (\gamma (t_1))} d (\phi_{\gamma (t_1)} \circ \gamma)^k / d t \vert_{t_1}\)、必要な片方向またはフルデリバティブ（微分係数）たちでもって。
同様に、\(J = (t_1, t_2]\)または\([t_1, t_2]\)、ここで、\(t_1 \lt t_2\)（\([t_2, t_2]\)ケースは考慮に値しないだろう）、と仮定しよう、そして、私たちは、\(t_2\)におけるベロシティーについて考えよう。
\(J\)はカノニカル（自然な）バウンダリー（境界）付き\(C^\infty\)マニフォールド（多様体）であるとみなされる。
チャート\(((t_3, t_2] \subseteq J, id)\)がある。
平行な議論は省略して（\(t_1\)を\(t_2\)で置き換える）、\(d \gamma / d t \vert_{t_2} (f) = d (f' \circ \gamma') / d t \vert_{t_2} = \partial f' / \partial x^k \vert_{\gamma' (t_2)} d \gamma'^k / d t \vert_{t_2} = \partial (f \circ {\phi_{\gamma (t_2)}}^{-1}) / \partial x^k \vert_{\phi_{\gamma (t_2)} (\gamma (t_2))} d (\phi_{\gamma (t_2)} \circ \gamma)^k / d t \vert_{t_2} \)、ここで、\(k\)は\(U'_{\phi_{\gamma (t_2)} (\gamma (t_2))}\)上における\(k\)番目コンポーネントを表わし、必要な片方向またはフルデリバティブ（微分係数）たちを取る。
さらに、\(\partial (f \circ {\phi_{\gamma (t_j)}}^{-1}) / \partial x^k \vert_{\phi_{\gamma (t_j)} (\gamma (t_j))} = \partial / \partial x^k \vert_{\gamma (t_j)} (f)\)であるから、必要な片方向またはフルデリバティブ（微分係数）を取った\(d (\phi_{\gamma (t_j)} \circ \gamma)^k / d t \vert_{t_j}\)が、\(d \gamma / d t \vert_{t_j}\)の、チャート\((U_{\gamma (t_1)} \subseteq M, \phi_{\gamma (t_1)})\)によってインデュースト（誘導された）タンジェントベクトルたちスペース（空間）ベーシス（基底）に関する\(k\)番目コンポーネントである。
