欧几里得空间（综述.pdfVIP

欧⼏⾥得空间（综述）

图1：三维欧⼏⾥得空间中的⼀个点可以⽤三个坐标来定位。

欧⼏⾥得空间是⼏何学中的基本空间，⽤来表⽰物理空间。最初在欧⼏⾥得的《⼏何原本》

中，它指的是三维欧⼏⾥得⼏何空间；但在现代数学中，欧⼏⾥得空间可以是任意正整数维的空

间n，当需要明确维数时，称为n维欧⼏⾥得空间。当n=1或n=2时，通常分别称为欧

[1]

⼏⾥得直线和欧⼏⾥得平⾯。“欧⼏⾥得”这⼀限定词⽤来区分欧⼏⾥得空间与后来的物理学和

现代数学中研究的其他类型的空间。

古希腊⼏何学家引⼊欧⼏⾥得空间来模拟物理空间。他们的⼯作由古希腊数学家欧⼏⾥得汇

[2]

编成《⼏何原本》。该书的⼀⼤创新是从少数基本性质（称为公设）出发，将空间的所有性质都

作为定理加以证明。这些公设有的被认为是不⾔⾃明的（例如：“通过两点可以作且可以作⼀条

直线”），有的则看似⽆法证明（例如平⾏公设）。

  在19世纪末⾮欧⼏何引⼊之后，传统的欧⼏⾥得⼏何公设被重新形式化，⽤公理化理论来

定义欧⼏⾥得空间。另⼀种定义⽅式是通过向量空间与线性代数来刻画欧⼏⾥得空间，并且已

证明