欧几里得空间

✍ dations ◷ 2025-04-26 11:52:43 #欧几里得几何,线性代数,拓扑空间,度量几何

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

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

相关

  • 杆状核粒细胞杆状核粒细胞(英语:band cell、band neutrophil、stab cell)是一种正在骨髓进行粒细胞生成(英语:granulopoiesis)的粒细胞前体,也会被释出到血液中,由晚幼粒细胞(metamyelocyte)发育而
  • 益生菌益生菌(Probiotics)是指一般认为食入后对宿主(如动物或人类)有正面效益的食入性微生物。在医学上,目前科学证据无法显示益生菌的使用有助于改善免疫系统、改善肠道健康、缓解便秘
  • 热容热容量(英语:heat capacity)是一定量的物质在一定条件下温度升高1度所需吸收的热量,用符号C 表示,单位是J·K-1或J·℃-1。其公式为:C = lim
  • 棕色遁蛛棕色遁蛛(学名:Loxosceles reclusa),也译为褐色隐蛛、棕色隐遁蛛,提琴背蜘蛛(fiddleback spider),棕色提琴蜘蛛(brown fiddler),也能为提琴蜘蛛(violin spider),但提琴蜘蛛这称号都可用于
  • 国际军事法庭军事法庭(英语:Court-martial,简称CM),亦可译为军事法院、军法审判、军法裁判、军法会议、军法处置等,是依照军法(英语:Military justice)审判关于军队等军事组织的犯罪或者在军事组
  • 荷鲁斯之眼荷鲁斯之眼又称真知之眼、埃及乌加眼,是一个自古埃及时代便流传至今的符号,也是古埃及文化中最令外人印象深刻的符号之一。荷鲁斯之眼顾名思义,它是鹰头神荷鲁斯的眼睛,代表全能
  • 柯洛让-巴蒂斯·卡米耶·柯洛(Jean-Baptiste Camille Corot,1796年7月16日-1875年2月22日),法国著名的巴比松派画家,也被誉为19世纪最出色的抒情风景画家。画风自然,朴素,充满迷蒙的空间
  • 村里村(里)为中华民国之第四级行政区划名称。隶属于区、县辖市、镇者称为里;隶属于乡者称为村。村和里下还有“邻”之编组。台湾的各村(里)之来源,主要由日治时期之保甲制度改制或合并
  • 傀儡人生《成为约翰马尔科维奇》(英语:Being John Malkovich,又译《傀儡人生》、《成为约翰马尔科维奇》)是一部1999年的电影。作者是查理·考夫曼,导演是史碧·庄斯。此片由约翰·库萨克
  • 朱兆莘朱兆莘(1879年-1932年12月10日)字鼎青,广东省花县赤坭黄沙塘村(今为巴江村)人。中华民国政治人物、外交官。朱兆莘生于一个书香门第,幼年学习刻苦,后来作为优廪生于广州广雅书院肄业