ニョホハヒ空間の定理
| name | ニョホハヒ空間の定理 |
|---|---|
| field | 位相幾何学・非標準解析 |
| statement | 任意の可算ニョホハヒ空間に対し、二重補正列が有界誤差条件を満たすとき、極限圧縮核は一意に定まる |
| proved_by | 松平 恒一郎、Eleanor P. Whitcombe |
| year | 1978年 |
におけるニョホハヒ空間の定理（にょほはひくうかんのていり、英: Nyohohahi Space Theorem）は、におけるのの安定性について述べた定理である[1]。
概要[編集]
ニョホハヒ空間の定理は、の周辺で発展した上の定理であり、特にの反復過程において生じる局所的なねじれが、ある条件のもとで必ず単一のに収束することを主張するものである。定理名に含まれるニョホハヒは、理学部数学科の旧館地下に設置されていた試作黒板装置の音響記録に由来するとされる[2]。
この定理は、当初はの並べ替え問題に対する補助命題として扱われていたが、のちにでの共同研究を経て独立の定理として再整理された。なお、初期の論文では「nyohohahi」と「niyohahahi」が混在しており、1960年代末には文献検索の妨げになったことが指摘されている。
定理の主張[編集]
ニョホハヒ空間は、可測距離空間に、3段階の局所縮約操作と2段階の逆位相補正を交互に施して得られる抽象空間として定義される。ここでTが、任意の点xに対して誤差関数ε(x)を満たし、かつその誤差の積分平均が有限であると仮定すると、Tの反復列 {T^n(x)} は必ず圧縮核Kへ収束する。
より厳密には、半径7.2以下の任意の閉球体Bに対し、B内の各点は高々4回の補正で同値類に分類される。このとき、極限として得られる核Kは選択された初期座標系に依存しない。これがニョホハヒ空間の定理である。証明はの「ねじれ補題」との「静的削減原理」を接合することにより与えられた[3]。
証明[編集]
証明は三段階から成る。
第一段階では、に松平が導入した「反転余白列」を用い、任意の点列に対して補正誤差が指数的に減少することを示す。このとき、補正過程に現れる三角関係式のうち1本が恒等的に消失することが重要であり、論文の査読者はこの部分を「気持ちの良い省略」と評した。
第二段階では、Whitcombeがで構築した局所コンパクト化の手法を適用し、収束先が少なくとも2点以上に分岐しないことを証明した。彼女は証明ノートの余白に「もし分岐するならコーヒーが冷める」と書き残しており、この一文がのちに研究室文化として定着したとされる。
第三段階では、の共同セミナーで示された補題を組み合わせ、圧縮核の一意性を導く。ここで用いられる「ニョホ不等式」は、形式上は通常の三角不等式に似るが、右辺にだけ微小な笑気係数が入る点が異なる。なお、この係数の厳密な由来については、当時の実験黒板の摩擦音に由来するとの説があるが、確証はない[要出典]。
歴史的背景[編集]
起源[編集]
定理の起源は、にの古書店街で行われた数学談話会に求められる。松平恒一郎は、そこで偶然入手した語の手書き草稿の末尾に「n'yohahahi」と読める注記を見つけ、これを空間変換の符号として採用したとされる。草稿は後年、実際には製紙業者の検品メモだった可能性が高いと判明したが、定理名はすでに定着していた。
また、初期の研究はの解析班との保存工学部門が共同で支援していた。これは、当時の試作装置が紙資料の収縮挙動を観測するために用いられたためであり、数学としては珍しく湿度計の数値が証明に組み込まれた。
確立[編集]
、松平とWhitcombeはで開催された国際位相会議において、ニョホハヒ空間の定理を正式に発表した。発表は予定時間45分のところを72分に延長し、最後の8分はホワイトボードの端に残ったチョーク粉の分布を使って補助図を描いたという。
これに対し、のレビュアーであったHarold M. Sykesは「理論としては奇妙だが、誤差の扱いが妙に実用的である」と書簡で評した。以後、定理はとの境界領域で頻繁に引用されるようになった。
名称の定着[編集]
「ニョホハヒ」という名称は、もともと松平研究室での録音実験において、黒板を引きずる音を表した擬音語である。学生のひとりがこれを補正写像の記号としてノートに書き込み、そのまま講義資料に流入した結果、学術用語として固定化された。
もっとも、の内部記録では一時期「ニョホハフィ空間」と誤記されており、1979年の夏季分科会では、発表者がどちらの表記を使うべきか15分討論した末に、結局スライドの5枚目で両方併記したとされる。
一般化[編集]
ニョホハヒ空間の定理は、後に、、へと一般化された。特にの藤堂・Whitcombeによる一般化では、圧縮核が点ではなく幅1.3の帯として現れる場合にも同様の一意性が成り立つことが示された。
また、のKlara Vossは、補正写像が確率的に選ばれる場合でも、期待値の意味で定理が保存されることを示した。ただし、この結果は「期待値が先に逃げる場合」を除くとされ、その例外条件がやけに長いため、講義ではしばしば黒板の3面を使って説明された。
応用[編集]
この定理の応用は、純粋数学にとどまらない。たとえばの一部の地下地図補正プロジェクトでは、ニョホハヒ空間を用いることで、旧道の座標が最大で17センチメートルしかずれないことが確認されたとされる。また、の試験では、反復補正列を利用した避難経路の安定化モデルに応用され、実験区画内での迷走率が従来比12.4%減少した。
教育分野でも、の演習でこの定理が導入されると、学生の証明記述が急に整いすぎる現象が報告された。これに対して教員側は、あまりに整った答案はニョホハヒ性が高いとして、逆に口頭試問を追加したという。さらに、金融工学ではにおける架空モデルの説明変数として採用され、相場の「ため息のような戻り」を表現するのに便利であるとされた[4]。
脚注[編集]
関連項目[編集]
脚注
- ^ 松平 恒一郎『ニョホハヒ空間と局所圧縮の理論』岩波書店, 1979年.
- ^ Whitcombe, Eleanor P. “On the Stability of Nyoho Maps.” Journal of Abstract Topology, Vol. 14, No. 2, pp. 113-168, 1980.
- ^ 藤堂 正彦・Eleanor P. Whitcombe『可算空間の二重補正とその応用』東京大学出版会, 1984年.
- ^ Sykes, Harold M. “A Note on the Nyohohahi Kernel.” Proceedings of the Cambridge Philosophical Society, Vol. 67, No. 4, pp. 441-459, 1978.
- ^ 松平 恒一郎「反転余白列の収束について」『数学解析通信』第22巻第3号, pp. 201-239, 1977年.
- ^ Voss, Klara “Probabilistic Extensions of Nyohohahi Spaces.” Annals of Fictional Mathematics, Vol. 31, No. 1, pp. 1-44, 1986.
- ^ Whitcombe, Eleanor P. “Static Reduction and the Two-Step Correction Principle.” Kyoto Mathematical Memoirs, Vol. 9, No. 1, pp. 55-102, 1979.
- ^ 中島 俊介『ニョホハヒ空間入門――黒板音響と位相のあいだ』共立出版, 1991年.
- ^ 松平 恒一郎『ニョホハヒのための補題集』培風館, 1981年.
- ^ 大西 由紀「圧縮核の一意性とその視覚化」『応用位相学研究』第7巻第2号, pp. 88-121, 1990年.
- ^ Whitcombe, Eleanor P. “The Theorem of Nyohohahi Spaces: A Misread Manuscript Revisited.” Bulletin of the Tokyo Mathematical Society, Vol. 18, No. 3, pp. 301-330, 1992.
外部リンク
- ニョホハヒ空間研究会
- 架空数学アーカイブ
- 東京位相幾何セミナー記録庫
- 国際補正写像学会
- 黒板音響数学資料館