[論文レビュー] What is a metric space?

Stephen Semmes|ArXiv.org|Sep 11, 2007

Fixed Point Theorems Analysis被引用数 4

ひとこと要約

この論文は、距離関数（距離関数）を備えた集合として定義される距離空間の基礎的導入を提供している。非負性、対称性、および三角不等式を満たす。例として、ユークリッド幾何、実数直線、およびタクシーキャブ距離やチービシェフ距離といった代替距離関数を用い、同じ集合上に異なる幾何的形状（ダイヤモンドや正方形）を生じることを示している。また、距離空間における内面的幾何と外在的幾何の違い、および対称性の性質にも言及している。

ABSTRACT

The question in the title is discussed briefly, with emphasis on a few basic examples and their properties.

研究の動機と目的

• ユークリッド幾何や他の幾何的設定の一般化として、距離空間の概念を定義し、明確化すること。
• 同じ基本集合上に異なる幾何的構造を生じさせる、ユークリッド距離、タクシーキャブ距離、チービシェフ距離といったさまざまな距離関数の働きを説明すること。
• 特に曲面や曲線上での、内面的幾何と外在的幾何の違いを調査すること。
• 距離空間の対称性の性質（平行移動、反転、回転）を検討し、異なる距離関数下での保存性を調べること。
• 三角不等式が距離空間の構造を定義する役割を果たし、球の開性などの位相的性質の証明にどのように寄与するかを示すこと。

提案手法

• 距離関数 d(p,q) が d(p,q) ≥ 0、d(p,q) = 0 となるのは p = q のときに限る、d(p,q) = d(q,p)、および三角不等式 d(x,z) ≤ d(x,y) + d(y,z) を満たす集合 M として距離空間を定義する。
• 座標平面上の点を表すためにデカルト座標を用い、ピタゴラスの定理を用いてユークリッド距離を導出する：d(p,q)² = (p₁−q₁)² + (p₂−q₂)²。
• 代替距離関数の導入：タクシーキャブ距離 d′(p,q) = |p₁−q₁| + |p₂−q₂| およびチービシェフ距離 d′′(p,q) = max(|p₁−q₁|, |p₂−q₂|) であり、両者とも距離公理を満たす。
• 開球 B(p,r) = {x ∈ M : d(p,x) < r} を定義し、q ∈ B(p,r) ならば、ある t > 0 が存在して B(q,t) ⊆ B(p,r) が成り立つことを、三角不等式を用いて証明する。
• 等長写像を用いた対称性の分析：平行移動 τₐ(x) = x + a、実数直線上の反転 ρ(x) = −x、平面における座標ごとの反転および回転。
• 平行線公理が成り立たない非ユークリッド幾何（球面幾何および双曲幾何）を、曲線上の弧長によって定義される距離を持つ距離空間として扱う。

実験結果

リサーチクエスチョン

• RQ1 距離の概念を持つ幾何的空間を定義するために必要な最小限の公理は何か？
• RQ2 同じ集合（例：R²）上に異なる距離関数を定義すると、円、ダイヤモンド、正方形といった異なる幾何的形状がどのように生じるか？
• RQ3 表面が内面的には平坦でありながら外在的には曲がっている場合、これは距離関数にどのように反映されるか？
• RQ4 平行移動、反転、回転といった対称性は、異なる距離関数下で保存されるか？なぜ一部の距離関数は回転対称性を保存しないのか？
• RQ5 三角不等式は、特に開球や近傍の包含関係の文脈において、距離空間の構造にどのように制約を加えるか？

主な発見

• R² 上の標準的なユークリッド距離関数 d(p,q)² = (p₁−q₁)² + (p₂−q₂)² は、すべての距離公理を満たし、球の円形形状を生じさせる。
• タクシーキャブ距離 d′(p,q) = |p₁−q₁| + |p₂−q₂| は、ダイヤモンド型の等高線を生じさせ、(0,0) と (1,1) の間の距離は √2 とは異なり、2 である。
• チービシェフ距離 d′′(p,q) = max(|p₁−q₁|, |p₂−q₂|) は、正方形型の等高線を生じさせ、(0,0) と (1,1) の間の距離は 1 である。
• 任意の点 q が開球 B(p,r) 内にあるとき、q を中心とするより小さな開球 B(q,t) が完全に B(p,r) 内に含まれるような t > 0 が存在する。これは三角不等式を用いて示された。
• 標準距離 d(r,t) = |r−t| を備えた実数直線は、三角不等式を満たし、これは絶対値の部分加法性に帰着する：|x−z| ≤ |x−y| + |y−z|。
• 双曲幾何や球面幾何といった非ユークリッド幾何は、曲線上の弧長によって定義される距離を持つ距離空間としてモデル化可能であり、平行線公理が成り立たない。