ユークリッド距離

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

定義

点 テンプレート:Mvar と テンプレート:Mvar の間のユークリッド距離とは、それらをつなぐ線分 テンプレート:Math の長さをいう。

直交座標系において、テンプレート:Mvar次元ユークリッド空間内の2点 テンプレート:Math2 に対して、テンプレート:Mvar から テンプレート:Mvar への、あるいはテンプレート:Mvar から テンプレート:Mvar への距離（距離函数 テンプレート:Mvar）は テンプレート:NumBlk で定義される。ユークリッド空間における点の位置は位置ベクトルで表されるから、先の テンプレート:Mvar および テンプレート:Mvar は、空間の原点を始点、終点がそれぞれの点である幾何ベクトルと見做すことができる。ベクトルのユークリッドノルム（テンプレート:Lang-en-short）、ユークリッド長さ（テンプレート:Lang-en-short）あるいは大きさ（テンプレート:Lang-en-short）

$\Vert 𝒑\Vert =\sqrt{{p_1}^2+{p_2}^2+\cdots +{p_n}^2}=\sqrt{𝒑\cdot 𝒑\phantom{A}}$

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

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

点 テンプレート:Math2 の間の距離に、例えば テンプレート:Mvar から テンプレート:Mvar への向きを入れて考えるならば、それは新たにベクトル

$𝒒-𝒑=(q_1-p_1,q_2-p_2,\cdots ,q_n-p_n)$

として表すことができる。三次元空間 テンプレート:Math2 においてこれを テンプレート:Mvar から テンプレート:Mvar へ向かう矢印として描くこともできるし、あるいは テンプレート:Mvar に対する テンプレート:Mvar の相対的な位置と見ることもできる。テンプレート:Mvar および テンプレート:Mvar が、ある同じ点の連続的な二つの時点におけるそれぞれの位置を表すものである場合は、変位ベクトル（テンプレート:Lang-en-short）とも呼ばれる。

テンプレート:Math 間のユークリッド距離は、この距離ベクトル（あるいは変位ベクトル）のユークリッド長さ テンプレート:NumBlk に等しい（これは等式 テンプレート:EquationRef と同値）。これを展開すると

$\Vert 𝒒-𝒑\Vert =\sqrt{\Vert 𝒑{\Vert }^2+\Vert 𝒒{\Vert }^2-2𝒑\cdot 𝒒}$

と書くこともできる。

一次元

一次元の場合、実数直線における二点間の距離はそれら二点の数としての差の絶対値に等しい。つまり、実数直線上の二点 テンプレート:Math2 の間の距離は

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

で与えられる。

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

二次元

ユークリッド平面においては、2点 テンプレート:Math2 の間の距離は

$\mathrm{d}(𝒑,𝒒)=\sqrt{(p_1-q_1{)}^2+(p_2-q_2{)}^2}$

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

もう一つ、等式 テンプレート:EquationRef から従うこととして、極座標が テンプレート:Math の点 テンプレート:Mvar と、極座標がテンプレート:Math の点 テンプレート:Mvar の間の距離は

$\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次元

一般の テンプレート:Mvar次元ユークリッド空間における距離は次の式で定義される：

$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$

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

テンプレート:仮リンクに関する分野においてテンプレート:仮リンク（テンプレート:Lang-en-short）と呼ばれることもある。

関連項目

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

参考文献

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