ヘルマーの最初定理
| name | ヘルマーの最初定理 |
|---|---|
| field | 架空数学（ラベル付き位相・整合性論） |
| statement | ラベル付き位相空間が「最初の一貫性」を満たすなら、初期整合性が一意に復元できる |
| proved_by | オットー・ヘルマー |
| year | 1907年 |
におけるヘルマーの最初定理（よみ、英: Helmer's First Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、に対し、観測可能な「最初の一貫性」だけからが一意に復元されることを主張する定理である。
この定理は、厳密な形式言語としてはの整合条件を扱うが、応用上は「データの最初の仕様が正しければ、後から矛盾が作れない」という物語的な効用が強調されてきた。なお、当初の議論では証明の前に“検算のための儀式”として、のある部屋で紙片を7回折る作法が添えられたとされる[2]。
定理の主張[編集]
（X, τ, ℓ）を考える。ここでXは集合、τは位相、ℓは点x∈Xへラベルℓ(x)∈{0,1,…,9}を与える写像である。
各ラベル i に対し、Ui={x∈X | ℓ(x)=i} を定め、次の条件を「最初の一貫性」と呼ぶ。すなわち、任意のiについてUiは閉集合であり、さらに連鎖Ui0 ⊇ Ui1 ⊇ Ui2 ⊇ … が存在する場合、連鎖の安定化が必ず最初の5ステップ以内に起こることを満たすと仮定する[3]。
このとき定理は、上記条件を満たす任意の（X, τ, ℓ）について、κ が一意に定義でき、任意の連続写像f:(X,τ)→(Y,σ)により、ラベル付き像の整合性が自動的に保たれることを示すとされる。特にκは「ラベルの最初の矛盾が現れる位置」を意味し、実務的には最初の仕様表から再計算可能と説明された[4]。
証明[編集]
証明はの原論文において、補題の列ではなく「復元手順の停止性」を中心に構成されたとされる。まず、各ラベル i についてUiの内点をViとして、Viを足場にして「復元列」Ri(n) を構成する。
復元列Ri(n)は、R_i(0)=Uiとし、R_i(n+1)=cl(Vi∩R_i(n)) と定義される。ここでclは閉包、Vi∩R_i(n)は交わりである。仮定よりUiの安定化は最初の5ステップ以内に起こるため、n=4で必ずR_i(4)=R_i(5)となることが示される[5]。
次に、各iについて一致する値R_i(4)を“初期骨格”Biとみなし、κをκ(i)=|Bi|（濃度ではなく要素数）として定める。一般に|Bi|は無限のときがあるが、その場合は“記録番号”として∞ではなく「継続的余白」のシンボル∅_∞が割り当てられる。ヘルマーはこの運用を「計量不能領域は、測らないことで測る」と記したと伝えられる[6]。
最後に、κが一意であることは、任意に別の初期整合性κ'を与えた場合に、ラベルの最初の矛盾が5ステップ以内に必ず現れるという反証法により示されたとされる。ただし原本には「この段は読み手が折り目を数えた時点で理解できる」との脚注があり、編集者が意図的に割愛したとも言われている[7]。
歴史的背景[編集]
は、1900年代初頭の“ラベル付き分類”ブームの中で生まれたとされる。背景には、附属の整理室で、分類カードが誤結線される事故が多発したことがあった。
オットー・ヘルマー（Otto Helmer）は、事故の原因が「最初に入力されたラベルの仕様書の書き方」にあると推定し、位相の言葉で仕様を形式化する研究を開始したとされる。1907年、は「仕様復元の定理」枠を設け、評価会場をの倉庫にしたという記録がある。倉庫では空調の関係で紙が7分で静電気を帯びるとされ、折り目の癖が議論を左右したとも噂された[8]。
この時期、実在のが「ラベル番号0〜9の採用」に関する指針を出しており、ヘルマーはこれを“理論側の境界条件”として引用したとされる。ただし、その引用の年次がなぜか1906年とされており、一次資料の照合が取れていないという指摘もある[9]。
一般化[編集]
ヘルマー以後の研究では、ラベル集合{0,1,…,9}を一般の有限集合{0,1,…,m}へ置き換えるが試みられた。具体的には、安定化が最初の(⌊m/2⌋+4)ステップ以内に起きるという“最初の一貫性”を導入し、κが一意に復元できる範囲が拡大されたとされる[10]。
さらに、ラベルが点ではなく開集合へ付与されるへ拡張した説もある。この場合、復元列はR_i(n)=cl(G_i∩R_i(n-1))のように変形され、clの回数が“初期儀式回数”に一致する必要があるとされた。なお、この儀式回数を3にするとうまくいくが、4にすると失敗する例がの研究ノートに残っているという[11]。
一方で、無限ラベル（可算集合）への拡張では、κの一意性は保証されないことが多いとされ、代わりにκの“多数性”だけが残るという見方が提案された。ここで多数性とは、復元列が複数の極限を持つが、観測側の圧縮によって代表が1つに潰れる性質を指す。もっとも、これは実務上の勝手な約束に近いとして批判も受けている[12]。
応用[編集]
の応用は、純粋数学よりも“仕様が壊れない設計”へ向かう傾向が強い。たとえば（Berlio Computing Works）は、ソフトウェアのデータ型をラベル付き位相として捉え、初期整合性κが衝突していない限り、後続の自動生成が矛盾しないと説明した[13]。
また、では、路線の分岐をラベル0〜9で符号化し、最初のダイヤ表を入力した時点で、その後の再計算が安定することを“理論的に保証できる”と宣伝した。実際には、保証条件を満たさないケースが全体の0.73%報告されたとされるが、統計の提出日はなぜか“雨の日だけ”だったと記されており、信頼性に揺れがある[14]。
さらに、教育分野では“ラベルの最初の仕様を丁寧に書け”という標語が広まり、数学科以外の学部でも復元手順（R_i(n)の5ステップ以内停止性）を暗記させた。これにより、学生の間で「定理は証明より手順」という価値観が強まったと指摘されている[15]。
脚注[編集]
関連項目[編集]
脚注
- ^ Otto Helmer『ラベル付き位相と初期整合性』第1巻第3号, 1907年, pp.12-47.
- ^ Marianne Kluge『復元列の停止性に関する覚書』数学通信, Vol.18 No.2, 1911年, pp.201-233.
- ^ A. H. Riemann（編）『位相的仕様論の新展開』ヘルム出版社, 1914年, pp.55-90.
- ^ Erik F. Sato『ラベル0〜9の実務的正当化』審査技術誌, 第6巻第1号, 1920年, pp.3-19.
- ^ Kurt von Lichten『最初の一貫性と安定化回数』北ドイツ数理年報, Vol.7, 1926年, pp.77-112.
- ^ 田辺精一郎『初期整合性の数え方：記録番号∞∅_∞の取り扱い』東京数学叢書, 1932年, pp.98-141.
- ^ E. R. Whitcomb『On Majority Observation Under Infinite Labels』Journal of Formal Tricks, Vol.2 No.4, 1939年, pp.44-66.
- ^ Ludwig Schneider『儀式回数と閉包操作の齟齬』ハンブルク大学紀要, 第12巻第5号, 1942年, pp.301-329.
- ^ ヘルマー, オットー『初期整合性：1906年版序文について』郵便規格庁広報（誤植を含む）, 1906年, pp.1-8.
- ^ M. N. Okamoto『都市交通におけるラベル付き位相の応用』交通数理研究, 第3巻第2号, 1951年, pp.10-38.
外部リンク
- Helmer Archives（折り目ログ倉庫）
- 初期整合性オンライン講義
- ラベル付き位相カタログ
- 復元列計算機（5ステップ版）
- 都市交通局ローテンブルクの仕様公開資料