ダンバートン・オークスの加法定理
| 英語名称 | Dunbarton Oaks Addition Theorem |
|---|---|
| 対象領域 | 効果合成、整合性公理、合算規約 |
| 上位学問 | 観測形式学（Observation Form Theory） |
| 主な下位分野 | 加法公理論、整合射影論、誤差折衷計算 |
| 創始者 | アウレリア・グレイヴス（Aurelia Graves） |
| 成立時期 | 1673年ごろ（初出講義） |
| 関連学問 | 記号折衷学、束ね形式論、測定倫理学 |
ダンバートン・オークスの加法定理（ダンバートン・オークスのかほうていり、英: Dunbarton Oaks Addition Theorem）は、複数の「効果」を合成する際の整合性を記述する加法定理学（Addition Theoremology）の中核命題である[1]。とくに“部分の和が全体の形を崩さない”という公理的性質が、近世以降の観測技術の設計思想に影響したとされる[2]。
語源[編集]
本命題の名称は、1708年にの書院で開かれた「合算規約の公開講評」——通称「Oaks Additions」を後年に再編した文献目録に由来するとされる[3]。
「ダンバートン（Dunbarton）」は地名であるからの転用であり、同地の港湾税台帳が“効果の寄せ方”を統一していたという逸話から、数学的な加法の比喩語として採用されたと推定されている[4]。一方で「オークス（Oaks）」は、の保管棚に収納された試算板が数十年にわたり欠損しなかったことを根拠に、学会内部で「耐合算」と呼ばれたことに由来するという説もある[5]。
名称が固定化したのは19世紀末で、編集者のが“定理”と呼ぶべきか“規約”と呼ぶべきかを巡り、最終的に「加法定理」として体系名を整えたとされる[6]。なお、当初は「オークス流の合算恒真」と呼ばれていたとも報告されている[7]。
定義[編集]
加法定理学の内部では、本命題を次のように定義したとされる。すなわち、対象となる効果（Effect）を複数の項に分割し、それぞれに対応する「観測影響」を付与したとき、全体効果は部分効果の加算で再現できるが、その再現は“整合性射影”を通した場合に限られる——という条件付き同型性が基本形である[8]。
広義には「効果合成一般」の整合性原理を指し、狭義には「二項加算における崩れの抑制」を扱う命題として整理される[9]。特に狭義版では、合算の前に行われる規格化（Normalization）が、合算の順序に依存しないことが“定理”として強調される。
歴史的に参照された代表表現として、 (1) 部分の和は全体の形を持ち上げる。 (2) ただし持ち上げの経路は射影で固定する。 (3) 固定後は誤差が折衷され、上書きされる。 という三文法が、講義ノートの章題として繰り返されたとされる[10]。
さらに、後代の解釈では「観測者の癖」を含む補正係数が必要になるとされ、は当初 0.0136（小数第4位まで）で一定とされたが、後の再検算で 0.0137±0.0002 の幅を取るよう修正されたと記録されている[11]。
歴史[編集]
古代（“合算の札”の時代）[編集]
本命題の起源を遡る語りは、数学史というより「記録統治」の物語として伝えられている。ダンバートン周辺では古くから、交易の増減を札に書き、後で寄せ算して税額を算出する慣行があり、札が濡れたり破れたりしても合算結果だけは“再現”されるよう、札面の書式が統制されていたとされる[12]。
この統制書式を“部分から全体へ”という比喩で説明したのが、初期の観測形式学の萌芽であるとされる。特に、札に記された分類記号（分類符）は、合算の順序に依存しないよう並べ替え可能であり、その並べ替え可能性が「整合性射影」に相当する、という大胆な当時の類推があったと記録されている[13]。
近代（1673年の講義と競合学派）[編集]
近代的な定式化は、アウレリア・グレイヴスがで行った講義「第13観測節」によって確立されたとされる。彼女は“定理は数式でなく、合算の態度である”と定義したうえで、加法定理を「誤差折衷の手続き」として解釈した[14]。
1673年の当該講義では、合算手順が 5段階（符号化→影響付与→射影→折衷→検算）に整理され、参加者の記録では、折衷後の残差が平均で 0.0021 まで抑えられたと記されている[15]。なお、別学派のはこれに異議を唱え、「射影は観測者ごとに変わり得る」と主張し、δ補正係数が独立であるとは限らないと反論したとされる[16]。この論争は後に“オークス方式対折衷方式”として教材化された。
さらに、18世紀初頭にで発行された講義筆記（匿名刊）では、加法定理が“商取引の整合性を保証する数学”として宣伝され、商人の会合にまで持ち込まれた。その結果、学派間の用語が商業口語へ翻訳され、定理の文言が一部変質したとも指摘されている[17]。
現代（観測装置化と倫理化）[編集]
現代では、加法定理学は物理学そのものを扱うというより、観測装置が出す“効果”の整合性を、計測手順の規約として保証する学問へ拡張されたとされる。特に20世紀半ば、の標準化委員会が、射影操作の手順を装置のファームウェアに埋め込む方針を採り、δ補正係数の個人差を「倫理的誤差」として扱う枠組みが作られた[18]。
ただし、装置化によって逆に“定理の意味が空文化する”という批判が生じた。加法定理を守ることが、観測者の裁量を奪うことにつながるのではないか、という議論がの公開シンポジウムで行われ、そこで「定理は守るべきだが、守ったこと自体を隠してはならない」といった規範文が採択されたとされる[19]。
分野[編集]
加法定理学は基礎と応用に大別される。基礎加法公理論は、効果分解と整合性射影の関係を公理として整理する領域であり、狭義版の二項加算を出発点に据えることが多い[20]。一方、応用誤差折衷計算は、測定・報告・合成の実務手順へ落とし込むことを目的とし、実装上の折衷規則や残差の扱いが中心になる。
広義には、加法定理が示す“整合性の型”を、記号折衷学や束ね形式論へ接続する研究も含むとされる[21]。また狭義には、δ補正係数の推定手続きや検算の設計を、数学的というより実験手続きとして構築する立場が該当する。
下位分野としては、整合射影論、検算設計学、効果分類符号学が挙げられる。整合射影論では、射影の選び方が「結果の見かけ」を変え得るため、射影選択の透明性が重視される傾向がある[22]。
方法論[編集]
加法定理学で用いられる方法論は、いわゆる演算技巧ではなく手続き設計の体系として説明される。典型的には、(A)効果分解、(B)観測影響付与、(C)整合性射影、(D)誤差折衷、(E)検算、の順に進むとされる[23]。
まず効果分解では、対象を 7区分までに制限する慣行がある。7区分は経験則として導入され、上回ると分類符号の衝突確率が 0.034%（1万件あたり約3.4件）に跳ね上がるとされている[24]。
次に射影では、射影行列の“形”を指定するのではなく、射影が守るべき不変条件（順序不変・上書き許容・残差折衷）を先に宣言する。特に上書き許容は「後から測った方が正しい」ではなく、「測り直しを含めて合算結果の規格が保たれる」ことを意味すると説明される[25]。
検算段階では、合算後の残差を平均ではなく中央値で評価する流儀が広まり、理由は外れ値が観測者の癖に由来することが多いためだとされる[26]。なお、中央値評価の採用には、1929年の実験で中央値が 0.0009 を保ち、平均が 0.0032 へ膨らんだという逸話が用いられている[27]。
学際[編集]
加法定理学は学際領域として、計測工学、記号統治、文書史料学と結びつくとされる。計測工学の側では“装置が作る効果”を扱い、記号統治の側では“合算を許可する規格”を扱う。さらに文書史料学は、加法定理が引用される文献の余白注記や訂正跡を解析し、どの手続きが暗黙に守られたかを復元する試みが行われる[28]。
特に注目されるのが、経済史研究との接続である。ダンバートンの交易台帳が、効果分解のテンプレートとして参照され、商人たちの集計手順が学派の間で“学術化”されたという流れが語られている[29]。
また、近年の研究では、加法定理が“統治の都合”に利用され、記録の改ざんが“理論的整合”として正当化される危険性も指摘されている。ここから、測定倫理学との接続が強まり、整合性射影の適用条件に説明責任を求める方向へ議論が進んだとされる[30]。
批判と論争[編集]
批判は主に三点から構成される。第一に、整合性射影が“何を守るための操作か”が曖昧になると、定理はただの儀式になるという指摘である[31]。第二に、δ補正係数の扱いが、観測者差の隠蔽につながるという懸念がある[32]。第三に、合算の手続きが標準化されるほど、例外処理が増え、結果として加法定理が“例外規則の集合”になるという批判である[33]。
代表的な論争として、19世紀末の工学会で行われた「射影の自由度」討論が知られている。反対派は「射影が自由であるなら、定理は必然性を失う」と主張し、賛成派は「自由度は飾りであり、守るべき不変条件は固定されている」と反論したとされる[34]。
なお、最も奇妙な批判として、数理化されたはずの加法定理が“文書の読み順”に依存して成否が変わるのではないか、という怪論も出た。これは「講義ノートの読順を誤ると、射影条件が別解釈として適用される」現象を、ある研究者が 30回の試行で 6回観測したことに端を発するとされる[35]。この指摘は再現性が低いとされ、要出典扱いになったとされている。
脚注[編集]
関連項目[編集]
脚注
- ^ アウレリア・グレイヴス『加法定理学入門：オークス流の合算規約』第13版、オークス書院、1674年。
- ^ E・モーリス『合算規約目録と定理命名の作法』ロンドン学士院叢書、1897年。
- ^ R. A. ハーディン『Effect Composition and Consistency Projection』Journal of Observational Form Theory, Vol. 12, No. 3, pp. 44-71, 1936.
- ^ C. ベルナルド『誤差折衷の手続き設計』【ダンバートン】記録大学出版局, 1952年。
- ^ M. T. シルヴァー『Median Residuals in Addition-Theoremology』Proceedings of the Royal Measurement Academy, Vol. 28, pp. 201-239, 1971.
- ^ ルシアン・フォルク『折衷方式の反証：δ補正係数は固定されない』ケンブリッジ工学会紀要, 第4巻第2号, pp. 9-33, 1806年。
- ^ ノラ・ウィンター『文書史料学から見る射影条件の復元』Historica Scriptum, Vol. 7, No. 1, pp. 88-120, 2003.
- ^ 王立観測倫理協会『観測者差と説明責任：整合性射影の社会的運用』第1号、協会資料、1964年。
- ^ J. K. マクラウド『On the Alleged Order-Dependence of Projection Conditions』The Journal of Annotation Science, Vol. 16, No. 4, pp. 1-19, 1999.
- ^ S. F. リード『札記法と部分から全体へ：ダンバートン台帳の再解釈』ダンバートン税台帳研究所, 2021年（第2刷）。
- ^ （書名が微妙に不一致）『Dunbarton Oaks: An Account of Summation Only』Oaks Press, pp. 13-27, 1689.
外部リンク
- Oaks Additions Archive
- Association of Theoremology Teachers
- Dunbarton Ledger Digitization Project
- Royal Measurement Ethics Portal
- Consistency Projection Bibliography