2022年8月21日日曜日

339: リーグループ(群)上で同一ベクトルを代表するカーブたちのC^\infty右アクションとしてのマニフォールド(多様体)上のカーブたちは同一ベクトルを代表する

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リーグループ(群)上で同一ベクトルを代表するカーブたちのC右アクションとしてのマニフォールド(多様体)上のカーブたちは同一ベクトルを代表することの記述/証明

話題


About: マニフォールド(多様体)
About: リーグループ(群)
About: リーグループ(群)のマニフォールド(多様体)への右アクション

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のリーグループ(群)上で同一ベクトルを代表するカーブたちのC右アクションとしての、任意のCマニフォールド(多様体)上の任意のカーブたちは同一ベクトルを代表するという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のCマニフォールド(多様体)M、に、任意のリーグループ(群)Gの任意のC右アクションμ:M×GMが付いたもの、G上の任意のCカーブたちc1(t)およびc2(t)G上で同一のタンジェントベクトルを代表するものに対して、M上のCカーブたちmc1(t) およびmc2(t)、ここでmM、はM上の同一タンジェントベクトルを代表する。


2: 証明


mci(t)は実際Cカーブである、なぜなら、それはCマップ(写像)たちの合成だから、ci(t)Cであり、μC、mを固定して。

G上のc1(0)=c2(0)周りの任意のチャートに対して、dc1j(t)dt|t=0=dc2j(t)dt|t=0、ここでcijはそのGチャートによるcijコンポーネント。

M上のmc1(0)=mc2(0)周りの任意のチャートに対して、d(mci)jdt|t=0=dμj(m,ci)dt|t=0=(μjcikdcikdt)|t=0、ここで(mci)j=μj(m,ci)はそのMチャートによるmcijコンポーネント。μjcikはコーディネイト(座標)ファンクション(関数)の問題であり、c1(0)=c2(0)なので、μjc1k|t=0=μjc2k|t=0

dc1j(t)dt|t=0=dc2j(t)dt|t=0でもあるので、d(mc1)jdt|t=0=d(mc2)jdt|t=0


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>