トポロジーって何が面白いの？ 美しすぎる数学の問題
概要
任意の単純閉曲線に内接する正方形が存在するかを問う内接正方形問題を入口に、トポロジーが問題解決に役立つ過程を解説する。弱い版として内接長方形の存在を考え、曲線上の点のペアを中点と距離へ写す。非順序対の空間がメビウスの輪になることを示し、その自己交差から長方形の存在を導く。
要点
- 内接正方形問題は、任意の単純閉曲線上の4点を頂点とする正方形が存在するかを問う未解決問題。
- 弱い版として長方形を考えると、対角線となる2組の点が同じ中点と距離を持つことを示せばよい。
- 曲線上の順序付き点対の空間はトーラス、順序を無視した点対の空間はメビウスの輪になる。
- 点対から中点と距離を使って3次元空間へ連続写像を作ると、長方形探しは写像された面の自己交差探しに変わる。
- メビウスの輪の境界を平面上の単純閉曲線に合わせるには自己交差が必要であり、異なる点対から内接長方形が得られる。
- トポロジーの図形は単なる視覚的な遊びではなく、問題の構造から自然に現れる。
構造化サマリ
内接正方形問題
単純閉曲線とは、自分自身と交わらない閉じた曲線を指す。円や楕円では内接正方形を簡単に見つけられるが、どれほど複雑に曲がった単純閉曲線でも必ず正方形を内接できるかは未解決である。
動画では正方形の代わりに長方形を考える。長方形の2本の対角線は長さが等しく、中点を共有する。逆に、異なる2組の点対が同じ中点と距離を持てば、その4点は長方形を作る。
点対から3次元空間への写像
曲線上の点対ごとに、中点をxy平面上へ置き、2点間の距離をz軸方向の高さとしてプロットする。この連続写像が異なる点対を同じ3次元上の点へ送れば、中点と距離が一致するため内接長方形が見つかる。
2点が近づくほど高さは下がり、中点は元の曲線へ近づく。2点が一致する場合、出力も曲線上の点になる。問題は、この写像が作る面に自己交差が存在するかへ置き換わる。
順序付き点対とトーラス
閉曲線を切り開いて0から1の区間とみなすと、順序付き点対は正方形上の点として表せる。切り開いた両端は元々同じ点なので、正方形の左右と上下をそれぞれ貼り合わせる必要がある。
貼り合わせ後の形はトーラスになる。つまり、閉曲線上の順序付き点対の空間はドーナツ型の面として表現できる。
非順序点対とメビウスの輪
長方形探しでは点対 (a, b) と (b, a) を区別すると同じ情報を二重に数えてしまう。そのため順序を無視し、正方形を対角線で折って対応する辺を逆向きに貼り合わせる。
この操作からメビウスの輪が生まれる。メビウスの輪の境界は (x, x) のように同じ点を2回選ぶ点対に対応し、元の単純閉曲線へ写される。
自己交差から長方形を得る
メビウスの輪の境界を平面上の単純閉曲線へ合わせて3次元空間に写すと、面は自己交差を避けられない。自己交差点では、異なる2つの点対が同じ中点と距離を持つ。したがって、その4点は内接長方形を作る。
動画では、自己交差を避けられないことの厳密な説明にはさらにトポロジーが必要だと補足する。トーラスやメビウスの輪は例示のために持ち出されたのではなく、曲線上の点対を調べる過程から自然に現れる。
登場エンティティ・コンセプト
- 3blue1brown — 数学を視覚的に解説するチャンネル。
- topology — 連続変形で保たれる性質を扱い、点対の空間の形から長方形の存在を捉える数学分野。
- inscribed-square-problem — 任意の単純閉曲線に内接正方形が存在するかを問う未解決問題。
- mobius-strip — 閉曲線上の非順序点対の空間として現れ、内接長方形の存在証明を支える図形。
印象的な引用
曲線上の点のペアとメビウスの輪の点の間に1対1対応ができました。
内接長方形を見つける問題が、この面が自身と交差することを示す問題になったわけです。
閉曲線上の点のペアについて考えているうちに自然に生まれたもので、私たちが問題解決に必要としたものだったのです。