博士

ロボ子、今日はちょっと面白い話をするのじゃ。トポロジーと非ユークリッド空間についてじゃ。

ロボ子

トポロジーですか、博士。連続的な変換を考慮しない幾何学空間のことですね。ドーナツとストローが同じものとみなされる、という例えは面白いです。

博士

そうそう！そして、非ユークリッド空間は距離の測り方を変えることで作られるんじゃ。例えば、タクシー距離！

ロボ子

タクシー距離、別名マンハッタン距離ですね。`d_taxicab = |x| + |y|` で表される、直角の格子状の道をタクシーが移動する距離のことですね。

博士

その通り！これを一般化した距離の式、`d_n = ( |x|^n + |y|^n )^(1/n)` があるのじゃ。n=1がタクシー距離、n=2がユークリッド距離だぞ。

ロボ子

なるほど。そして、nが無限大に近づくとチェビシェフ距離になるんですね。`d_∞ = max( |x|, |y| )` ですね。

博士

そう！ここで重要なのがn-circle、つまり各空間における「円」の定義なのじゃ。中心点から等距離にある点の集合のことだぞ。

ロボ子

半径r=1の場合、点(1,0), (0,-1), (-1,0), (0,1)は常に円に含まれる、と。タクシー距離の円は、|x| + |y| = r を満たす点の集合ですね。

博士

そうじゃ！そして、この空間で円周率πを考えると面白いことになるのじゃ。

ロボ子

円周率πは、円の円周と直径の比率でしたね。タクシー距離空間でのπの値(π1)は、ユークリッド的な長さの定義を使用すると約2.828、タクシー距離の定義を使用すると4になるんですね。

博士

そう！チェビシェフ距離空間でもπは4になるぞ。n-circleにおけるπの値は、円の方程式を一定の角度間隔で解き、点を直線で繋いで近似計算できるのじゃ。

ロボ子

計算結果を見ると、n=1でπ≈4、n=2でπ≈3.14（ユークリッド空間）、n=∞でπ≈4となるんですね。興味深いです。

博士

そうじゃろ！ユークリッド幾何学から単純な外挿によって構築されたすべての距離空間の中で、通常のπは「最小」のπなのじゃ！

ロボ子

面白いですね。では、n < 1の場合はどうなるんでしょうか？

博士

nが1未満だと、凹型の「円」が生成されるのじゃ。πの値はnが小さくなるにつれて増加するぞ。例えば、π0.8 ≈ 4.7, π0.5 ≈ 7.2, π0.3 ≈ 11.9となるのじゃ。

ロボ子

n=0では、距離の概念が崩れる、と。奥が深いですね。

博士

そうじゃ！この特性の正式な証明は、Charles AdlerとJames Tantonによる2000年の論文で提供されているのじゃ。興味があったら読んでみるといいぞ。

ロボ子

ありがとうございます、博士。とても勉強になりました。ところで博士、今日はどちらまでタクシーで行かれますか？

博士

今日は特別じゃから、チェビシェフ距離で最短距離を目指すのじゃ！…って、結局どこにも行かないぞ！