多様体入門1~定義と簡単な例
更新
多様体とは,局所的にユークリッド空間 と微分同相になる空間である。
次の2つがポイントである。
- 球など曲がった図形をユークリッド空間と見なすことができる。
- 微分を考えることができる。
この記事では多様体の定義と簡単な例を紹介します。
イメージ
イメージ
地図帳を考えてみましょう。
世界地図を1枚の紙に印刷する方法がいくつかあるのは社会の授業で登場しました。
メルカトル図法は 上の地図で緯線と経線が直線の書かれるものの,極に近付くにつれて面積のゆがみが大きくなります。モルワイデ図法は,面積(の比)こそ一定ですが,緯線と経線は曲線になってしまいます。
このように地球全体(球の表面)を平面で描くには,幾何的に「壊れて」しまいます。
しかし地図帳で地図を見るとき,そこにゆがみはありません。
ここから球面全体を正確に平面に書くことは困難だが,部分的なら正確に書くことができるであろうことが示唆されます。
このアイデアを元に一般的な図形を平面()で記述してみましょう。
定義
定義
位相空間 が 次元 級多様体であるとは,
- はハウスドルフ空間
- であって次の条件を満たすものが存在する。
- は の開集合, は の開集合, は を に移す同相写像である。
- である。(つまり開被覆になっている。)
- 任意の に対して (の開集合)上の写像 は 級写像である。
を満たすものである。
- のことをチャート・座標近傍という。
- のことをアトラス・座標近傍系という。
多様体は位相空間に加えて,アトラスの構造が定義に含まれるため,単に と書く代わりに と書いて表すこともある。
自明な多様体
自明な多様体
はもちろん多様体です。アトラスとして を取ればよいです。
行列全体の集合を と書きます。 は と見なせるため多様体になります。
次元球面
次元球面
次元球面
これは( の部分位相空間として) 級多様体になります。
ハウスドルフ性
ハウスドルフ空間の部分空間はハウスドルフであるため, はハウスドルフである。→ ハウスドルフ空間
チャートの設定
に対して と定める。
と定める。
このとき となる。
を と定める。( 番目の座標だけを取り除く)
これは微分同相写像である。実際, と逆写像が得られる。
これらを踏まえると, の成分に現れる関数は
であるため, は 級関数である。
以上より は 級多様体である。
射影空間
射影空間
に次のように同値関係 を定める。
に対して
この同値関係による商 を射影空間 と定義する。
は 級多様体である。
ハウスドルフ性
チャートの設定
と定義する。 は の開集合となり, は を被覆する。
さらに を と定める。
は同相写像である。実際,逆写像として が得られる。
座標変換
を計算すればよい。
となる。
の成分に現れる関数は が, 上でこれらは 級である。
こうして多様体の構造が入る。
のグラフも多様体になります。次回は多項式関数のグラフなどが多様体になることを見ていきます。