欧几里得空间

✍ dations ◷ 2025-06-28 21:03: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维线性子流形。

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

相关

  • 联合国系统联合国系统是对联合国及其关联机构的总称,其中部分机构在联合国成立前就已存在。包括:联合国主要基于6个主要组成部分:除了独立的组织外,联合国的各机构还经常下设机构负责专门
  • 所罗门·莱夫谢茨所罗门·莱夫谢茨(英语:Solomon Lefschetz,1884年9月3日-1972年10月5日),美国数学家。他在代数拓扑方面做出了开创性的工作,并将这方面的理论应用到代数几何及非线性常微分方程的研
  • 米佐拉姆米佐拉姆邦(印地语:मिज़ोरम,拉丁字母转写:Mizoram)是位于印度东北部的一个邦。于2001年人口普查中邦人口约为890,000。面积21081km²。米佐拉姆邦的识字率高达89%,于印度各
  • 西南非洲德属西南非洲(德语:Deutsch-Südwestafrika),1884年至1915年德意志帝国的殖民地之一。德属西南非洲具有835100平方公里的面积,这是德意志帝国大陆在当时欧洲面积的1.5倍的规模。1
  • 奖励制度奖励是给予个人、团体、组织的精神或物质方面的激励,以表彰他们在某个领域的卓越表现。正式的奖通常会在一个颁奖典礼中举行,由颁奖人将奖项授予得奖者,并伴随着各种奖品,例如奖
  • 黑色幽默黑色幽默是产生于1960年代美国的一个现代主义文学流派,它由于人数众多的作家和丰富多彩的小说作品,成为现代主义中非常有影响的一支流派。现时黑色幽默已不局限于文学,在艺术和
  • Eisai Co.▲ US$ 5.82 billion (财政年度 2013) (▲ US$ 320 million(FY 2013) (JPY 33 billion)(FY 2013)卫材株式会社(エーザイ株式会社,Eisai Co., Lt
  • 阿尔巴尼亚劳动党第一书记阿尔巴尼亚劳动党中央委员会第一书记是阿尔巴尼亚劳动党的最高负责人,由于阿尔巴尼亚社会主义人民共和国是一个一党制的社会主义国家,第一书记是实际上的党和国家最高领导人职
  • 萨福萨福(古希腊文:Σαπφώ;拉丁化:Sappho,约前630年代-前570年代),古希腊的女同性恋诗人,一生写过不少情诗、婚歌、颂神诗、铭辞等。著有诗集九卷,大部分已散轶,现仅存一首完篇、三首几
  • 獾亚科 獾属()  猪獾属()  鼬獾属()獾亚科,学名,属于食肉目鼬科,包括在欧亚大陆常见的獾(即狗獾)、猪獾、鼬獾等。有时獾作为统称,也包括产于非洲的蜜獾和美洲的美洲獾。獾的主要特点