リーグループ（群）上で同一ベクトルを代表するカーブたちの\(C^\infty\)右アクションとしてのマニフォールド（多様体）上のカーブたちは同一ベクトルを代表することの記述/証明
話題
About: マニフォールド（多様体）
About: リーグループ（群）
About: リーグループ（群）のマニフォールド（多様体）への右アクション
この記事の目次
開始コンテキスト
- 読者は、\(C^\infty\)マニフォールド（多様体）の定義を知っている。
- 読者は、リーグループ（群）の定義を知っている。
- 読者は、リーグループ（群）の\(C^\infty\)マニフォールド（多様体）への\(C^\infty\)右アクションの定義を知っている。
ターゲットコンテキスト
- 読者は、任意のリーグループ（群）上で同一ベクトルを代表するカーブたちの\(C^\infty\)右アクションとしての、任意の\(C^\infty\)マニフォールド（多様体）上の任意のカーブたちは同一ベクトルを代表するという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意の\(C^\infty\)マニフォールド（多様体）\(M\)、に、任意のリーグループ（群）\(G\)の任意の\(C^\infty\)右アクション\(\mu: M \times G \rightarrow M\)が付いたもの、\(G\)上の任意の\(C^\infty\)カーブたち\(c_1 (t)\)および\(c_2 (t)\)で\(G\)上で同一のタンジェントベクトルを代表するものに対して、\(M\)上の\(C^\infty\)カーブたち\(m c_1 (t)\) および\(m c_2 (t)\)、ここで\(m \in M\)、は\(M\)上の同一タンジェントベクトルを代表する。
2: 証明
\(m c_i (t)\)は実際\(C^\infty\)カーブである、なぜなら、それは\(C^\infty\)マップ（写像）たちの合成だから、\(c_i (t)\)は\(C^\infty\)であり、\(\mu\)は\(C^\infty\)、mを固定して。
\(G\)上の\(c_1 (0) = c_2 (0)\)周りの任意のチャートに対して、\(\left.\frac{d c^j_1 (t)}{d t}\right|_{t = 0} = \left.\frac{d c^j_2 (t)}{d t}\right|_{t = 0}\)、ここで\(c^j_i\)はその\(G\)チャートによる\(c_i\)の\(j\)コンポーネント。
\(M\)上の\(m c_1 (0) = m c_2 (0)\)周りの任意のチャートに対して、\(\left.\frac{d (m c_i)^j}{d t}\right|_{t = 0} = \left.\frac{d \mu^j (m, c_i)}{d t}\right|_{t = 0} = \left.\left(\frac{\partial \mu^j}{\partial c^k_i}\frac{d c^k_i}{d t}\right)\right|_{t = 0}\)、ここで\((m c_i)^j = \mu^j (m, c_i)\)はその\(M\)チャートによる\(m c_i\)の\(j\)コンポーネント。\(\frac{\partial \mu^j}{\partial c^k_i}\)はコーディネイト（座標）ファンクション（関数）の問題であり、\(c_1 (0) = c_2 (0)\)なので、\(\left.\frac{\partial \mu^j}{\partial c^k_1}\right|_{t = 0} = \left.\frac{\partial \mu^j}{\partial c^k_2}\right|_{t = 0}\)。
\(\left.\frac{d c^j_1 (t)}{d t}\right|_{t = 0} = \left.\frac{d c^j_2 (t)}{d t}\right|_{t = 0}\)でもあるので、\(\left.\frac{d (m c_1)^j}{d t}\right|_{t = 0} = \left.\frac{d (m c_2)^j}{d t}\right|_{t = 0}\)。
