\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、上の、\(C^\infty\)カーブのポイントにおけるベロシティの定義
話題
About: \(C^\infty\)マニフォールド（多様体）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、\(C^\infty\)マニフォールド（多様体）、バウンダリー（境界）付き、上の、\(C^\infty\)カーブのポイントにおけるベロシティの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( M\): \(\in \{ \text{ 全ての } C^\infty \text{ マニフォールド（多様体）、バウンダリー（境界）付き、たち } \}\)
\( \mathbb{R}\): \(= \text{ 当該ユークリディアン } C^\infty \text{ マニフォールド（多様体） }\)
\( I\): \(= (t_1, t_2), [t_1, t_2], (t_1, t_2], [t_1, t_2) \text{ のいずれか } \subseteq \mathbb{R}\)で、\(t_1 \lt t_2\)を満たすもの、\(\mathbb{R}\)のエンベデッドサブマニフォールド（部分多様体）、バウンダリー（境界）付き、として
\( t_0\): \(\in I\)
\( \gamma\): \(: I \to M\), \(\in \{\text{ 全てのカーブたち }\} \cap \{\text{ 全ての } C^\infty \text{ マップ（写像）たち }\}\)
\( d / d t \vert_{t_0}\): \(\in T_{t_0}I\), \(: C^\infty (I) \to \mathbb{R}, f \mapsto d \widetilde{f} / d t \vert_{t_0}\)、ここで、\(\widetilde{f}\)は、\(f\)の、\(t_0\)の任意のオープンネイバーフッド（開近傍）\(U_{t_0} \subseteq \mathbb{R}\)上方の任意のエクステンション（拡張）
\(*d \gamma / d t \vert_{t_0}\): \(= d \gamma (d / d t \vert_{t_0}) \in T_{\gamma (t_0)}M\)
//
コンディションたち:
//
2: 注
私たちが\(\tilde{f}\)を導入しないといけない理由は、\(t_0\)においてデリバティブ（微分係数）を取ることは、当該ファンクション（関数）が\(t_0\)のあるオープンネイバーフッド（開近傍）\(U_{t_0} \subseteq \mathbb{R}\)上で定義されていることを要求するが、\(U_{t_0} \subseteq J\)を満たすような\(U_{t_0}\)はないかもしれない、\(J = [t_1, t_2]\)かつ\(t_0 = t_1\)であるようなケースたちでは。
\(d / d t \vert_{t_0}\)はウェルデファインド（妥当に定義されている）である（\(\widetilde{f}\)の選択に依存しない）: \(U_{t_0}\)が\(U_{t_0} \subseteq I\)であるように取れる時には、\(\widetilde{f} = f \vert_{U_{t_0}}\)であり、\(d \widetilde{f} / d t \vert_{t_0}\)は\(f\)だけに依存する; その他の時は、\(t_0 = t_1\)、ここで、\(t_1\)はクローズドバウンダリー（閉境界）、または、\(t_0 = t_2\)、ここで、\(t_2\)はクローズドバウンダリー（閉境界）、であり、前者に対しては、\(U_{t_0} = (t_0 - \delta_1, t_0 + \delta_2)\)、ここで、\(\delta_2\)は\(t_0 + \delta_2 \lt t_2\)であるように取れる、そして、\(\widetilde{f} \vert_{[t_0, t_0 + \delta_2)} = f \vert_{[t_0, t_0 + \delta_2)}\)、しかし、\(d \widetilde{f} / d t \vert_{t_0} = lim_{t \mapsto + t_0} (\widetilde{f} (t) - \widetilde{f} (t_0)) / (t - t_0) = lim_{t \mapsto + t_0} (f (t) - f (t_0)) / (t - t_0)\)、それは\(f\)だけに依存する、そして後者に対しては、\(U_{t_0} = (t_0 - \delta_1, t_0 + \delta_2)\)、ここで、\(\delta_1\)は\(t_1 \lt t_0 - \delta_1\)であるように取れる、そして、\(\widetilde{f} \vert_{(t_0 - \delta_1, t_0]} = f \vert_{(t_0 - \delta_1, t_0]}\)、しかし、\(d \widetilde{f} / d t \vert_{t_0} = lim_{t \mapsto - t_0} (\widetilde{f} (t) - \widetilde{f} (t_0)) / (t - t_0) = lim_{t \mapsto - t_0} (f (t) - f (t_0)) / (t - t_0)\)、それは\(f\)だけに依存する。
\(d / d t \vert_{t_0}\)は本当にタンジェントベクトルである: \(d / d t \vert_{t_0} (r f) = d \widetilde{r f} / d t \vert_{t_0} = d (r \widetilde{f}) / d t \vert_{t_0} = r d \widetilde{f} / d t \vert_{t_0} = r d / d t \vert_{t_0} (f)\); \(d / d t \vert_{t_0} (f_1 f_2) = d \widetilde{f_1 f_2} / d t \vert_{t_0} = d (\widetilde{f_1} \widetilde{f_2}) / d t \vert_{t_0} = d \widetilde{f_1} / d t \vert_{t_0} \widetilde{f_2} (t_0) + \widetilde{f_1} (t_0) d \widetilde{f_2} / d t \vert_{t_0} = d / d t \vert_{t_0} (f_1) f_2 (t_0) + f_1 (t_0) d / d t \vert_{t_0} (f_2)\)。
本定義の1つの教訓は、ベロシティーは大抵あるオープンインターバルからのあるカーブから取られるが、私たちは、\([t_0, t_2)\)または\((t_1, t_0]\)からのあるカーブを取ることができ、それは、実のところ、必要であるかもしれない、\(M\)は任意の非空バウンダリー（境界）を持ち、\(\gamma (t_0)\)が当該バウンダリー（境界）上にある時は、また、\(\gamma (t_0)\)がバウンダリー（境界）上になかったり\(M\)が空のバウンダリー（境界）を持つ時も、非オープン（開）インターバル（区間）を私たちが取れないという理由は何もない。
関連記事任意の\(C^\infty\)カーブの任意のクローズドバウンダリーポイント（閉境界点）におけるベロシティーとは何であるかがある。
