押し出し_(微分幾何学)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 押し出し_(微分幾何学)の意味・解説 

写像の微分

(押し出し_(微分幾何学) から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/06/12 00:14 UTC 版)

ナビゲーションに移動 検索に移動
写像 φ が多様体 M 上の各点を多様体 N へ写すならば、φ の押し出しは M の各点における接空間上のベクトルを N の各点における接空間に写す。

数学の一分野、微分幾何学における多様体間の写像の微分(びぶん、: differential)または全微分 (total differential) は、通常の解析学における全微分の概念を可微分写像に対して一般化するもので、可微分多様体間の可微分写像のある意味での最適線型近似を各点において与えるものである。より具体的に、可微分多様体 M, N の間の可微分写像 φ: MN に対し、φxM における微分(係数) x は、x における M接空間から φ(x) における N の接空間への線型写像として与えられる。

各点における微分係数 x は、接束を考えることにより、x を動かして微分写像(導写像) にすることができる。 は接写像とも呼ばれ、可微分多様体の接束をとる操作(接構成)は接写像を伴って可微分多様体の圏からベクトル束の圏への函手(接函手)を定める。

動機付け

多変数微分積分学において既知の事実として、写像 φ: UVRm開集合 U から Rn の開集合 V への可微分函数であるとき、U の各点 x において φ全微分すなわち x: RmRn なる線型写像は、(標準基底に関して)ヤコビ行列によって表現されるのであった。

このことが任意の多様体 M, N の間の可微分写像 φ に対する場合に一般化されることを見よう。

可微分写像の微分

可微分多様体間の可微分写像 φ: MN を考えるとき、適当な点 xM が与えられれば、x における φ微分 (differential) は Mx における接空間から Nφ(x) における接空間への線型写像 x: TxMTφ(x)N として与えられる。微分 x接ベクトル X に作用させることは、φ による X押し出し (pushforward) とも呼ばれる。

微分あるいは押し出しの、正確な定義は接ベクトルの定義の仕方に依存する(接ベクトルの様々な定義の仕方は接空間の項を参照)。

  • 接ベクトルを、x を通る曲線の同値類として定義した場合には、上記の微分は x(γ′(0)) := (φγ)(0) によって与えられる。ここに γγ(0) = x を満たす M 内の曲線である。言い換えれば、曲線 γ0 における接ベクトルの押し出しは、曲線 φγ0 における接ベクトルによって与えられる。
  • 同じことだが、接ベクトルを実数値可微分函数の空間に作用する導分英語版として定義した場合には、微分は x(X)(f) := X(fφ) によって与えられる。ここに、XTxMM 上定義された導分で、fN 上の実数値可微分函数である。定義により、各点 xM における X の押し出しは Tφ(x)N に属し、それ自体ひとつの導分となる。

さて x および φ(x) の周りのチャートを選べば、φ は局所的に Rm の開集合 U から Rn の開集合 V への可微分函数 ^φ: UV によって決定され、x における微分 x

可換にする。ただし、πM および πN はそれぞれ M および N の接束に関する束射影である。

あるいは同じこと(束写像英語版の項参照)だが、φ = は接束 TM から引き戻し束英語版 φTN への M 上の束写像であり、これを M 上の準同型束 Hom(TM, φTN)切断と見ることができる。この束写像 とも書かれ、接写像 (tangent map) と呼ばれる。この方法(MTM; φ)で T函手となる。

ベクトル場の押し出し

可微分写像 φ: MNM 上のベクトル場 X が与えられたとき、Xφ による押し出しを N 上の適当なベクトル場と同一視することが普通はできない。例えば、写像 φ が全射でなければ φ の像に属さないところでそのような押し出しを定義する自然な方法がないし、また φ が単射でなければ与えられた点における押し出しの選び方が複数存在しうる。にもかかわらず、この困難を正確にして、写像に沿うベクトル場の概念が用いられる。

M 上のベクトル束 φTN の切断を φ に沿うベクトル場と呼ぶ。例えば、MN の部分多様体で、φ が包含写像のとき、φ に沿うベクトル場とは N の接束の M に沿う切断のことに他ならない。特に、M 上のベクトル場は TMTN への包含を通じてそのような切断を定める。

XM 上のベクトル場、すなわち TM の切断とするとき、微分を点ごとX に適用することにより、ベクトル場の押し出し φX が誘導され、これは φ に沿うベクトル場、すなわち M 上の φTN の切断である。

N 上の任意のベクトル場 YφTN引き戻し切断英語版 φY(φY)x = Yφ(x) なるものとして定義する。M 上のベクトル場 XN 上のベクトル場 Y φ-関係を持つ (φ-related) とは、φ に沿うベクトル場として φX = φY を満たすとき、すなわち各点 xM に対し x(X) = Yφ(x) が成り立つときに言う。

条件によっては、与えられた M 上のベクトル場 X に対して Xφ-関係を持つ N 上のベクトル場 Y が一意に決まるということもあり得る。特に φ微分同相写像であるときには必ずそうなる。この場合、押出しが定める N 上のベクトル場 YYy = φ(Xφ−1(y)) で与えられる。

より一般の状況として、φ が全射のとき(例えば、ファイバー束の束射影のとき)、M 上のベクトル場 X射影可能 (projectable) とは、任意の yN に対して x(Xx)xφ−1({y}) の取り方に依らないときに言う。この条件はちょうど、X の押し出しが N 上のベクトル場として定義可能となることを保証するものになっている。

関連項目

  • 引き戻し (微分幾何学)英語版

参考文献

  • John M. Lee, Introduction to Smooth Manifolds, (2003) Springer Graduate Texts in Mathematics 218.
  • Jürgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin ISBN 3-540-42627-2 See section 1.6.
  • Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X See section 1.7 and 2.3.

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

「押し出し_(微分幾何学)」の関連用語



3
8% |||||




7
6% |||||

8
4% |||||

押し出し_(微分幾何学)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



押し出し_(微分幾何学)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの写像の微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS