分析专著

本章和第5章一起构成了这第一卷的核心, 其建立了表述分析结果的几何语言. 这种语言使得这些结果能够以最一般的形式呈现, 也使得其证明尽可能简单清晰.

第3.1节距离和度量空间

令

E

是一个集合.

E

上的一个距离是一个从

E \times E

到实数集

ℝ

的映射

d

, 具有以下性质:

从三角不等式根据归纳可得对于任意的

n > 2

有

d (x_{1}, x_{n}) \leq d (x_{1}, x_{2}) + d (x_{2}, x_{3}) + \dots + d (x_{n - 1}, x_{n}) .

(3.1.1) 如果

d

是

E

上的一个距离, 那么对于任意的

x, y, z \in E

有

| d (x, z) - d (y, z) | \leq d (x, y) .

第3.2节距离的例子

第3.3节等距

令

E, E^{'}

是两个度量空间,

d, d^{'}

分别是其上距离. 一个从

E

到

E^{'}

的双射

f

被称为等距, 如果

d^{'} (f (x), f (y)) = d (x, y)

对于任意的

x, y \in E

成立. 其逆映射

f^{- 1}

是从

E^{'}

到

E

的等距.

第3.4节球, 球面, 直径

第3.5节开集

第3.6节邻域

第3.7节集合的内部

第3.8节闭集, 簇点, 集合的闭包

在一个度量空间

E

中, 闭集被定义为开集的补. 空集是闭集, 整个空间

E

也是闭集. 在实轴上, 区间

[a, + \infty [

和

] - \infty, a]

是闭集. 整数集

ℤ

相对于实轴是闭集. 区间

[a, b [

和

] a, b]

在实轴上非开非闭.

点

x \in E

是

E

的子集

A

的簇点, 如果

x

的每个邻域与

A

的交均非空.

A

的所有簇点构成的集合被称为

A

的闭包, 记作

\overline{A}

. 说

x

不是

A

的簇点意味着

x

就在

E - A

的内部, 换言之:

第3.9节稠密子集, 可分空间

在度量空间

E

中, 集合

A

被称为是相对于集合

B

稠密, 如果

B

的每个点都是

A

的簇点. 换言之,

B \subset \overline{A}

(3.9.1) 如果

A

相对于

B

稠密,

B

相对于

C

稠密, 那么

A

相对于

C

稠密.

证明. 因为

A

相对于

B

稠密, 所以

B \subset \overline{A}

. 因为

B

相对于

C

稠密, 所以

C \subset \overline{B}

. 鉴于

\overline{A}

是闭集, 所以

\overline{B} \subset \overline{A}

, 最终我们可以得到

C \subset \overline{A}

, 即

A

相对于

C

稠密.

◻

若

A

相对于

E

稠密, 则其被称为处处稠密, 或者就说是在

E

中稠密.

A

可由

\overline{A} = E

刻画, 或者等价地, 每个非空开集都包含

A

的点. 一个度量空间

E

被称为是可分的, 如果其存在至多可数的稠密子集.

证明. 根据(2.2.16),

ℚ

在

ℝ

中稠密. 根据(2.2.15),

ℚ

是至多可数的.

◻

一个非空开集的族

{(G_{λ})}_{λ \in L}

被称为是度量空间

E

的一个基, 如果每个

E

中的非空开集都是族

(G_{λ})

的一个子族的并. (事实上, 这两个非空都是不必要的, 但是加上去也是一样的. 另外说一句, 虽然本书不允许空并, 但是将空并定义为空集是完全合理的.)

(3.9.3) 开集族

{(G_{λ})}_{λ \in L}

是基的充要条件为对于每个

x \in E

和每个

x

的邻域

V

, 存在下标

λ

满足

x \in G_{λ} \subset V

证明. 如果

{(G_{λ})}_{λ \in L}

是一个基, 那么对于

x

的邻域

V

, 存在开集

W \subset V

满足

x \in W

, 于是

W

是某个子族的并, 因而存在下标

μ

使得

x \in G_{μ}

. 如果对于每个

x \in E

和每个

x

的邻域

V

存在下标

λ

满足

x \in G_{λ} \subset V

, 那么设

U

是任意的开集, 对于每个

x \in U

, 当然

U

是

x

的一个邻域, 我们有存在下标

μ (x)

使得

x \in G_{μ (x)} \subset U

, 最终

U \subset ⋃_{x \in U} G_{μ (x)} \subset U

, 即

⋃_{x \in U} G_{μ (x)} = U

◻

(3.9.4) 度量空间

E

是可分空间的充要条件是其存在一个至多可数的基 (即第二可数性条件).

证明. 设

{(G_{λ})}_{λ \in L}

是度量空间

E

的一个至多可数的基, 即要求

L

是至多可数的. 考虑从每个

G_{λ}

中挑选一个点构成集合

A

. (原文要求族中排除了空集, 但是即便定义里不排除空集, 我们现在排除空集也不会影响其为一个(至多可数的)基.) 这个集合

A

显然是至多可数的. 对于

E

中任意的非空开集, 其可以表达为基的某个子族之(非空)并, 我们只需要从这个子族里挑选一个集合

G_{μ}

(我们已经排除了空集的情况),

G_{μ}

与

A

的交非空, 于是这个开集与

A

的交也非空. 换言之,

A

是

E

的一个至多可数的稠密子集, 即

E

是一个可分空间.
反过来, 设

E

是一个可分空间,

A

是

E

的一个至多可数的稠密子集. 我们考虑开集族

{B (a, 1 / n) | a \in A, n \in ℕ}

, 其中

ℕ

是正整数集. 这个集合显然是可数的, 现在我们要说明其何以成为一个基. 对于

x \in E

和

x

的一个邻域

V

, 我们知道存在

r > 0

使得

B (x, r) \subset V

. 根据阿基米德性质, 存在

n \in ℕ

满足

1 / n < r / 2

. 因为

A

是稠密的, 所以存在

a \in A

满足

a \in B (x, 1 / n)

, 于是也有

x \in B (a, 1 / n)

. 对于

y \in B (a, 1 / n)

, 我们有

\begin{array}{rcl} d (y, x) & \leq & d (y, a) + d (a, x) \\ < & 1 / n + 1 / n \\ < & r / 2 + r / 2 \\ = & r \end{array}

也就是说,

B (a, 1 / n) \subset B (x, r) \subset V

. 换言之, 我们得到了

x \in B (a, 1 / n) \subset V

. 根据(3.9.3), 这个可数的开集族的确是一个基.

◻

注记. 以上的证明亦可用来说明在一般拓扑空间中, 第二可数性条件可以推出可分性, 因为其不涉及度量.

第3.10节度量空间的子空间

令

F

是

E

的非空子集, 那么距离于

F \times F

上的限制显然是

F

上的一个度量. 我们说

F

继承了

E

的度量而成为其子空间. (最开始本书并不要求度量空间一定是非空的, 但是是否要求非空往往只是个人口味问题.)

(3.10.1) 集合

B \subset F

在子空间

F

中是开集的充要条件是存在

E

中的开集

A

使得

B = A \cap F

(3.10.2) 若要求所有

F

中的开集在

E

中也是开集, 一个充要条件是

F

在

E

中是开集.

分析专著

第3章度量空间

第3.1节距离和度量空间

第3.2节距离的例子

第3.3节等距

第3.4节球, 球面, 直径

第3.5节开集

第3.6节邻域

第3.7节集合的内部

第3.8节闭集, 簇点, 集合的闭包

第3.9节稠密子集, 可分空间

第3.10节度量空间的子空间

第3.11节连续映射

第3.12节同胚, 等价距离

第3.13节极限

第3.14节 Cauchy序列, 完备空间

第3.15节初等延拓定理

第3.16节紧空间

第3.17节紧集

第3.18节局部紧空间

第3.19节连通空间和连通集合

第3.20节两度量空间之积

分析专著

第3章 度量空间

第3.1节 距离和度量空间

第3.2节 距离的例子

第3.3节 等距

第3.4节 球, 球面, 直径

第3.5节 开集

第3.6节 邻域

第3.7节 集合的内部

第3.8节 闭集, 簇点, 集合的闭包

第3.9节 稠密子集, 可分空间

第3.10节 度量空间的子空间

第3.11节 连续映射

第3.12节 同胚, 等价距离

第3.13节 极限

第3.14节 Cauchy序列, 完备空间

第3.15节 初等延拓定理

第3.16节 紧空间

第3.17节 紧集

第3.18节 局部紧空间

第3.19节 连通空间和连通集合

第3.20节 两度量空间之积

第3章度量空间

第3.1节距离和度量空间

第3.2节距离的例子

第3.3节等距

第3.4节球, 球面, 直径

第3.5节开集

第3.6节邻域

第3.7节集合的内部

第3.8节闭集, 簇点, 集合的闭包

第3.9节稠密子集, 可分空间

第3.10节度量空间的子空间

第3.11节连续映射

第3.12节同胚, 等价距离

第3.13节极限

第3.15节初等延拓定理

第3.16节紧空间

第3.17节紧集

第3.18节局部紧空间

第3.19节连通空间和连通集合

第3.20节两度量空间之积