本文へ移動
ISEGORIABenjamin Haire
English

ISEGORIA / 数学百科事典

代数的位相幾何:穴を見つける

複体を作り、閉路と穴を区別し、尺度を変えて調べます。

前提知識: 集合・グラフ・初歩的な線形代数

予想してから操作し、計算例と問いで理解を確かめてください。グラフは数式の図示であり、証明ではありません。

1. 複体を作る

正方形を単体1つずつ組み立てます。4つの頂点、4本の辺、対角線、最後に2枚の三角形です。図の横には2元体上の境界行列を示します。新しい辺は2つの連結成分をつないで rank ∂₁ を増やし β₀ を減らすか、閉路を閉じて β₁ を増やします。面を1枚加えるごとに閉路が1つ境界になります。

計算例. 4辺を加えた後は V = 4、E = 4、rank ∂₁ = 3 なので β₀ = 1、β₁ = 1 です。対角線で β₁ = 2 になり、2枚の三角形で 0 に戻ります。

注意点. 描かれた閉路が必ず穴を表すとは限りません。面の境界かもしれません。

面を埋めても連結成分の数が変わらないのはなぜですか?

β₀ = V − rank ∂₁ には面が現れないからです。面の境界はすでに1つの連結成分に含まれています。

参考文献: Allen Hatcher · Algebraic Topology, Chapter 2

2. 尺度を変えて穴を見る

各点のまわりに直径 ε の円板を置き、円板が触れ合う2点を結び、3辺がそろった三角形をすべて埋めます。ε を大きくすると連結成分が合流し、ループが生まれてやがて埋まります。バーコードは各特徴が現れる ε から消える ε までを記録したもので、2元体上で境界行列を簡約して計算します。点をドラッグすると点群の形を変えられます。

計算例. 単位円上に等間隔に並んだ8点では、ε ≈ 0.765 で隣どうしが結ばれて八角形ができ、β₁ = 1 です。このループは ε ≈ 1.848 で3つ隣の点を結ぶ三角形に埋められるまで生き残ります。

注意点. 表示は2次元骨格のみです。H₀とH₁には十分ですが、高次のホモロジーには不十分です。

閾値を大きくすると穴が消えるのはなぜですか?

新しい三角形が、それまで境界でなかった閉路を埋めるため、その類は H₁ で消えます。

参考文献: Allen Hatcher · Algebraic Topology, Chapter 2

3. オイラー標数

三角形分割された曲面を選び、頂点・辺・面を数えます。交代和 V − E + F は、境界行列から計算したベッチ数の交代和と一致します。再生を押すと三角形を1枚ずつ置いていきます。2つの和は完成した曲面だけでなく、どの段階でも一致します。

計算例. 四面体の表面は 4 − 6 + 4 = 2 で β = (1, 0, 1) です。3×3 のトーラスは 9 − 27 + 18 = 0 で β = (1, 2, 1) です。

注意点. ここでの球面は四面体の表面であり、中身の詰まった立体ではありません。ベッチ数は2元体上で計算しています。χ はどの体で計算しても同じです。

円板のオイラー標数が1なのはなぜですか?

連結成分が1つで、正の次元のホモロジーがないためです。

参考文献: Allen Hatcher · Algebraic Topology, Chapter 2

次に読む

線形代数:変換の幾何フーリエ解析:波で関数を作る力学系:安定性とカオス最適化:最良の選択の幾何確率:不確実性から学ぶ群論:対称性を代数にする数値解析:計算が誤解を招くとき数論:整数のパターングラフ理論:経路・木・ネットワーク偏微分方程式:動く場情報理論:不確実性と符号変分法:経路と原理古典力学:運動と力電磁気学:場と誘導光学:光線・波・色熱力学:エネルギー・仕事・エントロピー量子力学:振幅とスピン複素解析:写像・留数・調和場流体力学:流れ・圧力・渦度統計と推測:データの中の信号特殊相対性理論:空間・時間・光微分幾何:曲率と形統計力学:ミクロ状態と温度測度論:大きさ・近似・収束マルコフ連鎖:遷移・定常性・吸収微分形式:循環・カール・引き戻し一般相対性理論:曲率・時計・光関数解析:ノルム・射影・作用素プラズマ物理:遮蔽・軌道・波リー群とリー代数:連続的な対称性ハミルトン力学:相空間とその幾何確率過程:ブラウン運動とノイズ固体物理:結晶の中の波制御理論:フィードバック・極・安定性論理と計算可能性:何が計算できるか双曲幾何:平行線が増える世界剛体力学:回転・転倒・歳差楕円曲線:足し算ができる幾何原子物理:軌道とスペクトル四元数:掛け算としての回転押し出しと引き戻し:写像を通した積分結び目理論:絡まりを見分けるフラクタル幾何:整数の間の次元量子情報:もつれとその限界宇宙論:膨張する宇宙セル・オートマトン:局所規則から生まれる計算複雑系:単純な多数の部品から生まれる秩序ガロア理論:方程式の対称性磁性とイジング模型:整列から生まれる秩序振動子と脱進機:時計はどうやって時を刻むか歯車と機構:運動を正確に伝える水晶振動子:時を刻む結晶スピーカー:ムービングコイル型ドライバーフィルターとクロスオーバー:音をドライバーに振り分ける室内音響:部屋はスピーカーの一部ウェーブレット:信号を拡大して見るレーザー物理:自らを複製する光表現論:行列として作用する群半導体物理:バンド・ドーピング・接合

数学百科事典に戻る