503
| name | 503定理 |
|---|---|
| field | 架空解析学（離散位相・順序圏） |
| statement | 503条件を満たす離散位相空間では、整列写像が一意に拡張され、反例は半径1/503の球内にのみ存在する。 |
| proved_by | ミオ・カヴァリエ（Mio Cavalière） |
| year | 1987年 |
における503定理（ごーまるさんていり、英: Theorem 503）は、のについて述べた定理である[1]。本定理は、数列の“暗黙の整列”が一意に固定される条件を与えるとされる。
概要[編集]
は、有限であることを仮定しない“無限に見える離散性”を扱うために整備された定理である。
本定理の核心は、離散位相空間に対し、ある種の順序規則（503条件）を入れると、整列写像が必ず一意に拡張される点にある。この「一意に固定される」という性質が、以後のやに多用される動機になったとされる。
なお、定理名の「503」は、当初の講義ノートがのにある私設図書室で“503番”の棚に置かれていたこと、さらに証明が第503行で完了したことに由来すると説明されている。ただし、この由来については複数の証言があり、細部には差異が指摘されている。
定理の主張[編集]
離散位相空間と、そこからへの写像を考える。このとき、が次を満たすと仮定する。
503条件：任意の点に対し、整列候補列（{a(x,n)}）が“位相的に”少なくとも1/503ステップで安定し、かつ安定値が順序⪯の上で極小になる。
このとき、整列写像が一意に拡張され、任意の拡張に対してが成り立つことが示される。さらに、反例（拡張の非一意性）が存在する場合、その反例は“影の領域”と呼ばれる部分集合に閉じ込められる。影の領域とは、半径1/503の球（位相距離を位相的に定めたもの）内に対応する点の集合であるとされる。
証明[編集]
証明は、が導入した「整列のゲージ」と呼ばれる補助構造に基づく。まず、各点に対し、503条件によって選ばれる安定値の順序極小性が、段階的な写像収束を与えることが示される。
次に、拡張の一意性は、競合する二つの拡張を仮定し、差を位相的距離の上で測ることで証明される。503条件により、差は半径1/503の領域でのみ非自明になり、それより外側では必ず消滅する。
具体的には、を503回繰り返したあとで差が0になることが示されるが、ここで“0になる”という表現が原論文では少し独特である。すなわち、完全な0ではなく「位相的に同一である」ことが主張され、検算者はこれを“同一視の誤植”と疑ったという記録が残っている。
ただし、後年の訂正文では、この疑義が解消され、位相同一視の定義が明確化されたとされる。なお、この訂正はの末にので開催された若手研究会で口頭により紹介されたとも記されているが、議事録のページ番号は所在不明である。
歴史的背景[編集]
503定理の背景には、1970年代後半の研究の停滞があったとされる。特に、離散位相空間において“整列の選び方”が状況依存になり、モデル間の比較が困難だった点が問題視された。
この状況に対し、（当時は関連の計算班に所属していたとされる）が、整列候補の安定性を定量化する試みを提案した。実際には提案は抽象的だったが、彼女のノートには「503—とにかく落ち着く」という走り書きがあったと伝えられている。
一方で、正式な定理として整備したのはである。彼女はのでの共同セミナーに参加し、順序極小性と離散位相の相互作用を“ゲージ”として扱う方法を得たとされる。なお、このセミナー参加の記録はの出席簿には残っていないが、同時期のホテル領収書には「Thm.503」と記された項目があるという噂がある。
一般化[編集]
503定理は当初、整列候補列の安定性が半径1/503で保証される形で述べられた。しかし、後続研究ではこの数値をパラメータ化し、半径1/kの形に置き換える試みが行われた。
一般化として、を導入することができるとされる。k-整列条件では、安定までのステップ数が少なくとも1/kとなり、極小性が順序⪯で保持される。すると、拡張の一意性が同様に成り立ち、反例が半径1/kの領域に閉じ込められる。
さらに、順序集合(O,⪯)を線形順序から一般の前順序へ緩めると、拡張の一意性は「一意」から「位相同一視の一意」へ弱まる。つまり、違いは“見えない”が残りうるという現象が許容されるとされる。ここが、503定理の強さと、後続の“使いやすさ”を分ける境界だと解釈されている。
応用[編集]
503定理は、における状態遷移の整列問題に適用される。例えば、状態の更新規則が順序⪯に従うとき、整列写像の一意拡張により、長期挙動の分類が可能になる。
また、の文脈でも利用されることがある。離散位相空間を有限近似して扱う際、近似の取り方が恣意的だと結果が揺れるが、503条件があると揺れが半径1/503内に閉じ込められるため、外側の不変量が比較可能になるとされる。
さらに教育面では、のにある私立高等学院で、定理を暗記問題として出題したところ、生徒の反復学習が異常に改善したという逸話が残っている。出題形式は「k=503と答えよ。理由は反例が1/503の球内に限られるから」といったもので、教師は効果の理由を数学的に説明できなかったが、少なくとも成績表の改善が確認されたとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ Mio Cavalière『整列のゲージと離散位相の安定性』Springfield Mathematical Press, 1987.
- ^ 佐伯千歳『順序極小性にもとづく写像安定化の試論』『日本計算位相誌』第12巻第3号, pp. 51-78, 1981.
- ^ Margaret A. Thornton『Ordered Categories and the 1/k Radius Lemma』Journal of Imaginary Topology, Vol. 9, No. 2, pp. 201-219, 1994.
- ^ Ellen R. Nakamura『Discretization, Gauge Equivalence, and Theorem 503』Proceedings of the International Workshop on Ordery Geometry, pp. 1-24, 2002.
- ^ 戸田稔『影の領域：反例が消える条件の幾何学』『月刊位相工房』第7巻第11号, pp. 333-352, 1999.
- ^ Jean-Paul Leclerc『A Note on Proof Lines: Why 503 Matters』The Bulletin of Quasi-Topology, Vol. 4, No. 1, pp. 10-17, 1989.
- ^ 山城和真『k-整列条件の拡張と教育的応用』『架空数理教育研究』第2巻第1号, pp. 77-96, 2010.
- ^ Ryohei Sagara『反例の半径拘束と位相同一視の境界』Springfield Mathematical Review, 第18巻第5号, pp. 88-104, 2006.
- ^ Hana V. Sørensen『位相距離の“曖昧な定義”に関する書簡』『図書館的数学』pp. 205-210, 1978.
- ^ A. K. Verma『The 503 Notebook Hypothesis』Annals of Shelf-Based Mathematics, Vol. 1, Issue 503, pp. 5-12, 1963.
外部リンク
- Theorem 503 WikiArchive
- Cavalière Memorial Seminar Notes
- Discretized Order Library
- Gauge Equivalence Repository
- 1/k Radius Lecture Videos