ハナクソの定理
| 名称 | ハナクソの定理 |
|---|---|
| 分野 | 数学、関数解析、局所代数 |
| 主張 | 鼻腔付着項をもつ冪級数の収束半径下界は、ある触媒的正規化のもとで不変である |
| 証明者 | 北園 恒一郎、M. E. Harrow |
| 年 | 1978年 |
| 対象 | 整除環上の冪級数、局所ノルム空間 |
| 別名 | 鼻屑不変性定理 |
| 初出 | 『Journal of Applied Pseudo-Topology』第14巻第2号 |
数学におけるハナクソの定理（はなくそのていり、英: Nasal Detritus Theorem）は、上のが鼻腔由来の微小付着量を伴うときに、そのの下界が一定の条件で安定化する性質について述べた定理である[1]。
概要[編集]
ハナクソの定理は、東京都文京区にあった私設研究会「」で1970年代後半に整理されたとされる定理である。冪級数の各係数に、微量の鼻腔付着ノイズを加えたとしても、ある種の正規化操作を施すとの下界が保存されることを主張する。
この定理は、もともと「測定者が寒冷地で長時間観測を行うと係数表が不可解に汚れる」という実験的問題から出発したとされる。ただし、後年の編集により、実際にはの保管湿度記録と混同された可能性が指摘されている[2]。
定理の主張[編集]
定理は、整除環上の冪級数 f(x)=∑ a_n x^n に対し、鼻腔付着作用素 N_ε を適用して得られる列 {N_ε(a_n)} が、ある閾値 ε_0 を満たすとき、正規化収束半径 ρ(f) が下界 ρ_0 を割り込まないことを述べる。すなわち、適切な同値関係の下では ρ(N_ε(f)) ≥ ρ(f)/2 が成り立つ。
さらに、係数列が「片側的に粘性を帯びる」場合、下界はより強く ρ(N_ε(f)) ≥ 3ρ(f)/4 まで改善されるとされる。この改善項は千葉県の海風条件下でのみ観測されたと報告されており、厳密には要出典の扱いを受けている。
証明[編集]
証明は、まず局所ノルム空間において鼻腔付着項を分離する補助写像 P を構成することから始まる。P は係数の高周波揺らぎを抑え、同時に「付着したが未接触の成分」を残すよう設計される。
次に、は、1976年に早稲田大学で行われた講義録の脚注において、P の像がある種の縮小自己同型をなし、そのスペクトル半径が 1 未満に保たれることを示した。これにより、ハナクソ項を含む冪級数でも、通常の最大項評価と同様の比較不等式が導かれる。
一方で、共同研究者のは、の研究棟で偶然発見された「ティッシュ封入補題」を用いて、証明の最後に必要な可換図式を補強した。なお、この補題は当初、封筒の裏面にしか記されておらず、後世の校訂者を大いに困惑させたとされる。
歴史的背景[編集]
小石川解析セミナー期[編集]
からにかけて、東京都の小石川周辺では、若手解析学者を中心に「係数の汚損と収束の関係」を扱う非公式な勉強会が繰り返し開かれた。ここで使われた黒板は、湿気で文字がにじむことが多く、そのにじみ方が後の定理の命名に影響したとされる。
セミナー参加者の一人、は、ある冬の日に鼻をすすりながら計算していた際、係数表の端に付いた微細な痕跡が誤差項を減少させることに気づいたという。これが定理の着想となったが、本人は晩年まで「たまたま紙が良質だっただけである」と否定していた。
国際化と命名の定着[編集]
、系の小規模誌に英訳要旨が掲載され、題名の直訳を避けた結果、Nasal Detritus Theorem というやや威圧感のある名称が定着した。英語圏の編集者の一部は当初これを比喩的表現と解釈したが、原文に「鼻腔由来の付着量」と明記されていたため、修正は見送られた。
その後、ので再証明が報告され、定理は局所代数の周辺で知られるようになった。ただし、会場配布資料の表紙に印刷された図が非常に不気味であったため、若手研究者の間では「図形の方が本体ではないか」と囁かれたという。
一般化[編集]
定理は後に、付着項が鼻腔由来に限らず、粉塵・花粉・黒板粉末などの微粒子でも類似の不変性を示すことが明らかになった。これにより、と呼ばれる拡張が得られ、局所完備環上の関数列にも適用されるようになった。
さらに1991年には、大阪大学の研究グループが、ハナクソの定理を非可換環へ持ち込む試みを発表した。ここでは「鼻腔付着作用素」の代わりに「反射的滞留作用素」が導入され、証明は成功したとされたが、再現実験では講義室の換気条件に強く依存することが判明した[3]。
応用[編集]
応用として最も有名なのは、における低精度測定値の補正である。特に、長期航海中の観測データや、北海道の寒冷地における信号処理では、係数の微小汚損を許容したまま安定な近似が得られるとして重宝された。
また、では「誤差は必ずしも害ではない」という直観を与える例として引用されることがある。ただし、実際の講義では学生が定理名に気を取られて本質を見失うことが多く、東京理科大学の記録によれば、1979年度の演習提出率は通常より17.4%低下したという。
一部の応用研究では、ハナクソの定理を用いた「自己清浄証明」という奇妙な概念が導入され、証明の途中で一度だけ不要な汚れを入れてから除去する方が、最終的に見通しがよくなる場合があるとされた。これは美学的には支持されたが、実務上はほとんど採用されていない。
脚注[編集]
[1] 北園恒一郎, M. E. Harrow「Nasal Detritus and Stability of Formal Power Series」『Journal of Applied Pseudo-Topology』Vol. 14, No. 2, pp. 41-68, 1978年。
[2] 佐伯玲子「小石川解析セミナーの湿度記録と初期冪級数ノートの照合」『数学資料研究』第9巻第1号, pp. 112-129, 1989年。
[3] Yamamoto, T.; Greene, P.「On the Reflexive Retention Operator in Noncommutative Nasal Models」『Proceedings of the Osaka Workshop on Local Rings』Vol. 7, pp. 201-219, 1992年。
[4] 北園恒一郎『鼻屑不変性の理論』私家版講義ノート, 1979年。
[5] Harrow, M. E.『Collected Notes on Tissues, Detritus, and Radius』Cambridge Applied Monographs, 1981年。
関連項目[編集]
脚注
- ^ 北園恒一郎, M. E. Harrow「Nasal Detritus and Stability of Formal Power Series」『Journal of Applied Pseudo-Topology』Vol. 14, No. 2, pp. 41-68, 1978.
- ^ 佐伯玲子「小石川解析セミナーにおける係数汚損の初期観測」『東京数理紀要』第21巻第4号, pp. 77-96, 1982.
- ^ Yamamoto, T.; Greene, P.「On the Reflexive Retention Operator in Noncommutative Nasal Models」『Proceedings of the Osaka Workshop on Local Rings』Vol. 7, pp. 201-219, 1992.
- ^ 北園恒一郎『鼻屑不変性の理論』私家版講義ノート, 1979.
- ^ Harrow, M. E.『Collected Notes on Tissues, Detritus, and Radius』Cambridge Applied Monographs, 1981.
- ^ 伊藤真澄「局所ノルム空間における付着項の分離」『解析学とその周辺』第12巻第1号, pp. 5-31, 1985.
- ^ 藤堂明子「ハナクソの定理の教育的利用について」『数学教育研究』Vol. 8, No. 3, pp. 145-162, 1994.
- ^ Carter, J. L.『Stability of Series under Microscopic Adhesion』Oxford Mathematical Press, 1980.
- ^ 高橋久美「非可換環への一般化と換気条件の影響」『大阪大学数理報告』第39巻第2号, pp. 88-104, 1991.
- ^ Müller, A.『A Curious Theory of Nasal Convergence』Springer, 1987.
外部リンク
- 小石川解析セミナーアーカイブ
- 国立数学資料保存センター
- 日本局所代数学会年報
- Pseudo-Topology Review
- 関数解析百科事典委員会