擬リーマン多様体

テンプレート:要改訳微分幾何学において、擬リーマン多様体 (ぎリーマンたようたい、pseudo-Riemannian manifold)^[1]^[2]（また、半リーマン多様体 (semi-Riemannian manifold) ともいう）は、リーマン多様体の一般化であり、そこでは計量テンソルが必ずしもテンプレート:仮リンクでないこともある。代わって、非退化というより弱い条件が、計量テンソルへ導入される。

擬リーマン多様体の接空間はテンプレート:日本語版にない記事リンクである。

一般相対論で極めて重要な多様体として、ローレンツ多様体 (Lorentzian manifold) があり、そこでは、一つの次元が他の次元とは反対の符号を持っている。このことは、接ベクトルが時間的、光的、空間的^{[注釈 1]} へと分類される。時空は 4次元ローレンツ多様体としてモデル化される。

始めに

多様体

テンプレート:Main

微分幾何学において、微分可能多様体は、局所的にはユークリッド空間と同じ空間である。n-次元ユークリッド空間では、任意の点が n 個の実数により特定される。これらを点の座標と呼ぶ。

n-次元微分可能多様体は、n-次元ユークリッド空間の一般化である。多様体では、局所的に座標を定義することができる。このことは座標の貼り合わせ(coordinate patch)が達成できて、多様体の部分集合は n-次元ユークリッド空間へ写像することができる。

詳細は、多様体, 微分可能多様体, 座標の貼り合わせ(coordinate patch)を参照。

接空間と計量テンソル

テンプレート:Main

接空間は、テンプレート:Mvar 次元微分可能多様体テンプレート:Mvar の各々の点テンプレート:Mvar に付随し、テンプレート:Mvar と書かれる。接空間は、その元が点テンプレート:Mvar を通る曲線の同値類と考えることができるテンプレート:Mvar 次元ベクトル空間である。

計量テンソルは非退化であり、滑らかで、対称性を持つ双線形写像で、多様体の各々の接空間での接ベクトルのペアに実数を割り当てる。計量テンソルをテンプレート:Mvar と書くと、これは

g : T_{p} M \times T_{p} M \to ℝ .

と表すことができる。

写像は対称的で双線形であるので、 $X, Y, Z \in T_{p} M$ が点テンプレート:Mvar で多様体テンプレート:Mvar の接ベクトルであれば、任意の実数 $a \in ℝ$ に対し、

$g (X, Y) = g (Y, X)$
$g (a X + Y, Z) = a g (X, Z) + g (Y, Z)$

となる。

テンプレート:Mvar が非退化であることは、すべての $Y \in T_{p} M$ に対し $g (X, Y) = 0$ となるような（0 ではない） $X \in T_{p} M$ は存在しないことを意味する。

計量符号

テンプレート:Main

n-次元実多様体上の計量テンソル g が与えられると、任意のテンプレート:仮リンクのそれぞれのベクトルへ適用された計量テンソルに付随する二次形式テンプレート:Nowrap が n 個の実数値で表される。二次形式の慣性法則により、この方法で表された各々の正、負、零の値の数は、直交基底の選択とは独立な計量テンソルに対して不変である。計量テンソルの計量符号 (signature) (p, q, r) はそれぞれの順番通りの数値を与える。非退化計量テンソルはテンプレート:Nowrap であり、符号はテンプレート:Nowrap のときは、(p, q) と書かれる。

定義

擬リーマン多様体 (pseudo-Riemannian manifold) $(M, g)$ は、非退化で滑らかな対称な計量テンソルテンプレート:Mvar を持つ微分可能多様体テンプレート:Mvar である。

そのような計量を、擬リーマン計量 (pseudo-Riemannian metric) と呼び、その値は、正、負、零となることができる。

擬リーマン計量の符号は、テンプレート:Nowrap であり、p と q は非負である。

ローレンツ多様体

ローレンツ多様体 (Lorentzian manifold) は、擬リーマン多様体の特別に重要な例で、そこでは計量の符号が (1, −1, … , −1)) (ときには、 (−1, … , −1, 1) のこともある。「符号の規約」を参照) である。そのような計量をローレンツ計量と呼ぶ。ローレンツ計量は、物理学者ヘンドリック・ローレンツ (Hendrik Lorentz) にちなんでいる。

物理学への応用

リーマン多様体の後に続いて、ローレンツ多様体は擬リーマン多様体の最も重要な部分をなす。ローレンツ多様体は、一般相対論の応用において重要である。

一般相対論の原理的な基礎は、時空は符号 (3, 1) もしくは、同じことであるが、(1, 3) を持つ 4次元ローレンツ多様体としてモデル化することができる。正定値の計量をもつリーマン多様体とは異なり、(3, 1) もしくは (1, 3) の符号は、接ベクトルを時間的、光的、空間的へ分類することができる（因果律を参照）。