アリー=ノーマン定義問題
| name | アリー=ノーマン定義問題 |
|---|---|
| field | 架空数学（記号幾何解析） |
| statement | 定義写像が整合性公理を満たすとき、関連する“定義域”は一意に定まる |
| proved_by | 佐伯ハルカおよびノースブライト計算幾何学共同体 |
| year | 1977年 |
におけるアリー=ノーマン定義問題（よみ、英: Ally–Norman Definition Problem）は、のについて述べた定理である[1]。
概要[編集]
では、方程式の“意味”が曖昧になると、解の探索そのものが崩れるとされる。この状況を避けるために導入されたのがであり、定義写像が満たす条件の下で「定義域」が一意に固定されることが示される。
本問題は形式論理の言い換えとして語られることが多いが、実際にはを“距離”に似せた量で管理する発想から発展したとされる。とくに、記号が衝突しないようにするため、に「符号帳合い税（ふごう ちょうあいいぜい）」という冗長な制約を含める流儀があったことが知られている。
このようにして、定理名は問題という形を取りつつも、後に「定理」として確立される。なお、当初の原稿では“問題”と記されていたが、学内の査読手続きで急に“定理”に差し替えられた経緯が、のちに逸話として語られることになった。
定理の主張[編集]
を「整合性記号環」とし、を記号付きの点集合とする。ここで、f が Z_ℛ 上の加法性を満たし、かつ整合性公理を満たすと仮定する。
このとき、任意の二つの候補定義域 D と D' が同一の外部整合性指標 I(D)=I(D') を持つなら、D=D' が成り立つ。さらに、定義写像 f が満たすにより、候補定義域の“冗長部分”は最大でも2つに縮退し、結果として一意性が強化される。
すなわち、I は定義域への同型写像として振る舞い、定義域の選択はすべて I によって支配される。ここでの“同型”は位相同型であるとは限らず、計算量的同型であると補足されるのが通例である。
証明[編集]
証明はの1977年版手稿「符号衝突回避の三段階手続き（pp. 14–29）」に基づくとされる。証明の核は、整合性公理を“局所整合性半径”として定量化し、を“符号衝突の遮断”として、を“写像の連結性”として解釈する点にある。
まず、候補定義域 D と D' をそれぞれ、外部整合性指標 I(D)=I(D') を持つものとして選ぶ。次に、Z_ℛ の元の表現を 0 から始まる「符号番号」として列挙し、その符号番号に対して距離様変数 δ を割り当てる。ここで δ の取りうる値は 1/64, 2/64, …, 63/64 の計63通りであるとされるが、実装上は冗長な枝刈りが施され、実質的に 41通りに減るという。
その後、D と D' の差集合 Δ=D\D' が非空だと仮定し、Δに対して“衝突予算”を計算する。衝突予算は 17 の素数で構成される小標準集合に依存し、その合計が 331 に達するかどうかで矛盾が生じる。実際、整合性公理を適用すると、衝突予算は 330 で頭打ちになり、331 に届かないことが示される。よって Δ が非空であることと整合性指標の一致が両立しない。
以上より、D=D' が示された。なお、最後の一行だけがやけに短く「同型性は確認された」と記されていることが、編集者間で奇妙な丁寧さとして残っている。
歴史的背景[編集]
は、定義が曖昧なまま計算が進むと、まるで嘘の答えが出たかのように見える現象への対処として生まれたとされる。19世紀の“手書き記号災害”以来、学会では定義の曖昧さを軽視すると後で修正が爆発することが知られていた。
ただし、定理としての形が整ったのは比較的遅く、1970年代初頭に（旧称：の内部委員会“符号再現室”）で進められた「定義の再現性プロジェクト」が契機とされる。室長は姓の研究者ではなく、なぜか“ノーマン”を名乗る外来研究者であったと記されている。
また、証明者の一人であるは、当時の記号帳簿が紙厚 0.27mm で折れやすいせいで、符号の読み取り誤差が統計的に 0.0032 程度発生したと報告した。これが、のちのの導入に直結したとされる。
なお、最初の会議録においては「定義問題は未解決」と書かれていたが、最終稿では“未解決”の二文字だけが朱で塗りつぶされ、代わりに“確定”が鉛筆で書き足されたという。
一般化[編集]
本定理は、Z_ℛ を整合性記号環に限定せず、拡張されたへ移植できるとされる。その場合、整合性公理はそれぞれ、層上の局所整合性、境界衝突の遮断、層の連結性へと読み替えられる。
一般化の主張としては、I(D)=I(D') を“単なる一致”ではなく、まで一致するように要求する流儀がある。このとき、差集合 Δ の大きさは有限であり、その上限が 2^10=1024 を超えないとされる。
ただし一方で、指標の一致を強くしすぎると、定義域が「抽象化しすぎて役に立たない」状態に陥るという批判も出た。実際に、一般化の一派は論文の最後で「縮退した定義域は“飾り”になる」と記している。要するに、同型性は保たれても意味の解像度が落ちるのである。
応用[編集]
応用として最も知られているのは、における“解の復元”である。定義域が一意に固定されることで、方程式の解候補が“どの意味での解か”を失わずに追跡できるようになる。
また、への転用も提案されている。定義写像 f を鍵に見立て、整合性指標 I に一致条件を埋め込むことで、攻撃者が別の定義域を選ぼうとしても D≠D' を作れないようにする、という筋立てである。ここでは δ の取りうる値が 63通りでなければならないと主張されるが、これは後年の追試で「実装では41通りでも成立する」と訂正された。
さらに、教育面では“定義を雑に扱うと点が増殖する”という比喩教材が開発された。具体的には、D と D' を混同した講義ノートを配布し、学生が勝手に補間して得た補間関数が、必ず同じ定義域へ落ちることを観察させる実験が報告されている。
脚注[編集]
関連項目[編集]
脚注
- ^ 佐伯ハルカ『符号衝突回避の三段階手続き』ノースブライト出版, 1977.
- ^ Ally Norman『On the Uniqueness of Symbolic Domains』Journal of Fictional Algebra, Vol. 12, No. 3, pp. 101-147, 1980.
- ^ 渡辺静子『記号再現性と整合性指標』東京大学出版会, 1976.
- ^ M. T. Havel『Layered Symbol Algebras and Definition Coherence』Proceedings of the Imaginary Mathematical Society, Vol. 4, No. 1, pp. 55-93, 1983.
- ^ “符号帳合い税規約の導入経緯”『計算記号通信』第8巻第2号, pp. 12-19, 1979.
- ^ ノースブライト計算幾何学共同体『定義域の同型性検証手順』計算幾何学報告書, 第3号, pp. 1-62, 1978.
- ^ Eleanor Finch『Approximation Orders in External Consistency Indices』Theoretical Letters, Vol. 29, No. 7, pp. 220-265, 1986.
- ^ 山縣健一『教育用比喩としての“点の増殖”』架空数学教育年報, 1991.
- ^ K. D. Ruther『On the Choice of Local Radii in Symbolic Geometry』Annals of Unreal Geometry, Vol. 1, Issue 1, pp. 7-41, 1974.
- ^ 松岡ミナ『定義が曖昧なときに起きること：統計の視点』数理雑録, 第17巻第4号, pp. 301-338, 1982.
外部リンク
- ノースブライト計算幾何学共同体アーカイブ
- 東京大学符号再現室デジタル資料
- 架空数学教育研究センター
- Journal of Fictional Algebra 試読ページ
- 計算記号通信（バックナンバー）