ハドソンの空間座標論
| name | ハドソンの空間座標論 |
|---|---|
| field | 位相幾何学（座標変換論） |
| statement | 位相空間上の『座標芽』が座標相性条件を満たすなら、整列座標系は局所的に一意に定まる |
| proved_by | グレース・A・マーウィック（仮説の改訂版では別名義もあるとされる） |
| year | 1937年 |
におけるハドソンの空間座標論（よみ、英: Hudson's Spatial Coordinate Theorem）は、のがある条件のもとで一意に整列される性質について述べた定理である[1]。
概要[編集]
では、座標は単なる計算用具ではなく、空間の構造を『どの方向に読むか』に対応するものと考えられる。ここで導入されるのがと呼ばれる枠組みであり、空間上の局所的な座標芽（coordinate germ）を整列させる規則を定めることが目的とされる。
は、座標芽がを満たすとき、整列座標系が局所的に一意に定まることを主張する。特に、この定理は「一意性」を強調しつつ、同時に『どこまでが局所で、どこからが曖昧になるか』を、距離ではなく位相的厚み（thickness）で制御しようとする点に特徴がある。
この定理の命名は、研究者間でしばしば誤解される。実際には、名前の由来が英国の測量技術者ではなく、当時の米国行政文書で使われた語法だとする説があり[2]、数学史家の間で「その辞書を読んでいたら世界が違った」という冗談さえ流通している。なお、当該辞書は後年、の学術系書店で「再販禁止」ラベル付きで見つかったとされる。
定理の主張[編集]
は次の設定を仮定する。位相空間の点の近傍で定義された座標芽の族を考え、これをと呼ぶ。座標芽は、互いに連続に張り合わされる局所写像の系であるとされる。
定理はを仮定したとき、整列座標系が局所的に一意に定まることを述べる。ここで「整列座標系」とは、各座標芽を同一の『空間座標』の読み順に還元する同型（位相同型）を指す。
具体的には、点の近傍Uにおいて、座標芽が次の条件（相性条件）を満たすとする：座標芽同士の差分は、位相的厚みτがとなる範囲で消失し、かつ座標のラベル付けがで整合する。このように置くと、整列座標系はU内で一意に定まり、別の整列を選んだとしても座標の並び替えはによって吸収されると示される[3]。
なお、この定理の公式表記では、厚みτが「厳密に定義されないが、測った気分で満足してよい数」であるかのように書かれている点が批判対象になっている。ただし当時の解説書では、τは測度ではなく『近傍の記憶』であると丁寧に言い直されている。
証明[編集]
証明の骨格は、から整列座標系へ至る写像を、段階的に『位相的に縮約』していく構成にある。まず、座標相性条件により、ある共通の基準座標（reference chart）がU内で選べることが示される。
次に、基準座標に対して、座標芽のラベル付けをへ写像する。ここで重要なのは、ラベルの不一致がの条件の下で局所的に消える点である。実際、相性条件の式に対応する連続性評価は、計算上は式が出鱈目になりやすいが、解説では「出鱈目でも整列する」として整理されている[4]。
最後に、一意性は『二つの整列座標系の差』を、へ落とすことで得られる。落とされた差分が閉包内で自明（trivial）であることが示され、よって整列はU内で一意に定まる。
もっとも、この証明には後年「証明の第3段落だけ出典が薄い」という指摘があり、実際に原論文の当該箇所にはの館外貸出記録が引用されているだけで、数式の裏付けは空欄になっているとされる[5]。それでも成立しているように見えるため、逆に『空欄が整列の証拠』という冗談が生まれた。
歴史的背景[編集]
が生まれた背景には、20世紀初頭の測量・航法の需要と、純粋数学の国際会議文化が混ざったような事情があるとされる。特に、座標変換の議論が実務に接続しはじめた時期、位相幾何学側でも『座標は曖昧でも、構造は壊れてはいけない』という要請が強まったと解釈されている。
1930年代には、の海運局が主導した「沿岸座標整合化」プロジェクトにより、座標の取り直しが頻発した。ここで、行政文書の語彙が数学に流れ込んだとされ、座標芽という言い方も当時の報告書の比喩に由来するという説がある[6]。
定理の名義である『ハドソン』についても、人物実在性が揺れている。少数派は、名義はではなく、の事務官が作った暗号的な“部署別別名”に由来すると主張する。一方で多くの研究者は、ハドソンは「空間の座標を公共のものとして扱え」という理念を掲げた象徴であり、厳密な個人名ではないとする立場に立つ[7]。
このように、数学的定理でありながら行政用語や地名の残滓が多く混入した経緯は、後の講義録においてしばしば『正しい数学を間違った書き方で学ぶ授業』として再演された。
一般化[編集]
この定理は当初、扱える空間が局所的に“十分整然”である場合に限られていたとされる。しかし後続の研究では、の条件を拡張し、座標相性条件を別の尺度で評価する一般化が試みられた。
一般化の一つとして、厚みτを固定値の形ではなく、近傍の族に依存する関数τ(U)として定める流儀が登場する。ここでは、τ(U)が少なくともUの族の指数関数的成長を満たす場合に一意性が保たれるとされる。
また、座標変換の対象を連続写像にとどめず、さらに弱い連結性条件へ押し下げる一般化もある。この場合、整列座標系は一意とは限らないが、差はの“狭い部分”に落ち、分類が可能になると示された[8]。
結果として、は単独の定理というより、からへ至る手続きの雛形として参照されるようになった。
応用[編集]
応用として最も引用されるのは、座標変換を前提にしたの安定化である。たとえば、工学的にはセンサー配置の変更を「局所座標芽の差」とみなすことで、モデルの読み替えが一意に行えるかを判定できるとされる。
また、計算数学の文脈では、整列座標系を選ぶ手続きをアルゴリズム化する試みが行われた。公開された疑似コードでは、厚みτを近傍データから“雰囲気で推定”するパラメータとして扱い、推定式がなぜか毎回に寄る現象が報告されている[9]。このことは理論的には誤差で説明されるが、現場の開発者は「円周率が勝手に整列させた」と笑ったとされる。
さらに教育面でも、講義では「座標は交換できるのか」を問いとして扱う教材が作られ、学生が最初に学ぶ誤解としてが取り上げられることが多い。誤解が面白いので、結果として定理の理解が早いと評価されることもある。
ただし、応用の際には相性条件のチェックがボトルネックになりやすい。相性条件は“満たす気になれば満たせる”ように書かれる場合があり、運用で事故が起きると「定理が悪い」というより「運用の座標芽が悪い」と言い換えられる。
脚注[編集]
関連項目[編集]
脚注
- ^ Grace A. Marwick『On the Uniqueness of Aligned Coordinate Systems』Journal of Topological Geometry, 12, pp. 41-77, 1937.
- ^ Elena V. Kuroda『Thickness Parameters and Neighborhood Memory in Coordinate Theory』Proceedings of the International Congress of Abstract Geometry, Vol. 3, pp. 201-236, 1941.
- ^ ロバート・ハドソン『測量行政語彙と位相幾何学の接続』連邦測地叢書, 第8巻第2号, pp. 15-33, 1936.
- ^ Margaret C. Sato『Quotients of Initial Topologies and Chart Compatibility』Annals of Coordinated Topologies, Vol. 6, No. 1, pp. 88-129, 1952.
- ^ Paul H. Whitaker『The Permutation Closure Phenomenon in Local Alignment』Transactions of the Society for Coordinate Methods, 第4巻第3号, pp. 1-26, 1960.
- ^ Alicia R. Duvall『A Correction to the Third Paragraph of Hudson』Bulletin of Errata Mathematics, Vol. 19, pp. 77-90, 1968.
- ^ Mina K. Oshima『円周率パラメータが整列に及ぼす影響』『数学教育と誤差の美学』第2版, 青林図書, 1979, pp. 203-219.
- ^ John A. Feld『Administrative Lexicon as a Source of Topological Theorems』New York Archive of Mathematical Letters, Vol. 1, pp. 9-44, 1985.
- ^ The Hudson Coordination Papers『Hudson’s Space Coordination: A Misleading Index』Cambridge Archive Press, 1994, pp. 1-12.
外部リンク
- Hudson Coordinate Index
- Topological Thickness Forum
- Aligned Charts Repository
- Errata Bulletin Archive
- Neighborhood Memory Archive