次元ユークリッド空間と呼びます。ユークリッド距離は絶対値を一般化した概念です。\)と呼ばれる二項関係が定義されており、これらは実数の公理を満たすものとします。\)に関して完備な順序体としての性質を満たすということです。space)と呼びます。^{n}\)とは\(n\)個の\(\mathbb{R}\)の直積集合です。^{n}\)の点(point)と呼びます。^{n}\)の点とは実数を成分とする\(n\)次元ベクトルです。\}\end{equation*}です。\}\end{equation*}です。=\sqrt{\sum_{i=1}^{n}(x_{i}-y_{i})^{2}}\end{equation*}と定義します。