数学分析笔记-欧氏空间的拓扑.pdfVIP

数学分析笔记

1欧氏空间的拓扑

1.1距离(度量)，赋范和内积

我们用ℝ表示个R的Descartes乘积，即ℝ=ℝ×ℝ×⋯于是得到线性空间

(ℝ,+,⋅).n个

ℝ(≥2)和R的本质区别：有无穷多个不同的方向

度量空间：

定义1.1.设是非空集合，:×→ℝ称为上的距离或度量，若

i.(,)≥0,∀,∈且(,)=0⇔=

ii.(,)=(,),∀,∈.1

此时(,)称为距离空间或度量空间

（ii)（三角不等式）∀x,y,z∈E,d(x,z)d(x,y)+d(y,z)

例：在R上有度量：0(,)=−|,1(,)=|−|,0对于度量空间

（E,d），d（x，y）=（也是上的一个度量.（EXO)对任意

1,≠

≠∞,(,)=是离散度量.(EXO)

*

0,=

定义1.2.度量空间上集合的直径定义为：

dim():=sup{(,),,∈}.

集合称为是有界的，若dam()∞

序列收敛和极限：

定义1.3.设{}⊂(,)，我们称{}收敛于ℓ∈，若lim→(,ℓ)=0

∈ℕ∞

，即∀0,∃0∈ℕ

使得∀≥,(,ℓ)≤

0

ℓ→ℓ

我们称是序列的极限，又记为

定义1.4.(,),(,)是两个度量空间，我们称(,)和(,)是拓扑等价

1212

1

的，若→ℓ⇔

定义1.5.我们称和是上等价的度量，若存在,0，使得

1212

(,)≤(,)≤(,),∀,∈.

11221

易知等价的度量是拓扑等价的，反之不成立.

赋范线性空间：

定义1.6.设(,+,⋅)是一个K上的线性空间，定义∥⋅∥:→ℝ+称为上的范数，

若

i.∥∥0,∀∈,∥∥=0⇔=0,(ii)

∥∥=||⋅∥∥,∀∈,∈.(iii)∥+∥≤∥∥+∥∥,∀,∈

（三角不等式）.

我们称(,∥⋅∥)为赋范线性空间

命题1.7.设(,∥⋅∥)是赋范线性空间，则(,)=∥