距離空間

また、非退化性、対称性、三角不等式より導かれる性質として、

非負性

${\displaystyle \forall x,y\in X~:~d(x,y)\geq 0}$ 

がある。 なお、距離の関連概念として以下のものがある。以下の表で「○」はその条件を課すことを指し、非退化性の欄に

${\displaystyle \forall x\in X~:~d(x,x)=0}$ 

と書いてあるのは非退化性を課す代わりにそれよりも弱い条件である

${\displaystyle d(x,x)=0}$ 

を課している事を指す。

	非負性	非退化性	対称性	三角不等式
擬距離(英: pseudometric)	○	${\displaystyle \forall x\in X~:~d(x,x)=0}$	○	○
quasi-metric[5][6]	○	○	－	○
quasi-pseudometric[7]	○	${\displaystyle \forall x\in X~:~d(x,x)=0}$	－	○
metametric[8][注釈 3]	○	${\displaystyle \forall x,y\in X~:~d(x,y)=0\Rightarrow x=y}$	○	○
semimetric	○	○	○	－

集合 A と距離空間 (X, d) と単射 f: A → X があるとき、 a₁,a₂∈A に対して

d_f(a₁,a₂) ≔ d(f(a₁),f(a₂))

と定義すれば (A,d_f) も距離空間になり、fによって誘導された距離空間という。

AがXの部分集合であれば包含写像 id: A ↪ X; a ↦ a によって距離空間(A,d_id)が誘導される。このようにX の部分集合と包含写像によって定義された距離空間のことを (X, d) の部分距離空間または部分空間という。

距離空間は距離関数の定義を一般化することでその定義を拡張することが出来る。集合 X 上の 2 変数実数値関数 d が、半正定値性、非退化性、対称性を満たし、三角不等式の代わりにさらに強い条件（超距離不等式）

$${\displaystyle \max {\{d(x,y),d(y,z)\}}\geq d(x,z)}$$ 

を満たすなら、距離関数 d は非アルキメデス的 (non-Archimedean) あるいは超距離 (ultrametric) であるという。超距離不等式からは三角不等式が導かれるので、超距離は距離でもある。

集合 X 上に定義された2つの距離 d₁, d₂ は、次の条件を満たす場合、互いに同値と言われる。

• 任意の a ∈ X と正数 ε > 0 に対し正数 δ > 0 が存在し、任意の x ∈ X について、${\displaystyle \{d_{1}(x,a)<\delta \implies d_{2}(x,a)<\epsilon \}}$  かつ ${\displaystyle \{d_{2}(x,a)<\delta \implies d_{1}(x,a)<\epsilon \}}$ 

つまり、同値な距離とは、同じ位相を誘導する距離である（次項「距離の誘導する位相」参照）。^[12]

(X, d) を距離空間、A を X の部分集合とするとき、sup_{x, y ∈ A} d(x, y) は A の直径とよばれる。任意の正の実数 ε に対して有限個の直径 ε 以下の部分集合たちで X を覆うことができる場合、X は全有界であると言う。

任意のコーシー列が収束するとき、完備であると言う。

X を距離空間、Aをその部分集合とする。A の点 x について、ある正の数 ε が存在して x を中心とする半径 ε の開球（ε-近傍 , ε-開球）B(x; ε) ≔ {y ∈ X  |  d(x, y) < ε} (これをU(x; ε)とか N(x; ε)などと書くこともある) が A に含まれる時、x を A の内点 といい、 A を点 x の近傍という。 X における x の近傍の全体 V(x)（近傍は X の部分集合なので V(x) は集合族になる）を x の近傍系という。 このようにして X の各点 x に対しX の部分集合の族 V(x) を対応させる対応は位相空間論における近傍系の公理を満たしており、X を位相空間と見なすことができる。

距離空間に対しては、位相空間論の各概念を点列の収束をもちいて次のように特徴づけられることが知られている。Y を X の部分集合とする。

1. 点 y が Y の内部にある ⇔ 補集合 Y^c に含まれる点列で、y に収束するものは存在しない。
2. 点 y が Y の外部にある ⇔ Y に含まれる点列で、y に収束するものは存在しない。
3. 点 y が Y の縁にある ⇔ Y に含まれる点列で y に収束するものが存在し、Y^cに含まれる点列で y に収束するものも存在する。

y ∈ X が Y の内部にあれば、補集合 Y^c から y に近づく（収束する）事はできないのだから、y は Y の縁ではない中身の部分にあるとみなせる。同様に y ∈ X が Y の外部にあれば、Y から y に近づく事はできないのだから、y は Y の縁ではない外側の部分にあるとみなせる。また y ∈ X が Y の境界にあれば、Y の中からも外からも y に近づけるのだから、y はY の縁にある。

距離空間は位相空間として第一可算性（任意の点が可算の近傍生成基を持つ）、パラコンパクト性、完全正規性やハウスドルフ性など、いくつかの扱いやすいと見なされる性質を持っている。また、距離空間が可算コンパクト性や点列コンパクト性を持つならばその空間が位相空間としてコンパクトであることが導かれる。この距離空間のコンパクト性は距離空間が全有界かつ完備であることと同値になる。さらに距離空間が可分である（稠密な可算部分集合を持つ）ことと第二可算公理を満たす（可算個の開集合によってその位相が生成される）ことは同値になる。

X を距離空間、Uを X×X の部分集合とする。ある正の数 ε が存在して X の対角成分の近傍

${\displaystyle \Delta _{\varepsilon }:=\{(x,y)\in X\times X\mid d(x,y)<\varepsilon \}}$ 

が U に含まれるとき、 Uを X の一様近縁という。距離空間の一様近縁全体は一様構造を定める。これを距離から定まる自然な一様構造という。同値な距離からはおなじ一様構造が得られるので、位相構造など一様構造にのみよる概念は同値な距離に対して同じものを与える。

X を距離空間、Uを X×X の部分集合とする。ある正の数 ε が存在して X の対角成分の近傍

${\displaystyle \Delta _{\varepsilon }:=\{(x,y)\in X\times X\mid d(x,y)<\varepsilon \}}$ 

が U を含むとき、 Uを X の有界近縁という。距離空間の有界近縁全体は粗構造を定める。これを距離から定まる有界粗構造という。同値な距離からはおなじ粗構造が得られるので、有界性など粗構造にのみよる概念は同値な距離に対して同じものを与える。

一般の一様空間は距離函数の値が小さい時の距離の振る舞いの抽象化であり、また一般の粗空間は距離函数の値が大きい時の距離の振る舞いを抽象化するものである。

距離空間のもっとも自明な例は任意の集合に対して定義できる離散距離構造と呼ばれるものである。集合X の上の2変数関数

によって定められた距離を離散距離 (discrete metric) といい、距離空間(X,d) を離散距離空間 という。ただしこの距離は議論において何の役にも立たず、距離の定義の緩やかさを示すに過ぎない。

実数全体のなす集合 R に、距離 d を絶対値を用いて d₂(x, y) = |x − y| と定めることで、 (R, d) は距離空間になる。

実数全体のなす集合 R の n 個の直積を Rⁿ と書くとき、 (R, d) の距離関数 d の一般化として次のような 2つの距離関数を考える。

距離d₁ は マンハッタン距離 と呼ばれる。一方、距離d₂ は n 次元ユークリッド距離とよばれ、距離空間(Rⁿ, d₂)は n 次元ユークリッド空間という。上述の絶対値の例は 1 次元ユークリッド距離になっていることが分かる。教育や自然科学における応用では、多くの場合ユークリッド距離がもちいられる。

また、これの一般化として k-乗平均距離 ${\textstyle d_{k}(x,y):=(\sum _{i=1}^{n}|x_{i}-y_{i}|^{k})^{1/k}}$  を考えたとき、その極限 ${\displaystyle d_{\text{max}}(x,y):=\lim _{k\to \infty }d_{k}(x,y)=\max _{1\leq i\leq n}|x_{i}-y_{i}|}$  はチェビシェフ距離と呼ばれる。

このように、同じ集合に対して定めることのできる距離は一つではない。 一般には集合が同じであっても異なる距離関数を与えれば位相空間としても異なるが、ここで定義した d₁, d₂, d_maxに関しては

という関係があり、これら同値な距離はユークリッド空間上に同じ位相構造を定めている。言い換えると、この 3 つの距離はいずれも同じ開集合系を定めるのである。例えば、d₁ に関する開集合は必ず d₂ に関する開球の和集合に表され、逆に d₂ に関する開集合は必ず d₁ に関する開球の和集合に表される。d_maxによって定まる位相と d₁,d₂のそれぞれによって定まる位相との関係についても同じことが言える。

他の例としては球面距離がある。 球面上の2点P₁、P₂の球面距離は、P₁とP₂を結ぶ大円弧の長さの事である。ただし、P₁とP₂を結ぶ大円弧は2つあるが、そのうち短い方の弧長を距離として採用する。もっと直観的に言うと、P₁、P₂の球面距離は、巻尺をP₁始点にしてP₂へと球面に巻きつけたときに巻尺に書かれた長さの事である。

球面上には直線距離という別の距離も考えられる。これはP₁、P₂を結ぶ弦の長さとしてあたえられる。

距離空間 (X, d) と劣加法的な広義単調増加関数 f: R_≥0→ R_≥0が与えられたとき、f◦d も距離となる。f が原点で 0 を取り連続なとき f◦d は d と同じ位相を定める。特に f(x) = x/(1 + x) は f(0) = 0 となる劣加法的で有界な広義単調増加連続関数なので

${\displaystyle {\frac {d(x,y)}{1+d(x,y)}}}$ 

は d と位相を同じくする有界な距離を定める。

距離空間 (X, d_X), (Y, d_Y) に対し X × Y 上に距離関数を

d^p((x₀, y₀),(x₁, y₁)) := (d_X(x₀, x₁)^p+ d_Y(y₀, y₁)^p)^1/p

によって定めることができる（ただし 0 ≤ p < ∞）。同様に距離

d_max((x₀, y₀),(x₁, y₁)) := max{d_X(x₀, x₁), d_Y(y₀, y₁) }

を定めることも出来る。

可算個の原点付き距離空間の族 (X_n, d_n, b_n)_{n ∈ N}が与えられたとき、直積集合 ∏_{n ∈ N}X_n 上に拡張距離関数を

d^p((x_n)_{n ∈ N}, (y_n)_{n ∈ N}) ≔ ‖ (d_n(x_n, y_n))_{n ∈ N} ‖_p

によって定めることができる（ただし 0 ≤ p ≤ ∞ で ‖ ‖_pは数列空間上の ${\displaystyle \ell ^{p}}$ ノルム）。特に

{(x_n)_{n ∈ N}∈ ∏_n∈NX_n: d^p((x_n)_{n ∈ N}, (b_n)_{n ∈ N}) < ∞}

上では距離関数となっている。更に D_n を X_n の直径としたとき、‖(D_n)_n∈N‖_p< ∞ ならばこの距離は ∏_n∈NX_n 全体で有限となり、その位相はそれぞれの X_nを位相空間と見なしたときの ∏_n∈NX_n 上の直積位相に一致している。

特に、(X_n, d_n) を2点集合に離散距離（の (1/2)ⁿ倍）を入れたものの場合、えられる直積距離空間 ({0, 1}^N, d) はカントール集合に実数の差の絶対値から定まる距離を与えたものと同一視できる。

距離空間の族 (X_λ, d_λ)_{λ ∈ Λ}が与えられたとき、${\displaystyle \coprod _{\lambda \in \Lambda }X_{\lambda }}$ 上に拡張距離を

${\displaystyle d_{\coprod }(x,y):={\begin{cases}d_{\lambda }(x,y)&(x,y\in X_{\lambda }),\\\infty &{\text{(otherwise)}}\end{cases}}}$ 

と定めることが出来る。

距離空間 (X, d) と全射 f: X →Y が与えられたとき、Y 上に擬距離を

${\displaystyle d_{f}(y_{0},y_{1}):=\inf \left\{\sum _{n=0}^{N}d(x_{2n},x_{2n+1}):f(x_{2n-1})=f(x_{2n})\;(0<n<N),y_{0}=f(x_{0}),y_{1}=f(x_{2N+1})\right\}}$ 

と定めることが出来る。この擬距離は f を1-リプシッツにする最大の擬距離である。

この2つの方法を組み合わせることにより距離空間の張り合わせが定義される。

ハミング距離は、2つの文字列の間に定義される距離で、2つの文字列の中に異なる文字何個があるかである。 たとえば「simply」と「sample」は異なる文字が2つ(iとa、yとe)あるので、「simply」と「sample」のハミング距離は2である。

このようなものにも距離を定義すると、抽象的で分かりにくかった対象に図形的に分かりやすい解釈を与える事ができる。 例えばハミング距離は誤り訂正を図形的で分かりやすいものにしてくれる。 誤り訂正とは、データ通信の際に生じる誤りを取り除く方法の事である。例えば「apple」という文章を送ったはずがデータ通信の途中でエラーが入り、 「axple」になってしまったとしよう。 そうしたらデータを受信した人は辞書を引いて、「axple」とハミング距離が一番近い単語を探す事で誤りを訂正できる。 このようにハミング距離は、「誤りを訂正する」という図形的ではないものに、「距離が一番近いものを探す」という図形的な解釈を与えてくれるのである。

別の例としては、グラフ上の距離がある。グラフの2頂点P₁、P₂の間の距離は P₁からP₂へ到達するのに最低いくつの辺を通らねばならないかである。この特別な場合として離散群のケイリーグラフとその上の語距離 (word length metric) が挙げられる。これは離散群G上にその生成集合Sによって定まる距離で、Gの元 g, h の間の距離は g^-1h を S の元の積として表すのに必要な項の数の最小数として定められる。有限生成群における、有限集合の範囲での生成集合の取り替えはケイリーグラフ上に互いに同値な距離を与える。

可微分多様体 M と、M上の計量テンソルと呼ばれる（非退化・正定値・対称）2階の共変テンソル g をあわせたものはリーマン多様体と呼ばれる。テンソルgによって Mの各点での接空間に対し接ベクトルの長さを表す正定値の2次形式が与えられ、これをもとにしてM上の曲線の弧長を定義することができる。M上の距離は2点間を結ぶ長さ最小の曲線（測地線）の長さとして定められる。

δ を正の数とする。2点間の測地線が定められるような距離空間 X について、δ-双曲性の概念が以下のように定式化できる。Xの任意の3点a, b, cに対してこれらを頂点とし、それらの間の測地線A, B, Cを辺とするような三角形が考えられることになるが、そのどの一辺もほかの二辺の δ-近傍に含まれているとき、Xはδ-双曲的であるという。有限生成離散群 G のケイリーグラフがあるδについてδ-双曲的となる場合に G は双曲群と呼ばれる。

p を素数としたとき、p-進距離は有理数の（あるいはより一般にp進数の）集合上に定義される距離で、整数 n について有理数 a, b の差 a − b が pⁿ の整数倍だが p^{n + 1}の整数倍ではないとき、p⁻ⁿを a と b の間の p 進距離と定義する。ただし a = b のときは a と b の p 進距離は 0 であると定義する。たとえば 15 − 3 = 12 は 2² の倍数であるが 2³ の倍数では無いので、15 と 3 の 2 進距離は 2⁻² = 1/4 である。p 進整数環 Z_p は距離空間として離散距離空間 {1, …, p} の可算個のコピーの直積空間 {1, …, p}^N になっている。

実数または複素数体上のノルム空間は、二つの元の間の距離をそれらの差のノルムとして定めると距離空間と見なせる。こうして得られる距離空間のうち完備なものはバナッハ空間と呼ばれ、関数解析学における主要な枠組みの一つとなっている。

ノルムによって位相が定まっているとは限らない位相線型空間のうち、平行移動不変な距離について完備空間となっているものはフレシェ空間と呼ばれる。バナッハ空間のほかに、微分多様体上の滑らかな関数のなす空間や、急減少数列のなす空間などがフレシェ空間の例になっている。

実数の差の絶対値による距離を与えた単位閉区間の可算個の直積 [0, 1]^N は完備可分距離空間となり、ヒルベルト立方体とよばれる。位相的にはこれはコンパクト空間 [0, 1] の可算個の直積の積位相によって得られるコンパクト空間になっている。可分な（あるいは同値なことだが、第二可算公理を満たす）距離空間 (X, d) は、その稠密な可算部分集合 {a_n : n ∈ N} をもちいて x ↦ (min(d(x, a_n), 1))_n∈N と定義される写像によりヒルベルトキューブの中に埋め込むことができる。こうして任意の可分距離空間は位相的にはヒルベルト・キューブの部分空間と同一視することができる。

完備な可分距離空間のボレル集合のなすσ代数はきわめて限られたものになっている。実際、そのようなσ代数は

1. 高々可算集合の離散距離空間
2. 単位閉区間 [0, 1] に、実数の絶対値からきまる距離を付与した距離空間

のボレル集合のなす2種類σ代数の和として表すことができる。

• 矢野公一『距離空間と位相構造』共立出版 1997年 ISBN 4-320-01556-8
• Fréchet, Maurice (1906), “Sur quelques points du calcul fonctionnel”, Rendic. Circ. Mat. Palermo 22: 1–74 

• マハラノビス距離
• レーベンシュタイン距離
• ユークリッド空間
• F-空間

• Weisstein, Eric W. "Metric Space". mathworld.wolfram.com (英語).
• metric space - PlanetMath.（英語）
• Arkhangel'skii, A.V. (2001), “Metric space”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Metric_space 
• metric space in nLab / Met in nLab
• Definition:Metric Space at ProofWiki