1 基本概念
多様体は、各点の近傍がユークリッド空間の開集合と同じ形に扱えるような空間である。ただし、空間全体としては球面やトーラスのように、平坦な座標平面では表しきれない形状をもつことが多い。これにより、局所的な計算のしやすさと、大域的な構造の豊かさを両立して記述できる。
1.1 多様体の定義
多様体は、各点の周囲がある次元の実数空間に局所的に対応する空間として定義される。通常は位相空間として始まり、必要に応じて滑らかさや計量などの追加条件を課す。定義の精密さは用途によって異なるが、中心となる考え方は「局所的には単純、全体としては複雑」である。
1.2 局所ユークリッド性
局所ユークリッド性とは、任意の点が十分小さな近傍において、ある Euclid 空間の開集合と連続的に同型になる性質を指す。これにより、近傍内では通常の座標計算が可能になる。多様体の理論は、この性質を基盤にして点ごとの解析を行う。
1.3 次元
多様体の次元は、各点の近傍が対応するユークリッド空間の次元で定まる。たとえば、円や直線は1次元、球面の表面は2次元として扱われる。次元は局所的な自由度の数を表し、空間の幾何学的性質を理解する際の基本量となる。
1.4 局所座標系
局所座標系は、多様体の近傍を座標変数で表すための仕組みである。1つの座標系は通常、ひとつの近傍でしか有効でないが、複数の座標系を組み合わせることで大域的な情報を得られる。これにより、抽象的な空間上でも微分や積分の概念を適用しやすくなる。
2 多様体の種類
多様体は、どのような構造を重視するかに応じていくつかの種類に分かれる。位相的な連続性を扱うものから、微分計算を可能にするもの、距離や角度を導入するものまであり、研究対象に応じて適切な枠組みが選ばれる。
2.1 位相多様体
位相多様体は、局所ユークリッド性を満たす位相空間である。ここでは連続性が中心的な役割を果たし、曲線のつながり方や空間の穴の有無などを調べる。微分構造を持たない段階でも、位相的性質の多くを議論できる。
2.2 微分多様体
微分多様体は、座標変換のもとで滑らかな関数として扱えるような構造を備えた多様体である。これにより、接ベクトルや微分形式、ベクトル場などを定義できる。解析学と幾何学を結びつける中心的な対象の一つである。
2.2.1 滑らかな構造
滑らかな構造とは、座標の切り替えが十分高い階数まで微分可能であるように整えた追加構造である。これによって、局所的な計算結果を別の座標系へ自然に移せる。滑らかさの条件は、多様体上の微分幾何を成立させる基礎となる。
2.2.2 写像と微分可能性
多様体間の写像は、座標表示したときに通常の微分可能関数として振る舞うことが望まれる。微分可能性があると、接空間の間に微分写像を定められ、変化率を比較できる。こうした写像は、同型や埋め込みなどの概念を通じて分類に用いられる。
2.3 リーマン多様体
リーマン多様体は、各点の接空間に内積を与えた微分多様体である。これにより、長さ、角度、面積、最短経路といった概念が定義される。曲がった空間の局所的・大域的な幾何を研究するための標準的な枠組みである。
2.3.1 計量
計量は、接ベクトル同士の内積を各点で定める仕組みである。距離や長さの測定に加え、直交や角度の概念も導入される。計量の選び方によって、同じ多様体でも異なる幾何学的様相が現れる。
2.3.2 曲率
曲率は、多様体が局所的にどの程度平坦から離れているかを表す量である。リーマン多様体では、曲率テンソルなどを用いて精密に記述する。曲率は、測地線のふるまいや空間の全体構造を理解するうえで重要である。
2.4 複素多様体
複素多様体は、局所座標が複素数で与えられ、座標変換が複素解析的である多様体である。実多様体より強い条件を持ち、複素解析や代数幾何と深く関係する。複素構造により、実次元とは異なる豊かな性質が現れる。
3 基本的な構成
多様体を扱うには、局所的な記述を体系的につなぎ合わせる道具が必要である。チャート、アトラス、遷移写像はそのための基本要素であり、抽象空間を座標計算へ落とし込む役割を担う。
3.1 チャート
チャートは、多様体の一部分をユークリッド空間の開集合へ写す座標表現である。各チャートは局所的な見取り図のように働き、点の位置を数値で表せる。単独では限定的だが、複数を組み合わせることで広い範囲を記述できる。
3.2 アトラス
アトラスは、互いに重なり合う複数のチャートの集まりである。全体として多様体の広い領域を覆うように選ばれ、局所情報をつなぐ基盤になる。適切なアトラスを用いることで、多様体の構造を一貫して扱える。
3.3 遷移写像
遷移写像は、チャート同士が重なる部分で座標を変換する写像である。これが滑らかであるか、あるいは解析的であるかによって、多様体の種類が決まる。遷移写像は、異なる座標系の整合性を保証する要となる。
3.4 商空間としての多様体
多様体は、空間をある同値関係でまとめた商空間として構成されることがある。たとえば、境界を同一視したり、対称性による識別を行ったりすることで、新しい多様体が得られる。この方法は、複雑な形状を組み立てるうえで有効である。
4 多様体上の微分幾何
微分幾何は、多様体上で微分を用いて形や変化を研究する分野である。接空間や微分形式を導入すると、局所的な方向性や流れ、積分の理論が定式化される。これにより、幾何と解析が密接に結びつく。
4.1 接空間
接空間は、多様体の各点における「その点での方向」の全体を表す線形空間である。曲線の接ベクトルを通じて定義する方法や、導分を用いる方法がある。点の近傍での一次近似を与えるため、微分計算の基本舞台となる。
4.2 接ベクトル場
接ベクトル場は、各点に接ベクトルを割り当てる対応である。流れの方向、速度、力の分布などを表現するのに用いられる。ベクトル場を通じて、多様体上の微分方程式や運動の記述が可能になる。
4.3 微分形式
微分形式は、多様体上で積分可能な対象を抽象化したものである。1形式、2形式などがあり、向きや面積要素、流束の表現に適している。外微分と組み合わせると、座標に依存しない形で計算を整理できる。
4.4 積分
多様体上の積分は、局所座標を用いて定義されるが、最終的な値は座標の取り方に依存しないように構成される。体積形式や微分形式を使うと、曲がった空間上でも自然に積分を実行できる。面積、体積、総量の計算に広く応用される。
4.5 ストークスの定理
ストークスの定理は、多様体上の積分に関する基本定理である。境界上での積分と内部での微分操作を結びつけ、さまざまな古典定理を統一的に含む。微分形式の言葉で表すことで、座標系に依存しない簡潔な表現が得られる。
5 位相的性質
多様体の位相的性質は、連続変形では変わらない特徴を扱う。これには、空間が一つにつながっているか、有限の広がりをもつか、向き付けできるかなどが含まれる。位相は、幾何学の土台として広範な分類に関わる。
5.1 連結性
連結性は、多様体が分断されず一続きであるかどうかを表す性質である。連結な空間では、任意の2点を空間内の経路で結べる場合が多い。成分ごとの構造を調べる際の基本概念である。
5.2 コンパクト性
コンパクト性は、空間が「有限個の局所データで制御できる」性質を意味する。解析学では、連続関数の極値の存在や収束性と深く関係する。多様体がコンパクトであるかどうかは、幾何学的・位相的な振る舞いに大きく影響する。
5.3 向き付け可能性
向き付け可能性とは、空間全体で一貫した向きを選べる性質である。球面のように向きを整えやすい例もあれば、メビウス帯のように一周すると反転する例もある。積分や境界の扱いで重要な役割を果たす。
5.4 基本群
基本群は、ある点を基点として、その点に戻る閉路を同値類でまとめた群である。空間にどのような穴や回り道があるかを記述する。多様体の大域的な位相構造を調べる際の代表的な不変量である。
6 代表的な例
多様体の理解には、具体例が不可欠である。単純な閉曲線から高次元の射影空間まで、例を通じて抽象的な定義の意味が明確になる。これらの標準例は、理論の確認や直感の形成に役立つ。
6.1 円
円は1次元多様体の典型例であり、局所的には直線と同じように見える。全体としては閉じた輪を形成し、連結でコンパクトである。最も基本的な曲線状多様体として広く用いられる。
6.2 球面
球面は2次元多様体の代表例で、各点の近傍は平面に似ている。地球表面のように、境界を持たず滑らかに閉じた形をしている。曲率や向き付けの議論で頻繁に現れる。
6.3 トーラス
トーラスは、ドーナツ状の形をした多様体である。局所的には平面と同じだが、大域的には1つ以上の穴を持つ。位相群や複雑な基本群の例として重要である。
6.4 射影空間
射影空間は、向きや比例関係によって点を同一視して得られる多様体である。実射影空間や複素射影空間などがあり、幾何学と代数の接点として現れる。直線や超平面の配置を調べるための自然な舞台となる。
7 応用
多様体は純粋数学にとどまらず、物理学や工学的モデル、データ解析にも広く現れる。空間の形状や運動、対称性を記述する共通言語として機能し、さまざまな分野を結びつけている。
7.1 幾何学
幾何学では、多様体は曲線や曲面を超えた一般的な空間の枠組みとして使われる。距離、曲率、測地線などの概念を統一的に扱えるため、古典幾何の拡張として重要である。現代幾何学の中心的な対象でもある。
7.2 物理学
物理学では、多様体は時空や状態空間を表すモデルとして用いられる。力学や場の理論では、座標に依存しない記述が有利であり、多様体の言葉が自然に適合する。相対論や保存則の表現でも頻繁に登場する。
7.3 力学系
力学系では、状態の時間発展を多様体上の流れとして捉えることがある。安定性、周期軌道、アトラクタなどの性質は、空間の幾何と深く関わる。微分方程式の解の振る舞いを理解するうえで有効である。
7.4 トポロジー
トポロジーでは、多様体は連続変形に対して不変な性質を調べる主要な対象である。穴の数、連結性、基本群などが分類の手がかりになる。多様体論は、低次元トポロジーや分類理論の発展に大きく寄与してきた。