数学 › 多様体論 › 接ベクトル空間と接バンドル

接ベクトル(曲線による定義)

定義 3.2(「接ベクトル空間と接バンドル」§3)

pp を通る C∞C^{\infty} 級曲線全体の集合を Cp\mathcal{C}_p と書く。γ1∼cγ2\gamma_1 \sim_{\mathrm{c}} \gamma_2 を「pp を含むあるチャート (U,φ)(U,\varphi) について (φ∘γ1)′(0)=(φ∘γ2)′(0)(\varphi\circ\gamma_1)'(0) = (\varphi\circ\gamma_2)'(0)」で定める。補題 3.1 よりこれはチャートの選び方によらず、明らかに同値関係である。商集合 Cp/∼c\mathcal{C}_p/\sim_{\mathrm{c}} を TpcMT^{\mathrm{c}}_pM と書き、その元 [γ][\gamma] を pp における接ベクトルと呼ぶ。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問