テデトク

← コースに戻る

定義・定理・公式まとめ

トポロジーコース

レッスンで手を動かして体感したことを、いつでも引ける形にした知識の地図です。 気になる項目があれば、リンク先のレッスンでもう一度図を動かして体感し直せます。

1位相と同相

同相(homeomorphism)の定義

無料

f:XYf: X \to Y が全単射で、fff1f^{-1} も連続

切ったり貼ったりせず、伸ばす・曲げる連続変形だけで一方をもう一方に重ねられる関係

全単射性が「切る・貼るなし」、f,f1f,f^{-1} 双方の連続性が「引き裂かない」に対応する

→ このレッスンで体感する

位相不変量: 穴の数(種数)

無料

同相 \Rightarrow 種数 gg は不変

連続変形では穴は増えも減りもしない。コーヒーカップとドーナツ(ともに g=1g=1)は同相

球面(g=0g=0)とトーラス(g=1g=1)は種数が異なるため同相ではない

→ このレッスンで体感する

変わってよいもの(位相不変量ではない量)

無料

長さ・角度・面積は同相で保たれない

正方形と円は同相だが、面積も角の数も一般に異なる

「穴の数」「連結成分の数」「つながり方」との混同に注意

→ このレッスンで体感する

穴の数による仲間分け(位相不変量の一つ)

無料

穴0個: I,L,C / 穴1個: O,D,A / 穴2個: B

輪が閉じているかどうかで判定する。C は輪が開いているので穴なし

穴の数は同相の必要条件。同じでも同相とは限らない(例: A と O は穴1つずつだが、A の分岐点のため非同相)

→ このレッスンで体感する

2オイラー標数と曲面の分類

オイラー標数 χ = V − E + F

プレミアム

χ=VE+F\chi = V - E + F(頂点・辺・面の数)

立方体(812+6=28-12+6=2)・正四面体(46+4=24-6+4=2)・正八面体(612+8=26-12+8=2)はすべて χ=2\chi=2

球面に同相な閉曲面(凸多面体を含む)は常に χ=2\chi=2。この関係が成り立つのは球面に同相な曲面の場合

→ このレッスンで体感する

細分してもχは不変

プレミアム

辺分割: Δχ=+11+0=0\Delta\chi=+1-1+0=0 / 面の三角形分割(kk角形): Δχ=+1k+(k1)=0\Delta\chi=+1-k+(k-1)=0

頂点を足して面を細かく刻んでも(切ったり貼ったりしない限り)χは変わらない

細分は位相不変量χを変えない操作。χが変わるのは切る・貼るなど位相そのものを変える操作だけ

→ このレッスンで体感する

χ = 2 − 2g(向き付け可能な閉曲面)

プレミアム

χ=22g\chi = 2 - 2g(ggは種数=穴の数)

球面g=0χ=2g=0\to\chi=2、トーラスg=1χ=0g=1\to\chi=0、2人乗り浮き輪g=2χ=2g=2\to\chi=-2

この式は「向き付け可能な閉曲面」で成り立つ。向き付け可能な閉曲面どうしではχ(種数)が一致することと同相であることは同値

→ このレッスンで体感する

3向き付け

メビウスの帯: 向き付け不可能・境界1本

プレミアム

境界成分数 =1=1、χ =0=0

帯を1周すると法線(表と裏)が反転する。縁(境界)は1周では出発点に戻らず2周して閉じる=1本の輪

円柱(ひねりなし)は向き付け可能で境界2本。奇数回(180°の奇数倍)のひねりでのみ向き付け不可能になる

→ このレッスンで体感する

正方形の辺の同一視 — 円柱・メビウス・トーラス・クライン

プレミアム

同じ向きに貼る=ねじれなし、逆向きに貼る=ねじれ(向き付け不可能)

円柱=左右同じ向き・上下自由境界 / メビウス=左右逆向き・上下自由境界 / トーラス=左右上下とも同じ向き / クライン=左右同じ向き・上下逆向き

境界の有無は「自由な辺が残るか」、向き付け可能性は「逆向きの同一視が含まれるか」で決まる

→ このレッスンで体感する

クラインの壺は3次元に自己交差なく埋め込めない

プレミアム

境界なしの向き付け不可能な閉曲面

メビウスの帯(境界あり)は3次元にそのまま置けるが、クラインの壺(境界なし)は3次元では自己交差する(4次元になら自己交差なく埋め込める)

自己交差を許して描いたもの(よく見るイラスト)は「浸め込み」であって埋め込みではない

→ このレッスンで体感する

4基本群入門

ループ・ホモトピーと基本群 π1

プレミアム

基点を固定したループを、ホモトピック(連続変形で移り合う)なものは同一視して集めた群

演算=ループの連結、単位元=基点にとどまるループ、逆元=逆向きにたどるループ

群の公理の厳密な証明はここでは扱わず、演算・単位元・逆元の直感までにとどめる

→ このレッスンで体感する

円板の単連結性 π1(円板) = 0

プレミアム

π1(円板)=0\pi_1(\text{円板}) = 0

円板は凸なので、基点への直線ホモトピーでどんなループも1点に縮められる(単連結)

凸性(へこみがない)が本質。円周そのもの(1次元的な輪)は単連結ではない

→ このレッスンで体感する

巻き数と穴あき平面の基本群 ≅ ℤ

プレミアム

π1(S1)Z,π1(平面{0})Z\pi_1(S^1) \cong \mathbb{Z}, \quad \pi_1(\text{平面}\setminus\{0\}) \cong \mathbb{Z}

原点の周りをループが何回まわるか(巻き数)。ループの連結=巻き数の足し算に対応する

穴を囲んでいないループの巻き数は、形や周回数によらず常に0

→ このレッスンで体感する

5不動点と一筆書き

ブラウワーの不動点定理(1次元: 中間値の定理)

プレミアム

f:[0,1][0,1]f:[0,1]\to[0,1] が連続     x, f(x)=x\implies \exists x,\ f(x)=x

g(x)=f(x)xg(x)=f(x)-x とおくと g(0)0, g(1)0g(0)\geq0,\ g(1)\leq0。中間値の定理より g(x)=0g(x)=0 となる不動点が存在する

2次元版(円板 D2D^2)も同じ主張が成り立つが、証明には基本群やホモロジーなど高度な道具が要る(本教材では扱わない)

→ このレッスンで体感する

一筆書き(オイラー路)の条件

プレミアム

奇点(次数が奇数の頂点)が 00 個→閉じた一筆書き、22 個→開いた一筆書き、それ以外→不可能

ケーニヒスベルクの橋(奇点4個: 次数5,3,3,3)は一筆書き不可能

条件はグラフが連結であることが前提。各辺は両端の次数を1ずつ増やすので奇点は必ず偶数個になる

→ このレッスンで体感する

← コースに戻る