山麓ロジックの定理
| name | 山麓ロジックの定理 |
|---|---|
| field | 幾何位相論×論理代数 |
| statement | 任意の山麓状位相空間Xと、その上の“麓条件”を満たす帰納整合関数fに対し、局所的整合性は大域的整合性へ延長される |
| proved_by | 渡辺精一郎（仮説検証部会） |
| year | 1891年 |
における山麓ロジックの定理（さんろくろじっくのていり、英: Sanhroku Logic Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、幾何学的な“段差のある場所”を論理式の“矛盾しない積み上げ”として扱う枠組みである。ここで扱うとは、局所的には“なめらか”であるが、境界付近で層状の折れをもつ位相空間を指すとされる。
本定理は、局所で整合している情報が、適切な条件のもとで全体へと延長されることを主張する。とくに“麓条件”と呼ばれる性質が仮定されると、局所的な整合性は矛盾なくへ接続されることが示された。
なお、本定理の名前は山麓の地形がもたらす“目印の積層”を、研究会の議題表に見立てたことに由来すると説明されている。この語感は論文の冒頭脚注で何度も強調され、審査者が「ロジックが山の形をしている」と評したとされる[2]。
定理の主張[編集]
は、山麓状位相空間X上の帰納整合関数fについて、次を満たすときに成立する。
まず、XがX=⋃_{k=0}^{n}U_k をもつものとし、各U_kが“折れ点”を高々k回含むものと定義される。つぎにfが、各U_k上で局所的に整合し、かつ“麓条件”として、折れ点の周りで矛盾指数が高々2^k−1となることを満たすと仮定する。
このとき、X上の情報は一意に延長される。具体的には、局所整合性を満たすfの制限f|_{U_k}の整合族が存在するならば、それらは必ず全空間X上の整合族Fへ延長され、Fが局所的な整合性を大域的に満たすことが示される[3]。
さらに、延長Fは同型を除いて一意であり、延長に要する“整合手順”の段数は高々n+7と評価されるとされる。計算上の評価はやけに細かく、当時の研究ノートでは「n=3なら段数は≤10である」と赤字で記されたと報告されている[4]。
証明[編集]
証明は、の位相的な積み上げと、論理代数における整合性の保持を組み合わせることで構成される。まず、折れ点の層kに対して、U_k上での局所整合性から“矛盾の芽”を検出する写像を定義する。この写像は“麓指数”と呼ばれ、矛盾指数を反映するものとして扱われる。
次に、矛盾指数が高々2^k−1で抑えられていることを用いて、U_kからU_{k+1}への延長ステップにおいて矛盾が増殖しないことを示す。ここでは、論理式の積（合成）に対応する演算を行うと、矛盾指数が2倍にもならず、最大でも2^{k+1}−1に収まるように制御されるとされる。
一方で、整合族の延長の一意性はによって担保される。この補題は「接着の境界が、折れ点の半径r=1/2^{k+2}で与えられるとき、整合性は接着される」ことを述べる。半径に“1/2^{k+2}”のような具体値が現れる点は奇妙であるが、原典では境界の見積りがその数式で固定されたと説明されている[5]。
最後に、帰納により、全体Xへ延長可能であることが示される。延長段数が高々n+7であることは、毎回の補正項が高々7種類であり、それが研究会の出席票の分類に一致したという、やや逸脱した記述とともに残されている[6]。
歴史的背景[編集]
成立の契機：道路図と論理の擦れ違い[編集]
山麓ロジックは、1890年代初頭の系の測量図作成で生まれたと語られている。特にの郊外改測計画で、山の斜面に沿って描かれた区画が“折れ”をもつたびに、図面の整合が局所でしか確認できない問題が発生したとされる。
このとき渡辺精一郎が、図面の整合を点集合として扱うのではなく、整合条件を論理式として符号化する試みを行ったとされる。渡辺は測量帳簿の余白に「麓で矛盾が起きるなら、必ず局所式が壊れる」と書き残したとされるが、同時にその余白に別人の筆跡で「でも計算は合うのでは？」とも書かれていたという[7]。
論文審査：『山麓は論理を食べる』事件[編集]
1891年、渡辺は（東京・湯島地区）で草稿を提出したとされる。審査者である小林燦太郎（数理論理科の兼任）が、草稿の“山麓ロジック”という呼び名に強く反応し、「単なる位相の話に地形の比喩が混ざっている」との批判を記録したとされる[8]。
ただし、その批判が逆に追い風となり、審査会の議事録には「比喩を削っても証明が残るなら採択する」と書かれた。結果として“山麓”という語が残り、以後、幾何と論理をまたぐ研究の記号として固定されたとされる。
なお、採択の直前に山麓ロジックの評価式が「2^k−1」に到達した経緯について、測量班の記録が“本当は2^k”だったのに写植で−1が入り、そのまま数学的に都合が良かった、という説もある。真偽は不明であるが、当時の校正刷りの端が欠けているため、やけにもっともらしいと受け止められている[9]。
一般化[編集]
本定理は当初、有限回の折れを仮定する山麓状位相空間に限られていたが、その後いくつかの一般化が提案された。たとえば、折れ点の“回数”nを有限ではなく可算無限に拡張すると、局所矛盾が減衰する場合に限り延長可能であると示された。
一般化の一つとして、麓条件の矛盾指数上界を2^k−1から、一般の増加関数g(k)へ置き換える研究がある。その場合、延長の一意性が成り立つにはg(k)が“接着を許す”整合規則を満たす必要があるとされる。
また、論理代数側の演算を積から別の結合律へ変えると、延長の段数がn+7ではなく“n+7+δ”に変わる可能性が議論されている。δは位相の計量から導かれると説明されるが、δの具体式は研究者ごとに解釈が異なり、原典のどこにも統一的定義が見当たらないと指摘されている[10]。
応用[編集]
山麓ロジックは、純粋数学から少し外れた応用にも接続されている。たとえば、の初期形にあたる“整合図式”では、局所の境界条件が大域の地図に反映される設計を形式化する際に用いられたとされる。
具体例として、の試作システムでは、旧版地図と新版地図の食い違いを“矛盾指数”として数値化し、山麓ロジックに基づき延長された整合層を自動生成したと報告されている[11]。このシステムのバッチ処理は、毎日午前6時に開始し、処理件数は“ちょうど3,200区画”で頭打ちになったという記録がある。
さらに、教育現場での応用として、論理パズルの解答手順を“折れ層”に対応させる教材が開発された。そこでは「1問目はk=0、最終問はk=n、延長段数は高々n+7」と明記され、学習者が安心して先へ進めるよう設計されたとされる。
一方で、実務応用における過度な一般化が問題視されることもあった。麓条件の検査を省略して延長を適用した結果、境界付近で一意性が崩れる事故が報告され、以後は必ず矛盾指数を計測する運用が徹底されたとされる[12]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『山麓ロジックと局所整合の延長』東京数学館, 1891年.
- ^ Kobayashi Santaro『On Theine-Style Consistency in Folded Terrains』Journal of Geometric Logic, Vol.12, No.3, pp.44-73, 1892年.
- ^ Margaret A. Thornton『Topological Adhesion and Local Indices』Proceedings of the International Society for Logic, Vol.7, No.1, pp.201-233, 1910年.
- ^ 鈴木碧『矛盾指数の評価と延長段数 n+7』数理雑誌, 第15巻第2号, pp.9-38, 1924年.
- ^ Elihu Cartwright『The Halfradius Rule in Consistency Gluing』Annals of Applied Topology, Vol.33, pp.77-105, 1931年.
- ^ Tanaka Rinko『麓条件の言い換えと一般化関数g(k)』日本論理学会紀要, 第8巻第4号, pp.120-158, 1956年.
- ^ Oskar Vennstrand『Finite Fold Systems and Uniqueness up to Isomorphism』Nordic Mathematical Review, Vol.21, Issue 2, pp.1-26, 1972年.
- ^ 阿部彬『地図整合の初期アルゴリズム：山麓ロジックの実装』地理情報学報, 第3巻第1号, pp.31-60, 1988年.
- ^ Hiroshi Kuroda『A Note on the Missing -1 in Proof Reprints』Journal of Editorial Oddities, Vol.2, No.1, pp.3-9, 2004年.
外部リンク
- 山麓ロジック研究アーカイブ
- 折れ層分解資料室
- 麓指数計算機ログ
- 幾何位相論者の掲示板
- 国土地図局（旧）整合図式