ユークリッド距離

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

定義

点 p と q の間のユークリッド距離とは、それらをつなぐ線分 pq の長さをいう。

直交座標系において、n次元ユークリッド空間内の2点 p = (p₁, p₂, …, p_n), q = (q₁, q₂, …, q_n) に対して、p から q への、あるいはq から p への距離（距離函数 d）は

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

(1)

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

$\|{\boldsymbol {p}}\|={\sqrt {{p_{1}}^{2}+{p_{2}}^{2}+\cdots +{p_{n}}^{2}}}={\sqrt {{\boldsymbol {p}}\cdot {\boldsymbol {p}}{\vphantom {A}}}}$

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

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

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

${\boldsymbol {q}}-{\boldsymbol {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 間のユークリッド距離は、この距離ベクトル（あるいは変位ベクトル）のユークリッド長さ

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

(2)

に等しい（これは等式 1 と同値）。これを展開すると

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

と書くこともできる。

一次元

一次元の場合、実数直線における二点間の距離はそれら二点の数としての差の絶対値に等しい。つまり、実数直線上の二点 x, y の間の距離は

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

で与えられる。

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

二次元

ユークリッド平面においては、2点 p = (p₁, p₂), q = (q₁, q₂) の間の距離は

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

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

もう一つ、等式 2 から従うこととして、極座標が (r₁, θ₁) の点 p と、極座標が(r₂, θ₂) の点 q の間の距離は

${\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}+\cdots +(p_{i}-q_{i})^{2}+\cdots +(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）と呼ばれることもある。

関連項目

• チェビシェフ距離：最も大きな寄与を持つ方向のみが関係すると仮定して距離を測る。
• ハミング距離 ：二つの文字列のビットごとの差を指し示す
• マハラノビス距離：共変行列による正規化で距離函数をスケール不変計量とする
• マンハッタン距離：軸に平行な方向のみを辿った距離を測る
• 計量
• ミンコフスキー距離：ユークリッド距離、マンハッタン距離、チェビシェフ距離などを統合するような一般化
• ピタゴラス和

参考文献

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