可微分多様体とは - わかりやすく解説 Weblio辞書

すべての辞書から再検索する

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

可微分多様体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/19 16:06 UTC 版)

数学において、可微分多様体（かびぶんたようたい、英: differentiable manifold）、あるいは微分可能多様体（びぶんかのうたようたい）は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート（座標近傍、局所座標）の集まり、アトラス（座標近傍系、局所座標系）、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば（すなわち1つのチャートから別のチャートへの変換が微分可能であれば）、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。

脚注

注釈

^ この形式は明らかに非退化であり、その曲面に関して top-dimensional であるから閉でなければならない。これは（シンプレクティック構造に対応する）シンプレクティック群と（向き付け可能構造に対応する）特殊線型群の間のリー群の例外的な同型（英語版） $\mathrm {Sp} (2,\mathbb {R} )\cong \mathrm {SL} (2,\mathbb {R} )$ を反映している。シンプレクティック構造は群のこの同型に加えてさらに可積分性条件を要求することに注意する。単なるG-構造（英語版）ではないのである。

出典

^ B. Riemann (1867).
^ マクスウェル自身はテンソルよりもむしろ四元数で研究したが、電磁気学の彼の方程式はテンソルのフォーマリズムの初期の例として使われた。次を参照 Dimitrienko, Yuriy I. (2002), Tensor Analysis and Nonlinear Tensor Functions, Springer, p. xi, ISBN 9781402010156 .
^ See G. Ricci (1888), G. Ricci and T. Levi-Civita (1901), T. Levi-Civita (1927).
^ See H. Weyl (1955).
^ ^a ^b H. Whitney (1936).
^ Kobayashi and Nomizu (1963), Volume 1.
^ この定義は MacLane and Moerdijk (1992) にある。同値な ad hoc な定義は、Sternberg (1964) Chapter II を参照。
^ Hartshorne (1997)
^ See S. Kobayashi (1972).
^ S. Donaldson (1983).
^ J. Milnor (1956). これはエキゾチック球面の最初の例である。
^ Z. Sela (1995). しかしながら、3次元多様体はすべてのコンパクト 3 次元多様体の非重複リストを生成する（実際的でない）アルゴリズムが存在するという意味で分類されるだけである。
^ See A. Ranicki (2002).