と表すことができる。
(S, V) をユークリッド空間とする。S の異なる2点 P, Q に対して、S の部分集合 { R ∈ S ∣ ∃ t ∈ [ 0 , 1 ] ( P R → = t ⋅ P Q → ) } {\displaystyle \{R\in S\mid {}^{\exists }t\in [0,1]({\overrightarrow {PR}}=t\cdot {\overrightarrow {PQ}})\}}
を P と Q を端点とする線分、あるいは線分 PQ などと呼ぶ。線分 PQ の長さ(あるいは大きさ)とは距離 d(P, Q) のことをいう。また、シュワルツの不等式より、S の異なる3点 P, Q, R に対して、 cos θ = ⟨ P Q → , P R → ⟩ ‖ P Q → ‖ ⋅ ‖ P R → ‖ {\displaystyle \cos \theta ={\frac {\langle {\overrightarrow {PQ}},{\overrightarrow {PR}}\rangle }{\|{\overrightarrow {PQ}}\|\cdot \|{\overrightarrow {PR}}\|}}}
を満たす θ ∈ [0, π] がただ一つ存在するので、これを線分 PQ と線分 PR のなす角 ∠QPR と言う。
以上のように定義された直線、平面、線分、角度などの概念を用いることによって、ユークリッド空間の中でユークリッド幾何学を展開することができる。 (S, V) を n-次元ユークリッド空間とする。S の部分集合 T が、S のある点 P と V のある r-次元部分空間 W を用いて(r ≤ n)、 T = { Q ∈ S ∣ P Q → ∈ W } {\displaystyle T=\{Q\in S\mid {\overrightarrow {PQ}}\in W\}} と表されるとき、T は (S, V) の r-次元部分空間であるという。特に、1次元部分空間を直線(アフィン部分直線)、2次元部分空間を平面(アフィン部分平面)と呼ぶ。(S, V) の部分空間 T に対して、上のような P ∈ S は一つには決まらないが、W は一意的に定まる。そこで、この W を T に付随する内積空間と呼ぶ。 ユークリッド空間は距離空間であるから、距離から誘導される自然な位相を持った位相空間でもある。En 上の距離位相は、ユークリッド位相あるいは通常の位相と呼ばれる。すなわち、ユークリッド空間の部分集合が開集合であるための必要十分条件は、その部分集合に属する各点に対して、それを中心とする適当な大きさの開球体をその部分集合が必ず含むことである。ユークリッド位相は、Rn を(標準位相を備えた)実数直線 R の n 個のコピーの直積と見たときの直積位相と同値であることが確かめられる。 ユークリッド空間の位相的性質について、「En の部分集合は、それがある開集合に同相となるものならばそれ自身が開集合である」というブラウウェルの領域の不変性定理 n 次元ユークリッド空間は n 次元位相多様体の原型的な例であり、可微分多様体の例ともなっている。n ≠ 4 ならば n 次元ユークリッド空間に同相な位相多様体は、可微分構造まで込めて同相(微分同相)である。しかし n = 4 のときはそうならないという驚くべき事実が、1982年にサイモン・ドナルドソンによって証明された。この反例となる(すなわち 4 次元ユークリッド空間と同相だが微分同相でない)多様体は異種4次元空間 (exotic 4-spaces) と呼ばれる。 現代数学において、ユークリッド空間はほかのより複雑な幾何学的対象の原型を成している。例えば、可微分多様体は局所的にユークリッド空間に微分同相であるようなハウスドルフ位相空間である。微分同相写像は距離や角度といったものは考慮しないので、ユークリッド幾何学で重要な役割であったこれらの概念を可分多様体の上で考えることは一般にはできない。それでも、多様体の接空間上に滑らかに変化する内積を入れることはできて、そのようなものをリーマン多様体と呼ぶ。表現を変えれば、リーマン多様体はユークリッド空間を変形し、貼り合わせて構成される空間である。そのような空間では距離や角度の概念を取り扱うことができるが、その振る舞いは曲率を伴う非ユークリッド的なものとなる。最も単純なリーマン多様体は、一定の内積を備えた Rn で、これは本質的に n-次元ユークリッド空間そのものと同一視される。 内積が負の値をとりうるものとして得られるユークリッド空間の類似物は擬ユークリッド空間
部分空間
ユークリッド空間の点集合論
平行移動、鏡映、回転などの (free) motions 、アフィン変換、射影変換などで安定な点集合論 → エルランゲン計画
En, Rn, 平行移動群 Tn との同相性など
距離空間の位相, 完備性, 局所コンパクト性etc
曲率や(二次形式orリーマン)計量など
ホモロジーやホモトピーなど
位相構造「ユークリッド位相」も参照
微分構造・異種空間
一般化
相対論の主題としての我々の宇宙はユークリッド的でない。