卑弥呼定理（ひみこていり）
| name | 卑弥呼定理 |
|---|---|
| field | 卑弥呼幾何学 |
| statement | 余剰島状写像は、卑弥呼反転条件を満たすとき反転整合性を持つ |
| proved_by | 渡辺精群（理論折紙研究所） |
| year | 昭和62年 |
における卑弥呼定理（よみ、英: Himiko Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、古代的名称を冠しながらも、実際には「境界の折り返し」を精密に扱う分野として、昭和末期に整備されたとされる。とくに（domain と codomain の間に“余る島”のような層構造を持つ写像）に対し、反転操作が破綻せずに整合するかが論点となった。
本定理で扱われるのは、卑弥呼を連想させる反転則（）が成立するとき、余剰島状写像が持つが保証される、という主張である。なお、名称の由来は「発見者が古地名の発音を誤ったため、後から“卑弥呼”が数学記号に定着した」という伝承があり、学界では半ば公然の前提として語られている[2]。
定理の主張[編集]
体験的には、平面上の紙片を折り返す操作を考えると理解しやすい。写像が一点で決まるのではなく、余剰な層がついてくるとき、その折り返しが「元に戻るのに戻らない」挙動に陥る可能性がある。
そこでを仮定すると、余剰島状写像 f は、任意の折り返し半径 r（ただし r はの長さ L に対し r/L ∈ [1/7, 6/7] を満たす）に対して、反転整合性を満たす。具体的には、反転操作 I_r により得られる写像 I_r∘f∘I_r^{-1} が、層次数に関して同型を保ち、かつ位相的位数が 2^3=8 ステップで安定化することが示される[3]。
さらに、f が「島の余剰量」E を持つとき、整合性の指標 Δ は Δ=E−3 で与えられる、と定式化される。この式は一見単純であるが、E の定義域が“少しだけ”恣意的にずらされているため、初学者が E をそのまま代入して誤解しやすい点で知られる。
証明[編集]
証明はとを組み合わせて行われるとされる。まず、余剰島状写像 f を、境界帯に沿った 1 次元データの束に分解し、境界の位相を N=12 個の区間に離散化する。次に、卑弥呼反転条件を用いて区間 i のデータが区間 (13−i) に写されることを示す。
このとき、折り返し積分は「角度 θ を 0 から 2π まで回すのではなく、2π−(2π/128) だけ回す」変形を行う。結果として得られる補正項は 1/128^2=1/16384 であり、ここが“細かい数字”として後年まで引用されるポイントとなった[4]。
最後に、位相的位数が 8 ステップで安定化することを、差分写像の冪が 8 回で自明化することとして示す。したがって I_r∘f∘I_r^{-1} は層次数の同型を保ち、反転整合性が成り立つ。証明は理論上は完結しているが、当初の草稿には「E−3 の E はどこまでを数えるのか」という注記が残され、編集会議で改稿が行われたと記録されている[5]。
歴史的背景[編集]
卑弥呼幾何学の萌芽は、長崎県の伝統を数学に接続しようとした試みにあると説明される。ただし同分野の初期論文では、寺院測量の地図を作ったのが実は「地元の測量会が団体名を短縮し、学会側がそれを別団体と誤認した」ことに起因する、とまで言及されることがある。
特に（所在地は文京区とされる）が、折り返し操作を“反転半径”としてモデル化したことが決定的だった。昭和62年、同研究所の研究員は、古い通信文に記された地名「卑弥呼崎」を、表記上の誤りを経て「卑弥呼反転条件」として再解釈したとされる[6]。
このとき、土台として用いられたのは当時流行していたの計算法であり、反転操作 I_r を群作用に落とし込むことで定理の形が整えられた。一方で、名称の“古代感”が強すぎたため、学会は数年にわたり「これは古史学の比喩か、それとも純粋数学の枠組みか」を巡って揺れ続けたという[7]。なお、その揺れが逆に、概念の浸透速度を上げたとも指摘されている。
一般化[編集]
一般化として最もよく引用されるのは、反転整合性の条件を「完全同型」から「準同型」に弱めたである。ここでは Δ=E−3 の関係を維持しつつ、安定化ステップが 8 ではなく 8+k（k は境界帯の“柔らかさ指数”）に延びるとされる。
また、余剰島状写像を 2 層から m 層へ拡張した場合、群作用の次元が 2m−1 として現れる。このとき、位相補正の項は (1/128^2) を (1/(128m)^2) に置き換えるだけで導出できる、と主張する論文がある[8]。
ただしこの一般化は、E の計算規約が論文ごとに異なり、結果の数値が一致しない場合がある。編集委員会は「一致しないのではなく、E の“数え方”が物理的に異なるため、同じものを見ていないだけだ」と説明したが、若手研究者の間ではなお「計算規約の宇宙」が語り継がれている。要するに、一般化はできるが、言葉の取り扱いが難しいのである。
応用[編集]
応用面では、卑弥呼定理がやに利用されるとされる。特に、データを折り返すことで冗長性を圧縮しつつ、復元時の整合性を壊さない設計において、反転整合性が保証される点が重視された。
具体例として、災害時通信のための地形モデルにおいて、境界帯長 L を基準に反転半径 r を選ぶ手順が提案されている。r/L ∈ [1/7, 6/7] を満たすと、復元時の層位相が 8 ステップ以内に安定化するため、誤差が上限 1/16384 程度に抑えられる、と説明される[9]。
また、工学的応用だけでなく、教育面にも波及した。定理の名称が“古代史の有名人”と結びつきやすかったため、数学教員の間で「定理名だけで興味を引ける」教材として採用されたことがある。もっとも、その結果として「卑弥呼を調べたら定理が出てきた」という順序で学習する生徒が増えたとき、大学側は評価方法の再設計を迫られたとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精群『卑弥呼幾何学入門——反転整合性とその数え方』卑弥呼出版社, 1987.
- ^ M. A. Thornton『Reversal Coherence in Layered Maps』Journal of Applied Topology, Vol.12 No.3, pp.44-77, 1991.
- ^ 佐伯和韻『折り返し積分の離散化手法と安定化指数』数理工学通信, 第18巻第2号, pp.101-139, 1986.
- ^ R. K. Haldane『On Discrete Actions of Inversion Radius』Proceedings of the International Society for Quasi-Geometries, Vol.7, pp.1-26, 1994.
- ^ 渡辺精群, 小林縫子『E−3 規約の曖昧性と補正項1/16384の導出』理論折紙研究所報告, 第3号, pp.55-73, 1989.
- ^ 伊達岬一『卑弥呼崎の地図記号が生んだ群作用モデル』地誌と記号論, 第5巻第1号, pp.12-33, 1990.
- ^ Sato, M. & Chen, L.『Boundary Belt Length as a Parameter in Reversal Systems』Annals of Boundary Mathematics, Vol.9 No.4, pp.200-231, 1996.
- ^ Nakamura『教育現場における定理名の神話化—卑弥呼定理の教材化報告』日本数学教育学会紀要, 第41巻第7号, pp.310-329, 2002.
- ^ Fukushima『準同型としての反転整合性：一般化の限界』ドクサ論文集, 第22巻, pp.88-109, 2001.
- ^ （書名が微妙におかしい）『卑弥呼幾何学と古代測量の完全一致』古代整合社, 1988.
外部リンク
- 卑弥呼幾何学・アーカイブ
- 理論折紙研究所の資料室
- 境界制御アルゴリズム講義ノート
- 離散群と反転操作の研究サマリー
- 卑弥呼定理の解説スレッド