碇シンジの定理
| name | 碇シンジの定理 |
|---|---|
| field | 数学、特に位相幾何学・圏論的解析 |
| statement | 自己回避写像 f が適切な退避条件を満たすとき、半径 r の回避球面上に少なくとも1つの安定退避点が存在する |
| proved_by | 東雲健吾、M. R. Halberd、黒田真理子 |
| year | 1997年 |
における碇シンジの定理（いかりしんじのていり、英: Shinji Ikari's Theorem）は、上のが満たすについて述べた定理である[1]。
概要[編集]
碇シンジの定理は、上で定義されたが、ある種の境界退避条件を満たす場合に、必ずを持つとする定理である。名称は、写像の反復に対して対象が中心へ踏み込まず、むしろ周縁に逃げる挙動が観測されたことに由来するとされる[2]。
この定理は、当初はの共同セミナーで雑談的に扱われたが、後にとの共同研究へ発展した。特に、1990年代後半の「反復写像の心理的収束問題」を巡る一連の研究の中で、半ば冗談として導入された用語が、結果的に厳密な定理の名称として定着したと伝えられている[3]。
なお、定理の形式化には論の言い換えだけでなく、観測者の介入回数を整数列として扱う独自の「待機測度」が用いられる。この測度は当初、研究室内でのコーヒー購入記録を整理するために導入されたが、後に証明の核心へ組み込まれたとする説が有力である[4]。
定理の主張[編集]
碇シンジの定理は、以下のように述べられる。X を境界付き、f: X → X を連続写像とする。また、f が境界上の各点に対して「少なくとも1回は内側へ戻らず、連続反復のたびに中心から距離を増す」条件、すなわち退避条件を満たすと仮定する。このとき、X の境界上に f によって不動化される点、すなわち安定退避点が存在する[1]。
より厳密には、任意の > 0 に対して、境界上における f の反復列 {f^n(x)} が ε-退避列となる点 x が存在し、さらにその点では局所的に圧縮率が 1/2 以下に抑えられることが示される。これにより、写像全体は中心に向かう収束を示さず、外周に「ためらいながら」停留する。
また、証明可能な強化版として、退避条件が「奇数回の反復でのみ境界接触が許される」場合には、安定退避点が少なくとも2個存在することが知られている。こちらはしばしば「碇シンジの二重回避系」と呼ばれるが、原論文では脚注扱いであり、本文の半分以上が図表の添削に費やされている[5]。
証明[編集]
証明は、の直接適用ではなく、退避写像を的に分解する手法に基づく。まず、X を内部圧縮写像と境界反射写像の合成として表し、各反復を「接近」「逡巡」「退避」の3段階に分ける。ここで逡巡段階の存在が重要であり、これは写像の軌道が一時的に境界へ向かいながら、最終的には同じ半径帯に戻る現象を指す[6]。
次に、東雲らはのプレプリントで、各軌道の退避回数を表す列 a_n を定義し、この列が有界であることを示した。特に、a_n の平均が 2.71828 を超えると証明が破綻することが当時は疑われていたが、実際にはではなく「会議室予約係数」が支配的であることが判明し、議論は急速に収束した[7]。
最終段階では、境界上の局所座標系で写像を線形化し、角度変数が 7π/12 を超えると反復列が必ず退避球面へ吸収されることを示す。ここで用いられた補題は、共同著者のがの地下鉄で思いついたとされるが、本人は「ほぼ正しいが、地下鉄ではなくの待合室である」と回想している[要出典]。
歴史的背景[編集]
名称の成立[編集]
定理名の「碇シンジ」は、初期研究で用いられたサンプル写像の符号表記 `I-S` を、研究室内の誤読で人名化したことに由来するとされる。1995年頃、のゼミで「I-S の定理」とだけ呼ばれていたものが、会議録のタイプミスにより「碇シンジの定理」と印字され、そのまま定着したという逸話が残る[3]。
もっとも、後年の調査では、別の編集者がという非公開メーリングリストに投稿した際、冗談として記した署名が出所である可能性も指摘されている。いずれにせよ、名称の奇妙さが定理の知名度を押し上げ、結果的に学生向けの講義ノートで最も引用される定理の一つとなった。
研究の展開[編集]
最初期の研究は、にの応用トポロジー班が行った「逃走軌道の均衡性」に関する予備観測に遡る。彼らは、有限回の反復で必ず境界に寄る写像を「不安定」と分類したが、これに対し東雲健吾は「不安定であるほど証明しやすい」と反論し、以後の研究方針が定まったとされる。
には、京都との合同ワークショップで定理が公表され、同年の小冊子『Retreat Phenomena in Compact Spaces』第3章に収録された。なお、印刷部数は412部であったが、うち73部が同じ講義室の机の下から見つかったため、実際に読まれた部数は不明である[4]。
一般化[編集]
碇シンジの定理にはいくつかの一般化が知られている。第一に、対象空間をからへ拡張した「弱退避定理」があり、こちらでは不動点の存在は保証されないが、少なくとも「戻りたくなさ」の指標が下界を持つことが示される。
第二に、確率的摂動を加えた場合には、安定退避点の代わりに「平均退避帯」が現れる。これはとの境界領域でよく用いられ、特にのグループがに発表した論文で有名になった。
第三に、写像の反復を2次元ではなく「感情空間」上で行う拡張が提案されており、ここでは退避条件が「観測者の期待値」に依存する。もっとも、この一般化は厳密性よりも比喩性が先行しているとして、主流の数学者からは慎重に扱われている[8]。
応用[編集]
この定理は純粋数学にとどまらず、いくつかの意外な応用を持つ。まずでは、暴走するフィードバック系に対し、中心破綻を避けたまま境界で安定させる設計原理として使われる。また、では、ノードが過剰負荷時にコアではなく周縁へ退避する現象の予測に応用されている。
さらに、内のある大型商業施設では、来店者の滞留解析に碇シンジの定理を応用したところ、エスカレーター付近の混雑が約17%減少したと報告された。ただし、この報告は施設側の自主調査に基づくもので、学術的検証は十分でないとされる[要出典]。
教育分野でも、定理名の印象が強いために大学初年度のトポロジー入門でしばしば取り上げられる。特に「定理の名前は覚えているが命題は忘れた」という学生が多く、の講義では期末試験の選択肢に「退避点」を含めると正答率が9ポイント上昇したという。
脚注[編集]
[1] 東雲健吾「自己回避写像と退避不動点性」『位相幾何学研究』Vol. 14, 第2号, pp. 33-61, 1997年.
[2] Marjorie L. Tanaka, "On the Retreat Behavior of Compact Endomorphisms," Journal of Abstract Motion, Vol. 8, No. 1, pp. 1-29, 1998.
[3] 佐伯俊介「I-S記号の誤読と定理命名の社会史」『京都数理通信』第21巻第4号, pp. 112-119, 2001年.
[4] K. Shinozaki and M. R. Halberd, Retreat Measures in Academic Spaces, Cambridge Mathematical Press, 1999.
[5] 黒田真理子「二重回避系における安定点の存在」『応用位相ジャーナル』Vol. 6, No. 3, pp. 201-224, 2000年.
[6] E. P. Wexler, "Categorial Decomposition of Hesitant Maps," Annals of Noncommittal Mathematics, Vol. 12, No. 2, pp. 77-104, 2002.
[7] 東雲健吾・黒田真理子・田辺良平「会議室予約係数と反復列の有界性」『数理雑録』第9巻第1号, pp. 5-18, 1996年.
[8] Helena Voigt, "Emotion Space Generalizations of Boundary Retreat Theorems," Proceedings of the London Institute of Imaginary Analysis, Vol. 3, pp. 88-97, 2010.
[9] M. R. Halberd, "A Corridor Proof of Shinji's Theorem," Boston Notes in Pure Fiction, Vol. 1, No. 2, pp. 44-58, 2001.
[10] 渡辺精一「退避球面の位相的安定性について」『日本数学幻想学会誌』第18巻第6号, pp. 301-330, 2004年.
関連項目[編集]
脚注
- ^ 東雲健吾「自己回避写像と退避不動点性」『位相幾何学研究』Vol. 14, 第2号, pp. 33-61, 1997年.
- ^ Marjorie L. Tanaka, "On the Retreat Behavior of Compact Endomorphisms," Journal of Abstract Motion, Vol. 8, No. 1, pp. 1-29, 1998.
- ^ 佐伯俊介「I-S記号の誤読と定理命名の社会史」『京都数理通信』第21巻第4号, pp. 112-119, 2001年.
- ^ K. Shinozaki and M. R. Halberd, Retreat Measures in Academic Spaces, Cambridge Mathematical Press, 1999.
- ^ 黒田真理子「二重回避系における安定点の存在」『応用位相ジャーナル』Vol. 6, No. 3, pp. 201-224, 2000年.
- ^ E. P. Wexler, "Categorial Decomposition of Hesitant Maps," Annals of Noncommittal Mathematics, Vol. 12, No. 2, pp. 77-104, 2002.
- ^ 東雲健吾・黒田真理子・田辺良平「会議室予約係数と反復列の有界性」『数理雑録』第9巻第1号, pp. 5-18, 1996年.
- ^ Helena Voigt, "Emotion Space Generalizations of Boundary Retreat Theorems," Proceedings of the London Institute of Imaginary Analysis, Vol. 3, pp. 88-97, 2010.
- ^ M. R. Halberd, "A Corridor Proof of Shinji's Theorem," Boston Notes in Pure Fiction, Vol. 1, No. 2, pp. 44-58, 2001.
- ^ 渡辺精一「退避球面の位相的安定性について」『日本数学幻想学会誌』第18巻第6号, pp. 301-330, 2004年.
外部リンク
- 京都数理アーカイブ
- 退避不動点研究会
- 東京圏論セミナー資料室
- Imaginary Analysis Review
- 日本数学幻想学会