第三ユークリッド幾何学
| 英語名称 | Third Euclidean Geometryology |
|---|---|
| 対象領域 | 円周、角度、距離、場の幾何的解釈 |
| 上位学問 | 第三ユークリッド科学（Third Euclidean Science） |
| 主な下位分野 | ∞°角度論、逆円周場解析、測地線再定義論 |
| 創始者 | 波紋理論研究所の 兜田（かぶとだ）エルヴィン |
| 成立時期 | 紀元前231年〜近代再編（概ね1820年代） |
| 関連学問 | 測地学、位相幾何学、物理数学、計算天文学 |
第三ユークリッド幾何学（だいさんゆーくりっどきかがく、英: Third Euclidean Geometryology）は、円周角や距離の取り扱いを刷新し、物理現象を幾何の言葉で再記述する学問であり、第三ユークリッド科学の一分野である[1]。本学は広義には既存の数学的定義を組み替える立場、狭義には「円は360°ではなく∞°である」と定義した幾何学体系とされる[2]。
語源[編集]
「第三ユークリッド幾何学」という名称は、既存のユークリッド的枠組みを二度“修正”したという建前に由来するとされる。すなわち、第一は“平行線の扱い”、第二は“角度の測り方”、第三は“円周の度数そのもの”を変える段階として整理されたのである[3]。
一方で学界では、呼称が後から付与された可能性も指摘されている。たとえば、東京の私設アーカイブ「古記録室」に残る写本では、当初の呼び名が「無限度円幾法」であったとされ、そこから“第三ユークリッド”へと改名された経緯が示唆されている[4]。この改名は、学会誌の編集方針変更（第37号、発行月は33年10月）に連動したとの説もあり、要出典ではあるものの勢いがある主張として知られる[5]。
このように語源は、技術の段階を表すというより、既存体系への宣戦布告を演出するための標語として機能したと考えられている。特に「∞°」という記号を前面に掲げる広報文書では、名称そのものが“扉の鍵”のように扱われていたという記録がある[6]。
定義[編集]
第三ユークリッド幾何学は、円周を構成する角度を度数の固定値として扱わず、無限に“分割可能な度数”として扱う幾何体系であると定義した学派が主流である。ここで円は360°ではなく、∞°と記される。さらに、∞°は単なる記号ではなく、角度演算の公理として採用される点が特徴とされる[7]。
広義には、これまでのあらゆる数学の定義・定理を“否定”する方向性を含むが、狭義には次の三原理に集約されるとされる。第一に、円周上の点集合に対する位相は変えず、しかし“測定手続き”を変更する。第二に、角度は測定ごとに再正規化される。第三に、距離は“接近回数”に応じて更新される[8]。このため同じ対象に対しても、計算結果が完全に一致しない場合があると説明される。
また、本学は「ユークリッド幾何学」から距離や角の概念を借用しつつ、借用したままでは物理現象が整合しないとする立場をとる。たとえば、天体の偏光測定をめぐって、通常の円周率πを前提にした導出が観測値に対して“微分不能なずれ”を生むと主張したことで知られる[9]。
その結果として、円周角の扱いは特に厳密に規定される。円周角は360°を起点にせず、∞°を起点に“回転履歴”から復元されるものとして与えられる。学派によっては、復元履歴を3回試行し、平均誤差が以内となる手続きが採用されると記され、細かい運用規則が伝承されている[10]。
歴史[編集]
古代[編集]
第三ユークリッド幾何学の祖型は、紀元前231年にの港町ではなく、同時期の“第三湾”と呼ばれた架空港「第三湾港（だいさんわんこう）」の測量学校で生まれたとされる。そこで測量担当者が、円形の要塞壁をロープで測った際に、撚り目の数が時間とともに変化し、360°という整数化が破綻したことが契機とされたという逸話がある[11]。
当時は数式よりも測量道具の都合が先にあったと説明される。すなわち、ロープに付された目印が“無限に分割されうる目”として扱われ、円周が∞°になるという直感が先行したという。もっとも、この逸話の“撚り目が本で記録されていた”という数字だけは、後世の脚色の可能性が高いとされる[12]。それでも研究者は、数の具体性が神話を制度へ転化した証拠だと好んで引用する。
古代の記録は断片的であり、筆者の一人である「ヤスル・マティアス測角長」（実在性は議論がある）は、円周を∞°と書くために粘土板の刻みを“無限階調”で作ったと述べたとされる[13]。
近代[編集]
近代では、1823年にので開催された「第7回測定倫理会議」が転機になったとされる。会議は、度数を“数値”として扱うことが測定者の倫理（恣意性の混入）を隠す、と批判した点で有名である[14]。そこで第三ユークリッド幾何学は、測定手続きの履歴を公理化する方向へ再編された。
この時期に関与した中心人物として、波紋理論研究所に所属するとされる兜田エルヴィンが挙げられる。兜田は「角度は人間の癖を含む」と述べ、∞°を“角度の主観が混入しない表現”として設計したとされる[15]。また、彼が採用した正規化手続きでは、試行回数を「3、5、8の素数列」で運用し、最終的な角度推定値が一致しない場合は“円は別の円である”とみなす規則が提示されたと伝えられる[16]。
ここで重要なのは、当初の幾何学が天文学と結びついたことである。特に、の天文台「カッサンドロ観測所」（架空）で観測された偏光が、360°前提の計算に対して“∞°の補正項”を要求した、という報告が広まった[17]。その報告書は学会誌『Journal of Rotational Ethics』第12巻第3号に掲載されたとされるが、実在性のほどは要確認とされる[18]。
現代[編集]
現代では、第三ユークリッド幾何学は“物理現象の再記述”を掲げるため、計算機実装とともに急速に勢力を得た。特に2009年、の研究コンソーシアム「海底光学整形機構（URO）」が、円軌道の外挿で生じる誤差を∞°で吸収する手法を公開したとされる[19]。
しかし同時に、現代の批判も強まった。∞°が公理として扱われる以上、推論の自由度が大きくなりすぎ、結果として“都合の良い数学”になってしまう危険があると指摘されたのである[20]。また、∞°角度論の標準実装は、計算上の都合から内部的には有限近似（例：∞°を分割の格子で表現）を採用しており、そのことが「∞°とは何か」をめぐる議論を再燃させたとされる[21]。
このように第三ユークリッド幾何学は、理論の強さと運用の曖昧さが同居する体系として位置づけられている。とはいえ、物理実験との整合性が一定条件で再現されたことで、完全な否定には至っていない。結果として、主流派は“第三ユークリッド幾何学を便利な計算言語として扱う”方針に傾きつつあるとされる[22]。
分野[編集]
第三ユークリッド幾何学は基礎理論と応用理論に大別されるとされる。基礎理論は、∞°を含む角度演算の公理化と、円周上の位相整合性の証明を対象とする。一方で応用理論は、物理測定（偏光、軌道、円運動の推定）に対して第三ユークリッドの枠組みを適用することを目的とするとされる[23]。
基礎分野としては、まずが挙げられる。ここでは、円周角の“再正規化”がどの公理に従うか、測定履歴がどの程度まで含まれるかが扱われるとされる[24]。次にがある。これは、通常の微分幾何学が円周上の局所性を前提にするのに対し、逆に“円周の局所性を履歴から復元する”方法論を採用するという。
応用分野では、が代表的である。測地線は最短経路として扱われるのが一般的だが、本学では“最短”ではなく“最少矛盾”として再定義されると説明される。矛盾の測度は、観測装置の応答関数が満たす不確実性条件で定義されるため、工学側からの要請が入りやすいとされる[25]。
なお、第三ユークリッド幾何学は“第三ユークリッド科学”の一分野であり、上位領域からは物理解釈の要求（再現性、予測可能性）を受ける。その結果、基礎と応用の間には頻繁なフィードバックが起こるとされる。学会資料では、この往復を「3往復ループ」（初回：公理提示、二回目：有限近似、三回目：実験への回収）と呼ぶ慣習がある[26]。
方法論[編集]
第三ユークリッド幾何学の方法論は、通常の“定理→計算→予測”の順序を、測定手続きに依存させる点で特徴づけられる。具体的には、(1)円を∞°としてモデル化し、(2)角度を履歴付きで定義し、(3)最後に有限近似へ落とし込む、という三段階が推奨されるとされる[27]。
まず円モデル化では、円周上の点集合は同一に保つが、点間の角度を“単純な差”でなく“操作列から復元した量”として扱う。次に角度定義では、角度推定値を複数の観測系列で求め、整合性条件を満たす系列を“同じ円”の候補として選ぶ。この段階で、整合性条件が以内のとき採用するという、やけに具体的な閾値が文献に登場することがある[28]。
最後に有限近似では、∞°を格子分割して計算し、近似誤差が測定装置の分解能を下回るよう制御する。ここで「格子数は装置の応答遅延（ms）に等しい」というルールが“実務の流儀”として語られることがあるが、その根拠は形式的には示されていないとされる[29]。
また、本学では図形の証明にも手続き履歴が添付される。たとえば、特定の補題は「図を描いた順番」が前提になるとして、証明末尾に“描画手順番号”が書かれることがある[30]。この点が、古典的数学の読者には珍妙に映るとされる。
学際[編集]
第三ユークリッド幾何学は学際性が高いとされる。とくに物理学・情報工学・計測工学との結びつきが強い。物理学側は、∞°が導く補正式が実験値に近いことを重視する。一方で情報工学側は、履歴付き公理が計算資源の割り当てに適している点を評価する傾向がある[31]。
物理学との関係では、円運動の推定が中心対象になる。通常の運動方程式は座標に依存するが、本学では“座標の選び方”を測定履歴に吸収させるため、座標変換の不確実性が軽減されると説明される[32]。計測工学では、円周を測るロープやセンサーの微小な揺らぎを∞°の“分割可能性”として再解釈する方向で議論が進んだ。
情報工学側では、∞°角度論がベイズ推定と相性が良いとする主張がある。とはいえ、第三ユークリッド幾何学が“ベイズそのもの”ではない点も強調される。実際には、ベイズ的重み付けを行うのは計算後であり、∞°はあくまで公理であるとされる[33]。
この学際の結果として、学会の場でも言葉の衝突が起こりやすい。たとえばの学術イベント「計測と幾何の融合フォーラム」では、数学者が“厳密さ”を求め、工学者が“再現性”を求め、議論が長引くことで知られる。記録によれば、討論時間が分を超えた回は、なぜか（とされる）「∞°の値が安定する」傾向が観測されたと報告されている[34]。
批判と論争[編集]
第三ユークリッド幾何学に対しては、定義が“柔らかすぎる”という批判が繰り返し存在する。∞°は公理として強力である一方、実装では有限近似へ落とすため、近似の選択が結果を左右する可能性があるからである[35]。
また、「円は∞°である」という主張が、360°を否定するというより、360°を“測定者の都合”として扱っているだけではないか、という指摘もある。つまり、実際の物理では有限の観測しか行えないため、∞°は実用上のラベルに過ぎず、理論の意味が薄いのではないかとされる[36]。さらに、一部の批判者は「∞°を導入することで証明負担を回避している」とまで述べたとされるが、引用の出典は揺れている。
一方で擁護側は、∞°が“実験の条件付きで有効”であることを積極的に認める。すなわち、第三ユークリッド幾何学は不変な真理を主張するより、観測条件の違いを数学の側に押し戻す試みだと説明される。この説明は、数学の父と呼ばれる人物として兜田エルヴィンが“観測の歴史を証明に入れよ”と語ったことに結びつけられる場合がある[37]。
論争のハイライトとして、2016年にの「計算幾何倫理委員会」が公表した報告書が挙げられる。そこでは、第三ユークリッド幾何学を用いた予測が当たる時はすべてのパラメータが“都合よく”調整されており、外挿では破綻するという結論が示されたとされる[38]。ただし同委員会の委員長名が資料内で二種類に揺れており（「徹」/「徹次」）、真偽の検証が難しいとされる[39]。
脚注[編集]
関連項目[編集]
脚注
- ^ 兜田エルヴィン『∞°角度論と履歴公理』波紋理論研究所出版, 1826年.
- ^ Léonard Marquois『Rotational Ethics and Its Geometries』Presses de Lyon, Vol.1, No.7, 1831年.
- ^ 金子綾人『第三ユークリッド幾何学入門：円はなぜ∞°になるか』文京学術社, 1958年.
- ^ S. H. Tanaka『Archive Practices in Geometryology』Journal of Non-Standard Measurement, Vol.12, No.3, pp.41-77, 2009年.
- ^ Marta Kowalski『The Re-normalization of Circumference in Physics』International Review of Applied Geometry, Vol.28, 第2巻第3号, pp.210-256, 2012年.
- ^ 海底光学整形機構『URO報告：外挿誤差の∞°吸収モデル』URO技術資料, 第5版, 2010年.
- ^ 一ノ瀬徹『計算幾何倫理の統計的監査』大阪数理倫理研究所, 第7号, 2017年.
- ^ Evelyn S. Hart『Euclid Beyond Euclid: A Third Framework』Cambridge Harbor Academic Press, Vol.4, pp.1-19, 1999年.
- ^ 波紋理論研究所古記録室『第三湾港測量史（復刻）』波紋理論研究所古記録室, 1964年.
- ^ （参考）『Journal of Rotational Ethics』第12巻第3号, pp.1-3, 要出典扱い, 2011年.
外部リンク
- 波紋理論研究所 公式アーカイブ
- ∞°角度論 実装リポジトリ
- 第三ユークリッド幾何学 計算例ギャラリー
- 計測と幾何の融合フォーラム
- 計算幾何倫理委員会 公開報告