2
(∫
π
−π
| f (t ) − g (t ) | dt
2
)
1/2
， 求证 A 有
界，但不是全有界。
证： ∀f n (t ) = sin nt ∈ A, d ( f n , 0) = π ,∴ A 有界； 又 ∵ d ( f n , f m ) = 2π (n ≠ m), A 中 有 可 数 无 穷 多 个 点 ， 取
z 子 集
有 界 性
： 设 A ⊂ X, 若∃x0 ∈ X 和 有 限 数
r ∈ R1 , s.t.
∀x ∈ A, 有 d ( x, x0 ) < r ，称 A 是距离空间X中
的有界集，简称A有界。 z 点列收敛性：{xn } ⊂ X, x* ∈ X, ∀ε > 0, ∃N > 0, 当 n > N 时，
2. C[a, b] = { f (t ) f (t )在[a, b]上连续} ——连续函数空间
f (t ) − g (t ) ∀f (t ), g (t ) ∈ C[ a, b] ， d ( f , g ) tmax ∈[ a ,b ]
2 3. L [ a, b] = f (t )
{
ห้องสมุดไป่ตู้
∫
| f (t ) |2 dt < +∞ ——平方可积函数空间 a
m, n > N 时， d ( xm , xn ) < ε ， 称 {xn } 为 Cauchy 列或基本列。
证： d ( xm , xn ) ≤
d ( xn , x*) + d ( xm , x*)
z 完备性：若 X 中Cauchy列都是收敛列，则称 X 是完备距离 空间；否则，是不完备距离空间。 完备距离空间的例子：
