[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
10(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/15(木)22:47 ID:brP98meI(10/17) AAS
>>9
つづき
例えば、超距離空間 M において以下が成り立つ:
x, y, z ∈ M および r, s ∈ R は任意として、
・すべての三角形は鋭二等辺三角形か正三角形である: d(x,y)=d(y,z) ∨ d(x,z)=d(y,z) ∨ d(x,y)=d(z,x).
・球体の任意の内点はその球体の中心である: d(x,y)<r ⇒ B(x;r)=B(y;r).
・二つの球体が交わるならば、必ず一方が他方に包含される: B(x;r) ∩ B(y;s)≠ Φ ⇒ B(x;r) ⊆ B(y;s) ∨ B(y;s) ⊆ B(x;r).
・任意の球体は、距離函数の誘導する位相に関して、開かつ閉集合である。すなわち、開球体は閉でもあり、閉球体は開でもある。
・半径 r > 0 の与えられた閉球体に中心を持つ半径 r の開球体全体の成す集合は、与えられた閉球体の分割を成す。またこのとき、二つの異なる開球体同士の距離はやはり r に等しい。
これらの内容を証明するのはよい勉強になる[2]。
それらはすべて、超距離不等式から導かれる。
第二の内容より、球は距離が非ゼロであるようないくつかの中心点を持ちうることに注意されたい。
そのような奇妙に思われる結果を直感的に説明する鍵は、強三角不等式により、超距離における距離は足し上げられることがないという事実である。
つづく
11: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/15(木)22:47 ID:brP98meI(11/17) AAS
>>10
つづき
例
1.離散距離は超距離である。
2.p-進数全体の成す集合は完備超距離空間を成す。
3.適当な字母集合 Σ 上の任意の（つまり有限か無限かに関わらない）長さの語からなる集合を考える。二つの異なる語に対し、それらの語が初めて異なる文字となる位置が n であるとき、それらの間の距離を 2?n と定めて得られる距離函数は超距離である。
4.適当な字母集合 Σ 上の、終端が始端と繋がった長さ n の語の集合は、p-close 距離について超距離空間となる。ここで二つの語 x と y が p-close であるとは、p (p < n) 個の連続する文字からなる任意の部分文字列が x と y において同じ回数（0 の場合もある）現れることをいう[3]。
5.r = (r*n) を上から単調に 0 に収斂する実数列とするとき、|x|r := lim sup n→∞ |xn|^(r*n) は、それが有限の値となる複素数列 x = (xn) (|x|r < ∞) 全体の成す空間上の超距離を導く（斉次性がないため、|?|r は半ノルムではないことに注意されたい。
途中の項 r*n が 0 となることも許す場合には、やや稀な規約だが 0^0 = 0 であるものとする）。
6.G が辺重み付き無向グラフであり、すべての辺の重みは正で、d(u,v) は u と v の間のミニマックス経路（英語版）の重み（すなわち、重みを最小化するように経路を選んだときの、ある辺の最大の重み）であるなら、d によって測られる距離に関してそのグラフの頂点は超距離空間を構成する。すべての有限の超距離空間は、この方法で表現されうる[4]。
応用
収縮写像は、計算の最後の結果を近似する方法として知られている（バナッハの不動点定理によってそのような結果の存在は保証される）。
同様の考えは、領域理論でも用いられる。p-進解析では、p-進距離が超距離の性質を持つことが重きを以って用いられる（例えば、p-進の解析函数は、複素解析における振る舞いとは異なり、解析接続によって定義域を真に延長することができない）。
応用例は、固体物理学、すなわちジョルジオ・パリージ（英語版）と共同研究者によるレプリカ理論[5]におけるスピングラスの扱いや、非周期的な固体の理論においても見られる[6]。
超距離はまた、UPGMAやWPGMAを使った系統樹の構成や分類学において利用されている[6]。
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s