同样可以利用邻域来描述极限，为此，先引入邻域概念。.定义２.１.３ 称集合{P|d(P,P0)＜δ}为 P0 的 δ 邻域，并记

这是 http://www.sxwlpx.com/jpkc/UploadFiles/200571185834538.pdf 的 HTML 档。
G o o g l e 在网路漫游时会自动将档案转换成 HTML 网页来储存。

Page 1

第二章

n 维空间中的点集

教学目的 欧氏空间 n

R 上的测度与积分是本课程的主要研究对象.本章讨

论欧氏空间上的若干拓扑概念, 特别要熟悉欧氏空间上的开集,闭集和 Borel

集,Cantor 集等常见集的构造.

本章要点 由 n

R 上的距离给出邻域,内点,聚点的定义,从而给出开集, 闭集

的定义.由开集生成一个ο -代数引入 Borel 集.Cantor 集是一个重要的集, 它有

一些很特别的性质. 充分利用几何图形的直观,以帮助学生理解.

本章先介绍 R

n

中的距离、极限、邻域、区间及其体积等基本概念，然后定

义了内点、聚点、外点、边界点、开集、闭集等特殊点和集，并讨论了开集与闭

集的性质及其构造。最后介绍了聚点原理、有限覆盖定理、距离可达定理、隔离

性定理。

§２.１ R

n

空间

数学分析中的极限概念是以距离为基础的，由此可见，距离是一相当重要的

概念，在高等代数中已对 R

n

规定过距离，且有以下三种：

设 x＝(ξ1,ξ2,...,ξn)，y＝(η1,η2,...,ηn)∈R

n

d1(x,y)＝[∑

=

n

i 1

(ξi-ηi)

2

] 2

1

d2(x,y)＝

bta

≤

≤

max |ξi-ηi|

d3(x,y)＝ ∑

=

n

i 1

|ξi-ηi|

距离的定义方法可以是多种多样的，甚至对抽象的集合也可以规定距离，但

必须满足常识性的两点基本要求：距离不能为负，两边之和不小于第三边。用公

理化形式表述如下：

---

Page 2

定义２.１.１ 设 X 是一非空集合，且存在 d：X×X→[0,∞)满足

1) d(x,y)≥0，且 d(x,y)＝0 <＝> x=y (正定性)

2) d(x,y)≤d(x,z)＋d(y,z) (三角不等式)

则称(X,d)为度量空间或距离空间，X 中的元素称为点，d(x,y)为点 x,y 之间的

距离。

注２.１.１ “往返距离相等”的基本要求，也隐含在上述定义之中了。

事实上，d(x,y)≤d(x,x)＋d(y,x)＝d(y,x)，同理 d(y,x)≤d(x,y),故

d(x,y)＝d(y,x).

上述 R

n

按所规定的三种距离都分别成为距离空间（高代已验证过满足 1），

2））。

例２.１.１

2

l ＝{(ξ1,ξ2,...,ξn ,...)|

+∞

<

∑

+∞

=1

2

i

i

ξ

}，按 d(x,y)＝

[∑

∞

=1

i

(ξi-ηi) ]

2

] 2

1

成为距离空间．其中 x＝(ξ1,ξ2,...,ξn ,...)，y＝

(η1,η2,...,ηn ,...)∈

2

l 。满足 1)显然，对 2)只须验证对任意的 x＝

(ξ1,ξ2 ,...,ξn ,...)，y＝(η1,η2 ,...,ηn ,...)，z＝(ζ1 ,ζ2 ,...,ζn ,...)

有

[∑

∞

=1

i

(ξi -ηi )

2

] 2

1

≤ [∑

∞

=1

i

(ξi -ηi )

2

] 2

1

＋ [∑

∞

=1

i

(ξi -ηi )

2

] 2

1

事实上，由 R

n

中的三角不等式:

[ ∑

=

n

i 1

(ξi-ηi)

2

] 2

1

≤ [∑

=

n

i 1

(ξi-ηi)

2

] 2

1

＋ [∑

=

n

i 1

(ξ1-ηi)

2

] 2

1

令 n→＋∞即得所证不等式。

例２.１.２ C[a,b]按 d(x,y)＝

bta

≤

≤

max |x(t)-y(t)|成为距离空间。容易验证

它满足距离条件 1)、2)。

---

Page 3

有了距离概念就可以仿照数学分析定义数列极限那样定义点列极限了。

定义２.１.２ 设 Pm ∈R

n

(m＝1,2,3,...)，如果

∞

→

m

lim d(Pm ,P0)＝0，则称点

列{Pm}收敛于 P0，记为

∞

→

m

lim Pm＝P0,或 Pm→P0 (m→＋∞)，即对任意 ε＞0，存在 N，

当 m＞N 时有：d(Pm ,P0 )＜ε.

在距离空间(R

n

,d1)中 Pm→P0 (m→＋∞)<＝>xmk →x k

0 (m→＋∞)，

k=1,2,...,n，其中 Pm＝(x 1

m ,x 2

m ,...,xmn )，P0＝(x01,x02 ,...,x n

0 ).

同样可以利用邻域来描述极限，为此，先引入邻域概念。.

定义２.１.３ 称集合{P|d(P,P0)＜δ}为 P0 的 δ 邻域，并记为

U(P0 ,δ)。P0 称为邻域的中心，δ 称为邻域的半径。在不需要特别指出是什么

样的半径时，也简称为 P0 的邻域，并记为 U(P0 )。

在 R

n

(n＝1,2,3)中，v 距离按 d1 定义时，所谓以 P0 为中心，δ 为半径的

邻域分别是 P0 为中点、 2δ 为长度的开区间；P0 为圆心、δ 为半径的开圆；P0

为球心，δ 为半径的开球。但距离按 d2 定义时，所谓以 P0 为中心，δ 为半径

的邻域分别是 P0 为中点、 2δ 为长度的开区间，P0 为正方形中心、2δ 为边长

的开正方形，P0 为正方体中心，2δ 为边长的开正方体。

不难看出：点列{Pm }收敛于 P0 的充分必要条件是对任意 ε＞0，存在 N，当

m＞N 时有：Pm ∈U(P0 )。

容易验证邻域具有下面的基本性质：

1) p∈U(P)；

---

Page 4

2) 对于∀ U(P1 )和 U(P2 )， 如果存在 P∈U1 (P)∩U2

(P)，则存在 U3 (P)

⊆U1 (P)∩U2

(P)；

3) 对于∀ Q∈U(P)，存在 U(Q)⊆U(P)；

4) 对于∀ Q≠P，存在 U(Q)和 U(P)满足 U(Q)∩U(P)＝ф

定义２.１.４ 两个非空的点集 A、B 间的距离定义为

d(A,B)＝

BqAp

∈

∈ ,

inf d(P,Q)

如果 A、B 中至少有一个是空集，则规定 d(A,B)＝0；若 B＝{x}，则记 d(A,B)＝

d(A,x)。

显然，若 A∩B≠ф，则 d(A,B)＝0。

定义２.１.５ 一个非空的点集 E 的直径定义为：

δ(E)＝

Eqp

∈

,

sup d(P,Q)

当 E＝ф 时，规定 δ(ф)＝0。显然，δ(E)＝0<＝>E 至多只有一个元素。

若 δ(E)＜＋∞，则称 E 为有界集。

定义２.１.６ 称｛(x1 ,x2 ,...,xn )｜xi ∈Ai ,i=1,2,...,n｝为集合 Ai 的

直积，记为 A1 ×A2 ×...×An 或C

n

i 1

=

Ai 。

定义２.１.６ 若 I＝C

n

i 1

=

Ii ，其中 Ii＝<ai ,bi >为直线上的区间，则称 I

为 n 维欧氏空间 R

n

中的区间；如果所有 Ii 都是开(闭、左开右闭、左闭右开)区

间，则称 I 是开(闭、左开右闭、左闭右开)区间。如果所有的 Ii 都是直线上的

有界区间，则称 I 是 R

n

中的有界区间；如果至少有一个 Ii 是直线上的无界区间，

则称 I 是 R

n

中的无界区间。

---

Page 5

注２.１.２ R

2

中的有界区间即矩形，R

3

中的区间即长方体，因此 R

n

中

的区间有时也称为“长方体”。

显然，E 为有界集的充要条件是存在有界区间 I⊃ E 或 E 为有界集的充要条

件是存在有界邻域 E0 ⊂ U(x0 ,δ)

定义２.１.７ I＝C

n

i 1

=

Ii ，其中 Ii ＝<ai ,bi >，称|I|＝C

n

i 1

=

(bi －ai )为

区间 I 的“体积”，即|I|＝C

n

i 1

=

|Ii |。当然，这里须约定 0×∞＝∞×0＝0，

当 a≠0 时，a×∞＝∞×a＝∞。

注２.１.３ R

1

中的区间体积即区间的长度，R

2

中的区间体积即矩形面积

＝长×宽，R

3

中的区间体积即长方体体积＝长×宽×高，因此规定 R

n

中的区间

体积＝n 个边长的乘积，既是合理的又是自然的。