ユークリッド空間：n次元デカルト幾何学とその性質

構造と基本的性質

形式的には、ユークリッド空間は内積を備えたベクトル空間ℝⁿとして捉えられ、この内積はノルムと距離を導く。二つのベクトルの内積は長さと角度を定め、そこから導かれる距離関数d(x,y)=||x−y||は、よく知られた三角不等式を満たす。直線と平面は、線形方程式、または一点と方向によって定まるアフィン部分空間である。距離を保存する変換である等長変換には、平行移動、回転、反射が含まれる。

主な特徴

• n組としての点：各点はn個の実数座標からなる順序付きリストである。
• ユークリッド距離：内積（ドット積）から導かれる長さに基づく。
• アフィン構造とベクトル構造：ベクトルは方向と変位を表す。
• 標準的な位相：開集合と閉集合、連続性、極限はℝⁿにおける通常の概念である。

歴史と発展

ユークリッド空間の考え方は、ユークリッドによる平面および立体幾何学の公理的な扱いにさかのぼる。数世紀後、ルネ・デカルトはデカルト座標を導入し、幾何学と代数学を結び付け、ℝⁿによる表現を一般的なものにした。19世紀から20世紀初頭にかけて、幾何学者と論理学者は公理を洗練し、ユークリッド幾何学と非ユークリッド幾何学の区別を明確にした。現代的な扱いでは、ユークリッド空間は線形代数学、距離空間、多様体論の枠組みの中に位置付けられる。

用途、例と重要性

ユークリッド空間は、応用数学と物理科学の大部分の基礎となっている。例として、地図や図面に用いられる平面ℝ²、力学や光学で用いられる物理空間ℝ³、統計学、最適化、データ解析で扱われる高次元のℝⁿがある。ℝⁿ上の微積分は多変数の微分と積分を与え、線形代数学は変換と座標を記述する。コンピュータグラフィックス、ロボティクス、工学はいずれも、距離と向きに関するユークリッド的概念に依拠している。

区別と注目すべき事実

ユークリッド空間は、その幾何学が平行線公準に従うという意味で「平坦」である。このことは、球面空間や双曲空間のような曲がった幾何学とは対照的である。ユークリッド空間は内積空間およびアフィン空間の特別な例であるが、すべてのアフィン空間や距離空間がユークリッド的であるわけではない。厳密な基礎については、ユークリッド幾何学を特徴付ける公理系を学ぶことができる。これにより、どの性質が特定の公理に依存し、どの性質が代数的構造のみから従うかが明らかになる。さらに背景を知るには、現代の文献における三次元空間と公理的取扱いの議論を参照されたい。3次元ユークリッド空間および公理的基礎を参照。