大雑把にいえば，距離空間とは「２点間の離れ具合が実数値で表される空間」のことであり，大学数学の分野としては位相空間論に属します．
しかし，我々が中学・高校以来扱ってきた数直線，$xy$平面，$xyz$空間などは距離空間の１つで，具体例は馴染みのあるものも少なくないでしょう．
距離空間は位相空間の例としても重要で，良い位相的な性質をもちます．
この記事では，
- 距離空間の定義のイメージ
- 距離空間の具体例
を説明し，最後に距離空間に似たノルム空間との関係を説明します．
目次
解説動画
この記事の解説動画をYouTubeにアップロードしています．
【距離空間】数学の「距離」の定義とイメージ！具体例とともに解説！
この動画が良かった方は是非チャンネル登録をお願いします！
距離空間の定義
まずは距離空間の定義を説明します．
空でない集合$X$に対して，関数$d:X\times X\to\R$は
- $d(x,y)=0 \iff x=y$ (非退化性)
- 任意の$x,y\in X$に対して$d(x,y)=d(y,x)$ (対称性)
- 任意の$x,y,z\in X$に対して$d(x,z)\le d(x,y)+d(y,z)$ (劣加法性)
の全てを同時に満たすとする．このとき，$d$を$X$の距離関数または距離 (metrix)といい，組$(X,d)$を距離空間 (metric space)という．また，距離$d$が明らかな場合には，単に$X$を距離空間という．
なお，劣加法性の不等式を三角不等式という．
$d$は「$X$上の２点を与えるとその２点間の距離を返してくれる関数」で，定義の３つの条件を満たすものというわけですね．
そして，距離空間とは
- どのような空間$X$に
- どのような距離$d$が定まっているか
という２つの情報$(X,d)$を持つもの，ということができます．
さて，距離の定義の３条件は以下のようなイメージを式にしたものとなっています：
- 非退化性：$x$から$x$への距離は０で，逆に２点$x$と$y$の距離が０でなければ$x$と$y$は異なる点である
- 対称性：「$x$から$y$への距離」と「$y$から$x$への距離」は一致する
- 劣加法性：「$x$から$y$を通って$x$へ行く距離」は「$x$から$z$へ直接行く距離」以上である
確かに，我々が日常的にも使う「距離」はこれらの性質を持っていますね．
数学では，関数$X\times X\to\R$がこれら３条件さえ満たしていれば，どんなものでも距離というわけですね．
なお，我々が日常的に「距離」というときには０以上の値をイメージするように，実は３つの条件から距離$d$は必ず０以上の値(非負値)をとることを示すことができます．
[距離の非負値性] 距離空間$(X,d)$に対して，任意の$x,y\in X$は$d(x,y)\ge0$を満たす．
任意の$x,y\in X$に対して，距離の定義の３条件から
が成り立つので，両辺を２で割って確かに$0\le d(x,y)$を得る．
距離空間の例
それでは，距離空間の具体例を挙げます．以下，$\m{x},\m{y}\in\R^n$は
とします．
以下の具体例が距離空間となっていることは当然のことながら証明できますので，時間のある方はぜひ練習のつもりで証明してみてください．
ユークリッド距離空間
$\R^n$に対して，関数$d:\R^n\times\R^n\to\R$を
で定めると，組$(\R^n,d)$は距離空間となります．
この距離空間$(\R^n,d)$は，例えば
- $n=1$のときに数直線$\R$
- $n=2$のときに$xy$平面$\R^2$
- $n=3$のときに$xyz$空間$\R^3$
での2点を結ぶ線分の長さを図るものとなっており，この距離$d$をEuclid(ユークリッド)距離 (Euclid metric)，$(\R^n,d)$はEuclid距離空間 (Euclid metric space)といいます．
この$d$が距離であることは次のように示すことができます．
$d$が非退化性，対称性，劣加法性を満たすことを示せばよい．
[非退化性] 実数の２乗は０以上だから，$d(\m{x},\m{y})=0$であることと，任意の$i\in\{1,\dots,n\}$に対して$x_i=y_i$が成り立つことは同値である．
また，これは$\m{x}=\m{y}$であることに他ならないから，$d(\m{x},\m{y})=0\iff\m{x}=\m{y}$が成り立つ．
[対称性] 任意に$\m{x},\m{y}\in\R^n$をとる．任意の$i\in\{1,\dots,n\}$に対して$(x_i-y_i)^2=(y_i-x_i)^2$だから，$d(\m{x},\m{y})=d(\m{y},\m{x})$が成り立つ．
[劣加法性] 任意に$\m{x},\m{y},\m{z}\in\R^n$をとる．$|\m{x}-\m{z}|\le|\m{x}-\m{y}|+|\m{y}-\m{z}|$が成り立つことを示せばよいが，両辺０以上なので
を示せばよい．さらに，$\m{a}:=\m{x}-\m{y}$, $\m{b}:=\m{y}-\m{z}$とおくと
を示せばよいことになるが，これはCauchy-Schwarz(コーシー-シュワルツ)の不等式$|\m{a}\cdot\m{b}|\le|\m{a}||\m{b}|$より成り立つ．
ただし，$\m{a}\cdot\m{b}$は$\m{a}=[a_1,\dots,a_n]^T$, $\m{b}=[b_1,\dots,b_n]^T$の標準内積で，$\m{a}\cdot\m{b}=a_1b_1+\dots+a_nb_n$である．
ユークリッド距離の劣加法性
は$\m{a}=\m{x}-\m{y}$, $\m{b}=\m{y}-\m{z}$, $\m{c}=\m{z}-\m{y}$と考えて
- $|\m{a}+\m{b}|\le|\m{a}|+|\m{b}|$
- $|\m{a}-\m{c}|\le|\m{a}|+|\m{c}|$
と書いても全く同じことです．
マンハッタン距離空間
$\R^n$に対して，関数$d:\R^n\times\R^n\to\R$を
で定めると，組$(\R^n,d)$は距離空間となります．
この距離$d$をManhattan(マンハッタン)距離 (Manhattan metric)，$(\R^n,d)$はManhattan距離空間 (Manhattan metric space)といいます．
なお，この距離の名前に由来するニューヨークのマンハッタンはブロック型に区画されており，これが各軸に沿った方向の差を足し合わせた距離$d$のイメージに一致するので，$d$はマンハッタン距離とよばれています．
日本式に言えば「京都距離」といったところでしょうか．
この$d$が距離であることは次のように示すことができます．
$d$が非退化性，対称性，劣加法性を満たすことを示せばよい．
[非退化性] 絶対値は０以上だから，$d(\m{x},\m{y})=0$であることと，任意の$i\in\{1,\dots,n\}$に対して$x_i=y_i$が成り立つことは同値である．
また，これは$\m{x}=\m{y}$であることに他ならないから，$d(\m{x},\m{y})=0\iff\m{x}=\m{y}$が成り立つ．
[対称性] 任意に$\m{x},\m{y}\in\R^n$をとる．任意の$i\in\{1,\dots,n\}$に対して$|x_i-y_i|=|y_i-x_i|$だから，$d(\m{x},\m{y})=d(\m{y},\m{x})$が成り立つ．
[劣加法性] 任意に$\m{x},\m{y},\m{z}\in\R^n$をとる．絶対値の劣加法性(１次元ユークリッド空間の距離の劣加法性)より，
が成り立つ．
フランス鉄道距離
$\R^n$に対して，関数$d:\R^n\times\R^n\to\R$を
で定めると，組$(\R^n,d)$は距離空間となります．
すなわち，
- 原点Oと２点$x$, $y$が同一直線上にあるとき，ユークリッド距離と同じ$|\m{x}-\m{y}|$
- 原点Oと２点$x$, $y$が同一直線上にないとき，「$\m{x}$と原点Oの距離」と「$\m{y}$と原点Oの距離」の和
と定められた距離空間となっています．
この距離$d$をフランス鉄道距離 (French metro metric)，$(\R^n,d)$はフランス鉄道距離空間 (French metro metric space)といいます．
なお，この距離の名前に由来するフランスはパリを起点としてフランス全土に向かって鉄道が走っており，原点をパリに見立てて$d$はフランス鉄道距離とよばれています．
もしくは，“British Rail metric(イギリス鉄道距離)”や“post office metric(郵便局距離)”などの呼び名もあるようです．
この$d$が距離であることは次のように示すことができます．
$d$が非退化性，対称性，劣加法性を満たすことを示せばよい．
[非退化性] $d(\m{x},\m{y})=0$とする．このとき，もし$\m{0},\m{x},\m{y}$が同一直線上に存在しないとすると，$\m{x}\neq\m{0}$かつ$\m{y}\neq\m{0}$なので
となって矛盾するから，$\m{0},\m{x},\m{y}$は同一直線上に存在する．よって，$0=d(\m{x},\m{y})=|\m{x}-\m{y}|$だから$\m{x}=\m{y}$を得る．
逆に，$\m{x}=\m{y}$なら，$\m{0},\m{x},\m{y}$は同一直線上に存在するので，
が成り立つ．
[対称性] 任意に$\m{x},\m{y}\in\R^n$をとる．
だから，$\m{0},\m{x},\m{y}$の位置関係によらず$d(\m{x},\m{y})=d(\m{y},\m{x})$が成り立つ．
[劣加法性] 任意に$\m{x},\m{y},\m{z}\in\R^n$をとる．以下，最初の例のユークリッド距離の劣加法性を用いていることに注意．
(i) $\m{0},\m{x},\m{y}$が同一直線上に存在し，$\m{0},\m{y},\m{z}$が同一直線上に存在するとき，$\m{0},\m{x},\m{z}$が同一直線上に存在するので，
が成り立つ．
(ii) $\m{0},\m{x},\m{y}$が同一直線上に存在し，$\m{0},\m{y},\m{z}$が同一直線上に存在しないとき，$\m{0},\m{x},\m{z}$が同一直線上に存在しないので，
が成り立つ．
(iii) $\m{0},\m{x},\m{y}$が同一直線上に存在し，$\m{0},\m{y},\m{z}$が同一直線上に存在しないとき，(ii)と同様に劣加法性が得られる．
(iv) $\m{0},\m{x},\m{y}$が同一直線上に存在せず，$\m{0},\m{y},\m{z}$が同一直線上に存在しないとき
が成り立つ．
球面距離空間
球面$S$に対して，２点$\m{x},\m{y}\in S$を通る大円$C$を考えたときの，円$C$の劣弧$\overline{\m{x}\m{y}}$の長さを$d(\m{x},\m{y})$とすることによって関数$d:S\times S\to\R$を定めると，組$(S,d)$は距離空間となります．
ただし，
- 球$S$の大円とは，$S$の中心を通る平面による$S$の断面
- 円$C$の劣弧$\overline{\m{x}\m{y}}$とは，$C$の弧$\overline{\m{x}\m{y}}$のうち長くない方
です．
この距離$d$を球面距離，$(S,d)$は球面距離空間などといいます．
部分集合の距離空間
距離空間$(X,d)$に対して，空でない$Y\subset X$をとると$(Y,d|_{Y\times Y})$は距離空間となります．
ただし，$d|_{Y\times Y}$は元々の距離$d:X\times X\to\R$の定義域を$Y\times Y$に制限してできる関数，すなわち任意の$x,y\in Y$に対して
を満たす関数です．
離散距離空間
空でない任意の集合$X$に対して，関数$d:X\times X\to\R$を
で定めると，組$(\R^n,d)$は距離空間となります．すなわち，異なる２点間の距離は全て１とするのがこの$d$です．
なお，この距離空間により誘導される位相空間は離散位相となり，この距離$d$を離散距離 (discrete metric)，$(\R^n,d)$は離散距離空間 (discrete metric space)といいます．
ノルム空間との関係
最後に距離空間に似た「ノルム空間」との関係を説明します．
ノルム空間の定義
まずはノルム空間の定義を確認しておきましょう．
体$\K$上の線形空間$V$に対して，関数$f:V\to\R$は
- $f(\m{x})=0 \iff \m{x}=0$ (非退化性)
- 任意の$\alpha\in\K$, $x\in X$に対して$f(\alpha x)=|\alpha|f(x)$ (斉次性)
- 任意の$x,y,z\in X$に対して$f(x,z)\le f(x,y)+f(y,z)$ (劣加法性)
の全てを同時に満たすとする．このとき，$f$を$V$のノルム (norm)といい，組$(V,f)$をノルム空間 (norm space)という．また，$f(\m{x})$は$\|\m{x}\|_{V}$や単に$\|\m{x}\|$などと表すことが多い．
ノルムも距離と同じく
- 非退化性
- 劣加法性
を満たす必要があります．そのため，ノルムと距離はある程度「似たもの」ではあります．
一方で，距離空間$(X,d)$といった場合には$X$は単なる集合で構いませんが，ノルム空間$(V,\|\cdot\|)$といった場合には$V$は線形空間でなければならない点が大きく異なります．
ノルム空間に自然に定まる距離
さて，ノルム空間$(V,\|\cdot\|)$に対して，関数$d:V\times V\to\R$を
で定めると，組$(V,d)$は距離空間となります．
この意味で，ノルム空間$(V,\|\cdot\|)$は自然に距離空間とみなすことができます．
また，逆に
- ユークリッド距離
- マンハッタン距離
はそれぞれ
はノルムとなり，ノルム空間$(\R^n,\|\cdot\|)$が得られますね．
参考文献
集合・位相入門
[松坂和夫 著/岩波書店]
本書は「集合論」「位相空間論」をこれから学ぶ人のための入門書です．
説明が丁寧で行間が少ないのは初学者にありがたいところですね．
実際，本書は1968年に発刊されて以来売れ続けている超ロングセラーで，2018年に新装版が発売されたことからも現在でも教科書として広く使われていることが分かります．
具体例が多く扱われているのも特徴で，新しい概念のイメージも掴みやすいように書かれています．
また，各セクションの終わりに少なくない数の演習問題も載っており，演習書的な使い方もできます．
なお，本書については，以下の記事で書評としてまとめています．
本書の目次・必要な知識・良い点と気になる点などをレビューしています．