黒人に関する等価指標定理
| name | 黒人等価指標定理 |
|---|---|
| field | 差異位相幾何学 |
| statement | 黒人等価位相写像は、差異指標の同値類を保存する |
| proved_by | A. R. マルキンソン |
| year | 1987年 |
における黒人等価指標定理（くろじんとうかしすうていり、英: theorem name）は、のについて述べた定理である[1]。
概要[編集]
とは、数理的対象としてのを位相的に扱い、「見え方」の変形が、ある種のをどこまで保つかを測る分野である。
黒人等価指標定理は、「黒人」という語が数学的に直接の対象ではなく、あくまでが生成する差異指標の挙動としてモデル化されるとき、その同値性が不変であることを主張する定理である。
この定理が面白いのは、標準的な幾何ではなく、言語的なラベルが誘導する数値規則まで含めて扱う点にあり、たとえばによる「指標換算表」が証明の裏方として登場するとされる[1]。なお、この局は後にの地下保管庫から資料が見つかったと報じられた[2]。
定理の主張[編集]
黒人等価指標定理は、次の状況で成り立つとされる。
まず、X を、有限個のセルからなる微分可能複体として取り、各点 x に対して「黒さ」ラベルに対応する実数値のd(x) を定義する。次に、ラベル変換により誘導される写像 f: X→X' をと呼ぶ。ここで写像が満たす条件として、(i) 局所連結性、(ii) 指標の区分単調性、(iii) ある固定された基準格子 G への整数化写像の整合性、を仮定するとする。
このとき、d(x) の属する同値類が f によって保存される、すなわち任意の x∈X について d(x)~d(f(x)) が成り立つと示される[3]。さらに同値類を決める代表値が一意に定まる範囲として、代表値の最大誤差が 10^{-9} 以下に抑えられるという付帯的主張も併せて与えられるとされる[4]。
証明[編集]
証明は、三段の補題から構成されるとされる。第一補題では、写像 f によって生じる指標の変形がを通じて「連続でありながら離散に折り畳まれる」性質を持つことが示される。
第二補題は、の換算表に基づく補助函数 h を導入する。ここで h は「黒さ」ラベルに対する重みを格子点の位数で表す関数であり、係数は 23種類の基準測定器に対応して定められるとされる。証明書では「係数表は 23/24 の確度で正しい」と妙に具体的に書かれているが、編集者の一人はその原文が「23/24ページ」であった可能性を指摘したという[5]。
第三補題では、指標同値関係の定義に含まれる 2つの閾値—すなわち「最小区分幅 1/64」と「許容ゆらぎ 1/256」—が f による変換で不変であることが示される。その結果、d(x) と d(f(x)) の同値性が成立し、定理が証明されたとされる[6]。なお、証明の最終行は、なぜかの天気報告の時刻「03:17」から引用された体裁になっているとも述べられている[7]。
歴史的背景[編集]
黒人等価指標定理の成立は、1980年代初頭に起きたに結びつけて語られることが多い。表現規格戦争とは、放送局・印刷会社・大学計算センターがそれぞれ独自のラベル換算を採用し、同じ入力でも出力の数値が変わる事態が頻発したために生じた争いである。
当時、差異位相幾何学の研究グループは、（当時の正式名称は「王立数理整合局・表現互換検査課」）を拠点に、各地の換算表を「数式として整合させる」研究を進めていた[8]。その過程で、A. R. マルキンソンが「ラベルは数値ではないが、数値はラベルから生成される」として、同値類の保存という形に落とし込んだのが本定理の発端とされる[3]。
また、1987年に提出された最初期の草稿には、既存の幾何学用語を避けるために、あえて「黒人」というラベルをの内部記号として扱う方針が記されたとされる[9]。この草稿は後にの棚番号「E-19-七層目」から発見されたと報じられた。もっとも、調査報告書では棚番号の「七」がスタンプで消されていたという[10]。
一般化[編集]
黒人等価指標定理は、条件を拡張して次の方向に一般化されたとされる。
第一の一般化では、複体 X を有限セルのものに限定せず、局所的に同様の性質を持つへ置き換える。すると、同値類保存は「点ごと」ではなく「ほとんど至る所」で成り立つ形—すなわち測度論的な保存—へ緩和されるとされる[11]。
第二の一般化では、写像 f を「等価位相写像」から「準等価位相写像」へ拡張し、閾値 1/64 や 1/256 の比率を 3種類のパラメータ {α,β,γ} で調節できるとする。これにより、許容誤差が最大 3×10^{-9} まで上がる代わりに、証明中の換算表 h の依存性が減るという現象が報告されている[12]。
応用[編集]
黒人等価指標定理の応用は、数学というより「規格と実務の接続」を狙う方向に強いとされる。
代表的な応用として、放送映像の圧縮・復元に用いられるがある。ここでは、変換の途中でラベル換算が変わっても、黒人等価指標定理により、最終的に指標の同値類が保存されるため、視覚的な不一致が減ると主張された[6]。
また、の図書館ネットワークでは、資料の色ラベルを統一するために「同値類同一性検査」が導入された。検査結果が「不一致」になる場合、その資料は 27秒以内に再スキャンされる運用が定められ、現場では「黒人等価指標が泣くと機械が走る」と冗談が流行したとされる[2]。さらに学内では、定理の講義中にだけ図の中で 03:17 が出てくるという逸話もある[7]。
脚注[編集]
関連項目[編集]
脚注
- ^ A. R. マルキンソン『黒人等価指標定理と差異位相幾何学』王立数理整合局出版局, 1987年.
- ^ M. J. ハミルトン「指標同値類の保存則に関する補遺」『Journal of Representational Topology』Vol. 12, No. 3, pp. 201-229, 1988年.
- ^ S. K. ルイス「換算表が証明をどう歪めるか：03:17問題」『Proceedings of the Encoding Consistency Society』第7巻第2号, pp. 55-71, 1990年.
- ^ T. Y. 佐倉「可測位相複体におけるほとんど至る所の不変性」『日本位相通信』Vol. 4, No. 1, pp. 1-19, 1992年.
- ^ E. N. ペルソン「準等価写像と許容誤差の三パラメータ化」『Annals of Invariant Indices』Vol. 9, No. 4, pp. 301-318, 1994年.
- ^ R. D. チェン「離散折り畳みの連続性：格子整合性の観点から」『Topology and Lattice Reports』Vol. 18, No. 2, pp. 77-104, 1996年.
- ^ 「民間統計局の指標換算表（非公開複製）」民間統計局資料編纂室, 1985年.
- ^ H. A. ガルシア「コーデック運用と同値類検査」『International Review of Practical Topology』Vol. 21, No. 1, pp. 10-33, 2001年.
- ^ J. M. クロフト「棚番号E-19の系譜：写本の発見と改竄の可能性」『Archivist Quarterly』Vol. 33, No. 6, pp. 1001-1018, 2003年.
- ^ K. S. モリヤマ『差異位相幾何学入門（第2版）』港湾都市クイーンズトン大学出版会, 2006年.
外部リンク
- 王立数理整合局 研究アーカイブ
- 差異位相幾何学 資料館
- ラベル保持コーデック 実装ノート
- 非公開換算表デジタル閲覧室
- クイーンズトン 図書館ネットワーク記録