木部の定理
| name | 木部の定理 |
|---|---|
| field | 位相幾何学に近い解析 |
| statement | 木構造に沿う重み付き極限で連結性が保持される |
| proved_by | 木部 凛太郎（Kibe Rintaro） |
| year | 1987年 |
における木部の定理（きべのていり、英: Kibe’s Theorem）は、のについて述べた定理である[1]。
概要[編集]
木部の定理は、図形の世界で「切ってもつながっている」感覚を、定量化しようとする試みの結果としてまとめられた定理である。
対象は、有界な木構造メトリック空間と呼ばれるクラスに限られるが、そこで定義される重み付き極限が連結性を壊しにくいことが主張される。特にと呼ばれる手続きが、極限に先立って行われても結論が変わらない点が、当時の応用数学者に好評であった。
定理の主張[編集]
有界な木構造メトリック空間（X,d）を考える。ここで木構造とは、任意の点からの最短経路が有限回の枝分かれをもつことを意味し、距離は通常のメトリックとして与えられる。
木部の定理では、各枝に重み w(e) を割り当て、重み付き極限 lim_W X_n を定義する。そして、X_n が連結であるならば、lim_W X_n も連結であることが成り立つとされる。なお、このとき連結とは位相的連結であり、パス連結と混同しないものと仮定する。
さらに、枝刈り操作を任意の有限段で施して得られる空間 X_n^{(Λ)} でも、同じ重み付けで作った極限が連結性を満たすことが示されたとされる。
証明[編集]
証明は、木構造特有の「最短経路の折り返し回数」が一様に抑えられるという観察から開始される。具体的には、各 X_n に対して最大折り返し回数 R_n を定め、R_n ≤ 7n+13 を満たすことが示されるとされる[2]。
次に、連結性の破れが起きるなら極限で切断が出現するはずだ、という背理法が採用される。切断を仮定すると、W極限の定義により、ある重み閾値 θ_n（θ_n = (3n+1)/(2n+5)）を跨いで不連結成分が持続することが導かれる。
最後に、枝刈りΛを「高々（2n+4）本分」だけ先行させても、該当する成分の距離測度が 1/2^{n+2} 以上変化しないことが示され、極限での切断が矛盾に陥る。こうして木部の定理が証明されたとされる[3]。
ただし、当時のノートには「1/2^{n+2} の下界は厳密でない可能性がある」との要出典に近い走り書きが残っており、現在の読者はそこだけ妙に気になると指摘されている。
歴史的背景[編集]
木部の定理は、1980年代後半に東京都の研究室で集中的に議論された「接続性の工学的保存」ブームの延長として現れたと説明されることが多い。
当時、（通称「数理会」）では、都市計画モデルを扱う若手が「グラフを丸めても連結が崩れない条件」を必死に探していた。そこで木部凛太郎は「丸め操作が数学的には極限操作に見える」と主張し、木構造に限定することで議論を制御しようとしたという経緯が語られている[4]。
一方で、最初の原稿は“極限が連結なら、なぜ枝刈りに耐えるのか”という素朴な疑問に答えておらず、査読者の（JAMS）から「エピソード過多、式不足」と赤入れを受けたとも伝えられる。
再提出では枝刈りΛに数え上げ成分（2n+4本、という妙に具体的な数字）が導入され、結果として論文の読みやすさが上がったとされる。
一般化[編集]
木部の定理は当初、有界な木構造メトリック空間に限って述べられた。しかし、その後の研究では、木でない「有向擬似樹構造」へ拡張する試みが行われた。
p(X) を定義し、p(X) ≤ 2 であるとき、W極限の連結性保持が成り立つという一般化が提案された。ここで p(X) は、枝分かれの局所性を表すための人工的指標であり、直観よりも計算で扱いやすいよう設計されたとされる[5]。
また、重み付き極限の定義に現れる重み写像 w(e) について、単調性を仮定すると証明が簡略化されることが示された。一方で単調性を外した場合には反例候補がいくつか挙げられたが、どれも条件の置き方が不統一であったため決着がついていないとされる。
応用[編集]
木部の定理は、数学の内部問題というより、モデリングにおける「接続の事故」を減らす道具として利用されたと説明される。
とくにの分野では、道路閉鎖や迂回に相当する枝刈り操作Λを段階的に行っても、計算上は連結性が維持されるという発想が取り入れられた。港区内の施設連携を模した試験計画では、枝刈りを「最大 5 ラウンド」まで実施しても、推定された到達可能性（位相連結）が保たれたと報告された[6]。
さらに、画像処理系では、木構造化された画素クラスタに対し、重み付き極限を“ぼかし”の一種として解釈することで安定な輪郭抽出が得られるとされる。ただし、ここでは連結性の保持が意味する範囲が限定的であり、完全な形状一致まで保証するものではない点が注意されている。
脚注[編集]
関連項目[編集]
脚注
- ^ 木部 凛太郎「重み付き極限と枝刈りΛの連結安定性」『位相的解析季報』第12巻第3号, 1987年, pp.120-158.
- ^ 佐倉 真之介「有界木構造メトリックの折り返し回数評価」『日本数学雑誌』Vol.41 No.2, 1985年, pp.33-51.
- ^ 渡辺 精一郎「背理法における閾値θ_nの選択とその誤差」『工学系数理論文集』第7巻第1号, 1988年, pp.1-19.
- ^ 【東京数理連絡会】編集部『接続性の工学的保存：1986〜1989年議事録』東京数理連絡会出版局, 1990年, pp.200-242.
- ^ Ellen M. Harrow「Pseudo-tree index and stability under weighted limits」『Journal of Constructive Topology』Vol.18 No.4, 1992年, pp.501-533.
- ^ 山際 恵理「枝刈りΛのラウンド数推定に関する試験」『応用位相と計算』第3巻第2号, 1991年, pp.77-96.
- ^ Kibe Rintaro「Connectivity that survives pruning」『Proceedings of the International Seminar on Metric Limits』pp.64-89, 1989年.
- ^ 田所 克也「交通ネットワーク安定化モデルにおける位相連結の解釈」『都市数理通信』第9巻第5号, 1993年, pp.210-233.
- ^ Elias R. Stone「A note on the lower bound 1/2^{n+2}」『Annals of Approximate Bounds』Vol.2 No.1, 2001年, pp.9-12.
- ^ M. A. Thornton「History of metric limits in the late twentieth century」『Lectures in Ever-Limiting Topology』第1巻第1号, 1977年, pp.3-17.
外部リンク
- 嘘学会アーカイブ
- 木部の定理解読ノート
- W極限計算機
- 枝刈りΛシミュレーター
- 都市数理実験ログ