ユークリッド距離

数学におけるユークリッド距離（ユークリッドきょり、英: Euclidean distance）またはユークリッド計量（ユークリッドけいりょう、英: Euclidean metric; ユークリッド距離函数）とは、人が定規で測るような二点間の「通常の」距離のことであり、ピタゴラスの公式によって与えられる。この公式を距離函数として用いればユークリッド空間は距離空間となる。ユークリッド距離に付随するノルムはユークリッドノルムと呼ばれる。古い書籍などはピタゴラス計量（英: Pythagorean metric）と呼んでいることがある。

定義[編集]

点 $p$ および $q$ の間のユークリッド距離とは、それらをつなぐ線分 ${\overline {\mathbf {pq} }}$ の長さをいう。

直交座標系において、 $p = (p 1, p 2, \dots, p n)$ および $q = (q 1, q 2, \dots, q n)$ が $n$ -次元ユークリッド空間内の二点とすれば、 $p$ から $q$ への、あるいは $q$ から $p$ への距離（距離函数 $d$ ）は

d(\mathbf {p} ,\mathbf {q} )=d(\mathbf {q} ,\mathbf {p} )={\sqrt {(q_{1}-p_{1})^{2}+(q_{2}-p_{2})^{2}+\cdots +(q_{n}-p_{n})^{2}}}={\sqrt {\sum _{i=1}^{n}(q_{i}-p_{i})^{2}}}

(1)

で与えられる。ユークリッド空間における点の位置は位置ベクトルで表されるから、さきの $p$ および $q$ をは、空間の原点を始点として終点がそれぞれの点であるような幾何ベクトルと見做すことができる。ベクトルのユークリッドノルム（英: Euclidean norm）、ユークリッド長さ（英: Euclidean length）あるいは大きさ（英: magnitude）

\|\mathbf {p} \|={\sqrt {p_{1}^{2}+p_{2}^{2}+\cdots +p_{n}^{2}}}={\sqrt {\mathbf {p} \cdot \mathbf {p} }}

とは、そのベクトルの長さを測るものである。ただし、最後の等式はドット積で表したもの。

ベクトルは、ユークリッド空間の原点（ベクトルの始点）から空間内のどこか一点（ベクトルの終点）を結ぶ有向線分として記述することもできる。有向線分の長さが実際にその始点から終点までの距離に等しいことに鑑みれば、ベクトルのユークリッドノルムがユークリッド距離の特別な場合（始点から終点までのユークリッド距離）にちょうど等しいことは明白となるだろう。

点 $p$ および $q$ 点の間の距離に、例えば $p$ から $q$ へというような向きを入れて考えるならば、それは新たにベクトル

\mathbf {q} -\mathbf {p} =(q_{1}-p_{1},q_{2}-p_{2},\cdots ,q_{n}-p_{n})

として表すことができる。三次元空間 $(n =3)$ においてこれを $p$ から $q$ へ向かう矢印として描くこともできるし、あるいは $p$ に対する $q$ の相対的な位置とみることもできる。 $p$ および $q$ が、ある同じ点の連続的な二つの時点におけるそれぞれの位置を表すものである場合は、変位ベクトル（英: displacement）とも呼ばれる。

$p, q$ 間のユークリッド距離というのは、この距離ベクトル（あるいは変位ベクトル）のユークリッド長さ

\|\mathbf {q} -\mathbf {p} \|={\sqrt {(\mathbf {q} -\mathbf {p} )\cdot (\mathbf {q} -\mathbf {p} )}}

(2)

にちょうど等しい（これは等式 1 と同値）。これはまた

\|\mathbf {q} -\mathbf {p} \|={\sqrt {\|\mathbf {p} \|^{2}+\|\mathbf {q} \|^{2}-2\mathbf {p} \cdot \mathbf {q} }}

と書くこともできる。

一次元[編集]

一次元の場合、実数直線における二点間の距離はそれら二点の数値的な差の絶対値に等しい。つまり、 $x$ および $y$ を実数直線上の二点とすれば、それらの間の距離は

{\sqrt {(x-y)^{2}}}=|x-y|

で与えられる。一次元においては、斉次かつ平行移動不変な距離函数（即ち、ノルムから導かれる距離）が（定数倍の違いを除いて）ただ一つ、ユークリッド距離のみが存在する。より高次元の場合には他のノルムが存在し得る。

二次元[編集]

ユークリッド平面において、 $p = (p 1, p 2)$ および $q = (q 1, q 2)$ のとき、それらの間の距離は

\mathrm {d} (\mathbf {p} ,\mathbf {q} )={\sqrt {(p_{1}-q_{1})^{2}+(p_{2}-q_{2})^{2}}}

で与えられる。これはピタゴラスの定理と同値。

もう一つ、等式 2 から従うこととして、点 $p$ の極座標が $(r 1, θ 1)$ および $q$ の極座標が $(r 2, θ 2)$ のとき、それらの間の距離は

{\sqrt {r_{1}^{2}+r_{2}^{2}-2r_{1}r_{2}\cos(\theta _{1}-\theta _{2})}}

で与えられる。

三次元[編集]

三次元のユークリッド空間における距離は次のように表わされる。

d(p,q)={\sqrt {(p_{1}-q_{1})^{2}+(p_{2}-q_{2})^{2}+(p_{3}-q_{3})^{2}}}.

N次元[編集]

一般的に、N次元空間において、距離は次のようなものになる。

d(p,q)={\sqrt {(p_{1}-q_{1})^{2}+(p_{2}-q_{2})^{2}+...+(p_{i}-q_{i})^{2}+...+(p_{n}-q_{n})^{2}}}.

平方ユークリッド距離[編集]

より離れた対象ほどより大きな重みをもつようにするために、通常のユークリッド距離を平方することを考える。このことを式にすれば

d^{2}(p,q)=(p_{1}-q_{1})^{2}+(p_{2}-q_{2})^{2}+\cdots +(p_{i}-q_{i})^{2}+\cdots +(p_{n}-q_{n})^{2}

と書ける。平方ユークリッド距離は三角不等式を満たさないため距離函数とはならないが、必要なのが距離を比較することだけというような最適化問題においては頻繁に使われる。

有理三角法（英語版）に関する分野において二次距離（英語版）（英: quadrance^{[note 1]}）と呼ばれることもある。

注[編集]

^ quadratic（二次の）+distance（距離）のかばん語

参考文献[編集]

Elena Deza & Michel Marie Deza (2009) Encyclopedia of Distances, page 94, Springer.
http://www.statsoft.com/textbook/cluster-analysis/, March 2, 2011

[1] quadratic（二次の）+distance（距離）のかばん語

[note 1]