欧几里得空间

✍ dations ◷ 2025-04-04 19:37:41 #欧几里得几何,线性代数,拓扑空间,度量几何

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

这些数学空间可以被扩展来应用于任何有限维度,而这种空间叫做 n维欧几里得空间(甚至简称  n {\displaystyle n}  维空间)或有限维实内积空间。

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

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

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

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

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

R {\displaystyle \mathbb {R} } 表示实数域。对任意一个正整数n,实数的n元组的全体构成了 R {\displaystyle \mathbb {R} } 上的一个n维向量空间,用 R n {\displaystyle \mathbb {R} ^{n}} 来表示。有时称之为实数坐标空间。

R n {\displaystyle \mathbb {R} ^{n}} 中的元素写作 X = ( x 1 , x 2 , , x n ) {\displaystyle X=(x_{1},x_{2},\cdots ,x_{n})} ,这里的 x i {\displaystyle x_{i}} 都是实数。 R n {\displaystyle \mathbb {R} ^{n}} 作为向量空间,其运算是这样定义的:

通常引入实数坐标空间 R n {\displaystyle \mathbb {R} ^{n}} 的标准基:

于是 R n {\displaystyle \mathbb {R} ^{n}} 中任意的向量可以表示成下面的形式:

n维实数坐标空间是实n维向量空间的原型。事实上,每一个n维向量空间 V   {\displaystyle V\ } 都可以看作实数坐标空间—— V   {\displaystyle V\ } R n {\displaystyle \mathbb {R} ^{n}} 是同构的(isomorphic)。不过这个同构不是正则(Canonical)的,每个同构的选择都相当于在 V   {\displaystyle V\ } 中选择了一组基(即 R n {\displaystyle \mathbb {R} ^{n}} 的n个标准基在 V   {\displaystyle V\ } 中的同构像)。我们有时候只着眼于任意n维向量空间而不是具体的 R n {\displaystyle \mathbb {R} ^{n}} ,这是因为不希望为坐标的概念所束缚(即,有时候不必选择 V   {\displaystyle V\ } 中特定的一组基)。

至于欧几里得空间,则是在 R n {\displaystyle \mathbb {R} ^{n}} 上再添加一些内容:欧几里得结构。
为了做欧氏几何,人们希望能讨论两点间的距离,直线或向量间的夹角。一个自然的方法是在 R n {\displaystyle \mathbb {R} ^{n}} 上,对任意两个向量 x {\displaystyle \mathbf {x} } y {\displaystyle \mathbf {y} } ,引入它们的“标准内积” < x , y > {\displaystyle <\mathbf {x} ,\mathbf {y} >} (一些文献上称为点积,记为 x y {\displaystyle \mathbf {x} \cdot \mathbf {y} } ):

也就是说, R n {\displaystyle \mathbb {R} ^{n}} 中的任意两个向量对应着一个实数值。我们把 R n {\displaystyle \mathbb {R} ^{n}} 及这样定义的内积,称为 R n {\displaystyle \mathbb {R} ^{n}} 上的欧几里得结构;此时的 R n {\displaystyle \mathbb {R} ^{n}} 也被称为n维欧几里得空间,内积"<,>"称为欧氏内积。

利用这个内积,可以建立距离、长度、角度等概念:

这里的长度函数满足范数所需的性质,故又称为 R n {\displaystyle \mathbb {R} ^{n}} 上的欧氏范数。

这里的 cos 1 {\displaystyle \cos ^{-1}} 为反余弦函数。

这个距离函数称为欧几里得度量,它可以看作勾股定理一种形式。

这里的 R n {\displaystyle \mathbb {R} ^{n}} 仅指实数向量空间,而加入了如上定义的欧几里得结构后才称为欧氏空间;有些作者会用符号 E n {\displaystyle \mathbb {E} ^{n}} 来标记之。欧氏结构使 E n {\displaystyle \mathbb {E} ^{n}} 具有这些空间结构:内积空间、希尔伯特空间、赋范向量空间以及度量空间。

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

关于 R n {\displaystyle \mathbb {R} ^{n}} 上拓扑的一个并不浅显易懂的重要结论是,鲁伊兹·布劳威尔的区域不变性。任意 R n {\displaystyle \mathbb {R} ^{n}} 的子集(以及其子拓扑)与另外一个 R n {\displaystyle \mathbb {R} ^{n}} 的子集同胚的话,那么这个子集自己是开的。这个结果的一个直接的结论就是 R m {\displaystyle \mathbb {R} ^{m}} R n {\displaystyle \mathbb {R} ^{n}} 不同胚,当 m n {\displaystyle m\neq n}

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

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

欧氏空间也被理解为线性流形。一个 R n {\displaystyle \mathbb {R} ^{n}} 中的m维线性子流形是一个(作为仿射空间)嵌入其中的m维欧氏空间。例如,任意高维( n > 1 {\displaystyle n>1} )欧氏空间中的任意直线是该空间中的一个1维线性子流形。

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

相关

  • 纤维素乙醇纤维素乙醇(英语:cellulosic ethanol)是从木材、草,或农作物不可食用部分之木质纤维素(英语:lignocellulosic biomass)产生之一种生物燃料。木质纤维素主要是由纤维素,半纤维素和木
  • Case-control studies病例对照研究是流行病学的其中一种研究设计。它是一种较廉宜及惯常使用的流行病学研究,只需少数的研究人员(甚至只是一个)及单一的设备,且不涉及有结构的试验。它的方法是指向一
  • 种子蕨门种子蕨(学名:Pteridospermatophyta)是一类已灭绝的古代裸子植物,始见于晚泥盆纪,石炭纪、二叠纪、三叠纪时极为兴盛,到侏罗纪逐渐衰退,于白垩纪末期灭绝。种子蕨的种株不大,多数为倚
  • 保罗·杨森保罗·杨森(德语:Paul Adriaan Jan, Baron Janssen,1926年9月12日-2003年11月11日),比利时药学家,化学家,氟哌啶醇的发现者,杨森制药的创始人。1926年9月12日出生于比利时蒂伦豪特,195
  • 积分积分是微积分学与数学分析里的一个核心概念。通常分为定积分和不定积分两种。直观地说,对于一个给定的正实值函数 f ( x )
  • 美国外交关系协会美国外交关系协会、外交关系委员会(英语:Council on Foreign Relations, CFR)是美国一个专门从事外交政策和国际事务的非营利、无党派的会员制组织、出版商和智库。它被认为是
  • 1470年重要事件及趋势重要人物
  • 美国职棒大联盟年度最佳新人奖美国职棒大联盟年度最佳新人奖(Rookie of the Year Award,或称为新人王)是美国职棒大联盟每年颁给美联与国联里表现最为杰出的新人球员(Rookie)的奖项。在1940年到1946年期间,全美
  • 海豹突击队美国海军三栖特种部队(英语:United States Navy SEa, Air and Land Teams,SEAL),一般称作海豹突击队,是直属美国海军的一支特种部队,亦是世界知名的特种三栖部队,主要任务包括:非常规
  • 第一大道第一大道是美国纽约市曼哈顿东部的一条南北走向大道,南起休斯顿街,向北经过125个街块,止于东127街附近哈莱姆河上通往布朗克斯的威利斯大道桥(Willis Avenue Bridge)。在休斯顿街