Takagi's lemma
| 分野 | 位相空間論、記述集合論、圏論的解析 |
|---|---|
| 命名者 | 高木進一郎 |
| 提唱年 | 1958年 |
| 提唱地 | 大阪府大阪市豊中市 |
| 主な用途 | 開被覆の圧縮、境界条件の再配列、局所コンパクト性の証明 |
| 別名 | Takagi圧縮補題、境界再帰補題 |
| 関連機関 | 大阪大学数学教室、国際位相研究連盟 |
| 影響 | 1960年代の日本の純粋数学教育に大きな影響を与えた |
Takagi's lemma（たかぎのれんま）は、およびにおいて、局所的な開集合の縮退を管理するために用いられる補題である。しばしばの「境界圧縮原理」に由来するとされ、にによって定式化されたと伝えられている[1]。
概要[編集]
Takagi's lemmaは、あるにおける開集合族が過剰に重なったとき、その重なりを「段階的に折りたたむ」ことで、より扱いやすい可算列へ変形できるとする補題である。表面上は非常に抽象的であるが、実際にはの地下講義室で行われた実験的な黒板操作から着想を得たとされる。
この補題は、当初はの補助定理として扱われていたが、のちにやにまで応用範囲を拡大したとされる。特に、開被覆の一部を「三角格子のように」並べ替える操作が、後年のにおける射の制御にも似ているとして再評価された[2]。
歴史[編集]
大阪大学での成立[編集]
Takagi's lemmaの起源は、春にの理学部で開かれた「局所構造特別演習」にさかのぼるとされる。参加していた高木進一郎は、白墨が不足したためにチョークを粉にして使ったところ、板書の重なりが偶然「収束列」に見えたことから着想を得たという[3]。
当時の高木は、境界条件を満たす関数を3段階で分解する方法を模索しており、助手のが持ち込んだ紙製の定規箱が決定的な役割を果たしたとされる。なお、同日の議事録には「補題の安定性については要再検討」とだけ記されており、後に編集された抄録では「ほぼ自明」と書き換えられている。
1950年代後半の普及[編集]
になると、Takagi's lemmaはとの若手研究者のあいだで急速に共有され、特に「局所の重なりを先に片づける」という発想が支持された。これにより、当時流行していたの長大な証明が、平均して17行ほど短縮されたと報告されている[4]。
ただし一方で、の一部では「補題というより折り紙の作法に近い」とする批判もあった。1961年の春季総会では、証明の一部における“折り返し”の記述が曖昧であるとして、3名の査読者が同じ箇所にそれぞれ別の下線を引いたという逸話が残っている。
国際化と再解釈[編集]
以降、Takagi's lemmaはのセミナーで紹介され、英語圏では「Japanese compression lemma」と呼ばれることもあった。もっとも、この名称は定着せず、会議録では参加者の1人が誤って『Takahashi's lemma』と記したため、しばらく二つの名称が併存した。
にはのがこの補題を記述集合論の補助装置として再定式化し、可算被覆だけでなく「半可算的な被覆」にも適用できると主張した。この拡張は後に一部修正されたが、彼女のノートに記された「補題は証明のためにあるのではなく、証明を忘れないためにある」という一文が広く引用された。
定式化[編集]
Takagi's lemmaの標準形では、第二可算なXと、その開被覆Uが与えられたとき、ある可算列 {V_n} が存在して、各V_n がUの有限部分に吸収され、かつ境界部分の重なりが指数関数的に減衰するとされる。証明は通常、被覆の「厚み」を高さ3の階段に分解し、余剰分をと呼ばれる操作で移送することで与えられる[5]。
このとき重要なのは、V_n が単なる部分集合ではなく、前の段階の摩擦を次段階へ送る「緩衝層」として働く点である。要するに、集合論の言葉で言えば極めて真面目な操作であるが、実際の黒板では「たたんで、ずらして、またたたむ」と3回唱えながら行うのが通例であったという。
なお、1970年代の講義録では、補題の仮定に「清潔なチョーク」と「午後3時前の眠気がないこと」が含まれていた版が確認されているが、後年の再校で削除された。
応用[編集]
記述集合論への応用[編集]
記述集合論では、Takagi's lemmaは複雑な集合族のランキング付けに用いられたとされる。特にのある段階で、補題を1回使うごとに補助記号が平均2.7個減るため、証明の見通しが著しく改善された[6]。
のでのワークショップでは、この補題を用いた結果、30ページに及ぶ証明が22ページに圧縮され、参加者が「これは数学ではなく整理術だ」と驚いたという記録がある。
教育現場での流行[編集]
後半の日本の大学では、Takagi's lemmaが「証明の掃除」として紹介され、演習問題の最後に必ず付く難所として名を馳せた。ある教科書では、補題を使わずに証明した場合の答案は満点だが、使うと採点者の滞在時間が平均で40秒短縮される、として半ば冗談のように記されている。
また、の一部ゼミでは、学生がこの補題を習得すると黒板の空きスペースを自動的に見積もれるようになる、という伝説が生まれた。もちろん実証はされていないが、担当教員のは「だいたい当たる」と述べたとされる。
工学分野への波及[編集]
には、Takagi's lemmaの「局所を先に処理する」考え方がやに転用されたと主張する研究者も現れた。とくにの産業技術系研究所では、ノイズを3層に分けて削る装置が試作され、社内では「高木式の薄化」と呼ばれた。
ただし、装置は会議では高く評価されたものの、実際にはスイッチを入れると必ず配線図が1枚余るため、実用化には至らなかった。
批判と論争[編集]
Takagi's lemmaには、成立当初から「補題の形をした編集方針にすぎない」との批判があった。特に代の一部研究者は、証明の核心が論理ではなく黒板の使い方に依存しているとして、これを「空間論的身振り」と揶揄した[7]。
また、のでのシンポジウムでは、補題の帰属をめぐって派と派が対立し、発表プログラムが一度だけ差し替えられた。議論は深夜2時まで続いたが、最終的に司会者が「どちらにしても補題は有効である」とまとめ、参加者の半数が納得しなかったまま終了した。
近年では、原典とされるのノートのインクがではなくであったことから、真の初出は別の講義ノートである可能性が指摘されている。もっとも、当該ノートの所在は不明であり、研究者の間では半ば伝説として扱われている。
影響[編集]
Takagi's lemmaは、日本の数学教育において「局所的な問題は一気に解かず、段階を踏んでほどく」という思考法を象徴するものとして引用されるようになった。これにより、証明の組み立てを図式的に理解する指導法が広まり、頃には一部高校の発展講座でも紹介されたとされる。
また、数学史の文脈では、戦後日本の研究者が欧米の理論を受け入れつつも独自の「圧縮的証明文化」を形成した例として扱われることがある。もっとも、その評価の大半は後年の回想録に依拠しており、当時の参加者の証言は「よくわからないが便利だった」という程度にとどまる。
一方で、補題の名が広まりすぎた結果、という姓を見ると自動的に開被覆を連想する研究者が増えたともいわれる。これは関係者のあいだでは軽い職業病として知られている。
脚注[編集]
関連項目[編集]
脚注
- ^ 高木進一郎『局所圧縮補題の初期像』大阪大学数学講究録 第17巻第3号, 1959, pp. 41-66.
- ^ 田辺久子「境界条件と折り返し操作」『数学評論』Vol. 12, No. 4, 1960, pp. 201-219.
- ^ Élise Moreau, "On the Takagi Compression Principle", Journal of Abstract Topology, Vol. 8, No. 2, 1973, pp. 77-103.
- ^ Richard H. Bell, "A Note on Japanese Cover Folding", Proceedings of the Princeton Seminar on Topological Methods, Vol. 5, 1965, pp. 11-29.
- ^ 斎藤栄一『被覆の整理と黒板の余白』名古屋大学出版会, 1979.
- ^ Martha K. Linton, "Descriptive Set Theory after Takagi's Lemma", Annals of Logical Structures, Vol. 21, No. 1, 1984, pp. 5-38.
- ^ 京都位相研究会編『補題とその周辺』京都大学学術出版, 1988, pp. 93-112.
- ^ 高木進一郎・田辺久子『高木式薄化論』日本位相学叢書 第4巻, 1962, pp. 1-54.
- ^ H. D. Kearney, "The Lemma That Forgot Its Proof", Mathematics and Memory Review, Vol. 3, No. 7, 1991, pp. 144-151.
- ^ É. Moreau, 『補題は証明を忘れさせない』パリ現代数学出版社, 1974.
外部リンク
- 大阪大学位相資料室
- 国際補題研究ポータル
- Takagi Archive Online
- 日本数学史電子年表
- 圧縮補題アーカイブ協会