モース理論は、多様体の上に定義した関数の増減を調べることで、多様体がどのような形をしているかを読み解く数学の理論です。
一見すると解析学の微分や極値を扱う話に見えますが、実際には穴の数や連結成分といった位相幾何学の情報へつながります。
山の地形を考えると、山頂、谷底、峠は高さが局所的に変化しにくい特別な地点です。
モース理論では、このような地点を臨界点として捉え、臨界点を通過するたびに地形のつながり方がどう変わるかを追跡します。
多様体の複雑な形を、有限個の臨界点とその種類に整理できることが、モース理論の大きな魅力です。
さらに、連続的な多様体だけでなく、グラフや単体複体のような離散的な対象にも考え方を広げたものが離散モース理論です。
モース理論の意味と全体像
それではまず、モース理論が何を結論として示す理論なのかについて解説していきます。
関数の変化から形を読む考え方
モース理論の中心には、多様体上の滑らかな実数値関数があります。
たとえば球面に対して高さを割り当てる関数を考えると、北極で最大値、南極で最小値を取ります。
高さが一定以下である部分だけを集めると、最初は南極の近くに小さな円板が現れ、高さを上げると次第に広がり、最後には球面全体になります。
この途中で形が本質的に変わるのは、最大値や最小値、あるいは鞍点に対応する高さを通過するときです。
臨界点以外の高さでは、部分集合の位相は基本的に変化しないという見通しが、理論の出発点になります。
つまり、無数にある高さをすべて細かく観察する必要はありません。
重要な高さである臨界値に注目すれば、多様体の構造を効率よく整理できます。
臨界点と位相変化の対応
臨界点とは、関数の一階微分がゼロになる点です。
多変数関数では、各方向に少し動かしても一階の近似では値が変化しない地点を意味します。
ただし、臨界点があるだけでは十分ではありません。
モース理論で特に扱いやすいのは、二階微分に対応するヘッセ行列が退化しない非退化臨界点です。
非退化であれば、その近くの関数は座標変換によって標準的な二次式の形へ近づけられます。
局所的には、関数は定数に二次式を加えた形として考えられます。
f(x) ＝ f(p) − x₁² − … − xλ² ＋ xλ＋₁² ＋ … ＋ xn²
ここで λ は負の二乗項の数であり、モース指数と呼ばれます。
モース指数は、その臨界点を通過したときに何次元の穴や結び付きが生じるかを示す重要な数値です。
結論としてのハンドル分解
モース理論の結論を簡潔に表すなら、多様体は臨界点に対応するハンドルを順番に付け加えることで構成できる、という内容になります。
ここでいうハンドルは、円板と球面の積を貼り付ける操作を指します。
零次元のハンドルは新しい連結成分を作り、一時元のハンドルはトンネルのような穴を作ります。
二次元以上でも同じ発想が続き、より高次元の空洞や閉じ方を記述できます。
モース理論では、臨界点の個数と指数を調べることで、多様体の位相的な作られ方を把握できます。
微分可能な関数の局所情報が、多様体全体の大域的な構造へ結び付く点が重要です。
多様体と実数値関数の関係
続いては、多様体と実数値関数の関係を確認していきます。
多様体の基本的なイメージ
多様体は、全体としては曲がったり穴が開いたりしていても、小さな範囲では通常のユークリッド空間のように見える図形です。
円周は一次元多様体であり、球面やトーラスは二次元多様体の代表例になります。
地球の表面を思い浮かべると理解しやすいでしょう。
地球全体を一枚の平面地図として歪みなく表すことはできませんが、都市周辺の狭い範囲なら平面として扱えます。
この局所的な座標の存在によって、微分、勾配、ヘッセ行列といった解析学の道具を多様体上で利用できます。
局所では微分可能であり、全体では複雑な形を持つ対象が多様体です。
高さ関数と部分準位集合
多様体 M 上の関数 f を考え、ある実数 a 以下の点をすべて集めた集合を部分準位集合と呼びます。
記号では f の値が a 以下となる点の集合ですが、実際には高さ a まで水をためた地形の水没していない部分を考えるようなイメージです。
球面の高さ関数では、低い水位では小さな円板が得られます。
水位を上げても北極に到達するまでは円板のまま広がり、北極を通過して初めて球面全体が現れます。
このように、部分準位集合を連続的に変化させながら、どの段階で位相が変わるかを調べます。
| 高さの状況 | 関数の特徴 | 部分準位集合の変化 |
|---|---|---|
| 正則値の近く | 勾配がゼロではない | 形は連続的に変形するだけ |
| 極小値の近く | 指数が零 | 新しい成分が生まれる |
| 鞍点の近く | 中間の指数 | トンネルや結合が生じる |
| 極大値の近く | 指数が最大 | 高次元の穴が閉じる |
正則値と臨界値の違い
関数値 a に対応する点のすべてで微分がゼロでなければ、a は正則値と呼ばれます。
反対に、少なくとも一つの臨界点で取られる値は臨界値です。
モース理論では、二つの正則値の間に臨界値がなければ、その間の部分準位集合は同じ位相型を保つことが示されます。
これは地形において、目立つ山頂や峠を通らない限り、等高線の形が本質的には変わらないことに対応します。
したがって計算や証明では、正則値の区間をまとめ、臨界値の近くだけを詳しく解析する方法が有効です。
二つの値 a と b の間に臨界値がない場合、f が a 以下の部分と b 以下の部分は同相に近い関係を持ちます。
厳密には、適切な条件の下で一方は他方へ変形収縮できる場合もあります。
この性質により、連続的な問題を有限個の臨界点の問題へ整理できます。
臨界点とモース指数の分類
続いては、臨界点とモース指数の分類を確認していきます。
極小点と零次元ハンドル
二変数関数の極小点は、周囲のどの方向へ動いても関数値が増える地点です。
山の地形なら谷底に相当します。
このときヘッセ行列の固有値はすべて正であり、負の方向は存在しません。
そのためモース指数は零になります。
極小値を通過すると、部分準位集合には小さな円板のような新しい成分が追加されます。
高次元でも同様で、指数零の臨界点は n 次元円板を付け加える操作に対応します。
鞍点と一次元ハンドル
鞍点は、一方向には下がる一方で、別の方向には上がるような地点です。
馬の鞍の中央を思い浮かべると、局所的な形をイメージしやすくなります。
二次元多様体では指数一の臨界点が鞍点に対応し、二つの成分をつないだり、一つの成分にトンネルを開けたりします。
トーラスを高さ関数で観察すると、下側の極小点の後に一つ目の鞍点が現れ、円板だった部分が筒のような形へ変化します。
さらに別の鞍点を通過すると、穴を持つ表面の構造がより明確になります。
鞍点は、連結性や穴の数を変化させる中心的な臨界点として扱われます。
極大点と高次元ハンドル
極大点は、周囲のどの方向へ動いても関数値が下がる地点です。
二次元では山頂、高次元ではすべての方向が負となる局所的な頂点に当たります。
n 次元多様体上の極大点のモース指数は n です。
極大値を通過する操作は、最後に残った境界を閉じる役割を持ちます。
球面の高さ関数では、南極の極小点で円板が始まり、北極の極大点で境界が閉じて球面になります。
モース指数は単なる分類記号ではありません。
指数 k の臨界点は、k 次元のハンドルを付け加える変化に対応します。
この対応により、局所的な二階微分の符号から位相変化を予測できます。
モース不等式とホモロジー群
続いては、モース不等式とホモロジー群の関係を確認していきます。
ベッチ数が表す穴の情報
多様体の形を数値で表す道具として、ホモロジー群とベッチ数があります。
零次のベッチ数は連結成分の数を表し、一時のベッチ数は独立なループやトンネルの数を表します。
二次元の球面では連結成分が一つで、トンネルはなく、表面全体に対応する二次元の穴があります。
トーラスでは連結成分が一つで、一時のベッチ数は二になります。
これはドーナツの穴を通る方向と、輪の周囲を回る方向という二つの独立したループがあるためです。
ベッチ数は、多様体に存在する独立な穴の数を次元ごとに数える尺度と考えるとよいでしょう。
弱モース不等式の内容
指数 k を持つ臨界点の個数を m_k、k 次のベッチ数を b_k とします。
弱モース不等式は、m_k が b_k 以上になることを示します。
つまり、k 次元の穴が b_k 個あるなら、それを生み出すために少なくとも b_k 個の指数 k の臨界点が必要になります。
臨界点には、最終的な穴として残らないものもあります。
たとえば一つのハンドルが後から別のハンドルによって打ち消されることもあるため、臨界点の数がベッチ数より多くなる場合があります。
| 量 | 意味 | モース理論での役割 |
|---|---|---|
| m₀ | 指数零の臨界点数 | 成分の生成に関係する |
| m₁ | 指数一の臨界点数 | ループや結合に関係する |
| b₀ | 連結成分の数 | 必要な極小点数の下限となる |
| b₁ | 独立なループの数 | 必要な鞍点数の下限となる |
オイラー標数とのつながり
オイラー標数は、ベッチ数を交互に足し引きして得られる位相不変量です。
モース関数の臨界点についても、指数ごとの個数を交互に足し引きすると同じ値になります。
オイラー標数 χ は、臨界点数を使って次のように表せます。
χ ＝ m₀ − m₁ ＋ m₂ − m₃ ＋ …
同時に、ベッチ数を用いて χ ＝ b₀ − b₁ ＋ b₂ − b₃ ＋ … と表せます。
球面では極小点一つと極大点一つがあり、オイラー標数は二になります。
トーラスでは極小点一つ、鞍点二つ、極大点一つという典型的な配置があり、計算すると零になります。
この関係は、解析的な臨界点の情報と代数的位相幾何学の不変量が一致することを示す代表例です。
離散モース理論の考え方
続いては、離散モース理論の考え方を確認していきます。
離散的な対象への拡張
離散モース理論は、滑らかな多様体ではなく、単体複体やセル複体のような組合せ論的な対象へモース理論を拡張したものです。
単体複体は、頂点、辺、三角形、四面体などを貼り合わせて作られます。
コンピュータ上で形状データを扱うとき、滑らかな曲面そのものよりも、三角形メッシュとして表現されることが多いため、離散モース理論は実用面でも意味を持ちます。
連続的な微分を直接利用できなくても、セル同士の包含関係を用いることで、臨界点に似た構造を定義できます。
離散モース理論は、有限個の組合せデータから位相を抽出するための理論です。
離散モース関数と臨界セル
離散モース関数では、各セルに実数値を割り当てます。
ただし任意の値の付け方でよいわけではなく、隣接する高次元セルや低次元セルとの比較に制約があります。
ある p 次元セルについて、値がそれ以下となる一つ高い次元のセルは高々一つ、値がそれ以上となる一つ低い次元のセルも高々一つという条件が基本です。
この条件から外れて対応相手を持たないセルが、離散モース理論における臨界セルになります。
頂点の臨界セルは成分の生成、辺の臨界セルはループ、三角形の臨界セルは二次元の空洞に関係します。
連続版の臨界点に対応するものが、離散版では臨界セルです。
不要なセルを組にして相殺し、残った臨界セルから複体の本質的な位相を読み取ります。
勾配ベクトル場とセルの対
離散モース理論では、セルの対を作る操作が離散勾配ベクトル場と呼ばれます。
たとえば頂点と辺、辺と三角形を対応付けることで、位相を変えない部分を縮約できます。
この対応には閉路が存在しないことが重要です。
閉路があると、どちらの方向へ簡約を進めるべきか決まらなくなり、連続版での不自然な循環に相当する問題が生じます。
適切な離散勾配場が見つかれば、多数のセルを持つ複体を、少数の臨界セルだけからなるより小さな複体へ簡約できます。
この手法はホモロジー計算の高速化や、形状データの圧縮にも活用されます。
モース理論の応用分野
続いては、モース理論の応用分野を確認していきます。
微分位相幾何学での利用
モース理論は、微分位相幾何学において多様体を分類し理解するための基本的な道具です。
どの指数のハンドルが何個必要かを調べることで、多様体の分解や構成を具体的に扱えます。
特に高次元多様体では、直感的な図形だけで全体像を把握することが難しくなります。
そのような場合でも、モース関数と臨界点の一覧は構造を整理する有力な手掛かりになります。
複雑な多様体を、臨界点の通過順序として記述できることが理論的な強みです。
トポロジカルデータ解析への応用
近年では、データの形そのものに着目するトポロジカルデータ解析でも、モース理論に近い考え方が活用されています。
大量の点群データから距離関数や密度関数を作り、値の変化に伴って連結成分や穴がどう現れるかを追跡します。
この発想はパーシステントホモロジーとも深く関係します。
短い範囲だけ現れる穴はノイズの可能性があり、広い範囲で残る穴はデータ固有の構造を反映しているかもしれません。
医用画像、材料科学、機械学習の特徴抽出などで、こうした解析が検討されています。
計算幾何学とメッシュ処理
三角形メッシュで作られた三次元モデルには、非常に多くの頂点、辺、面が含まれます。
離散モース理論を使うと、位相を保ちながら不要な部分を簡約し、重要な骨格構造を抽出できます。
これは形状認識、可視化、流れ場の解析などで役立つ場合があります。
また、地形データから山頂、谷、峠を抽出する処理にも、臨界点の考え方が自然に現れます。
連続数学の理論が、離散データを扱うアルゴリズムへ接続される点は、学ぶ価値の高い部分でしょう。
モース理論と離散モース理論のまとめ
モース理論は、多様体上の関数が持つ臨界点を調べ、多様体の位相的な構造を明らかにする理論です。
正則値の範囲では部分準位集合の形は本質的に変わらず、臨界値を通過するときにハンドルの付加という形で変化が起こります。
極小点、鞍点、極大点はモース指数によって分類され、それぞれ連結成分、トンネル、高次元の穴に関わります。
臨界点の個数はベッチ数の下限を与え、オイラー標数とも結び付きます。
このためモース理論は、解析学、位相幾何学、代数的位相幾何学をつなぐ架け橋といえるでしょう。
離散モース理論では、微分可能な関数の代わりにセルへの値の割り当てとセル対を用います。
臨界セルを残して複体を簡約することで、有限のデータから穴や連結性を効率よく調べられます。
多様体、臨界点、モース指数、ホモロジー、ハンドル分解という言葉の関係を押さえると、モース理論の全体像はぐっと見通しやすくなります。
