テデトク

← 数学のロードマップ

トポロジー

「切らずに連続変形で移り合えるか」だけに注目する幾何学。ゴム膜を変形しながら、穴の数・オイラー標数・向き付け・基本群といった位相不変量を掴む。可視化しやすい入口まで。

到達目標
同相と位相不変量(穴の数・オイラー標数・向き付け・基本群)を可視化で理解し、曲面の分類やブラウワーの不動点定理などの入口に立てるようになる。
初回閲覧の目安
5時間(全17レッスン)操作・計算演習・復習まで含めた習熟には、これ以上かかります。

このコースの前提

  • 微積分(大学)の内容を前提にします。不安があれば先に確認してください。

    極限・連続の概念を、距離によらない「近さ」へ一般化する。

第1章から始める →プレミアムに加入(¥1,480/月)

定義・定理・公式まとめ

体感したレッスンから引ける、知識の地図です。

計算演習

何度でも新しい数値で練習できます。

1章 位相と同相

同相(切らずに連続変形で移り合える関係)の定義を正方形と円の変形で理解し、穴の数が同相の必要条件であって十分条件ではないことをアルファベットの例で確かめる。目安 60

  1. 同相と位相不変量無料
  2. 穴の数で仲間分け無料

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

頂点・辺・面の数からオイラー標数 χ=VE+F\chi=V-E+F が細分によらず不変であることを確かめ、χ=22g\chi=2-2g により連結な向き付け可能閉曲面の分類ができることを理解する。目安 60

  1. V−E+F を数えるプレミアム
  2. 種数と曲面の分類プレミアム

3章 向き付け

メビウスの帯で法線が1周すると反転する向き付け不可能性を体感し、クラインの壺が境界を持たない向き付け不可能な閉曲面として3次元に自己交差なく埋め込めないことを理解する。目安 60

  1. メビウスの帯プレミアム
  2. クラインの壺プレミアム

4章 基本群入門

円板上のループがすべて1点に縮む単連結性を確かめ、原点を除いた平面(円周)の基本群が巻き数を通じて π1(S1)Z\pi_1(S^1)\cong\mathbb{Z} であることを理解する。目安 60

  1. ループとホモトピープレミアム
  2. 円周の基本群と巻き数プレミアム

5章 不動点と一筆書き

ブラウワーの不動点定理を中間値の定理から1次元で証明し、グラフの一筆書き可能性が奇点(奇数次数の頂点)の個数(0個または2個)で決まることを理解する。目安 60

  1. ブラウワーの不動点定理プレミアム
  2. 一筆書きとグラフの位相プレミアム

6章 位相の言葉 — 開集合・連続・コンパクト・連結

開集合と近傍から位相を定義し、連続性を開集合の逆像で捉えたうえで、コンパクト・連結・弧状連結を成立条件と反例を含めて区別する。目安 55

  1. 位相の言葉 — 距離を使わずに近さを話すプレミアム
  2. コンパクトと連結 — まとまり方を見分けるプレミアム

7章 商空間 — 貼り合わせの一般化

区間・正方形・円板の同一視を商空間として統一し、商位相とセル分解を用いて RP2\mathbb{RP}^2 の構成と χ(RP2)=1\chi\left(\mathbb{RP}^2\right)=1 を説明する。目安 60

  1. 商空間 — 貼り合わせを1つの操作にするプレミアム
  2. 実射影平面 — 商位相とセルを数えるプレミアム

8章 結び目入門 — ほどけるか、ほどけないか

三葉結び目と8の字結び目を3次元で観察し、アンビエント・イソトピー、ライデマイスター移動、Fox三彩色数によって三葉結び目の非自明性を判定する。目安 70

  1. 結び目入門 — 空間の中で輪をほどくプレミアム
  2. 三彩色不変量 — 三葉結び目がほどけない証拠プレミアム

9章 総合演習

第1〜8章の定義・成立条件・不変量を横断し、対象と同値関係に応じた判定手段を選んで計算と反例を説明する。目安 45

  1. 総合演習 — 第1〜8章をつなぐ総合演習プレミアム