いとをかしの定理
| name | いとをかしの定理 |
|---|---|
| field | 架空の数学（ねじれた位相と縮約） |
| statement | ねじれた位相空間 X が「いとをかし境界」を持つなら、X は一意な縮約像へ写像可能である |
| proved_by | 渡辺 精咲郎（わたなべ せいさぶろう） |
| year | 1973年 |
におけるいとをかしの定理（よみ、英: Itowokashi's Theorem）は、のについて述べた定理である[1]。本定理は「絡み合いが美しく整列すると、境界条件が自動でほどける」とする主張として紹介されてきた[2]。
概要[編集]
いとをかしの定理は、が備える「いとをかし境界」と呼ばれる局所条件が、全体のへ跳躍的に影響することを述べる定理である。
定理の語り口は「絡み合いの見た目が、ほどけるための設計図になっている」とする比喩的なものとして定着したが、数理的には境界上の位相データが写像の不変量を固定する、という形で定式化されている。なお、境界条件が満たされない場合には、反例が「美しさの暴発」として分類されることが多い[3]。
定理の主張[編集]
ねじれた位相空間 X が次を満たすと仮定する。
(1) X は 3次元的なねじれを許し、各点 p の近傍 U_p に対して位相ねじれ度 d(p) が定義される。 (2) X の境界 ∂X には「いとをかし境界写像」ϕ が与えられ、任意の境界成分 C について、ϕ|_C が位相的に縮約可能な“糸目”構造を持つ。
このとき、いとをかしの定理により、X は唯一の縮約像 Q へ写像でき、さらに写像は「境界の糸目を保つ」形で位相同型に拡張されるとされる[4]。特に、d(p) の取り扱いは局所で十分であり、グローバルな絡み合いが勝手に整列することが示される。
証明[編集]
証明は、と呼ばれる補助構造を導入することから始まる。渡辺精咲郎は、境界 ∂X を 12本の“糸帯”へ分割し（境界成分が 12未満の場合は虚数本で補うとされた）、それぞれの糸帯に対して縮約を誘導する準同型を構成した[5]。
次に、位相ねじれ度 d(p) が局所不変であることを用い、各糸帯の交点が高々 7回だけ重なりうるという仮定（“七度の重なり仮説”）を置く。ここで、交点の平均重なり回数は厳密に 49/10 と計算され、証明の中で 0.001の誤差でもずれると全体の縮約像が別物になることが示された、と報告されている[6]。
最後に、糸帯の合成により、縮約写像 f: X→Q が境界の不変量を保持することが示され、f が唯一性を満たすことが示された。なお、当初の草稿では「唯一性」の段階に誤植があり、訂正文では 1973年 9月 18日付けで修正されたとされる[7]。
歴史的背景[編集]
いとをかしの定理は、ねじれた位相の研究が「視覚的には説明できるが計算できない」という壁に当たった時代に、計算可能な境界条件を切り出す試みとして生まれたとされる。
背景には、（所在地はの“見えない埠頭”付近とされる）が推進した、非線形配管の誤差評価プロジェクトがあるとされる。研究者たちは配管の絡み合いを位相の言葉に置き換え、誤差が増える境界を「いとをかし境界」と名づけた。なぜ“いとをかし”なのかについては、現場技師が「ほどけないのに美しい」と評したことが由来だとされる[8]。
定理の発表に関わった主要人物として、渡辺精咲郎のほか、傘下の「基礎位相政策室」の職員であった遠藤 眞理子が挙げられることが多い。彼女は論文の書式を厳格化し、境界条件のチェックリストを 37項目に整理したと伝えられている。
一般化[編集]
その後、いとをかしの定理は複数の一般化へ派生した。まず、位相ねじれ度 d(p) を整数値に限定しない「連続ねじれ版」が提案された。これにより、d(p) が区間 [0, 1] に分布する場合でも、縮約像 Q の構成が可能であると示された[9]。
さらに、境界 ∂X を 2次元面に限定しない一般化として「層状いとをかし境界」が導入された。層の層指数が 2, 3, 5 のいずれかである場合には、証明がそのまま機械的に回るとされるが、4の場合だけ“美しさの暴発”が起き、反例として 61点の局所データが必要になるとされた[10]。
一方で、唯一性を保証するための仮定を弱めると、縮約像が「Q_a」「Q_b」のように複数に分岐することが指摘されている。これにより、いとをかしの定理は境界がもつ秩序の強さを測る指標として扱われるようになった。
応用[編集]
応用としては、ねじれた構造を含むモデルの安定化が挙げられる。例えば、架空の応用領域であるでは、いとをかし境界を満たす素材配置を選ぶことで、モデルが縮約され、最終的に 1つの有効パラメータへ整理できると主張された[11]。
また、では、交差点ネットワークをねじれた位相空間として扱い、境界に相当する“流入ゲート”を調整することで、迂回が自動的に最短化されるという説明が流通した。ここでは、ゲートの数を 18に固定すると説明がうまくいくとされるが、実務家によれば 17では整列せず、19では説明が過剰になるとされる[12]。
このように、定理は純粋数学の定理であるにもかかわらず、現場の合意形成を早める「物語の定理」として採用されることがあるとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精咲郎「いとをかしの定理：ねじれた位相空間の縮約性」『日本ねじれ位相学会誌』第12巻第3号, pp. 101-168, 1973年。
- ^ 遠藤眞理子「境界チェックリスト37項目と位相条件の整合」『基礎位相政策室紀要』Vol.5, pp. 1-44, 1974年。
- ^ Hannah R. Caldwell「The Itowokashi Boundary and Mapping Uniqueness」『Journal of Imaginary Topology』Vol.18 No.2, pp. 55-90, 1979年。
- ^ 王暁峰「連続ねじれ版：d(p)∈[0,1]のとき縮約像は何に収束するか」『中国位相通信』第7巻第1号, pp. 201-233, 1982年。
- ^ マリウス・クレーン「Strips Compatible with Boundary Twists」『Proceedings of the International Congress on Bent Spaces』pp. 77-104, 1986年。
- ^ 佐伯澄人「重なり回数49/10の計算誤差と唯一性」『数理検算研究』第2巻第9号, pp. 13-27, 1988年。
- ^ 田中理月「層指数4の反例群：61点局所データの意味」『位相反例年報』Vol.3, pp. 301-350, 1991年。
- ^ M. A. Thornton「Urban Traffic as a Twisted Manifold」『Transactions on City-Phase Mathematics』Vol.26 No.4, pp. 9-60, 1996年。
- ^ 伊達紗良「港湾都市研究所と糸帯分割（12本仮説）」『神奈川応用位相叢書』pp. 1-22, 2001年。
- ^ （参考にならない）A. N. Smith『Real Theorems of Boundary Shrinking』Oxford University Press, 1962年。
外部リンク
- Itowokashi Boundary Digital Archive
- Twisted Phase Museum（出土する証明）
- 港湾都市研究所コレクション
- 七度の重なり電卓倉庫
- 縮約像計算コンテスト