4件
多様体とは, 滑らかな平面曲線や, 空間曲線や, 閉曲面を一般化した概念である.
多様体の数学的定義
位相空間 M の開集合の族 {Uα} と, 各 Uα から Rｎ への写像 φα が与えられていて, 次の条件 (i)～(iii) を満たしているとき, M をn次元位相多様体という. また, (iii) の「連続写像」を「Cr 級写像(1≦r≦ω)」に変えるとn次元 Cr 級可微分多様体が定義される. (Uα, φα) のひとつひとつを局所座標, その集まり {(Uα, φα)} を局所座標系という.
(i) {Uα} は M の開被覆である. つまり, M=∪{Uα}.
(ii) 各 φα ： Uα → Rn の像 φα (Uα) は開集合であって, φα は Uα から φα (Uα) の上への同相写像である.
(iii) Uα ∩ Uβ ≠ ∅ となる α, β に対しては,
φβ○φα-1 ：φα(Uα ∩ Uβ) → φβ(Uα ∩ Uβ) (⊂Rn)
は Rn の開集合 φα(Uα ∩ Uβ) からの連続写像である.
多様体を噛み砕いて言うと
まずは地球と世界地図を思い浮かべてみよう. 地球は球形(正確にはほぼ回転楕円体)なので, そのまま一枚の平面に正確に地球全体を描くことは出来ない. 地球全体を一枚の図に表すためにはどこかを切り離さなければならない. より精密な情報が必要な場合, その代わり, 世界をいくつかの部分に分け, それを何枚もの地図に表し, 地図帳を作る. 何枚かの局所的な地図（局所座標）を集めて大域的な空間を表現しようというのが多様体の発想と言える.
ここでいう「地図」とは、通常ユークリッド空間のことを指す。いわゆる直交座標系であり、方眼紙と思ってみるとわかりやすい。多様体はなにかグネグネしていたり穴が開いていたりするが、十分ちいさな領域に注目したら十分なめらかであり、その部分を切り取ってゴム膜のように曲げたり伸ばしたりすれば方眼紙に張り付けることができるし、小さく切りとった方眼紙をゴム膜のように曲げたり伸ばしたりすれば多様体に滑らかに張り付けることができる。方眼紙には座標が書き込まれているので、方眼紙を張り付けた多様体上の点には座標を指定することもできる。
多様体を覆い尽くすのに2次元の方眼紙で事足りればその多様体は2次元であると言える。3次元の格子が必要であれば3次元多様体ということになる。一般に、多様体上のすべての点xにおける近傍系Uがn次元ユークリッド空間と同相であるならば（つまりn次元方眼紙を滑らかに張り付けられるならば）、その多様体はn次元多様体である。
この定義のなにがいいの？
さて、多様体とは「局所的に座標を用いて表せる空間のようなもの」、ということであるが、同じ場所でも方眼紙の張り方は自由であり、張り方によって座標がグネグネ変わってしまう。メルカトル図法と正積図法では地図上の直線や島の面積の意味が異なるようなものである。座標の取り方によって毎回計算結果や計算の意味が変わってしまうのであれば、ユークリッド空間上でできたマトモな計算はできない。
しかし、微分や積分など、ある種の計算は方眼紙の歪み方に関係なく一定になるようにすることができる。方眼紙が伸びて過大評価しまった分を方眼紙の歪みに合わせて補正してやるようなイメージである。あるいは、座標系を考慮しなくても済むよう計算を定義すると言ってもよい。
つまり、ユークリッド空間では常に座標に依存した計算を行っていたが、多様体上の計算は座標に依存しない計算を行うことが重要になるのである。逆に言えば、（やろうと思えば座標を指定できるけど）座標の取り方に陽に依存しない空間のことを多様体と呼ぶのだ。
ベクトル解析で現れるグリーンの定理、ストークスの定理、ガウスの定理は、ユークリッド空間上で定義されている積分変換の定理である。一見するとぜんぜん関係のない定理に見えるが、多様体上で定義しなおすことで、それぞれが「多様体の微分形式における積分変換定理の特殊な場合」と見なすことができる。
ちょうどベクトルを座標で指定する矢印ではなくベクトル同士の計算の規則のみで定義することができるように、空間上の計算規則や点を座標によらない定義に置き換えることでより本質に近い豊かな議論ができるようになるのである。
関連動画
関連商品
関連項目
- 2
- 0pt
