リーマン多様体

微分幾何学におけるリーマン多様体（リーマンたようたい、）とは、可微分多様体のうちその各点に基本計量テンソル が与えられるものを言う。ベルンハルト・リーマンによって導入された。
はじめに.
リーマン多様体の考え方は1828年にカール・フリードリヒ・ガウスが証明した『驚異の定理 (Theorema Egregium)』までさかのぼる。この定理は曲面の曲率(厳密にはガウス曲率)が、曲面が三次元空間にどのように埋め込まれるかに依存せず、単に角度や長さを定める計量テンソルにのみ依存するというものである。ガウスの弟子であったリーマンはガウスの定理を多様体と呼ばれる高次元空間に拡張した。この応用として、アルベルト・アインシュタインが相対性理論においてリーマン多様体の考え方を利用している。
リーマン距離とは多様体上の各点に与えられた計量テンソルにより、点と点を結ぶ距離を多様化したものである。リーマン距離を用いると、角度や曲線の長さなどの幾何的性質が多様体上で定義可能である。
概要.
滑らかな多様体M上の接束(接ベクトル空間の非交叉和集合)の元は多様体の各点に接ベクトル空間を対応させるような対応だと考えられる。おのおのの接ベクトル空間には内積が定義可能である。接束上の内積の集まりを滑らかに多様化すると、接ベクトル空間上で個々の点においてのみ定義されていた内積を多様体上の有限領域のおける類似表現に拡張することができる。例えば滑らかな曲線α("t"): [0, 1] → "M"が接ベクトル空間T"M"(α("t"0))上の接ベクトルα′("t"0) ("t"0 ∈ (0, 1))を持つとする。このとき、各々の接ベクトルにおいて自分自身との内積によってノルム‖α′("t"0)‖が定義できるとするならば、曲線αの長さL(α)は次のように表される。
この式においてα("t")の[0, 1]上での連続性から"L"(α)がこの曲線の長さとして表される。多くの場合において、線形代数的な考え方を微分幾何に応用する場合、この滑らかさという考え方は非常に重要である。
R"n"上の部分多様体がリーマン計量"g"を持つ場合、"g"は各々の接ベクトル空間におけるR"n"上の内積から制限される。実際、ナッシュの埋め込み定理に従えば、全てのリーマン多様体は、このようにR"n"上の内積を何らかの方法で多様体上に写すことで実される。ある滑らかな部分多様体上で、R"n"からの内積で距離が定義されるとすると、多様体上に等距離性が自然に導入される。この定義は理論的に不十分なところもあるが。リーマン幾何学を幾何学的な直感に基づいて理解しようとする場合には非常に役立つものである。
距離空間としてのリーマン多様体.
リーマン多様体は距離空間と見ることができる。連続かつ微分可能な曲線γ: ["a", "b"] → "M" がリーマン多様体 "M" 上で与えられるとき、この曲線の長さ "L"(γ) は次のように表される。
この定義において、全ての連結リーマン多様体 "M" は距離空間となり、点"x"および点"y"との距離 "d" ("x", "y") は
と与えられる。リーマン多様体上では、異なる2点 "x" と "y" を結ぶ線は多くの場合「曲線」であるわけだが、局所的に見て、最短距離で点と点を結んでいるという点においては「直線」であると考えることもできる。多様体がコンパクトであるという前提をおくと、任意の2点 "x" および "y" について長さ "d" ("x", "y") の接続を考えることができる。もしコンパクト性がない場合には、最短距離が決まらない可能性があり、これは真ではない。
なお、リーマン計量 "g" が正定値の場合には、これにより定まる内積が距離を与えることは明らかである。"g" が正定値ではないが非退化 (行列でいうところの正則行列) であるならば、この計量を擬リーマン計量とよぶ。この擬リーマン計量は相対性理論において用いられるミンコフスキー空間をなすための重要な考え方である。
性質.
リーマン多様体において、測地的なコンパクト性やトポロジーのコンパクト性、距離のコンパクト性というのは同義であり、Hopf-Rinowの定理を示唆するものである。
リーマン計量.
"M" を "n" 次元可微分多様体とする。"M" 上のリーマン計量とは次のような（正定値）内積
の族である。"M" 上のすべての可微分ベクトル場 "X", "Y" に対して、
は滑らかな関数 "M" → R を定義する。
言い換えると、リーマン計量 "g" は正定値（すなわちすべての接ベクトル "X" ≠ 0 に対して "g"("X", "X") > 0 である）対称 (0, 2)-テンソルである。
"n" 個の実数値関数 "x"1,"x"2, ..., "x""n" によって与えられる、多様体 "M" 上の系において、ベクトル場
は "M" の各点において接ベクトルの基底を与える。この座標系に関して、計量テンソルの成分は、各点 "p" において、
同じことだが、計量テンソルは余接束の双対基底 {d"x"1, …, d"x""n"} のことばで次のように書くことができる。
この計量が与えられた多様体 ("M", "g") がリーマン多様体 (Riemannian manifold) である。
参考文献.
（英語版「」より引用）