三维欧几里得空间中的每个点由三个坐标确定。
欧几里得空间是在约公元前300年,由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”,他接着分析三维物体的“立体几何”,所有欧几里得的公理在几何原本中都有所体现。
这些数学空间可以被扩展来应用于任何有限维度,而这种空间叫做 n维欧几里得空间(甚至简称
维空间)或有限维实内积空间。
这些数学空间还可被扩展到任意维的情形,称为实内积空间(不一定完备),
希尔伯特空间在高等代数教科书中也被称为欧几里得空间。
为了开发更高维的欧几里得空间,空间的性质必须非常仔细的表达并被扩展到任意维度。
尽管结果的数学非常抽象,它却呈现了我们熟悉的欧几里得空间的根本本质,根本性质是它的平面性。
另外也存在其他种类的空间,例如球面非欧几里得空间,相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。
直觉概述
有一种方法论把欧几里得平面看作满足可依据距离和角表达的特定联系的点所成的集合。其一是平移,它意味着移动这个平面就使得所有点都以相同方向移动相同距离。其二是关于在这个平面中固定点的旋转,其中在平面上的所有点关于这个固定点旋转相同的角度。欧几里得几何的一个基本原则是,如果通过一序列的平移和旋转可以把一个图形变换成另一个图形,平面的两个图形(也就是子集)应被认为是等价的(全等)。(参见欧几里得群)。
为了使这些在数学上精确,必须明确定义距离、角、平移和旋转的概念。标准方式是定义欧几里得平面为装备了内积的二维实数的向量空间。有着:
- 在这个向量空间中的向量对应于在欧几里得平面中的点,
- 在向量空间中的加法运算对应于平移,
- 内积蕴涵了角和距离的概念,它可被用来定义旋转。
一旦欧几里得平面用这种语言描述了,扩展它的概念到任意维度就是简单的事情了。对于大多数部分,词汇、公式、和计算对更高维的出现不造成任何困难。(但是,旋转在高维中是非常微妙,而高维空间的可视化仍很困难,即使对有经验的数学家也一样)。
欧几里得空间的最后问题是它在技术上不是向量空间,而是向量空间作用于其上仿射空间。直觉上,区别在于对于原点应当位于这个空间的什么地方没有标准选择,因为它可以到处移动。这种技术本文中很大程度上被忽略了。
实数坐标空间
以
表示实数域。对任意一个正整数n,实数的n元组的全体构成了
上的一个n维度向量空间,用
来表示。有时称之为实数坐标空间。
中的元素写作
,这里的
都是实数。
作为向量空间,其运算是这样定义的:
![{\displaystyle \mathbf {x} +\mathbf {y} =(x_{1}+y_{1},x_{2}+y_{2},\ldots ,x_{n}+y_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f74339e62200beb94e659a50b661f04af563dc0)
![{\displaystyle a\,\mathbf {x} =(ax_{1},ax_{2},\ldots ,ax_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4b3d4f9d7781bc05004f5eee91dc5d8f4aa3db8)
通常引入实数坐标空间
的标准正交基:
![{\displaystyle \mathbf {e} _{1}=(1,0,\ldots ,0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/196762016cde012225bcc2aadd71410cbc11b188)
![{\displaystyle \mathbf {e} _{2}=(0,1,\ldots ,0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa214906a3491b81803b8a3bfd71fc42bc33e7b8)
![{\displaystyle \vdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8039d9feb6596ae092e5305108722975060c083)
![{\displaystyle \mathbf {e} _{n}=(0,0,\ldots ,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d898b48f78b21ae8921c8d6db2db1c4f279d9d17)
于是
中任意的向量可以表示成下面的形式:
![{\displaystyle \mathbf {x} =\sum _{i=1}^{n}x_{i}\mathbf {e} _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dc65f8fe96a89c38aba6146eb880922572764f6)
n维实数坐标空间是实n维向量空间的原型。事实上,每一个n维向量空间
都可以看作实数坐标空间——
与
是同构的(isomorphic)。不过这个同构不是正则(Canonical)的,每个同构的选择都相当于在
中选择了一组基(即
的n个标准基在
中的同构像)。我们有时候只着眼于任意n维向量空间而不是具体的
,这是因为不希望为坐标的概念所束缚(即,有时候不必选择
中特定的一组基)。
欧几里得结构
至于欧几里得空间,则是在
上再添加一些内容:欧几里得结构。
为了做欧氏几何,人们希望能讨论两点间的距离,直线或向量间的夹角。一个自然的方法是在
上,对任意两个向量
、
,引入它们的“标准内积”
(一些文献上称为点积,记为
):
。
也就是说,
中的任意两个向量对应着一个实数值。
我们把
及这样定义的内积,称为
上的欧几里得结构;此时的
也被称为n维欧几里得空间,内积"<,>"称为欧氏内积。
利用这个内积,可以建立距离、长度、角度等概念:
- 向量
的长度:
![{\displaystyle \|\mathbf {x} \|={\sqrt {<\mathbf {x} ,\mathbf {x} >}}={\sqrt {\sum _{i=1}^{n}(x_{i})^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/143668ff212e59e88d6ba9eb9a842ef759f5bdcd)
这里的长度函数满足范数所需的性质,故又称为
上的欧氏范数。
和
所夹的内角以下列式子给出
![{\displaystyle \theta =\cos ^{-1}\left({\frac {<\mathbf {x} ,\mathbf {y} >}{\|\mathbf {x} \|\|\mathbf {y} \|}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91da2f909cf5d626e42cbdde6de219bae68dff7c)
这里的
为反馀弦函数。
- 最后,可以利用欧氏范数来定义
上的距离函数,或称度量:
。
这个距离函数称为欧几里得度量,它可以看作勾股定理一种形式。
这里的
仅指实数向量空间,而加入了如上定义的欧几里得结构后才称为欧氏空间;有些作者会用符号
来标记之。欧氏结构使
具有这些空间结构:内积空间、希尔伯特空间、赋范向量空间以及度量空间。
欧氏拓扑
因为欧氏空间是一个度量空间,因此也是一个具有由度量推导出的自然拓扑的拓扑空间。
上的度量拓扑被称为是欧氏拓扑。欧氏拓扑中的集是开的当且仅当它包含了该集的每一点周边的开球。可以证明,欧氏拓扑等价于
上的积拓扑。
关于
上拓扑的一个并不浅显易懂的重要结论是,鲁伊兹·布劳威尔的区域不变性。任意
的子集(以及其子拓扑)与另外一个
的子集同胚的话,那么这个子集自己是开的。这个结果的一个直接的结论就是
与
不同胚,当
。
与流形的关系
在现代数学中,欧几里得空间形成了其他更加复杂的几何对象的原型。特别是流形,它是逻辑上同胚于欧几里得空间的豪斯多夫拓扑空间。
维欧氏空间是n维流形的典型例子,事实上也就是光滑流形。对于
,任意与
同胚的可微n维流形,也是微分同胚的。值得惊奇的结果是,1982年西蒙·唐纳森证明了对于
的情况不成立;其反例被称为是怪R4。
欧氏空间也被理解为线性流形。一个
中的m维线性子流形是一个(作为仿射空间)嵌入其中的m维欧氏空间。例如,任意高维(
)欧氏空间中的任意直线是该空间中的一个1维线性子流形。
一般的说,流形的概念包含了欧几里得几何和非欧几里得几何二者。在这个观点上,欧几里得空间的根本性质为它是平坦的,也就是非弯曲的。现代物理学特别是相对论,展示我们的宇宙不是真正的欧几里得时空。尽管这在理论上甚至在某些实际问题如全球定位系统和航空中是重要的,欧几里得模型仍足够精确的用于大多数其他实际问题。
相关条目
引用