この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "ユークリッド空間"
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2023年9月)
三次元ユークリッド空間の各点は三つの成分の座標で決定される。
ユークリッド空間(ユークリッドくうかん、英: Euclidean space)とは、数学における概念の1つで、エウクレイデス(ユークリッド)が研究したような幾何学(ユークリッド幾何学)の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間[注釈 1]などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。
古典的なギリシャ数学では、ユークリッド平面や(三次元)ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。
現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、(標準的なモデルを与えるものという意味で)しばしば Rn とかかれるが、(余分な構造を想起させない)ユークリッド空間固有の性質を備えたものということを強調する意味で En と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。 ユークリッド平面を考える一つの方法は、(距離や角度といったような言葉で表される)ある種の関係を満足する点集合
直観的な説明
これらのことを数学的にきちんと述べるには、距離や角度、平行移動や回転といった概念をきちんと定義せねばならない。標準的な方法は、ユークリッド平面を内積を備えた二次元実ベクトル空間として定義することである。そうして
ユークリッド平面の点は、二次元の座標ベクトルに対応する。
平面上の平行移動は、ベクトルの加法に対応する。
回転を定義する角度や距離は、内積から導かれる。
といったようなことを考えるのである。こうやってユークリッド平面が記述されてしまえば、これらの概念を勝手な次元へ拡張することは実に簡単である。次元が上がっても大部分の語彙や公式は難しくなったりはしない(ただし、高次元の回転についてはやや注意が必要である。また高次元空間の可視化は、熟達した数学者でさえ難しい)。
最後に気を付けるべき点は、ユークリッド空間は技術的にはベクトル空間ではなくて、(ベクトル空間が作用する)アフィン空間と考えなければいけないことである。直観的には、この差異はユークリッド空間には原点の位置を標準的に決めることはできない(平行移動でどこへでも動かせるため)ことをいうものである。大抵の場合においては、この差異を無視してもそれほど問題を生じることはないであろう。 非負整数 n に対して n-次元ユークリッド空間 En とは、空でない集合 S と n-次元実内積空間 V の組 (S, V) で、次をみたすものをいう: ある非負整数 n に対する n-次元ユークリッド空間であるものを単にユークリッド空間と呼ぶ。 数空間 Rn の各点 x, y に対して x y → := y − x {\displaystyle {\overrightarrow {xy}}:=y-x} と定義すれば、Rn と(標準内積を持った内積空間としての)Rn の組 (Rn, Rn) はユークリッド空間の一つの例であり、これを n-次元の標準的ユークリッド空間と呼ぶ(記号の濫用で、これをやはり単に Rn で表す)。 (S, V) を n-次元ユークリッド空間とするとき、S の点 O と V の順序付けられた基底 B ? (e1, e2, …, en) の組 (O; B) を (S, V) の座標系と呼び、点 O を座標系の原点と呼ぶ。特に (e1, e2, …, en) が V の正規直交基底であるような座標系を直交座標系と呼ぶ。(S, V) の座標系 (O; B) が一つ固定されると、任意の P ∈ S に対して、ただ一つの x = (x1, x2, …, xn) ∈ Rn が存在して、 O P → = x 1 ⋅ e 1 + ⋯ + x n ⋅ e n {\displaystyle {\overrightarrow {OP}}=x_{1}\cdot \mathbf {e} _{1}+\cdots +x_{n}\cdot \mathbf {e} _{n}} が成り立つ。そこで、この x ∈ Rn を座標系 (O; B) における P の座標と呼ぶ。 いったん直交座標系が固定されると、n-次元ユークリッド空間 (S, V) は n-次元の標準的ユークリッド空間 (Rn, Rn) と同一視することができるので、ユークリッド空間といったら標準的ユークリッド空間のことを指す場合も多い。 なお、n-次元ユークリッド空間の定義において、「実内積空間」を「実ベクトル空間」に置き換えて得られる空間を n-次元アフィン空間と呼ぶ。ユークリッド空間は計量(内積)をもった特別なアフィン空間であるということができる。計量をもたないアフィン空間においては、二点間の距離や線分のなす角などは定義されないが、ユークリッド空間においてはこれらの概念を以下に述べる仕方で定義することができる。 (S, V) を n次元ユークリッド空間とする。二変数の函数 d: S × S → R を d ( P , Q ) := ‖ P Q → ‖ = ⟨ P Q → , P Q → ⟩ {\displaystyle d(P,Q):=\|{\overrightarrow {PQ}}\|={\sqrt {\langle {\overrightarrow {PQ}},{\overrightarrow {PQ}}\rangle }}} によって定義すればこの d は距離関数の条件を満たし、d(P, Q) を P と Q の間の距離と呼ぶ。したがって (S, d) は距離空間である。場合によっては、この距離空間と同相な位相空間もユークリッド空間と呼び、En などで表すこともある。
厳密な定義
各 P, Q ∈ S に対して、V のベクトル P Q → {\displaystyle {\overrightarrow {PQ}}} が一つ定まっている。
任意の P, Q, R ∈ S に対して、 P Q → + Q R → = P R → {\displaystyle {\overrightarrow {PQ}}+{\overrightarrow {QR}}={\overrightarrow {PR}}} 。
任意の P ∈ S と任意の v ∈ V に対して、ただ一つ Q ∈ S が存在して、 v = P Q → {\displaystyle v={\overrightarrow {PQ}}} 。
ユークリッド空間の計量