多様体

出典: フリー百科事典『ウィキペディア(Wikipedia)』
4次元多様体から転送)
移動先: 案内検索
ファイル:Manifold zahyou1.png
好きなところに座標を描ける多様体

多様体(たようたい、英語:manifold)とは、局所的にはユークリッド空間と見なせるような図形や空間(位相空間)のことである。多様体上には好きなところに局所的に座標を描き込むことができる。

直感的な説明

多様体に座標を描くという作業は地球上の地図を作る作業に似ている。地図の上の点は地球上の点に対応し、さらに地面には描かれていない緯線経線を地図に描き込むことによって、地図に描いてある地域の様子が分かりやすくなる。座標の無い地球上の様子は、人間が作った座標のある地図と対応させることによって非常に把握しやすくなる。

地球はであり、世界地図を一枚の平面的な地図におさめようとすれば、南極大陸が肥大化したり、地図の端の方では一枚の地図の中に(連続性を表現するために)同じ地点が複数描き込まれたりする。世界地図をいくつかの小さな地図に分割すると、こういった奇妙なことはある程度回避できる。例えば、北極を中心とした地図、南極を中心とした地図、ハワイを中心とした地図、ガーナを中心とした地図…… などのように分割できる。そして隣り合った地図の繋がりをそれぞれの地図に同じ地域を含めることで表現すればよい。こうすることによって異なる地図同士では重複する部分が出てきてしまうものの、一枚の地図の中に同じ地域が 2 箇所以上描かれることをなくすことはできる。

地球と同じように多様体は好きなところに小さな地図(局所座標系)が描ける図形である。逆に、このような小さな地図を繋げていったら全体としてどのような図形ができあがるのか?という問題は位相幾何学の重要な問題の一つでもある。地図だけみれば地球をまねて作っているようなゲーム(例えば、ファミコン版のドラゴンクエストシリーズ[1])の世界が、実は球面ではなくトーラスだったということもある。

多様体は性質のよい図形であり、多様体でない図形も多く存在する。円や球や多角形、多面体などは全て多様体として扱えるが、ペアノ曲線フラクタルなどは適当な地図を描くことはできず、多様体にはならない。

定義

多様体の定義で重要な点は、多様体の上にいかにして座標系を貼り付けるか?ということと、どのような座標系を用いたとしても計算に違いが現れないようにすることである。多様体は計算したいときに座標を導入でき、しかもどのような座標系で計算したとしても違いがない、すなわち座標系に依存しないという非常に扱いやすい性質が追求された図形である。

ここでいう計算とは関数ベクトル、それらの微分積分などのユークリッド空間の上で普通に行われているような座標を用いた計算のことである。

局所座標系(system of local coordinates)

ファイル:Manifold zahyou2.png
同相写像 φ とその逆写像 φ-1 で対応付けられた(座標の無い)集合 U と(座標のある)集合 U

M位相空間とする。M開集合 U に対して、m 次元ユークリッド空間の開集合 U′ への 同相写像

<math>\phi : U \to U'</math>

局所座標系 (local coordinate system) あるいは(局所)チャート (chart) という。 aU に対し、φ(a) を局所座標 (local coordinates) という。局所座標は、ユークリッド空間の点として見たときの特定の座標すなわち m 個の数の組 (φ1(a), ..., φm(a)) であるのに対し、局所座標系は、U 上で定義された m 個の関数 (φ1, ..., φm) の組である。

局所座標を用いることにより U 上の点を m 次元ユークリッド空間の点であるかのように扱うことが可能になる。U 上に局所座標系 φ が定義されていることを (U, φ) という対で表し、これを m 次元座標近傍 (coordinate neighborhood) という。座標近傍としては、局所座標系の成分を明示的に (U1, ..., φm) のように書いたものを用いることもある。

ファイル:Manifold zahyou3.png
UVは、 φ(UV) と ψ(UV) の 2 通りの局所座標で表されているが局所座標同士は座標変換で写り合う

M の二つの座標近傍 (U,φ) と (V,ψ) について、 UV が空でないとする。局所座標系 φ と ψ は UV をそれぞれ m 次元ユークリッド空間の開集合U′, V′ に写すとする。すなわち

<math>\phi : U \to U'</math>
<math>\psi : V \to V'</math>

である。このとき

<math>\psi \circ \phi ^{-1} : \phi(U\cap V) \to \psi(U\cap V)</math>

は、m 次元ユークリッド空間の開集合から開集合への同相写像になる。この写像を (U, φ) から (V, ψ) への座標変換 (coordinate transformation) という。座標変換を用いれば、同じ開集合 UV に定義された異なる局所座標 φ と ψ を同じものとして扱うことができる。

座標変換はまず φ−1M に戻してから ψ によって座標のある集合 V′ に写す写像である。間に座標が決められていない空間 M を挟む形になっているものの、座標変換全体はユークリッド空間の部分集合 U′ からユークリッド空間の部分集合 V′ への写像になっている。すなわち M を経由しているという事実を無視し、座標変換を合成写像としてではなく全体で 1 つの写像として捉えると、それは普通のユークリッド空間からユークリッド空間への写像である。

m 次元座標近傍の族 S = {(Uλ, φλ) | λ ∈ Λ} が M 全体を覆っているとする。

<math> M = \bigcup_{\lambda\in\Lambda} U_\lambda</math>

このとき、S座標近傍系 (system of coordinate neighborhoods) あるいはアトラス (atlas) という。アトラスというのは地図帳のことで、局所的な地図であるチャートをいくつも集めて作った地図帳という意味である。

位相多様体(topological manifold)

Mハウスドルフ空間とする。M の任意の点 a に対して、a を含む m 次元座標近傍 (U, φ) が存在するとき、M を(境界のない)m 次元位相多様体 (topological manifold) という。

これまで、局所座標 φ(a) はユークリッド空間 Rm に値を取ると考えてきたが、代わりに半空間 Hm = {(x1, x2, ..., xm) ∈ Rm | xm ≥ 0} に値を取ると考え局所座標の定義を修正すると境界のある位相多様体が定義される。

N をハウスドルフ空間とし、N の任意の点 a に対して、a を含む m 次元座標近傍 (U, φ) が存在するとする。

半空間 Hm = {(x1, x2, ..., xm) ∈ Rm | xm ≥ 0} の部分空間として Gm-1 = {(x1, x2, ..., xm) ∈ Rm | xm = 0} を取ればそれは Rm-1 になる。 N の座標近傍系 S = {(Uλ, φλ) |λ ∈ Λ} に対し、各座標近傍 (Uλ, φλ)

<math>\phi_{\lambda} : U_{\lambda} \to U'_{\lambda} \sub H^m </math>

において Wλ = { aUλ | φλ(a) ∈ Gm-1} という集合を考えたとき

<math> \partial N = \bigcup_{\lambda\in\Lambda} W_\lambda</math>

N境界という。∂N が空でないとき N境界のある m 次元位相多様体という。境界のある m 次元位相多様体の境界は m - 1 次元位相多様体になる。

可微分多様体(differentiable manifold)

m 次元位相多様体 M の座標近傍系 S = {(Uλ, φλ) | λ ∈ Λ} の任意の 2 つの座標近傍 (U1, φ1), (U2, φ2) に対し、U1U2 が空でないならば座標変換

<math>\phi_1 \circ \phi_2^{-1} : \phi_2(U_1\cap U_2) \to \phi_1(U_1\cap U_2)</math>

のすべての成分が、Cn 級関数(n連続微分可能関数、すなわち n 回微分可能でありかつ n 階偏導関数がすべて連続となるような関数)となるとき、SCn 級座標近傍系という。

m 次元位相多様体 M が、Cn 級座標近傍系を持つとき、 MCnm 次元微分可能多様体(あるいは可微分多様体、differentiable manifold of class Cn) という。微分可能とか、可微分といった言葉を省略して Cn 級多様体ということもある。位相多様体のことを、座標変換の微分可能性が仮定されていないという意味で C0 級多様体と呼ぶこともある。 C 級多様体は、滑らかな多様体と呼ばれる。特に n = ω すなわち、全ての座標変換が解析関数であるときは特に解析多様体 (analytic manifold) という。

ここで、自然数 s, tst を満たすとき、定義より、Ct 級関数は Cs 級関数である。

例えば 5 回連続微分可能な関数は、4 回連続微分可能な関数でもある。

このことから、Ct 級微分可能多様体は Cs 級微分可能多様体でもある。

微分可能多様体は、Cn 級座標近傍系 Sの取り方によってはまったく別の多様体になってしまうので、 位相多様体 M と座標近傍系 S を対にして (M, S) と書くこともある。この意味で S は位相多様体 MCn 級可微分構造 (differentiable structure of class Cn) を定めると表現されることもある。

座標近傍系同士の関係や性質など座標近傍系の基本的な性質に関わることを論じる場合に、(M, S) と明示すると分かりやすい。

極大座標近傍系

m 次元位相多様体 M に対し Cn 級座標近傍系として ST の 2つを取るとする。和集合 ST が再び MCn 級座標近傍系になるとき、 ST同値であるという。これは同値関係を定める。これは S に属する座標近傍と T に属する座標近傍の間にも座標変換が存在し S での計算と T での計算に違いが無いという性質を保証するための同値関係である。

さらに、 M 上の S と同値な Cn 級座標近傍系全ての和集合を取ることによって得られる F = F(S) を S によって生成された MCn極大座標近傍系あるいは MCn微分構造という。定義により、同じ微分構造を定める座標近傍系同士は同値である。

こうして座標近傍系の取り方に依存しない Cn 級多様体が定義される。m 次元位相多様体 M 上に互いに微分同相でない複数の微分構造が存在することもある。

多様体の例

アフィン空間

多様体の例でもっとも簡単なものは、 m 次元ユークリッド空間 Rm に座標近傍系として S1 = {(Rm, id)} をいれたものである。ここで id恒等写像

id: RmRm
id(x) = x

すなわち xRn に対して x をそのまま返す写像である。最初から座標が描かれているのだからそれをそのまま使えばよく、この場合は座標近傍が 1 つしかないので座標変換が不要である。恒等写像はもちろん解析的なので (Rm,S1) は m 次元解析多様体である。このように Rm を微分可能多様体として捉えたものをアフィン空間という。

話をさらに簡明にするために m = 1 とする。すなわち数直線 R1 について考える。上に書いたとおり S1 = {(R1, id)} として、 (R1,S1) は 1 次元解析多様体となる。

整数 i に対して 開区間 Ui = (i-1,i+1) を取る。 xUi に対し 写像 φi

φi(x) = xi ∈ (−1 , +1)

で定めると φiUi の局所座標系になり、 S2 = {(Uii)| iZ} としたとき、 (R1,S2) も 1 次元解析多様体である。例えば UiUi + 1 = (i,i + 1) で座標近傍 (Uii) から座標近傍 (Ui + 1i + 1) への座標変換は

<math>\phi_{i+1} \circ \phi_{i}^{-1}(x) = x-1</math>

で与えられる。なお S1S2 は同値な座標近傍系である。

開部分多様体

S1 = {(Uλ, φλ) | λ ∈ Λ} を座標近傍系にもつ m 次元 Cn 級多様体 (M1,S1)と、 M の(空でない)開集合Vに対して S2 = {(Uλ ∩ V, φvλ) | λ ∈ Λ} を考える。ただし、 φvλ は、 φ の定義域を Uλ から Uλ ∩ V に制限しただけの写像で、本質的には φ となんら変わりのない写像である。

このとき (V, S2) も m 次元 Cn 級多様体となる。この多様体を (M1,S1) の開部分多様体 (open submanifold) という。

R1 の開集合である 開区間 (a,b) は R1 の開部分多様体である。

R2 の開集合である 開円板 {(x1,x2)|x21+x22 < 1} は R2 の開部分多様体である。

というように、多様体に含まれる開集合に多様体を制限したものが開部分多様体である。

円周と球面

単位円

S1 = {(x1, x2) ∈ R2 | x12 + x22 = 1}

を考える。単位円は次の 4 つの開近傍で覆うことができる。

U1+ = {(x1, x2) ∈ S1 | x1 > 0}
U1 = {(x1, x2) ∈ S1 | x1 < 0}
U2+ = {(x1, x2) ∈ S1 | x2 > 0}
U2 = {(x1, x2) ∈ S1 | x2 < 0}

それぞれに局所座標系を次の様に定める。ただし I = ( − 1,1) とする。

φ1+: U1+I , φ1+(x1, x2) = x2
φ1: U1I , φ1(x1, x2) = x2
φ2+: U2+I , φ2+(x1, x2) = x1
φ2: U2I , φ2(x1, x2) = x1

そして座標近傍系を

T = {(U1+1+), (U11), (U2+2+), (U22)}

と取れば、(S1,T) は 1 次元解析多様体になる。

m 次元単位球面

Sm = {(x1, ..., xm, xm+1) ∈ Rm+1 | x12 + … + xm2 + xm+12 = 1}

についても同じようにして 2(m+1)個の開近傍で覆うことができ、それぞれの開近傍は m 次元開球と同相であるので、局所座標系を定めることができ m 次元解析多様体になる。

積多様体

S1 = {(Uλ, φλ) | λ ∈ Λ} を座標近傍系にもつ a 次元 Cn 級多様体 (M1,S1) と S2 = {(Vτ, ψτ) | τ ∈ Τ} を座標近傍系に持つ b 次元 Cn 級多様体 (M2,S2) を考える。

直積集合 M1 × M2直積位相によってハウスドルフ空間となる。それぞれの座標近傍 (Uλ, φλ) と (Vτ, ψτ) に対し、開集合 UλVτ の直積 Uλ × Vτ とその上で定義された写像 φλ × ψτ によって座標近傍同士の直積 (Uλ × Vτ, φλ × ψτ) が定義される。

ここで Uλ × Vτ は、 pUλqVτ を取ったときの (p,q) という組の全体である。写像の直積 φλ × ψτUλ × Vτ の上で定義された

ファイル:Torus cycles.png
2 次元多様体の例:トーラス
λ × ψτ)(p,q) = (φλ(p), ψτ(q))

という写像である。

この式の右辺は成分で表せば (φ1(p),φ2(p), … ,φa(p), ψ1(p),ψ2(p), … ,ψb(p)) のことであり、単に成分を並べたものと考えてよい。

このように座標近傍同士の直積によって座標近傍系 S3 = {(Uλ × Vτ, φλ × ψτ) | λ ∈ Λ , τ ∈ Τ} を定めたとき、 (M1 × M2, S3) は、 a + b 次元 Cn 級多様体になる。この (M1 × M2, S3) を (M1,S1) と (M2,S2) の積多様体 (product manifold) という。同様にして M1 × M2 × … × Mm というような、 3 つ以上の多様体から作られる積多様体も定義できる。

直線と円周の直積 R1 × S1 を考えれば、直線を軸とした無限に伸びる円柱の側面を多様体と見ることもできるし、円周同士の直積 T2 = S1 × S1 を考えればトーラスを多様体とみることもできる。

その他の例

原点を通る直線は

y=m x

のように書かれるが、これらの直線はmの値と対応し、あらためて一つの点と考えることができる。直線の集合は図形ではないが、このように直線を点に読み替えることで直線のなす集合にも適当な座標系を入れることができ、多様体という図形として扱えるようになる。

多様体上の関数

m 次元 Cn 級多様体 M 上で定義された実数値関数 f を考える。

f: MR

これは、多様体上の点 pM に対して実数値 f(p) を対応させる関数である。特定の局所座標を考えているわけではないので、この関数の変数は (x1, x2, ..., xm) のようにを並べた座標ではなく単に点を表している。

多様体上には局所座標を貼ることができるためこの座標を用いた微積分などの計算が可能である。 M には座標近傍系 S = {(Uλ, φλ) | λ ∈ Λ} が与えられていて

<math>\phi_{\lambda} : U_{\lambda} \to U'_{\lambda} </math>

とすれば

<math> f \circ \phi^{-1}_{\lambda} : U'_{\lambda} \to R</math>

つまり q = φλ(p) ∈ Uλ に対し

<math> f \circ \phi^{-1}_{\lambda}(q)= f(\phi^{-1}_{\lambda}(q)) = f(p) </math>

である。この Uλ はユークリッド空間の部分集合なので その点である q は (x1, x2, ..., xm) のように数を並べた座標で表すことができ、この座標を用いて微積分などの計算が可能になる。座標近傍 (Uλ, φλ) においてその座標を用いて具体的に f(x1, x2, ..., xm) のように書かれた関数を (Uλ, φλ) に関する f局所座標表示という。

ところで、多様体上の計算はなるべく局所座標のとり方に依存しないような計算をしたいという目標があるので U1U2 上では、座標近傍 (U1, φ1), (U2, φ2) のそれぞれの計算は座標変換でうつり合う必要がある。 座標近傍 (U1, φ1) での関数の表示

<math> f \circ \phi^{-1}_{1} : \phi_1(U_{1}\cap U_{2}) \to R</math>

を座標近傍 (U2, φ2) での表示に変換すると

<math>(f \circ \phi^{-1}_{1}) \circ (\phi_1 \circ \phi_2^{-1}) : \phi_2(U_1\cap U_2) \to R </math>

真ん中に挟まれた、 φ1-1 と φ1 は写像として打ち消しあうように見えるが、微分可能性を検証したいのでここではあえてしない。Cn 級多様体の座標変換は Cn 級であるから、この合成関数の微分可能性も高々 Cn 級であるとしか言えず、座標変換によっては n + 1 回以上の微分は不可能である場合もあるかもしれないので意味がない。したがって、Cn 級多様体上での関数は Cn 級までしか意味を持たない。もちろん、ある特定の座標近傍だけで定義された関数に n + 1 回以上微分できる関数を定義することはできるが、それはその座標近傍だけでの性質であり、Cn 級多様体という図形の性質とは異なるものになる。

したがって

f: MR

Cs 級関数であるとは、任意の座標近傍に対し、そこでの局所座標表示が Cs 級関数であることと定義される。ただし 0 ≤ s ≤ n とする。 M 上の Cs 級関数の全体を Cs(M) と表すことがある。

多様体の間の写像

m1 次元 Cs 級多様体 (M1,S) から m2 次元 Ct 級多様体 (M2,T) への写像 f を考える。

f: M1M2

それぞれの多様体に与えられている座標近傍系が S = {(Uλ, φλ) | λ ∈ Λ} , T = {(Vτ, ψτ) | τ ∈ Τ} で定められているとする。多様体上の関数と同じように、写像も座標を用いて表現することができる。関数の場合と違うのは写像でうつる先でも座標について考えなければならないことである。

M2 = R という「特別な」場合の写像が関数になる。

f(Uλ) ⊆ (Vτ) とし f を (Uλ, φλ) から (Vτ, ψτ) への写像として座標を用いて書くとすると

<math>\phi_{\lambda} : U_{\lambda} \to U'_{\lambda} </math>
<math>\psi_{\tau} : V_{\tau} \to V'_{\tau} </math>

とすれば

<math> \psi_{\tau} \circ f \circ \phi^{-1}_{\lambda} : U'_{\lambda} \to V'_{\tau} </math>

となる。 これが具体的に座標の成分を用いて

ψ1 = f1, ..., φm)
ψ2 = f1, ..., φm)
...
ψn = f1, ..., φm)

のように表現されているとき、 この表示を (Uλ, φλ) と (Vτ, ψτ) に関する f局所座標表示という。

座標変換を考えるために f(U1) ⊆ (V1) , f(U2) ⊆ (V2) とし、 U1U2 が空でないとする。 U1U2 に対して、座標近傍 (U1, φ1) と (V1, ψ1) での写像 f の表示

<math> \psi_{1} \circ f \circ \phi^{-1}_{1} : \phi_1(U_{1}\cap U_{2}) \to \psi_1(V_{1}\cap V_{2}) </math>

を座標変換を用いて座標近傍 (U2, φ2) と (V2, ψ2) に関する表示に変換すると

<math>(\psi_2 \circ \psi_1^{-1}) \circ (\psi_1 \circ f \circ \phi^{-1}_{1}) \circ (\phi_1 \circ \phi_2^{-1}) : \phi_2(U_1\cap U_2) \to \psi_2(V_1\cap V_2) </math>

それぞれの括弧は、座標系から座標系への写像になっている。左端の括弧は (M2,T) での座標変換なので Ct 級、右端の括弧は (M1,S) での座標変換なので Cs 級である。このことからst の小さい方( s = t ならばその値)を u として、この合成写像の微分可能性は高々 Cu 級であり、 u + 1 回以上の連続微分可能性を仮定することは意味を持たない。

したがって

f: M1M2

Cr 級写像であるとは、任意の座標近傍に対し、そこでの局所座標表示が Cr 級写像であることと定義される。ただし 0 ≤ ru = min{s,t} とする。

1 ≤ ru の時

f: M1M2

全単射f とその逆像 f -1 がともに Cr 級写像であるとき、 fCr微分同相写像 (Cr diffeomorphism) という。

M1M2 の間に Cr 級微分同相写像が存在するとき M1M2 は互いに Cr微分同相 (Cr diffeomorphic) であるという。

多様体上の曲線

R の開区間 I = (a,b) から Cs 級多様体 M への Cr 級写像

φ : IM

のことを、 Cr曲線 (Cr curve) という (0 ≤ r ≤ s)。

{ φ(t) ∈ M | t ∈ I} という点の集合を曲線というのではなく、写像 φ を曲線というのである。なお、 φ の変数 t媒介変数という。

ac < db

とする。φ が 開区間 I = (a,b) で定義された Cr 級曲線であるとき、 I に含まれる閉区間 [c,d] や 半開区間 [c,d), (c,d] に φ の定義域を制限して得られる写像も Cr 級曲線という。

歴史

多様体の歴史はゲッティンゲンで行われたリーマンの講演に始まる。

多様体論は、ロバチェフスキーの双曲幾何学によって始まった非ユークリッド幾何学ガウス曲面論を背景として様々な幾何学を統一し、 n 次元の幾何学へと飛躍させた。発見当初はカント哲学に打撃を与えたりした非ユークリッド幾何学も多様体論の一例でしかなくなってしまった。

リーマンがゲッティンゲン大学の私講師に就任するために行った講演『幾何学の基礎に関する仮説について』の中で「何重にも拡がったもの」と表現した概念が n 次元多様体のもとになり n 次元の幾何学に関する研究が始まった。この講演を聴いていたガウスがその着想に夢中になり、(ガウスは普段はあまり表立って他人を褒めることはなかったが、)リーマンの着想がいかに素晴らしいかを同僚に語り続けたり、帰り道にうわの空で道端の溝に落ちたりしたと言われている。

年表

関連項目

脚注

  1. 参照:坪井俊・東京大学大学院数理科学研究科教授の資料テンプレート:Dead link

参考文献

  • テンプレート:Cite book
  • テンプレート:Cite book
  • Freedman, Michael H., and Quinn, Frank (1990) Topology of 4-Manifolds. Princeton University Press. ISBN 0-691-08577-3.
  • Guillemin, Victor and Pollack, Alan (1974) Differential Topology. Prentice-Hall. ISBN 0-13-212605-2. Inspired by Milnor and commonly used in undergraduate courses.
  • Hempel, John (1976) 3-Manifolds. Princeton University Press. ISBN 0-8218-3695-1.
  • Hirsch, Morris, (1997) Differential Topology. Springer Verlag. ISBN 0-387-90148-5. The most complete account, with historical insights and excellent, but difficult, problems. The standard reference for those wishing to have a deep understanding of the subject.
  • Kirby, Robion C. and Siebenmann, Laurence C. (1977) Foundational Essays on Topological Manifolds. Smoothings, and Triangulations. Princeton University Press. ISBN 0-691-08190-5. A detailed study of the category of topological manifolds.
  • Lee, John M. (2000) Introduction to Topological Manifolds. Springer-Verlag. ISBN 0-387-98759-2.
  • テンプレート:Citation
  • Lee, John M. (2003) Introduction to Smooth Manifolds. Springer-Verlag. ISBN 0-387-95495-3.
  • Massey, William S. (1977) Algebraic Topology: An Introduction. Springer-Verlag. ISBN 0-387-90271-6.
  • Milnor, John (1997) Topology from the Differentiable Viewpoint. Princeton University Press. ISBN 0-691-04833-9.
  • Munkres, James R. (2000) Topology. Prentice Hall. ISBN 0-13-181629-2.
  • Neuwirth, L. P., ed. (1975) Knots, Groups, and 3-Manifolds. Papers Dedicated to the Memory of R. H. Fox. Princeton University Press. ISBN 978-0-691-08170-0.
  • Riemann, Bernhard, Gesammelte mathematische Werke und wissenschaftlicher Nachlass, Sändig Reprint. ISBN 3-253-03059-8.
  • Spivak, Michael (1965) Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. HarperCollins Publishers. ISBN 0-8053-9021-9. The standard graduate text.