欧几里得空间

✍ dations ◷ 2025-04-03 12:48:05 #欧几里得几何,线性代数,拓扑空间,度量几何

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

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

相关

  • J01BA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01(抗菌药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 中间宿主中间宿主(intermediate host或secondary host)是指寄生物的幼虫、童虫或于无性生殖阶段时用以寄生的物种。如需两个以上中间宿主,则依顺序称第一、第二中间宿主等。 这类宿主也
  • 氰化锌氰化锌(化学式:Zn(CN)2)是锌的氰化物。白色有光泽柱状结晶或无定形块状固体或粉末。难溶于水和乙醇,微溶于热水,能溶于稀的无机酸并分解释放出氰化氢,溶于碱金属氰化物、氢氧化物
  • 环戊五酮环戊五酮也称为“五酮环戊烷”或“白酮酸”,是一种有机碳氧化物,其分子式为C5O5。这种化合物可看作是环戊烷的五羰基取代物或一氧化碳的五聚物。直至2000年,环戊五酮的大量合成
  • 单方论证单方论证或隐瞒证据,是一种非形式谬误,是只提出支持论点的理由,而忽略不谈反对的理由。这种谬误也称为采樱桃,源于采樱桃或其他水果的一般经验。挑水果的人把好的水果挑出来,看到
  • 牧夫座牧夫座(拉丁语:Boötes/boʊˈoʊtiːz/)是北天的一个星座,在天球上的位置跨越赤纬0°至+60°,赤经13时至16时。名称源自希腊Βοώτης,Boōtēs,意思是牧羊人或农夫(照字义是驾
  • 角足龙类角足龙类(学名:Cerapoda)是鸟臀目的一个演化支或亚目。它们是颌齿类里,装甲类的姐妹分类单元。角足龙类的特征是下颌牙齿有一层厚珐琅质。它们的牙齿咀嚼时磨损不平均,并发展出锐
  • 国内流离失所者国内流离失所者(internally displaced person,简称IDP)是指被迫逃离家园但仍在其母国境内的人。他们在法律意义上,不属于难民。截至2013年底,全世界至少有3330万人因武装冲突、普
  • 马家窑文化、瓮等日用陶器马家窑文化,为约公元前3300到公元前2100间存在于甘肃西部、青海东部的彩陶新石器时代文化,源出自仰韶文化,与西北的齐家文化一样出土过早期的青铜器物。马家窑文
  • 载湉清朝第11位皇帝光绪帝(1871年8月14日-1908年11月14日),名载湉(满语:ᡯᠠᡳ ᡨᡳᠶᠠᠨ,穆麟德:Dzai Tiyan,太清:Zai Tiyan),爱新觉罗氏,是清朝第11位,也是自入关以来的第九位皇帝,同时是中