欧几里得空间

✍ dations ◷ 2025-10-14 12:26:23 #欧几里得几何,线性代数,拓扑空间,度量几何

欧几里得几何是在约公元前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维线性子流形。

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

相关

  • 琥珀琥珀是松科松属植物的树脂化石,并非树的汁液,其状态透明似水晶,色泽如玛瑙。不透明的琥珀又称蜜蜡。自新石器时代开始,它的美就被人们赞誉。琥珀能制成各种装饰品,是从古至今备受
  • 芽生噬菌体科芽生噬菌体属 Plasmavirus芽生噬菌体科(拉丁语学名:Plasmaviridae)是一种拥有环状、双链脱氧核糖核酸基因的噬菌体,它只有一个属:芽生噬菌体属。芽生噬菌体科噬菌体没有糖衣,其脱
  • 航天事故列表本列表罗列人类在探索宇宙的过程中,造成人员死亡,以及险些酿成人员死亡的航天相关事故。无论事故发生在训练,测试,组装抑或任务执行过程中,都会收录在本条目中。但不收录洲际弹道
  • 永兴岛永兴岛(英语:Yongxing Island / Woody Island)是西沙群岛之宣德群岛的岛屿,是西沙群岛面积最大的岛屿,同时也是中华人民共和国海南省三沙市人民政府驻地。越南政府声称对该岛拥有
  • TelnetTelnet是一种应用层协议,使用于互联网及局域网中,使用虚拟终端的形式,提供双向、以文字字符串为主的命令行接口交互功能。属于TCP/IP协议族的其中之一,是互联网远程登录服务的标
  • 爪哇历爪哇历,是爪哇族的历法。它与其他两个日历,公历和伊斯兰教历同时使用。公历是印度尼西亚共和国和民间社会的官方日历,穆斯林和印度尼西亚政府则用伊斯兰教历决定与宗教信仰相关
  • 玩命关头6《速度与激情6》(英语:Fast & Furious 6)是2013年美国犯罪动作片,由林诣彬执导,范·迪塞尔和保罗·沃克尔主演。此部为速度与激情系列的第六部作品,剧情设定依然于第三部(即速度与
  • 朱苏力朱苏力(1955年4月1日-),出生于安徽合肥,中国法学家,北京大学教授,曾任北京大学法学院院长。1970年入伍。1978年考入北京大学法律系。1985年,赴美公派留学。1992年回国,在北京大学法律
  • 直接民主制直接民主制是一种自古存在的民主体制,常被认为首见于原始社会。在这种体制中,每一个公民直接参与所有政策的制订,而方法是全体投票来决定,例如公民投票便是其中一种实践直接民主
  • 查尔斯·戴维·阿利斯查尔斯·戴维·阿利斯(英语:Charles David Allis,1951年年3月22日-),美国分子生物学家,他目前是洛克菲勒大学的Joy and Jack Fishman教授以及染色质生物学和表观遗传学实验室的主任