距離空間

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

距離空間(きょりくうかん、metric space)とは、距離関数(きょりかんすう)と呼ばれる非負実数値関数が与えられている集合のことである。

概要[編集]

古代より、平面空間地上の 2 点間の離れ具合を表す尺度である距離測量科学数学において重要な役割を果たしてきた。1906年にモーリス・フレシェは、様々な集合の上で定義された関数の一様連続性の概念を統一的に研究した論文[1]において、ユークリッド空間から距離の概念を抽出して用い、距離空間の理論を築いた。

平面 R2 の上の 2 点 P1 = (x1, y1), P2 = (x2, y2) の間の距離にもマンハッタン距離

d_1(P_1, P_2) = |x_1 - x_2| + |y_1 - y_2| \,

ユークリッド距離

d_2(P_1,P_2) = \sqrt{ (x_1 - x_2)^2 + (y_1 - y_2)^2 }

などがあり、同じ集合に対して何種類もの異なる距離関数を考える事も少なくないため、集合 X と距離関数 d を組にして (X,d) と書き、距離空間と呼ぶ。

特に距離が与えられることによって、点同士の関係を実数値として定量的に捉えることができるので、極限連続性の概念が扱いやすくなる。フレシェは位相幾何学の成果のうちで距離に関するものを汲み上げ、一般の距離空間の性質として証明しなおして適用することで汎関数の極限を調べている。

一般的な状況で定理を証明し、個々の具体例に適用して証明を簡略化するというのは、現代数学の特徴の 1 つである。

距離空間では、距離を用いて近傍系を定義する事もできるため、位相空間の特殊な例になっている。ユークリッド距離とマンハッタン距離であれば、R2 上に同じ近傍系を定めることができるが、異なる近傍系を持つ距離もある。

フェリックス・ハウスドルフは位相空間の重要な性質として距離・近傍系・極限の 3 つを考察し、近傍系を選び位相空間の公理化を行った。そして、極限や連続性などの概念も距離とは無関係に一般化されていった。こういった一般の位相空間から距離は導かれないので距離空間で論じられる空間は一般の位相空間より狭い範囲のものに限られてしまう。しかし、距離空間は一般の位相空間における定理の意味を掴みやすく、また、位相空間論が応用される集合は距離空間として考えることができる空間が多いため、距離空間は今なお重要な概念である。

定義[編集]

集合 X上で定義された 2 変数の実数値関数

d: X × XR

が、任意の x,y,zX に対して

  • 非負性(正定値性) : d(x, y) ≥ 0
  • x = yd(x, y) = 0
  • 対称性 : d(x, y) = d(y, x),
  • 三角不等式 : d(x, y) + d(y, z) ≥ d(x, z)

を満たすとき、dX 上の擬距離関数あるいは単に擬距離であるといい、対 (X, d) を擬距離空間と呼ぶ。

前後の文脈により d が明らかな場合は(X, d)を単にXと略記する事も多い。

さらに強い条件

  • 非退化性 : x = yd(x, y) = 0

が成り立つとき、dX 上の距離関数あるいは単に距離であるといい、対 (X, d) を距離空間という。距離空間を定義するこれらの条件式(非負性、非退化性、対称性、三角不等式)をまとめて距離の公理という。

非退化性が仮定されない擬距離空間では異なる 2 点の擬距離が 0 になることがある。

集合 A と距離空間 (X, d) と単射

f: AX

があるとき、 a1,a2A に対して

df(a1,a2) := d(f(a1),f(a2))

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

AXの部分集合であれば包含写像

\mathrm{id}\colon A \hookrightarrow X;\ a \mapsto a

によって距離空間(A,did)が誘導される。このようにX の部分集合と包含写像によって定義された距離空間のことを (X, d) の部分距離空間または部分空間という。

関連概念[編集]

集合 X 上の 2 変数実数値関数 d が、半正定値性、非退化性と対称性を満たし、三角不等式の代わりにさらに強い条件

超距離不等式: max{d(x, y), d(y, z)} ≥ d(x, z)

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

一つの集合 X 上に定義された二つの距離d、d'が適当な定数C、C'に対して

d(x, y) ≤ C d'(x, y) ≤ C' d(x, y) (x, yX)

を満たすとき、これらは互いに同値な距離だと言われる。

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

任意のコーシー列が収束するとき、完備だという。

位相[編集]

X を距離空間、Aをその部分集合とする。A x について、ある正の数 ε が存在して x を中心とする半径 ε の開球( ε-近傍 , ε-開球)

B(x; \varepsilon) = \{y \in X | d(x, y) < \varepsilon \}

A に含まれる時、 xA内点 といい、 A を点 x近傍という(この B(x; ε)は U(x; ε)とか N(x; ε)などと書くこともある)。 X における x の近傍の全体 V(x)(近傍は X の部分集合なので V(x) は集合族になる)を x近傍系という。 このようにして X の各点 x に対しX の部分集合の族 V(x) を対応させる対応は位相空間の理論における近傍系の公理を満たしており、X を位相空間と見なすことができる。

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

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

yXY の内部にあれば、補集合 Yc から y に近づく(収束する)事はできないのだから、yY の縁ではない中身の部分にあるとみなせる。同様に yXY の外部にあれば、Y から y に近づく事はできないのだから、yY の縁ではない外側の部分にあるとみなせる。また yXY の境界にあれば、Y の中からも外からも y に近づけるのだから、yY の縁にある。

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

一様構造とcoarse構造[編集]

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

\Delta_\varepsilon = \{(x,y) \in X\times X| d(x, y) < \varepsilon \}

U に含まれるとき、 UX の一様近縁という。

距離空間の一様近縁全体は一様構造を定める。これを距離から定まる自然な一様構造という。

同値な距離からはおなじ一様構造が得られるので、位相構造など一様構造にのみよる概念は同値な距離に対して同じものを与える。


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

\Delta_\varepsilon = \{(x,y) \in X\times X| d(x, y) < \varepsilon \}

U を含むとき、 UX の有界近縁という。

距離空間の有界近縁全体はcoarse構造を定める。これを距離から定まる有界coarse構造という。

同値な距離からはおなじcoarse構造が得られるので、有界性などcoarse構造にのみよる概念は同値な距離に対して同じものを与える。


写像[編集]


初等的な例[編集]

離散距離構造[編集]

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

d(x,y) = \begin{cases}
  0 & (x = y),\\
  1 & (x \neq y)
\end{cases}

によって定められた距離を離散距離 (discrete metric) といい、距離空間(X,d) を離散距離空間 という。

距離空間の直積[編集]

可算個の距離空間の族 (Xn, dn)nN が与えられたとき、直積集合 ∏nN Xn 上に距離関数を

d((x_n)_{n \in \N}, (y_n)_{n \in \N}) = \sum_{n \in \N} 2^{-n} \frac{d(x_n, y_n)}{1 + d(x_n, y_n)}

によって定めることができる。この距離によって定まる ∏n ∈ N Xn の位相はそれぞれの Xn を位相空間と見なしたときの ∏n ∈ N Xn 上の直積位相に一致している。

特に、(Xn, dn) がすべて2点集合とその上の離散距離である場合、えられる直積距離空間 ({0, 1}N, d) はカントール集合に実数の差の絶対値から定まる距離を与えたものと同一視できる。

実数の直積集合における距離[編集]

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

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

d_1(x,y) = \sum_{i=1}^n |x_i - y_i|
d_2(x,y) = \sqrt{ \sum_{i=1}^n (x_i - y_i)^2 }

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

また、これの一般化として d_k(x, y) = \left( \textstyle \sum_{i=1}^n |x_i - y_i|^k \right)^{1/k} を考えたとき、その極限

\begin{align}
d_{\rm max}(x, y)
&= \lim_{k \to \infty} d_k (x, y) \\
&= \max_{1 \le i \le n} (|x_i - y_i|) \\
\end{align}

チェビシェフ距離と呼ばれる。

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

dmax(x,y) ≤ d2(x,y) ≤ d1(x,y) ≤ n dmax(x,y)

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

球面上の距離[編集]

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

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

応用数学・組み合わせ論における距離構造[編集]

ハミング距離[編集]

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

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

グラフ距離[編集]

別の例としては、グラフ上の距離がある。グラフの2頂点P1、P2の間の距離は P1からP2へ到達するのに最低いくつの辺を通らねばならないかである。この特別な場合として離散群ケイリーグラフとその上の語距離 (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 が pn の整数倍だが pn + 1の整数倍ではないとき、 p-nab の間のp進距離と定義する。ただし a = b のときは ab のp進距離は0であると定義する。たとえば15-3=12は22の倍数であるが23の倍数では無いので、15と3の2進距離は2-2=1/4である。p進整数環 Zp は距離空間として離散距離空間 {1, ..., p} の可算個のコピーの直積空間 {1, ..., p}N になっている。

解析学における距離構造[編集]

位相線型空間[編集]

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

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

可分距離空間[編集]

実数の差の絶対値による距離を与えた単位閉区間可算個の直積 [0, 1]N は完備可分距離空間となり、ヒルベルトキューブとよばれる。位相的にはこれはコンパクト空間 [0, 1] の可算個の直積の積位相によって得られるコンパクト空間になっている。可分な(あるいは同値なことだが、第二可算公理を満たす)距離空間 (X, d) は、その稠密な可算部分集合 { an : nN } をもちいて

x → ( min(d(x, an), 1) )nN

と定義される写像によりヒルベルトキューブの中に埋め込むことができる。こうして任意の可分距離空間は位相的にはヒルベルト・キューブの部分空間と同一視することができる。

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

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

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

距離空間の一般化[編集]

距離空間は距離函数の定義を一般化することでその定義を拡張することが出来る。それとは異なる重要な一般化を下記に上げる。

  • 一様空間 : 距離函数の値が小さい時の距離の振る舞いを抽象化した構造である一様構造を備えた空間。
  • coarse空間 : 距離函数の値が大きい時の距離の振る舞いを抽象化した構造であるcoarse構造を備えた空間。

関連項目[編集]

[編集]

  1. ^ フレシェは彼の研究の動機として、以下のクラスの関数についての先行研究をあげている:時代とともに発展してきた1つの変数 x に関する関数 y の概念、2つや3つの変数についての関数、あるいはn変数、または無限個(le Roux; Nouvelles Annales de Mathematiques 1904 448-458)の変数についての関数、(Volterra; Acta Mathematica 1889 233-286) や (Arzela; Rendiconti della R. Accademia dei Lincei 1889 342-348) に始まる曲線の形と位置に関する関数の研究、(Hadamard; Comptes Rendus de l'Academie des Sciences 1903 351-354)による関数を変数とするような汎関数の研究など。彼はこれらの研究を統合するために、数や点、関数、線や曲面など任意の種類の集合 (ensemble de nature quelconque) に対して述べることのできる形で距離化可能一様空間や距離空間の公理を定式化し、それらの空間の上に定義された関数の連続性や一様連続性について研究した。

参考文献[編集]

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