欧几里得几何是在约公元前300年，由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，所有欧几里得的公理被编排到几何原本。

欧几里得几何是在约公元前300年，由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，所有欧几里得的公理被编排到几何原本。

这些数学空间可以被扩展来应用于任何有限维度，而这种空间叫做 n维欧几里得空间（甚至简称n维空间）或有限维实内积空间。

这些数学空间还可被扩展到任意维的情形，称为实内积空间（不一定完备），希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间，空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象，它却捕获了我们熟悉的欧几里得空间的根本本质，根本性质是它的平面性。 另存在其他种类的空间，例如球面非欧几里得空间，相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。

有一种方法论把欧几里得平面看作满足可依据距离和角表达的特定联系的点所成的集合。其一是平移，它意味着移动这个平面就使得所有点都以相同方向移动相同距离。其二是关于在这个平面中固定点的旋转，其中在平面上的所有点关于这个固定点旋转相同的角度。欧几里得几何的一个基本原则是，如果通过一序列的平移和旋转可以把一个图形变换成另一个图形，平面的两个图形（也就是子集）应被认为是等价的（全等）。（参见欧几里得群）。

为了使这些在数学上精确，必须明确定义距离、角、平移和旋转的概念。标准方式是定义欧几里得平面为装备了内积的二维实数的向量空间。有着:

一旦欧几里得平面用这种语言描述了，扩展它的概念到任意维度就是简单的事情了。对于大多数部分，词汇、公式、和计算对更高维的出现不造成任何困难。（但是，旋转在高维中是非常微妙，而高维空间的可视化仍很困难，即使对有经验的数学家也一样）。

欧几里得空间的最后问题是它在技术上不是向量空间，而是向量空间作用于其上仿射空间。直觉上，区别在于对于原点应当位于这个空间的什么地方没有标准选择，因为它可以到处移动。这种技术本文中很大程度上被忽略了。

因为欧氏空间是一个度量空间，因此也是一个具有由度量推导出的自然拓扑的拓扑空间。上的度量拓扑被称为是欧氏拓扑。欧氏拓扑中的集是开的当且仅当它包含了该集的每一点周边的开球。可以证明，欧氏拓扑等价于上的积拓扑。

关于上拓扑的一个并不浅显易懂的重要结论是，鲁伊兹·布劳威尔的区域不变性。任意的子集（以及其子拓扑）与另外一个的子集同胚的话，那么这个子集自己是开的。这个结果的一个直接的结论就是与不同胚，当。

在现代数学中，欧几里得空间形成了其他更加复杂的几何对象的原型。特别是流形，它是逻辑上同胚于欧几里得空间的豪斯多夫拓扑空间。

n维欧氏空间是n维流形的典型例子，事实上也就是光滑流形。对于，任意与同胚的可微n维流形，也是微分同胚的。值得惊奇的结果是，1982年西蒙·唐纳森证明了对于的情况不成立；其反例被称为是怪R。

欧氏空间也被理解为线性流形。一个中的m维线性子流形是一个（作为仿射空间）嵌入其中的m维欧氏空间。例如，任意高维（）欧氏空间中的任意直线是该空间中的一个1维线性子流形。

一般的说，流形的概念包含了欧几里得几何和非欧几里得几何二者。在这个观点上，欧几里得空间的根本性质为它是平坦的，也就是非弯曲的。现代物理学特别是相对论，展示我们的宇宙不是真正的欧几里得时空。尽管这在理论上甚至在某些实际问题如全球定位系统和航空中是重要的，欧几里得模型仍足够精确的用于大多数其他实际问题。