多様体?
多様体(たようたい、manifold)とは、局所的にユークリッド空間とみなせるような図形のことである。多様体上には好きなところに局所的に座標を描き込むことができる。
多様体に座標を描くという作業は地球上の地図を作る作業に似ている。地図の上の点は地球上の点に対応し、さらに地面には描かれていない緯線や経線を地図に描き込むことによって、地図に描いてある地域の様子が分かりやすくなる。座標の無い地球上の様子は、人間が作った座標のある地図と対応させることによって非常に把握しやすくなる。
地球は球であり、世界地図を一枚の平面的な地図におさめようとすれば、南極大陸が肥大化したり、地図の端の方では一枚の地図の中に(連続性を表現するために)同じ地点が描き込まれたりする。世界地図をいくつかの小さな地図に分割すると、こういった奇妙なことはある程度回避できる。例えば、北極を中心とした地図、南極を中心とした地図、ハワイを中心とした地図、ガーナを中心とした地図…… などのように分割できる。そして隣り合った地図の繋がりをそれぞれの地図に同じ地域を含めることで表現すればよい。こうすることによって異なる地図同士では重複する部分が出てきてしまうものの、一枚の地図の中に同じ地域が 2 箇所以上描かれることをなくすことはできる。
地球と同じように多様体は好きなところに小さな地図(局所座標系)が描ける図形である。逆に、このような小さな地図を繋げていったら全体としてどのような図形ができあがるのか?という問題は位相幾何学の重要な問題の一つでもある。地図だけみれば地球をまねて作っているようなゲームの世界が、実は球面ではなくトーラスだったということもある。
多様体は性質のよい図形であり、多様体でない図形も多く存在する。円や球や多角形、多面体などは全て多様体として扱えるが、ペアノ曲線やフラクタルなどは適当な地図を描くことはできず、多様体にはならない。
多様体の定義で重要な点は、多様体の上にいかにして座標系を貼り付けるか?ということと、どのような座標系を用いたとしても計算に違いが現れないようにすることである。多様体は計算したいときに座標を導入でき、しかもどのような座標系で計算したとしても違いがない、すなわち座標系に依存しないという非常に扱いやすい性質が追求された図形である。
ここでいう計算とは関数やベクトル、それらの微分、積分などのユークリッド空間の上で普通に行われているような座標を用いた計算のことである。
[編集] 局所座標
同相写像 φ とその逆写像 φ-1 で対応付けられた(座標の無い)集合 U と(座標のある)集合 U′M を位相空間とする。M の開集合 U に対して、m 次元ユークリッド空間の開集合 U′ への 同相写像
を局所座標系 (local coordinate system) あるいは(局所)チャート (chart) という。 a ∈ U に対し、φ(a) を局所座標 (local coordinates) という。局所座標は、ユークリッド空間の点として見たときの特定の座標すなわち m 個の数の組 (φ1(a), ..., φm(a)) であるのに対し、局所座標系は、U 上で定義された m 個の関数 (φ1, ..., φm) の組である。
局所座標を用いることにより U 上の点を m 次元ユークリッド空間の点であるかのように扱うことが可能になる。U 上に局所座標系 φ が定義されていることを (U, φ) という対で表し、これを m 次元座標近傍 (coordinate neighborhood) という。座標近傍としては、局所座標系の成分を明示的に (U;φ1, ..., φm) のように書いたものを用いることもある。
U∩Vは、 φ(U∩V) と ψ(U∩V) の 2 通りの局所座標で表されているが局所座標同士は座標変換で写り合うM の二つの座標近傍 (U,φ) と (V,ψ) について、 U ∩ V が空でないとする。局所座標系 φ と ψ は U と V をそれぞれ m 次元ユークリッド空間の開集合U′, V′ に写すとする。すなわち
である。このとき
は、m 次元ユークリッド空間の開集合から開集合への同相写像になる。この写像を (U, φ) から (V, ψ) への座標変換 (coordinate transformation) という。座標変換を用いれば、同じ開集合 U ∩ V に定義された異なる局所座標 φ と ψ を同じものとして扱うことができる。
座標変換はまず φ-1 で M に戻してから ψ によって座標のある集合 V′ に写す写像である。間に座標が決められていない空間 M を挟む形になっているものの、座標変換全体はユークリッド空間の部分集合 U′ からユークリッド空間の部分集合 V′ への写像になっている。すなわち M を経由しているという事実を無視し、座標変換を合成写像としてではなく全体で 1 つの写像として捉えると、それは普通のユークリッド空間からユークリッド空間への写像である。
m 次元座標近傍の族 S = {(Uλ, φλ) | λ ∈ Λ} が M 全体を覆っているとする。
このとき、S を座標近傍系 (system of coordinate neighborhoods) あるいはアトラス (atlas) という。アトラスというのは地図帳のことで、局所的な地図であるチャートをいくつも集めて作った地図帳という意味である。
(以上、ウィキペディアより引用)
これを勉強している人はすごいですね…。
相互リンク
大塚デリヘル 渋谷デリヘル情報 品川のデリヘル デリヘル デリヘル池袋 デリヘル 新宿 デリバリーヘルス 町田 立川デリバリーヘルス 東京 デリヘル デリバリーヘルス