-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathfabasic.tex
9453 lines (8136 loc) · 527 KB
/
fabasic.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\documentclass[openany]{ctexbook}
\usepackage{anyfontsize}
\usepackage[left=3.5cm,right=3.5cm,top=3cm,bottom=3cm,headheight=13pt]{geometry}
\ctexset{
chapter/number = \arabic{chapter},
chapter/beforeskip = {0pt},
}
\usepackage{fancyhdr}
\fancyhf{}
\fancyhead[OC]{\kaishu\nouppercase\rightmark}
\fancyhead[OR]{\thepage}
\fancyhead[EL]{\thepage}
\fancyhead[EC]{\kaishu\nouppercase\leftmark}
\pagestyle{fancy}
\usepackage{amsmath,amssymb,amsfonts,amsthm,mathrsfs,bm}
\newtheoremstyle{kaiti}{3pt}{3pt}{\kaishu}{}{\bfseries}{}{.5em}{}
\theoremstyle{kaiti}
\newtheorem{definition}{定义}[section]
\newtheorem{theorem}{定理}[section]
\newtheorem{corollary}{推论}[section]
\newtheorem{proposition}{命题}[section]
\newtheorem{lemma}{引理}[section]
\newtheoremstyle{normal}{3pt}{3pt}{}{}{\bfseries}{}{.5em}{}
\theoremstyle{normal}
\newtheorem{example}{例}[section]
\newtheorem{remark}{注}[section]
\makeatletter
\renewenvironment{proof}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item\relax
{\heiti #1}\hspace{2\labelsep}\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
\makeatother
\usepackage{graphicx}
\graphicspath{{./figures/}}
\usepackage{tikz}
\usetikzlibrary{arrows.meta}
\usetikzlibrary{cd}
\tikzcdset{
arrow style=tikz,
diagrams={>=Latex}
}
\usepackage{subfigure}
\usepackage{longtable}
\usepackage{hyperref}
\hypersetup{
breaklinks,
colorlinks = true,
linkcolor = black,
}
\begin{document}
\title{\heiti \Huge 泛函分析基础 \vspace{0.5cm}}
\author{\LARGE\kaishu 步尚全 \quad 编著 \vspace{0.5cm} \\ \LARGE\kaishu 杨敬轩 \quad 排版 \vspace{1cm}}
\maketitle
\thispagestyle{empty}
\frontmatter
\pagenumbering{Roman}
\chapter*{前言}
\markboth{前言}{}
泛函分析是数学的一个抽象分支, 它起源于经典分析. 人们在研究各种实际数学问题时发现, 虽然他们研究的对象不同, 有时可能是序列, 有时可能是函数, 有时可能是欧氏空间中的点, 但他们研究这些问题的方法和技巧本质上是一样的. 人们根据这个事实, 通过对问题的提炼, 而获得了解决这些问题有效而统一的途径, 形成了一套综合应用代数、分析和几何的理论, 这就是泛函分析的起源. 泛函分析与数学的几乎所有学科均有内在的联系, 在微分方程的现代理论、调和分析、随机过程与随机分析学、计算数学、生物数学以及经济数学等数学分支中有着十分重要的应用. 泛函分析在规划与优化、电子信息、控制论、自动化及管理学等方面也有着十分重要的应用, 这也是越来越多的大学对工科学生开设泛函分析这门课程的原因.
本书是针对工科各专业学生和没有修过实变函数的数学系学生讲授的泛函分析教材. 考虑到工科学生一般仅掌握高等数学的基本内容, 对于较深的数学内容 (如拓扑, Lebesgue积分及集合论) 所知甚少, 我们在本书的编写过程中力图避开应用这些较深的数学内容. 考虑到工科学生的数学基础, 我们尽量将所编内容细化, 在证明的推导过程中尽力给出详细过程, 只要了解高等数学基本内容的学生就可以不费力地读懂此书, 从而掌握泛函分析的基本内容及其在实际中的应用技巧. 我们希望学生们通过对详细推导过程的阅读和理解, 不光可以掌握泛函分析的基本内容和应用技巧, 也可以同时提高他们的抽象逻辑思维能力, 这对他们以后在学习和工作中掌握更加深人的数学知识是十分必要的.
本书涵盖了泛函分析的基本内容. 第1章讨论度量空间, 这是全书的基础. 在这一部分中, 将给出度量空间的基本例子, 研究度量空间的基本性质, 包括开集、闭集、内部、闭包、稠密性、序列的收敛性、可分性、完备性、紧性、映射的连续性等, 在这一部分里还将介绍著名的Banach不动点定理, 它在数学的许多分支均有重要的应用. 第2章讲授赋范空间的基本内容, 包括线性空间的维数、Hamel基、线性算子, 线性泛函以及线性泛函的表示等. 第3章研究内积空间, 主要内容包括Hilbert空间的正交投影、正交分解、标准正交基以及Hilbert空间上有界线性泛函的表示等. 第4章是本书的核心内容, 将建立赋范空间中的四大基本定理, 即Hahn-Banach定理、一致有界性原理、开映射定理和闭图像定理, 在这一章里还将给出这些基本定理的几个应用. 第5章主要讨论有界线性算子的谱论, 首先给出谱论的一般理论, 然后研究紧算子的谱论及自伴算子的谱论.
由于工科学生更加注重泛函分析的应用, 我们在每个重要理论之后力图多给一些此类抽象理论的具体应用. 这些应用包括Banach不动点定理在求解线性方程组、微分方程初值问题解的局部存在性、求解函数积分方程及隐函数存在定理方面的应用. 在第4章的最后一节, 给出了泛函分析在逼近论中的几个应用, 包括Chebyshev多项式、最小二乘法及三阶样条函数等. 另外在第4章还给出了一致有界性原理在周期函数傅里叶级数收敛性、序列的可求和性以及求数值积分等方面的几个典型应用. 为了使所讲授的主要内容紧凑些, 将与集合的半序性及势的概念与基本性质安排在附录中, 以便于读者自己补充这方面的知识.
本书是作者在清华大学多年讲授针对工科研究生的基础泛函分析这门课程的讲义基础上形成的. 在本书的撰写过程中, 得到了不少专家、同事及这门课程助教们的支持和帮助, 作者借此机会一并向他们表示衷心的感谢. 对于书中的疏漏之处, 也请读者给予批评指正.
\vspace*{0.5cm}
\hfill {\kaishu 步尚全}
\hfill 2010年9月于清华园
\chapter*{符号表}
\markboth{符号表}{}
\begin{longtable}[l]{p{4cm}l}
$\mathbb{K}$ & 实数集或复数集 \\
$\mathbb{R}$ & 实数集 \\
$\mathbb{C}$ & 复数集 \\
$\mathbb{Q}$ & 有理数集 \\
$\mathbb{N}$ & 自然数集 \\
$\mathbb{Z}$ & 整数集 \\
$\mathrm{Re}(\lambda)$ & 复数 $\lambda$ 的实部 \\
$\mathrm{Im}(\lambda)$ & 复数 $\lambda$ 的虚部 \\
$\bar{\lambda}$ & 复数 $\lambda$ 的共轭复数 \\
$d(x,y)$ & 从 $x$ 到 $y$ 的度量 \\
$B(x,r)$ & 以 $x$ 为中心以 $r$ 为半径的开球 \\
$\bar{B}(x,r)$ & 以 $x$ 为中心以 $r$ 为半径的闭球 \\
$S(x,r)$ & 以 $x$ 为中心以 $r$ 为半径的球面 \\
$M^\circ$ & $M$ 的内部 \\
$\bar{M}$ & $M$ 的闭包 \\
$M'$ & $M$ 的导集 \\
$\rho(x,M)$ & 点 $x$ 到集合 $M$ 的距离 \\
$\mathrm{diam}(M)$ & 集合 $M$ 的直径 \\
$s$ & 全体数列之集 \\
$\ell^p(1\leqslant p<\infty)$ & $p$-阶可和的数列空间 \\
$\ell^\infty$ & 有界数列空间 \\
$c_0$ & 收敛到0的数列空间 \\
$C[a,b]$ & 闭区间 $[a,b]$ 上的连续函数空间 \\
$D(T)$ & 线性算子 $T$ 的定义域 \\
$N(T)$ & 线性算子 $T$ 的零空间 \\
$R(T)$ & 线性算子 $T$ 的像空间 \\
$I_X$ & $X$ 上的恒等映射 \\
$\mathrm{span}(M)$ & 由 $M$ 生成的线性子空间 \\
$\mathrm{dim}(X)$ & 线性空间 $X$ 的维数 \\
$X^*$ & 线性空间 $X$ 的代数对偶空间 \\
$X'$ & 赋范空间 $X$ 的对偶空间 \\
$X''$ & 赋范空间 $X$ 的二次对偶空间 \\
$\|T\|$ & 线性算子 $T$ 的范数 \\
$B(X,Y)$ & 从赋范空间 $X$ 到赋范空间 $Y$ 的有界线性算子空间 \\
$B(X)$ & 赋范空间 $X$ 上的有界线性算子空间 \\
$T(M)$ & 集合 $M$ 通过映射 $T$ 下的像集 \\
$T^{-1}(M)$ & 集合 $M$ 在映射 $T$ 下的逆像 \\
$T^*$ & 算子 $T$ 的共轭算子或伴随算子 \\
$X/M$ & 商空间 \\
$\hat{x}$ & 商空间中 $x$ 所代表的等价类 \\
$G_T$ & 线性算子 $T$ 的图像 \\
$x_n\to x$ & $\{x_n\}$ 收敛到 $x$ \\
$x_n\rightharpoonup x$ & $\{x_n\}$ 弱收敛到 $x$ \\
$BV[a,b]$ & $[a,b]$ 上的有界变差函数空间 \\
$\|\omega\|_{bv}$ & $\omega$ 的有界变差范数 \\
$J:X\to X''$ & 从赋范空间 $X$ 到其二次对偶空间 $X''$ 的典范映射 \\
$M^{\perp}$ & $M$ 的正交补 \\
$\rho(T)$ & 线性算子 $T$ 的预解集 \\
$\sigma(T)$ & 线性算子 $T$ 的谱集 \\
$\sigma_p(T)$ & 线性算子 $T$ 的点谱 \\
$\sigma_c(T)$ & 线性算子 $T$ 的连续谱 \\
$\sigma_r(T)$ & 线性算子 $T$ 的剩余谱 \\
$r(T)$ & 有界线性算子 $T$ 的谱半径 \\
$\omega(T)$ & 有界线性算子 $T$ 的数值值域 \\
$R(T)$ & 有界线性算子 $T$ 的数值半径 \\
$R(\lambda,T)$ & 线性算子 $T$ 的预解式 \\
$M\oplus N$ & $M$ 与 $N$ 的直和 \\
$K(X,Y)$ & 赋范空间 $X$ 到赋范空间 $Y$ 的紧算子空间 \\
$K(X)$ & 赋范空间 $X$ 到 $X$ 的紧算子空间 \\
\end{longtable}
\tableofcontents
\mainmatter
\chapter{度量空间}
本章将研究度量空间的基本结构, 给出度量空间的基本例子, 讨论度量空间的完备性、 可分性, 子集的稠密性、紧性, 序列的收玫性, 度量的等价性, 度量空间之间映射的连续性. 在最后一节, 介绍 Banach 不动点定理及其应用. 这一章提供了全书的基础知识.
\section{度量空间的定义及例子}
度量空间是泛函分析最基本的研究框架, 其在泛函分析中的作用如同实数集 $\mathbb{R}$ 在微积分中的作用. 事实上, 它是实数集 $\mathbb{R}$ 的推广. 度量空间为统一处理分析各个分支中的重要问题提供了一个共同基础. 度量空间是更加一般的拓扑空间的特例, 但在泛函分析研究中我们仅限于度量空间的研究. 也就是说在泛函分析中我们将要遇到的空间均为度量空间.
度量空间的概念起源于经典分析, 人们在研究线性常微分方程、偏微分方程、变分法以及逼近论时, 发现不同领域的不同问题虽然提法不一样, 但却具有相互关联的特征和性质. 人们由此通过去伪存真的提炼, 获得了处理这些问题的一个有效统一的途径, 度量空间的概念和内容就是这样一个十分标准的例子. 在以后的章节里我们还会接触到赋范空间和内积空间的概念, 其结构和内容较度量空间更加丰富. 在泛函分析研究中, 我们经常将符合一定要求的元素放在一起所构成的集合称之为一个``空间'', 而该空间中的元素称之为该空间的``点''. 这样的点可以是欧氏空间中真正意义下的点, 也可以是数列或函数. 在泛函分析中我们很少研究一个点 (如一个函数或是一个数列) 的具体性质, 而是研究一个空间中点与点之间的关系, 以及空间中符合一定条件的点组成的该空间子集的一些性质.
有时我们需要在空间中的两点间研究它们之间的``距离'', 比如欧氏空间 $\mathbb{R}^n$ 中两点 $\boldsymbol{x}=\left(x_1, x_2, \cdots, x_n\right)$ 和 $\boldsymbol{y}=\left(y_1, y_2, \cdots, y_n\right)$ 之间的欧氏距离
$$
d_2(\boldsymbol{x}, \boldsymbol{y})=\left(\sum_{i=1}^n\left|x_{i}-y_{i}\right|^2\right)^{1 / 2},
$$
或是闭区间 $[a, b]$ 上两个连续函数之间的平均距离
$$
d_1(f, g)=\int_{a}^{b}|f(t)-g(t)| \mathrm{d} t.
$$
这些距离表面上可能会很不一样, 即使在同一个空间上的不同距离在形式上也可能千变万化, 但本质上空间中两点距离最主要的性质可以归纳为四条, 这就是将要引入的四条度量公理.
\begin{definition}
\label{def:distance}
设 $X$ 为集合, $d$ 为 $X \times X$ 上的实值函数. 称 $d$ 为 $X$ 上的度量 (也称为距离), 若 $d$ 满足下述公理:
(1) $\forall x, y \in X, d(x, y) \geqslant 0$ (非负性);
(2) 若 $x, y \in X$, 则 $d(x, y)=0$ 当且仅当 $x=y$ (非退化性);
(3) $\forall x, y \in X, d(x, y)=d(y, x)$ (对称性);
(4) $\forall x, y, z \in X, d(x, y) \leqslant d(x, z)+d(z, y)$ (三角不等式).
\end{definition}
此时称序对 $(X, d)$ 为度量空间 (也称为距离空间), 为叙述方便, 有时也简称 $X$ 为度量空间. $d(x, y)$ 称为从 $x$ 到 $y$ 的度量 (或距离). $X$ 中的元素称为度量空间 $(X, d)$ 中的点.
定义 \ref{def:distance} 中的四个条件称为度量公理. 由度量公理中的三角不等式可以得到广义三角不等式: 任给 $x_1, x_2, \cdots, x_n \in X$, 有
$$
d\left(x_1, x_n\right) \leqslant d\left(x_1, x_2\right)+d\left(x_2, x_3\right)+\cdots+d\left(x_{n-1}, x_n\right).
$$
另外, 若 $Y \subset X$, 则 $d$ 在 $Y \times Y$ 上的限制 $d|_{Y \times Y}$ 为 $Y$ 上的度量, 从而 $\left(Y,d|_{Y \times Y}\right)$ 也为度量空间, 我们称此度量空间为 $(X, d)$ 的(度量) 子空间, 简记为 $Y$.
很多常见的集合都可以赋予一个度量而成为度量空间. 在本书中, 我们用 $\mathbb{K}$ 来统一表示复数集 $\mathbb{C}$ 或实数集 $\mathbb{R}$.
\begin{example}
设数集 $A\subset\mathbb{K}$. 任给 $x,y\in A$, 令 $d(x,y)=|x-y|$. 则 $d$ 为 $A$ 上的度量.
\end{example}
\begin{example}
设 $1 \leqslant p<\infty, A \subset \mathbb{K}^n$, 其中 $n \geqslant 1$. 任给 $A$ 中元素 $\boldsymbol{x}=\left(x_1, x_2, \cdots, x_n\right)$ 及 $\boldsymbol{y}=\left(y_1, y_2, \cdots, y_n\right)$, 令
$$
d_{p}(\boldsymbol{x}, \boldsymbol{y})=\left(\sum_{i=1}^n\left|x_{i}-y_{i}\right|^{p}\right)^{1 / p}.
$$
则 $d_{p}$ 为 $A$ 上的度量. 事实上, 度量公理中的前三条很容易验证, 第四条我们将在 Hölder 不等式 (定理 \ref{thm:Holder_ineq}) 建立之后给出证明.
\end{example}
\begin{example}
设 $A \subset \mathbb{K}^n$, 其中 $n \geqslant 1$. 任给 $A$ 中元素 $\boldsymbol{x}=\left(x_1, x_2, \cdots, x_n\right)$ 及 $\boldsymbol{y}=\left(y_1, y_2, \cdots,\right.$, $\left.y_n\right)$, 令
$$
d_{\infty}(\boldsymbol{x}, \boldsymbol{y})=\max_{1 \leqslant i \leqslant n}\left|x_{i}-y_{i}\right|.
$$
则 $d_{\infty}$ 为 $A$ 上的度量. 度量公理的前三条容易验证的. 为了证明三角不等式, 任取 $A$ 中元素
$$
\boldsymbol{x}=\left(x_1, x_2, \cdots, x_n\right), \quad \boldsymbol{y}=\left(y_1, y_2, \cdots, y_n\right), \quad z=\left(z_1, z_2, \cdots, z_n\right),
$$
对于 $1 \leqslant i \leqslant n$, 利用数集 $\mathbb{K}$ 中的三角不等式有
$$
\left|x_{i}-y_{i}\right| \leqslant\left|x_{i}-z_{i}\right|+\left|z_{i}-y_{i}\right| \leqslant d_{\infty}(\boldsymbol{x}, \boldsymbol{z})+d_{\infty}(\boldsymbol{z}, \boldsymbol{y}),
$$
从而
$$
d_{\infty}(x, y) \leqslant d_{\infty}(x, z)+d_{\infty}(z, y).
$$
这就证明了 $d_{\infty}$ 满足三角不等式.
\end{example}
\begin{example}
设 $a<b$, 令 $C[a, b]$ 为所有闭区间 $[a, b]$ 上连续函数构成的集合. 由连续函数的性质, 任给 $x \in C[a, b]$, 函数 $|x|$ 必在 $[a, b]$ 达到上确界, 即存在 $t_0 \in[a, b]$ 使得 $\left|x\left(t_0\right)\right|=\max_{t \in[a, b]}|x(t)|$. 对于 $x, y \in C[a, b]$, 令
$$
d_{\infty}(x, y)=\max_{t \in[a, b]}|x(t)-y(t)|.
$$
则 $d_{\infty}$ 为 $C[a, b]$ 上的度量. 事实上, 度量公理的前三条也是显然成立的. 若 $x, y, z \in$ $C[a, b], t \in[a, b]$, 则
$$
|x(t)-y(t)| \leqslant|x(t)-z(t)|+|z(t)-y(t)| \leqslant d_{\infty}(x, z)+d_{\infty}(z, y),
$$
因此有
$$
d_{\infty}(x, y) \leqslant d_{\infty}(x, z)+d_{\infty}(z, y).
$$
这就证明了三角不等式. 如果不加特殊说明, 以后我们在考虑连续函数空间 $C[a, b]$ 时, 总赋予这个度量.
\end{example}
\begin{example}
设 $X$ 为集合, 若 $x, y \in X$, 定义
$$
d(x, y)= \begin{cases}0, & x=y, \\ 1, & x \neq y.\end{cases}
$$
我们来证明 $d$ 为 $X$ 上的度量. 度量公理中的前三条由定义容易验证. 设 $x, y, z \in X$, 若 $x=y$, 则由定义有 $d(x, y)=0$, 又因为 $d(x, z) \geqslant 0$ 及 $d(z, y) \geqslant 0$, 所以必有
$$
d(x, y) \leqslant d(x, z)+d(z, y).
$$
若 $x \neq y$, 则 $d(x, y)=1$. 由于 $x \neq y$, 所以要么 $x \neq z$, 要么 $z \neq y$, 从而要么 $d(x, z)=1$, 要么 $d(z, y)=1$, 又由于 $d(x, z)$ 和 $d(z, y)$ 均为非负的, 所以总有
$$
d(x, y) \leqslant d(x, z)+d(z, y).
$$
这就证明了 $d$ 满足三角不等式. 这个度量 $d$ 称为 $X$ 上的离散度量, $(X, d)$ 称为离散度量空间.
\end{example}
\begin{example}
设
$$
s=\left\{\left\{x_n\right\}: x_n \in \mathbb{K}\right\}
$$
为所有数列的集合. 若 $x=\left\{x_n\right\}, y=\left\{y_n\right\} \in s$, 令
$$
d(x, y)=\sum_{n=1}^{\infty} \frac{1}{2^n} \cdot \frac{\left|x_n-y_n\right|}{1+\left|x_n-y_n\right|}.
$$
由于
$$
\frac{\left|x_n-y_n\right|}{1+\left|x_n-y_n\right|} \leqslant 1, \quad \sum_{n=1}^{\infty} \frac{1}{2^n}<\infty,
$$
所以 $d(x, y)$ 的定义有意义. 下面证 $d$ 为 $s$ 上的度量. 度量公理中的前三条是显然成立的. 为证三角不等式, 考虑函数 $f(t)=\frac{t}{1+t}$, 其中 $t \geqslant 0$. 我们有 $f^{\prime}(t)=\frac{1}{(1+t)^2}>0$, 因此 $f$ 为单调递增函数. 任给
$$
x=\left\{x_n\right\}, \quad y=\left\{y_n\right\}, \quad z=\left\{z_n\right\} \in s,
$$
则
$$
\begin{aligned}
\frac{\left|x_n-y_n\right|}{1+\left|x_n-y_n\right|} &=f\left(\left|x_n-y_n\right|\right) \leqslant f\left(\left|x_n-z_n\right|+\left|z_n-y_n\right|\right) \\
&=\frac{\left|x_n-z_n\right|+\left|z_n-y_n\right|}{1+\left|x_n-z_n\right|+\left|z_n-y_n\right|} \leqslant \frac{\left|x_n-z_n\right|}{1+\left|x_n-z_n\right|}+\frac{\left|z_n-y_n\right|}{1+\left|z_n-y_n\right|}.
\end{aligned}
$$
不等式两边同时乘以 $\frac{1}{2^n}$, 然后求和即为三角不等式
$$
d(x, y) \leqslant d(x, z)+d(z, y).
$$
\end{example}
\begin{example}
设 $\left(X_1, d_1\right),\left(X_2, d_2\right)$ 为度量空间, 考虑笛卡儿乘积
$$
X=X_1 \times X_2=\left\{\left(x_1, x_2\right): x_1 \in X_1, x_2 \in X_2\right\}.
$$
在 $X$ 上定义
$$
d_{\infty}\left(\left(x_1, x_2\right),\left(y_1, y_2\right)\right)=\max\left\{d_1\left(x_1, y_1\right), d_2\left(x_2, y_2\right)\right\}.
$$
则易证 $d_{\infty}$ 为 $X$ 上的度量.
\end{example}
\begin{example}
令 $\ell^{\infty}$ 为所有有界数列构成的集合, 即数列 $x=\left\{x_n\right\} \in \ell^{\infty}$ 当且仅当存在与 $x$ 有关的常数 $C \geqslant 0$, 任给 $n \geqslant 1$, 有 $\left|x_n\right| \leqslant C$. 若 $x, y \in \ell^{\infty}, x=\left\{x_n\right\}, y=\left\{y_n\right\}$, 令
$$
d_{\infty}(x, y)=\sup_{n \geqslant 1}\left|x_n-y_n\right|.
$$
则 $d_{\infty}$ 为 $\ell^{\infty}$ 上的度量. 事实上, 度量公理中的前三条是显然成立的. 为了证明三角不等式, 设 $x, y, z \in \ell^{\infty}$,
$$
x=\left\{x_n\right\}, \quad y=\left\{y_n\right\}, \quad z=\left\{z_n\right\}.
$$
则
$$
\left|x_n-y_n\right| \leqslant\left|x_n-z_n\right|+\left|z_n-y_n\right| \leqslant d_{\infty}(x, z)+d_{\infty}(z, y),
$$
从而
$$
d_{\infty}(x, y) \leqslant d_{\infty}(x, z)+d_{\infty}(z, y).
$$
即三角不等式对 $d_{\infty}$ 成立.
\end{example}
\begin{example}
设 $1 \leqslant p<\infty$, 称数列 $x=\left\{x_n\right\}$ 为 $p$-阶可和的数列, 若
$$
\sum_{n=1}^{\infty}\left|x_n\right|^{p}<\infty.
$$
我们用 $\ell^{p}$ 表示所有 $p$-阶可和的数列构成的集合. 若 $x, y \in \ell^{p}$,
$$
x=\left\{x_n\right\}, \quad y=\left\{y_n\right\},
$$
令
$$
d_{p}(x, y)=\left(\sum_{n=1}^{\infty}\left|x_n-y_n\right|^{p}\right)^{1 / p}.
$$
则 $d_{p}(x, y)$ 有意义, 这是因为
$$
\sum_{n=1}^{\infty}\left|x_n-y_n\right|^{p} \leqslant \sum_{n=1}^{\infty}\left(\left|x_n\right|+\left|y_n\right|\right)^{p} \leqslant 2^{p} \sum_{n=1}^{\infty} \max\left\{\left|x_n\right|,\left|y_n\right|\right\}^{p}
$$
$$
=2^{p} \sum_{n=1}^{\infty} \max\left\{\left|x_n\right|^{p},\left|y_n\right|^{p}\right\} \leqslant 2^{p}\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}+\sum_{n=1}^{\infty}\left|y_n\right|^{p}\right)<\infty.
$$
$d_{p}$ 为 $\ell^{p}$ 上的度量. 度量公理中的前三条也是显然成立的. 三角不等式则是下述 Hölder 不等式的直接推论.
\end{example}
\begin{theorem}
\label{thm:Holder_ineq}
(Hölder不等式) 设 $1<p, q<\infty$ 且 $\frac{1}{p}+\frac{1}{q}=1$ (此时称 $p, q$ 互为共轭指数), $x=\left\{x_n\right\} \in \ell^{p}, y=\left\{y_n\right\} \in \ell^{q}$. 则 $\left\{x_n y_n\right\} \in \ell^1$ 且
\begin{equation}
\label{eq:Holder_ineq}
\sum_{n=1}^{\infty}\left|x_n y_n\right| \leqslant\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}\right)^{1/p}\left(\sum_{n=1}^{\infty}\left|y_n\right|^{q}\right)^{1/q}.
\end{equation}
\end{theorem}
\begin{proof}
由 $\frac{1}{p}+\frac{1}{q}=1$ 易得 $(p-1)(q-1)=1$. 考虑函数 $u=t^{p-1}$, 其中 $t \geqslant 0$. 其反函数为 $t=u^{q-1}$, 其中 $u \geqslant 0$. 设 $\alpha>0, \beta>0$. 曲线 $u=t^{p-1}$ 的图像将 $Otu$ 平面上由 $(0,0)$, $(0,\beta)$, $(\alpha,\beta)$ 及 $(\alpha, 0)$ 所组成的矩形分为两部分 I 和 II. 此时有两种可能性, 如图 \ref{fig:pow} 所示.
\begin{figure}[h]
\centering
\subfigure[]{
\label{fig:pow_a}
\begin{tikzpicture}
\draw[-Latex] (-0.5,0) -- (4,0) node[below] {$t$};
\draw[-Latex] (0,-0.5) -- (0,4) node[left] {$u$};
\node[below left] at (0,0) {$O$};
\node at (0.6,1.8) {I};
\node at (1.5,0.9) {II};
\draw (2,0) node[below] {$\alpha$} -- (2,3) -- (0,3) node[left] {$\beta$};
\draw[domain=0:2, thick] plot(\x, {pow(\x, 1.9)}) node[right] {$u=t^{p-1}$};
\end{tikzpicture}
}
\hspace{0.5cm}
\subfigure[]{
\label{fig:pow_b}
\begin{tikzpicture}
\draw[-Latex] (-0.5,0) -- (4,0) node[below] {$t$};
\draw[-Latex] (0,-0.5) -- (0,4) node[left] {$u$};
\node[below left] at (0,0) {$O$};
\node at (0.8,1.9) {I};
\node at (1.4,0.7) {II};
\draw (2,0) node[below] {$\alpha$} -- (2,3) -- (0,3) node[left] {$\beta$};
\draw[domain=0:2.5, thick] plot(\x, {pow(\x, 1.4)}) node[right] {$u=t^{p-1}$};
\end{tikzpicture}
}
\caption{(a) $p=1.9$; (b) $p=1.4$.}
\label{fig:pow}
\end{figure}
如果是图 \ref{fig:pow_a} 的情形, 则上述矩形的面积 $\alpha \beta$ 是两部分 I 和 II 的面积之和, 第一部分的面积等于 $u=t^{p-1}$ 的反函数 $t=u^{q-1}$ 在区间 $[0, \beta]$ 上的积分, 第二部分的面积则小于等于函数 $u=t^{p-1}$ 在区间 $[0, \alpha]$ 上的积分, 从而
\begin{equation}
\label{eq:1_2}
\alpha \beta \leqslant \int_0^{\alpha} t^{p-1} \mathrm{~d} t+\int_0^{\beta} u^{q-1} \mathrm{~d} u.
\end{equation}
易见上式在图 \ref{fig:pow_b} 的情形也成立. 因此我们总有
$$
\alpha \beta \leqslant \frac{\alpha^{p}}{p}+\frac{\beta^{q}}{q}.
$$
上式当 $\alpha=0$ 或 $\beta=0$ 时显然也成立. 若
$$
x=\left\{x_n\right\} \in \ell^{p}, \quad y=\left\{y_n\right\} \in \ell^{q}
$$
满足条件
$$
\sum_{n=1}^{\infty}\left|x_n\right|^{p}=\sum_{n=1}^{\infty}\left|y_n\right|^{q}=1
$$
利用已证不等式(\ref{eq:1_2}), 有
$$
\left|x_n y_n\right|=\left|x_n\right|\left|y_n\right| \leqslant \frac{\left|x_n\right|^{p}}{p}+\frac{\left|y_n\right|^{q}}{q},
$$
从而, 成立
$$
\sum_{n=1}^{\infty}\left|x_n y_n\right| \leqslant \frac{\sum_{n=1}^{\infty}\left|x_n\right|^{p}}{p}+\frac{\sum_{n=1}^{\infty}\left|y_n\right|^{q}}{q}=\frac{1}{p}+\frac{1}{q}=1.
$$
若数列 $x=\left\{x_n\right\}$ 的每项均为 0 或者数列 $y=\left\{y_n\right\}$ 的每项均为 0 , 则 Hölder 不等式 (\ref{eq:Holder_ineq}) 显然成立. 因此不妨假设
$$
\sum_{n=1}^{\infty}\left|x_n\right|^{p}>0, \quad \sum_{n=1}^{\infty}\left|y_n\right|^{q}>0.
$$
考虑序列 $x^{\prime}=\left\{x_n^{\prime}\right\} \in \ell^{p}, y^{\prime}=\left\{y_n^{\prime}\right\} \in \ell^{q}$, 其中
$$
x_n^{\prime}=\frac{x_n}{\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}\right)^{1 / p}}, \quad y_n^{\prime}=\frac{y_n}{\left(\sum_{n=1}^{\infty}\left|y_n\right|^{q}\right)^{1 / q}}.
$$
则有
$$
\sum_{n=1}^{\infty}\left|x_n^{\prime}\right|^{p}=\sum_{n=1}^{\infty}\left|y_n^{\prime}\right|^{q}=1
$$
由已经证明的结论可得
$$
\sum_{n=1}^{\infty}\left|x_n^{\prime} y_n^{\prime}\right| \leqslant 1
$$
等价地, 有
$$
\sum_{n=1}^{\infty}\left|x_n y_n\right| \leqslant\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}\right)^{1 / p}\left(\sum_{n=1}^{\infty}\left|y_n\right|^{q}\right)^{1 / q}.
$$
\end{proof}
\begin{remark}
(1) 当 $p=q=2$ 时, 由 Hölder 不等式, 若 $x=\left\{x_n\right\}, y=\left\{y_n\right\} \in \ell^2$, 则有 $\left\{x_n y_n\right\} \in \ell^1$, 且
\begin{equation}
\label{eq:Cauchy_Schwarz_ineq}
\sum_{n=1}^{\infty}\left|x_n y_n\right| \leqslant\left(\sum_{n=1}^{\infty}\left|x_n\right|^2\right)^{1 / 2}\left(\sum_{n=1}^{\infty}\left|y_n\right|^2\right)^{1 / 2}.
\end{equation}
这是著名的 Cauchy-Schwarz 不等式.
(2) Hölder 不等式在 $p=1, q=\infty$ 时也是成立的, 即任给
$$
x=\left\{x_n\right\} \in \ell^1, \quad y=\left\{y_n\right\} \in \ell^{\infty},
$$
则 $\left\{x_n y_n\right\} \in \ell^1$, 且
\begin{equation}
\sum_{n=1}^{\infty}\left|x_n y_n\right| \leqslant \sum_{n=1}^{\infty}\left|x_n\right| \sup_{n \geqslant 1}\left|y_n\right|.
\end{equation}
这是由于任取 $n \geqslant 1$, 显然有
$$
\left|x_n y_n\right| \leqslant\left|x_n\right| \sup_{n \geqslant 1}\left|y_n\right|.
$$
对这个不等式求无穷和就可以得到式 (1.4).
(3) Hölder 不等式 (\ref{eq:Holder_ineq}) 对任意数列 $x=\left\{x_n\right\}$ 和 $y=\left\{y_n\right\}$ 均成立. 事实上, 若 $\sum_{n=1}^{\infty}\left|x_n\right|^{p}=$ $\infty$ 或 $\sum_{n=1}^{\infty}\left|y_n\right|^{q}=\infty$, 则 Hölder 不等式退化为 $\infty \leqslant(\infty) \cdot(\infty), 0 \leqslant 0 \cdot(\infty), 0 \leqslant(\infty) \cdot 0$ 或 $\infty \leqslant c(\infty).$ 在 $p=1, q=\infty$ 情形, 我们也有类似结果.
\end{remark}
利用 Hölder不等式 (\ref{eq:Holder_ineq}), 我们可以证明例 1.1.9 中定义的度量 $d_{p}$ 满足三角不等式. 设 $x=\left\{x_n\right\} \in \ell^{p}, y=\left\{y_n\right\} \in \ell^{p}$. 则有
$$
\left|x_n+y_n\right|^{p} \leqslant\left|x_n\right|\left|x_n+y_n\right|^{p-1}+\left|y_n\right|\left|x_n+y_n\right|^{p-1}.
$$
因此由 Hölder 不等式 (\ref{eq:Holder_ineq}), 得
$$
\begin{aligned}
\sum_{n=1}^{\infty}\left|x_n+y_n\right|^{p} \leqslant & \sum_{n=1}^{\infty}\left|x_n\right|\left|x_n+y_n\right|^{p-1}+\sum_{n=1}^{\infty}\left|y_n\right|\left|x_n+y_n\right|^{p-1} \\
\leqslant &\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}\right)^{1 / p}\left(\sum_{n=1}^{\infty}\left|x_n+y_n\right|^{(p-1) q}\right)^{1 / q} \\
&+\left(\sum_{n=1}^{\infty}\left|y_n\right|^{p}\right)^{1 / p}\left(\sum_{n=1}^{\infty}\left|x_n+y_n\right|^{(p-1) q}\right)^{1 / q} \\
=&\left(\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}\right)^{1 / p}+\left(\sum_{n=1}^{\infty}\left|y_n\right|^{p}\right)^{1 / p}\right)\left(\sum_{n=1}^{\infty}\left|x_n+y_n\right|^{(p-1) q}\right)^{1 / q}.
\end{aligned}
$$
注意到 $(p-1) q=p$ 及 $1-\frac{1}{q}=\frac{1}{p}$, 我们就可以得到著名的 Minkowski 不等式:
\begin{equation}
\label{eq:Minkowski_ineq}
\left(\sum_{n=1}^{\infty}\left|x_n+y_n\right|^{p}\right)^{1 / p} \leqslant\left(\sum_{n=1}^{\infty}\left|x_n\right|^{p}\right)^{1 / p}+\left(\sum_{n=1}^{\infty}\left|y_n\right|^{p}\right)^{1 / p}.
\end{equation}
若 $x=\left\{x_n\right\} \in \ell^{p}, y=\left\{y_n\right\} \in \ell^{p}, z=\left\{z_n\right\} \in \ell^{p}$, 则应用 Minkowski 不等式 (\ref{eq:Minkowski_ineq}), 有
$$
\begin{aligned}
d_{p}(x, y) &=\left(\sum_{n=1}^{\infty}\left|x_n-y_n\right|^{p}\right)^{1 / p}=\left(\sum_{n=1}^{\infty}\left|\left(x_n-z_n\right)+\left(z_n-y_n\right)\right|^{p}\right)^{1 / p} \\
& \leqslant\left(\sum_{n=1}^{\infty}\left|x_n-z_n\right|^{p}\right)^{1 / p}+\left(\sum_{n=1}^{\infty}\left|z_n-y_n\right|^{p}\right)^{1 / p}=d_{p}(x, z)+d_{p}(z, y).
\end{aligned}
$$
即 $\ell^{p}$ 中的三角不等式成立.
若 $A \subset \mathbb{K}^n$ 且 $\boldsymbol{x}=\left(x_1, x_2, \cdots, x_n\right)$ 及 $\boldsymbol{y}=\left(y_1, y_2, \cdots, y_n\right)$ 为 $A$ 中元素, 对 $k \geqslant n+1$, 令 $x_{k}=$ $y_{k}=0$. 则 $x, y$ 可以自然地视为 $\ell^{p}$ 中的元素. 应用已证的 $\ell^{p}$ 空间中的三角不等式可以得到例 1.1.2 中定义的度量 $d_{p}$ 的三角不等式.
\begin{example}
若 $a<b, 1 \leqslant p<\infty$, 闭区间 $[a, b]$ 上的连续函数空间 $C[a, b]$ 还可以赋予如下度量:
$$
d_{p}(x, y)=\left(\int_{a}^{b}|x(t)-y(t)|{ }^{p} \mathrm{~d} t\right)^{1 / p}.
$$
度量公理中前三条是显然成立的. 在 $p=1$ 情形, 关于 $d_1$ 的三角不等式是显然成立的, 在 $1<p<\infty$ 情形, 要建立关于 $d_{p}$ 的三角不等式, 需要用到关于连续函数的 Hölder 不等式
$$
\int_{a}^{b}|x(t) y(t)| \mathrm{d} t \leqslant\left(\int_{a}^{b}|x(t)|^{p} \mathrm{~d} t\right)^{1 / p}\left(\int_{a}^{b}|y(t)|^{q} \mathrm{~d} t\right)^{1 / q},
$$
其中 $x, y \in C[a, b]$, 且 $1<p, q<\infty$ 互为共轭指数. 我们在这里不给出其证明, 有兴趣的读者可以比照定理 \ref{thm:Holder_ineq} 的证明给出其完整证明.
\end{example}
\section{开集和闭集}
正如我们在引入度量空间概念时所说的那样, 在泛函分析中很少研究度量空间中某个点的具体性质, 而是研究该空间中符合一定条件的点组成集合的具体性质, 以及该空间中不同集合间的内在联系. 我们下面要引入的度量空间中的开球、闭球和球面的概念是欧氏空间中相应概念在度量空间中的自然推广.
设 $(X, d)$ 为度量空间, $x_0 \in X, r>0$. 令
$$
\begin{aligned}
B(x_0, r)&=\{x \in X: d(x_0, x)<r\}, \\
\bar{B}(x_0, r)&=\{x \in X: d(x_0, x) \leqslant r\}, \\
S(x_0, r)&=\{x \in X: d(x_0, x)=r\}.
\end{aligned}
$$
称 $B\left(x_0, r\right)$ 为以 $x_0$ 为中心以 $r$ 为半径的开球, 称 $\bar{B}\left(x_0, r\right)$ 为以 $x_0$ 为中心以 $r$ 为半径的闭球, $S\left(x_0, r\right)$ 则称为以 $x_0$ 为中心以 $r$ 为半径的球面.
\begin{example}
(1) 若在 $\mathbb{R}^3$ 上赋予例1.1.2中定义的度量 $d_2$, 则上面定义的开球、闭球及球面与通常 $\mathbb{R}^3$ 中的相应概念一致.
(2) 设 $(X, d)$ 为离散度量空间, 则
$$
B\left(x_0, 1\right)=\left\{x_0\right\}, \quad \bar{B}\left(x_0, 1\right)=X, \quad S\left(x_0, 1\right)=X \backslash\left\{x_0\right\}.
$$
若 $0<r<1$, 则
$$
B\left(x_0, r\right)=\bar{B}\left(x_0, r\right)=\left\{x_0\right\}, \quad S\left(x_0, r\right)=\varnothing.
$$
而当 $r>1$ 时, 我们有
$$
B\left(x_0, r\right)=\bar{B}\left(x_0, r\right)=X, \quad S\left(x_0, r\right)=\varnothing.
$$
(3) 设 $X=[0,1]$, 赋予例 1.1.1 定义的度量, 若 $x_0=\frac{1}{4}, r=\frac{1}{2}$, 则 $B\left(x_0, r\right)=\left[0, \frac{3}{4}\right)$,
$$
\bar{B}\left(x_0, r\right)=\left[0, \frac{3}{4}\right], S\left(x_0, r\right)=\left\{\frac{3}{4}\right\}
$$
\end{example}
\begin{definition}
设 $(X, d)$ 为度量空间, $M \subset X, x_0 \in M$. 若存在 $r>0$ 使得 $B\left(x_0, r\right) \subset M$, 则称 $x_0$ 为 $M$ 的内点. $M$ 的所有内点之集称为 $M$ 的内部, 记为 $M^{\circ}$. 若 $M=M^{\circ}$, 即 $M$ 的所有点均为内点, 则称 $M$ 为 $X$ 的开子集, 简称开集. 称 $F \subset X$ 为 $X$ 的闭子集, 简称闭集, 若 $F$ 的余集 $F^{\mathrm{c}}=X \backslash F$ 为开集.
\end{definition}
$M^{\circ}$ 总为开集. 事实上, 任给 $x \in M^{\circ}$, 存在 $r>0$ 使得 $B(x, r) \subset M$, 下证 $B(x, r) \subset M^{\circ}:$ 任取 $y \in B(x, r)$, 令
$$
\delta=\frac{r-d(x, y)}{2}>0,
$$
利用三角不等式易得 $B(y, \delta) \subset B(x, r)$, 所以 $B(y, \delta) \subset M$, 从而 $y \in M^{\circ}$. 这就证明了 $B(x, r) \subset M^{\circ}$, 即 $M^{\circ}$ 的所有点均是 $M^{\circ}$ 的内点, 由定义知 $M^{\circ}$ 为开集.
$M^{\circ}$ 为包含在 $M$ 中的最大开集. 事实上, 设 $G \subset M$ 为开集, $x \in G$, 则由于 $G$ 是开集, 存在 $r>0$ 使得 $B(x, r) \subset G \subset M$, 从而 $x$ 为 $M$ 的内点, 即 $x \in M^{\circ}$. 所以 $G \subset M^{\circ}$.
开球 $B(x, r)$ 必为开集. 事实上, 由三角不等式, 若 $y \in B(x, r)$, 总有
$$
B\left(y, \frac{r-d(x, y)}{2}\right) \subset B(x, r),
$$
从而 $y$ 必为 $B(x, r)$ 的内点. 这就说明 $B(x, r)$ 为开集.
闭球 $\bar{B}(x, r)$ 必为闭集. 为此我们来证明其余集是开集. 设 $y \in \bar{B}(x, r)^{\mathrm{c}}$, 则 $d(x, y)>$ $r$, 令
$$
\delta=\frac{d(x, y)-r}{2}>0,
$$
则利用三角不等式易得
$$
B(y, \delta) \subset \bar{B}(x, r)^{\mathrm{c}}.
$$
这说明 $\bar{B}(x, r)^{\mathrm{c}}$ 的每个点均是其自身的内点, 从而 $\bar{B}(x, r)^{\mathrm{c}}$ 为开集. 因此 $\bar{B}(x, r)$ 为闭集.
需要特别注意的是, 不为开集的子集末必是闭集, 不为闭集的子集末必一定是开集. 为此可以考虑 $X=\mathbb{R}$ 赋予通常度量的情形, 半开半闭区间 $(0,1]$ 既不是开集, 也不是闭集.
另外, 说一个集合是开集, 一定要强调它相对于哪个度量空间. 若 $(X, d)$ 为度量空间, $Y$ 为 $X$ 的子集 (则 $Y$ 是 $X$ 的度量子空间), 若 $M \subset Y$ 为 $Y$ 的开集, 则 $M$ 末必是 $X$ 的开集. 例如, 取 $X=\mathbb{R}, Y=[0,1]$, 则半开半闭区间 $\left(\frac{1}{2}, 1\right]$ 为 $Y$ 的开集, 但 $\left(\frac{1}{2}, 1\right]$ 不为 $X$ 的开集.
\begin{example}
(1) 开区间 $(a, b)$ 为 $\mathbb{R}$ 的开集, 闭区间 $[a, b]$ 为 $\mathbb{R}$ 的闭集. 在 $\mathbb{K}^n$ 中, 开球
$$
\left\{\left(x_1, x_2, \cdots, x_n\right) \in \mathbb{K}^n: \sum_{i=1}^n\left|x_{i}-a_{i}\right|^2<r^2\right\}
$$
为开集.
(2) 若 $(X, d)$ 为离散度量空间, 则 $X$ 的任意子集 $M$ 均为开集. 这是由于任取 $x \in M$, $B\left(x, \frac{1}{2}\right)=\{x\} \subset M$, 从而 $M$ 的每个点均是其内点, 由定义知 $M$ 为开集. 从而 $X$ 的任意子集均为闭集.
\end{example}
\begin{theorem}
(开集的基本性质) 设 $(X, d)$ 为度量空间, 则
(1) $\varnothing, X$ 为开集;
(2)任意多个开集的并集仍为开集;
(3)有限多个开集的交集仍为开集.
\end{theorem}
\begin{proof}
(1) $\varnothing$ 显然为开集, 这是由于 $\varnothing$ 中没有元素, 所以没有什么需要验证的. 若 $x \in X$, 则有 $B(x, 1) \subset X$. 故 $X$ 为开集.
(2)设 $\left(G_{i}\right)_{i \in I}$ 为一族开集, 其中 $I$ 为指标集, 令
$$
G=\bigcup_{i \in I} G_{i}.
$$
若 $x \in G$, 则存在 $i \in I$, 使得 $x \in G_{i}$. 由于 $G_{i}$ 为开集, 存在 $r>0$, 使得 $B(x, r) \subset G_{i}$, 从而 $B(x, r) \subset G$, 即 $x$ 为 $G$ 的内点, 所以 $G$ 为开集.
(3)设 $G_1, G_2, \cdots, G_n$ 为 $X$ 的 $n$ 个开集. 若 $x \in \bigcap_{i=1}^n G_{i}$, 则任取 $1 \leqslant i \leqslant n$, 都有 $x \in G_{i}$. 由于 $G_{i}$ 是开集, 故存在 $r_{i}>0$ 使得 $B\left(x, r_{i}\right) \subset G_{i}$. 令
$$
r=\min \left\{r_1, r_2, \cdots, r_n\right\}>0,
$$
则有 $B(x, r) \subset \bigcap_{i=1}^n G_{i}$. 这就证明了 $\bigcap_{i=1}^n G_{i}$ 的所有点都是它的内点, 所以 $\bigcap_{i=1}^n G_{i}$ 为开集.
\end{proof}
若 $X$ 为非空集合, $\mathcal{T}$ 为由 $X$ 满足一定条件的某些子集构成的集合, 如果 $\mathcal{T}$ 满足定理 1.2.1 所述的三条性质, 则称序对 $(X, \mathcal{T})$ 为一个拓扑空间, $\mathcal{T}$ 中的每一个元素 (事实上是 $X$ 的子集)称为拓扑空间 $(X, \mathcal{T})$ 的一个开集. 因此, 若 $(X, d)$ 为度量空间, $\mathcal{T}$ 为所有 $X$ 的开集构成的集合, 则 $(X, \mathcal{T})$ 构成一个拓扑空间. 从这个意义上来讲, 度量空间是一类特殊的拓扑空间. 拓扑空间是拓扑学里要研究的内容, 在泛函分析研究中我们仅限于度量空间范畴. 对于度量空间中的闭集, 我们也有类似于开集的基本性质.
\begin{theorem}
(闭集的基本性质) 设 $(X, d)$ 为度量空间, 则
(1) $\varnothing, X$ 为闭集;
(2)任意多个闭集的交集仍为闭集;
(3)有限多个闭集的并集仍为闭集.
\end{theorem}
\begin{proof}
(1) 由于 $\varnothing=X^{\mathrm{c}}, X=\varnothing^{\mathrm{c}}$, 所以应用定理 1.2.1 及闭集的定义知 $\varnothing, X$ 为闭集.
(2) 设 $\left(F_{i}\right)_{i \in I}$ 为一族闭集, 其中 $I$ 为指标集, 令 $F=\bigcap_{i \in I} F_{i}$. 由定理 1.2.1, 得 $G=F^{\mathrm{c}}=$ $\bigcup_{i \in I} F_{i}^{c}$ 为开集. 所以 $F$ 为闭集.
(3) 设 $F_1, F_2, \cdots, F_n$ 为 $X$ 的 $n$ 个闭集. 若 $F=\bigcup_{i=1}^n F_{i}$, 由定理 1.2.1, 得 $F^{c}=\bigcap_{i=1}^n F_{i}^{c}$ 为开集. 所以 $\bigcup_{i=1}^n F_{i}$ 为闭集.
\end{proof}
由上面两个定理我们知道, 在任意度量空间 $(X, d)$ 中有两个既是开集, 又是闭集的集合 : $\varnothing, X$.
\begin{definition}
设 $(X, d)$ 为度量空间, $M \subset X, x \in X$ 称为 $M$ 的聚点, 若任给 $r>0$, $M \cap(B(x, r) \backslash\{x\}) \neq \varnothing$, 即 $M \cap B(x, r)$ 不为空集且总有异于 $x$ 的点. $M$ 的所有聚点之集称为 $M$ 的导集, 记为 $M^{\prime}$. 定义 $\bar{M}=M \cup M^{\prime}$, 称 $\bar{M}$ 为 $M$ 的闭包.
\end{definition}
若 $X=\mathbb{R}$ 赋予通常意义下的度量, $M=(0,1] \cup\{2\}$. 则 0 为 $M$ 的聚点, 2 不是 $M$ 的聚点. $M^{\prime}=[0,1], \bar{M}=[0,1] \cup\{2\}$. 还需要说明的是, 开球 $B(x, r)$ 的闭包不一定是闭球 $\bar{B}(x, r)$ (可考虑离散度量空间中以 1 为半径的球), 但总有 $\overline{B(x, r)} \subset \bar{B}(x, r)$. 下面这个结果给出了闭包的一个等价定义. 我们在以后关于闭包的讨论中, 一般用这个等价定义.
\begin{theorem}
设 $(X, d)$ 为度量空间, $M \subset X$. 则
\begin{equation}
\bar{M}=\{x \in X: \forall r>0, M \cap B(x, r) \neq \varnothing\}.
\end{equation}
\end{theorem}
\begin{proof}
设 $x \in \bar{M}$. 若 $x \in M$, 则任给 $r>0$ 有 $x \in M \cap B(x, r)$, 所以 $M \cap B(x, r) \neq \varnothing$. 若 $x \in M^{\prime}$, 则任给 $r>0$ 有
$$
M \cap(B(x, r) \backslash\{x\}) \neq \varnothing,
$$
从而也有 $M \cap B(x, r) \neq \varnothing$.
反之, 假设任给 $r>0$ 均有 $M \cap B(x, r) \neq \varnothing$. 若 $x \in M$, 则显然有 $x \in \bar{M}$. 若 $x \notin M$, 则任给 $r>0$ 有 $M \cap(B(x, r) \backslash\{x\}) \neq \varnothing$, 即 $x$ 为 $M$ 的聚点, 此时也有 $x \in \bar{M}$.
\end{proof}
\begin{theorem}
设 $(X, d)$ 为度量空间, $M \subset X$. 则 $\bar{M}$ 为闭集, 且为包含 $M$ 的最小闭集.
\end{theorem}
\begin{proof}
首先证明 $\bar{M}$ 为闭集. 设 $x \in \bar{M}^{\mathrm{c}}$, 即 $x \notin \bar{M}$. 由定理 1.2.3, 存在 $r>0$ 使得 $M \cap B(x, r)=\varnothing$. 若 $y \in B(x, r / 2)$, 则由三角不等式有
$$
B(y, r / 2) \subset B(x, r),
$$
从而 $M \cap B(y, r / 2)=\varnothing$. 由定理 1.2.3, 这说明 $y \notin \bar{M}$. 因此
$$
B(x, r / 2) \cap \bar{M}=\varnothing,
$$
或等价地有 $B(x, r / 2) \subset \bar{M}^{\mathrm{c}}$. 因此 $\bar{M}^{\mathrm{c}}$ 为开集, 由定义知 $\bar{M}$ 为闭集.
再证 $\bar{M}$ 为包含 $M$ 的最小闭集. 若 $M \subset F$ 且 $F$ 为闭集. 假设 $\bar{M} \backslash F \neq \varnothing$, 即存在 $y_0 \in \bar{M}$, 但 $y_0 \notin F$, 即 $y_0 \in F^{\mathrm{c}}$. 由 $F$ 为闭集知 $F^{\mathrm{c}}$ 为开集, 因此存在 $r>0$ 使得 $B\left(y_0, r\right) \subset F^{\mathrm{c}}$, 或者等价地有 $B\left(y_0, r\right) \cap F=\varnothing$. 由假设 $M \subset F$ 知 $B\left(y_0, r\right) \cap M=\varnothing$. 这说明 $y_0 \notin \bar{M}$, 矛盾! 所以必有 $\bar{M} \subset F$. 这样就证明了 $\bar{M}$ 为包含 $M$ 的最小闭集.
\end{proof}
\begin{corollary}
设 $(X, d)$ 为度量空间, $M \subset X$. 则 $\{M\}$ 为闭集当且仅当 $M=\bar{M}$. 证明假设 $M$ 为闭集, 由定理 1.2.4 知 $\bar{M}$ 为包含 $M$ 的最小闭集, 从而 $M=\bar{M}$. 反之, 若 $M=\bar{M}$, 则由定理 1.2.4 知 $\bar{M}$ 总为闭集. 故 $M$ 为闭集.
\end{corollary}
下面我们讨论度量空间之间映射的连续性, 它是高等数学中我们学过的函数连续性的推广.
\begin{definition}
设 $\left(X_1, d_1\right),\left(X_2, d_2\right)$ 为度量空间, $T: X_1 \rightarrow X_2$ 为映射, $x_0 \in X_1$ 固定. 称 $T$ 在 $x=x_0$ 处连续, 若任给 $\varepsilon>0$, 存在 $\delta>0$, 使得任给 $x \in X_1$, 若 $d_1\left(x, x_0\right)<\delta$, 都有 $d_2\left(T x, T x_0\right)<\varepsilon$. 若 $T$ 处处连续, 则称 $T$ 为连续映射.
\end{definition}
若 $X_1=(a, b), X_2=\mathbb{K}$, 则上述连续性的定义与函数的连续性吻合. $T$ 在 $x=x_0$ 处连续当且仅当任给 $\varepsilon>0$, 存在 $\delta>0$, 使得
$$
T\left(B\left(x_0, \delta\right)\right) \subset B\left(T x_0, \varepsilon\right),
$$
其中 $T\left(B\left(x_0, \delta\right)\right)$ 为 $B\left(x_0, \delta\right)$ 通过 $T$ 的像集, 定义为
$$
T\left(B\left(x_0, \delta\right)\right)=\left\{T x: x \in B\left(x_0, \delta\right)\right\}.
$$
另外, 若 $\left(X_1, d_1\right)$ 为离散度量空间, $\left(X_2, d_2\right)$ 为任意度量空间, 则 $T$ 必为连续映射. 事实上, 任取 $x_0 \in X_1$ 及 $\varepsilon>0$, 可取 $\delta=1 / 2$, 此时有 $B\left(x_0, 1 / 2\right)=\left\{x_0\right\}$, 所以总有
$$
T\left(B\left(x_0, \delta\right)\right)=\left\{T x_0\right\} \subset B\left(T x_0, \varepsilon\right).
$$
因此 $T$ 在 $x=x_0$ 处连续.
设 $\left(X_1, d_1\right),\left(X_2, d_2\right)$ 为度量空间, 映射 $T: X_1 \rightarrow X_2$ 称为 Lipschitz 映射, 若存在常数 $C \geqslant 0$, 使得任给 $x, y \in X_1$,
$$
d_2(T x, T y) \leqslant C d_1(x, y)
$$
成立. 由定义容易证明 Lipschitz 映射均为连续映射.
设 $T: X \rightarrow Y$ 为映射, 若 $G \subset Y$, 定义 $G$ 通过 $T$ 的逆像为
$$
T^{-1}(G)=\{x \in X: T x \in G\}.
$$
需要注意的是上式中的 $T^{-1}(G)$ 仅仅是一个数学记号, 不要把它理解为 $G$ 在 $T$ 的逆映射 $T^{-1}$ 下的像集, 事实上, 如果不假设 $T$ 为一一映射, $T$ 的逆映射 $T^{-1}$ 根本不存在.
下面我们用开集的逆像为开集来刻画映射的连续性, 这个结果在理论上十分重要, 以后的很多结果都以这个结论为基础.
\begin{theorem}
设 $\left(X_1, d_1\right),\left(X_2, d_2\right)$ 为度量空间. 则 $T: X_1 \rightarrow X_2$ 为连续映射当且仅当任给开集 $G \subset X_2, T^{-1}(G)$ 为 $X_1$ 的开集.
\end{theorem}
\begin{proof}
假设 $T: X_1 \rightarrow X_2$ 为连续映射, $G \subset X_2$ 为开集, 不妨假设 $T^{-1}(G) \neq \varnothing$. 若 $x \in$ $T^{-1}(G)$, 则 $T x \in G$. 由 $G$ 为 $X_2$ 的开集可知, 存在 $\varepsilon>0$, 使得 $B(T x, \varepsilon) \subset G$. 由 $T$ 在 $x$ 处的连续性知, 存在 $\delta>0$ 使得
$$
T(B(x, \delta)) \subset B(T x, \varepsilon).
$$
因此有 $T(B(x, \delta)) \subset G$, 或者等价地有 $B(x, \delta) \subset T^{-1}(G)$. 我们证明了 $T^{-1}(G)$ 的每个点都是内点, 这说明 $T^{-1}(G)$ 是 $X_1$ 的开集.
反之, 假设任给 $G \subset X_2$ 为开集, $T^{-1}(G)$ 均为 $X_1$ 的开集. 设 $x \in X_1$ 固定. 则对于 $\varepsilon>0$, 开球 $B(T x, \varepsilon)$ 为 $X_2$ 的开集, 从而 $T^{-1}(B(T x, \varepsilon))$ 为 $X_1$ 的开集. 显然有 $x \in T^{-1}(B(T x$, $\varepsilon)$ ), 所以存在 $\delta>0$ 使得
$$
B(x, \delta) \subset T^{-1}(B(T x, \varepsilon)),
$$
或者等价地有 $T(B(x, \delta)) \subset B(T x, \varepsilon)$. 这就证明了 $T$ 在 $x$ 处连续. 由 $x \in X_1$ 的任意性知 $T$ 为连续映射.
\end{proof}
类似地可以用闭集的逆像为闭集来刻画度量空间之间映射的连续性.
\begin{theorem}
设 $\left(X_1, d_1\right),\left(X_2, d_2\right)$ 为度量空间. 则 $T: X_1 \rightarrow X_2$ 为连续映射当且仅当任给 $F \subset X_2$ 为闭集, $T^{-1}(F)$ 为 $X_1$ 的闭集.
\end{theorem}
\begin{proof}
设 $T: X_1 \rightarrow X_2$ 为连续映射, $F \subset X_2$ 为闭集. 则 $F^{c}$ 为 $X_2$ 的开集, $F \bigcup F^{\mathrm{c}}=X_2$ 且 $F \bigcap F^{c}=\varnothing$. 因此有
$$
T^{-1}(F) \cup T^{-1}\left(F^{c}\right)=X_1, \quad T^{-1}(F) \cap T^{-1}\left(F^{c}\right)=\varnothing.
$$
所以 $T^{-1}(F)=\left(T^{-1}\left(F^{c}\right)\right)^{c}$. 由 $F^{c}$ 为开集, 应用定理 1.2.5 知 $T^{-1}$ ( $\left.F^{c}\right)$ 为开集, 从而 $T^{-1}(F)=\left(T^{-1}\left(F^{c}\right)\right)^{c}$ 为闭集.
反之, 假设任给 $F \subset X_2$ 为闭集, $T^{-1}(F)$ 为 $X_1$ 的闭集. 则任取 $G \subset X_2$ 为开集, $G^{\mathrm{c}}$ 为 $X_2$ 的闭集. $G \cup G^{\mathrm{c}}=X_2$ 且 $G \bigcap G^{\mathrm{c}}=\varnothing$. 因此有
$$
T^{-1}(G) \cup T^{-1}\left(G^{\mathrm{c}}\right)=X_1, T^{-1}(G) \cap T^{-1}\left(G^{\mathrm{c}}\right)=\varnothing.
$$
所以 $T^{-1}\left(G^{\mathrm{c}}\right)=\left(T^{-1}(G)\right)^{\mathrm{c}}$. 由 $G^{\mathrm{c}}$ 为闭集及假设条件可得 $T^{-1}\left(G^{\mathrm{c}}\right)$ 为闭集, 所以 $T^{-1}(G)$ 为开集. 再应用定理 1.2.5 就可以得到 $T$ 的连续性.
\end{proof}
下面我们介绍度量空间中的子集的稠密性及度量空间的可分性.
\begin{definition}
设 $(X, d)$ 为度量空间, 称 $M \subset X$ 为 $X$ 的稠密子集, 如果 $\bar{M}=X$. 称 $X$ 为可分度量空间, 如果 $X$ 有至多可数的稠密子集.
\end{definition}
若 $M \subset X$, 则总有 $\bar{M} \subset X$. 因此 $M$ 在 $X$ 中稠密当且仅当 $X \subset \bar{M}$, 即任给 $x \in X, r>0$, 存在 $y \in M$ 使得 $d(x, y)<r$. 换句话说, $X$ 中的元素都可以用 $M$ 中的元素去逼近, 且逼近得要多精确有多精确.
$\mathbb{K}^n$ 为可分的, 事实上 $\overline{\mathbb{Q}^n}=\mathbb{R}^n, \overline{\mathbb{Q}+\mathrm{i} \mathbb{Q}^n}=\mathbb{C}^n$. 若 $(X, d)$ 为离散度量空间, 则 $(X, d)$ 为可分的当且仅当 $X$ 为至多可数集. 这是因为离散度量空间中的每个子集均是闭集, 因此如果 $M \subset X$ 为稠密的, 则必有 $M=\bar{M}=X$.
若 $1 \leqslant p<+\infty$, 则 $\ell^{p}$ 为可分度量空间. 我们仅就 $\mathbb{K}=\mathbb{R}$ 情形给出证明, $\mathbb{K}=\mathbb{C}$ 情形的证明类似. 令
$$
M=\left\{\left\{x_n\right\} \in \ell^{p}: x_n \in \mathbb{Q}, \exists N \geqslant 1, \forall n \geqslant N+1, x_n=0\right\}.
$$
下面证 $M$ 在 $\ell^{p}$ 中稠密. 设 $x=\left\{x_n\right\} \in \ell^{p}, \varepsilon>0$. 则存在 $N \geqslant 1$ 使得
$$
\sum_{n=N+1}^{\infty}\left|x_n\right|^{p}<\frac{\varepsilon^{p}}{2}.
$$
由 $\mathbb{Q}$ 在 $\mathbb{R}$ 中的稠密性可知, 存在 $y_{i} \in \mathbb{Q}$ 使得
$$
\sum_{n=1}^{N}\left|x_n-y_n\right|^{p}<\frac{\varepsilon^{p}}{2}.
$$
令 $y=\left(y_1, y_2, \cdots, y_{N}, 0,0, \cdots\right)$. 则 $y \in M$ 且
$$
\left[d_{p}(x, y)\right]^{p} \leqslant \sum_{n=1}^{N}\left|x_n-y_n\right|^{p}+\sum_{n=N+1}^{\infty}\left|x_n\right|^{p}<\varepsilon^{p}.
$$
这说明 $d_{p}(x, y)<\varepsilon$, 因此 $y \in M \cap B(x, \varepsilon)$, 特别地, $M \cap B(x, \varepsilon) \neq \varnothing$. 由定理 1.2.3 可知, $x \in \bar{M}$. 从而 $\bar{M}=\ell^{p}$. 这就证明了 $M$ 在 $\ell^{p}$ 中的稠密性. 为证 $M$ 为可数集, 若 $n \geqslant 1$, 我们引入
$$
M_n=\left\{\left\{x_n\right\} \in \ell^{p}: \forall k \geqslant 1, x_{k} \in \mathbb{Q}, \forall k \geqslant n+1, x_{k}=0\right\}.
$$
显然 $M_n$ 与 $Q^n$ 等势. 由于 $Q^n$ 为可数集, 因此 $M_n$ 也为可数集. 由于可数个可数集的并集仍为可数集, 所以 $M=\bigcup_{n=1}^{\infty} M_n$ 为可数集. 这样就完成了 $\ell^{p}$ 可分性的证明.
度量空间 $\left(C[a, b], d_{\infty}\right)$ 为可分的. 我们仅就 $\mathbb{K}=\mathbb{R}$ 情形给出证明, $\mathbb{K}=\mathbb{C}$ 情形的证明类似. 令 $M$ 为所有有理系数多项式全体构成的集合. 任给 $x \in C[a, b], \varepsilon>0$, 由 Stone-Weierstrass 定理可知, 存在实系数多项式 $p$ 使得 $d_{\infty}(x, p)<\varepsilon / 2$. 设
$$
p(t)=a_0+a_1 t+\cdots+a_n t^n,
$$
存在有理数 $b_{i}(i=1,2, \cdots, n)$ 使得若 $q(t)=b_0+b_1 t+\cdots+b_n t^n$, 则 $d_{\infty}(p, q)<\varepsilon / 2$. 我们有 $q \in M$, 利用三角不等式可得 $d_{\infty}(x, q)<\varepsilon$. 因此 $x \in \bar{M}$. 这就证明了 $\bar{M}=C[a, b]$. 若 $n \geqslant 0$, 令 $M_n$ 为次数等于 $n$ 的有理系数多项式全体构成的集合, 则 $M_n$ 与 $\mathbb{Q}^n \times(\mathbb{Q} \backslash\{0\})$ 等势, 从而 $M_n$ 为可数集. 因此 $M=\bigcup_{n=1}^{\infty} M_n$ 为可数集. 这就证明了 $\left(C[a, b], d_{\infty}\right)$ 的可分性. 若 $1 \leqslant$ $p<\infty$, 可证度量空间 $\left(C[a, b], d_{p}\right)$ 也为可分的, 其中 $d_{p}$ 是由例 $1.1.10$ 定义的度量.
度量空间 $\left(\ell^{\infty}, d_{\infty}\right)$ 不是可分的. 为了证明此结论, 我们引入集合
$$
M=\left\{\left\{x_n\right\} \in \ell^{\infty}: x_n=0 \text {, 或者 } x_n=1\right\}.
$$
$M$ 与 $\{0,1\}^{\mathbb{N}}$ 等势, 所以 $M$ 为不可数集. 注意到若 $x, y \in M$ 且 $x \neq y$, 则有 $d_{\infty}(x, y)=1$. 假设 $N$ 在 $\ell^{\infty}$ 中稠密, 则任给 $x \in M$, 存在 $t_{x} \in N$ 使得 $d_{\infty}\left(x, t_{x}\right)<\frac{1}{4}$. 若 $x, y \in M$ 且 $x \neq y$, 则有 $t_{x} \neq t_{y}$. 若不然 , 假设 $t_{x}=t_{y}$, 则
$$
d_{\infty}(x, y) \leqslant d_{\infty}\left(x, t_{x}\right)+d_{\infty}\left(t_{y}, y\right) \leqslant \frac{1}{4}+\frac{1}{4}=\frac{1}{2}<1.
$$
矛盾! 因此若 $x, y \in M$ 且 $x \neq y$, 则有 $t_{x} \neq t_{y}$. 定义映射 $\phi: M \rightarrow N, \phi(x)=t_{x}$. 则由以上的证明知 $\phi$ 为单射. 由 $M$ 的不可数性知 $N$ 必为不可数集. 因此 $\ell^{\infty}$ 的每个稠密子集均是不可数集, 所以止不是可分的.
在以后关于自反空间的讨论中, 我们将用到如下关于可分性的结果.
\begin{theorem}
设 $(X, d)$ 为可分度量空间, $Y \subset X$. 则 $\left(Y,\left.d\right|_{Y \times Y}\right)$ 也为可分度量空间.
\end{theorem}
\begin{proof}
假设 $\left\{x_1, x_2, \cdots\right\}$ 在 $X$ 中稠密. 任取 $i, j \geqslant 1$, 考虑 $X$ 中以 $x_{i}$ 为中心以 $\frac{1}{j}$ 为半径的开球 $B\left(x_{i}, \frac{1}{j}\right)$. 若 $B\left(x_{i}, \frac{1}{j}\right) \cap Y \neq \varnothing$, 则取定一个点 $y_{i j} \in B\left(x_{i}, \frac{1}{j}\right) \cap Y$. 令 $M$ 为所有这样取定的 $y_{i j}$ 所组成的集合, 则有 $M \subset Y$, 且显然 $M$ 为至多可数集.
任取 $\varepsilon>0$ 及 $y \in Y$, 存在 $j \geqslant 1$ 使得 $\frac{2}{j}<\varepsilon$. 由 $\left\{x_1, x_2, \cdots\right\}$ 在 $X$ 中的稠密性可知, $B\left(y, \frac{1}{j}\right) \cap\left\{x_1, x_2, \cdots\right\} \neq \varnothing$. 即存在 $i \geqslant 1$ 使得 $x_{i} \in B\left(y, \frac{1}{j}\right)$, 或等价地 $y \in B\left(x_{i}, \frac{1}{j}\right)$, 因此 $y \in B\left(x_{i}, \frac{1}{j}\right) \cap Y$, 特别地 $B\left(x_{i}, \frac{1}{j}\right) \cap Y \neq \varnothing$. 此时也有 $y_{i j} \in B\left(x_{i}, \frac{1}{j}\right)$. 由三角不等式有 $d\left(y, y_{i j}\right)<\frac{1}{j}+\frac{1}{j}=\frac{2}{j}<\varepsilon$. 这就证明了 $M$ 在 $Y$ 中的稠密性.
\end{proof}
\section{收敛性、完备性及紧性}
在高等数学中我们研究过欧氏空间 $\mathbb{R}^n$ 中点列的收敛性, 也接触过欧氏空间 $\mathbb{R}^n$ 中柯西列的概念, 我们还知道欧氏空间 $\mathbb{R}^n$ 在欧氏度量意义下是完备的. 在度量空间中也可以引入类似的概念. 需要特别说明的是, 完备性是度量空间中一个十分重要的概念, 很多度量空间中的结果和结构仅仅在假设空间具有完备性后才能够成立, 这也正是完备性在度量空间研究中的重要性之所在.
\begin{definition}
设 $(X, d)$ 为度量空间, $\left\{x_n\right\}$ 为 $X$ 中序列, 若存在 $x \in X$ 使得
$$
\lim_{n \rightarrow \infty} d\left(x_n, x\right)=0,
$$
则称 $\left\{x_n\right\}$ 在 $X$ 中收敛, 也称 $\left\{x_n\right\}$ 为收敛列, $x$ 称为 $\left\{x_n\right\}$ 的极限, 记为 $x_n \rightarrow x$, 或者 $\lim_{n \rightarrow \infty} x_n=x$.
\end{definition}
需要特别注意的是, $\left\{x_n\right\}$ 的极限一定是 $X$ 中的元素. 若取 $X=(0,1], \frac{1}{n} \in X$, 但 $\left\{x_n\right\}$ 不在 $X$ 中收敛. 另外, 由定义我们知道 $\lim_{n \rightarrow \infty} x_n=x$ 当且仅当任给 $\varepsilon>0$, 存在 $N \geqslant 1$, 使得任取 $n$ $\geqslant N$, 都有 $d\left(x_n, x\right)<\varepsilon$. 另外, 从某一项之后为常值的序列必收敛, 即若存在 $n_0 \geqslant 1$, 使得任取 $n \geqslant n_0$, 都有 $x_n=x_{n_0}$, 则 $\lim_{n \rightarrow \infty} x_n=x_{n_0}$.
若 $M$ 为度量空间 $(X, d)$ 的非空子集, 称 $M$ 为有界集, 如果 $M$ 包含在 $X$ 的某个开球内, 即存在 $x \in X, r>0$, 使得 $M \subset B(x, r)$. 由三角不等式可证 $M$ 为有界集当且仅当任给 $x \in$ $X$, 存在 $r>0$, 使得 $M \subset B(x, r)$.
下面给出收敛列的基本性质.
\begin{theorem}
设 $(X, d)$ 为度量空间, $\left\{x_n\right\}$ 为 $X$ 中序列. 若 $x_n \rightarrow x \in X$, 则集合 $\left\{x_n: n \geqslant 1\right\}$ 为有界集且极限 $x$ 唯一.
\end{theorem}
\begin{proof}
取 $\varepsilon=1$, 存在 $N \geqslant 1$, 使得当 $n \geqslant N$ 时, 有 $d\left(x_n, x\right)<1$. 令
$$
r=\max\left\{1, d\left(x_1, x\right), d\left(x_2, x\right), \cdots, d\left(x_{N-1}, x\right)\right\}.
$$
则任取 $n \geqslant 1$, 都有 $x_n \in B(x, r+1)$. 从而 $\left\{x_n: n \geqslant 1\right\}$ 为有界集.
为了证明极限 $x$ 的唯一性, 设 $x_n \rightarrow x$ 且 $x_n \rightarrow x^{\prime}$. 则
$$
0 \leqslant d\left(x, x^{\prime}\right) \leqslant d\left(x, x_n\right)+d\left(x_n, x^{\prime}\right).
$$
令 $n \rightarrow \infty$, 则有 $0 \leqslant d\left(x, x^{\prime}\right) \leqslant 0$. 因此 $d\left(x, x^{\prime}\right)=0$, 即 $x=x^{\prime}$.
\end{proof}
我们可以利用序列的收敛性来刻画闭包中的点, 也可以用序列的收敛性来刻画闭集. 在本书的余下部分里, 我们会经常用到这个闭集的刻画. 事实上, 这是证明一个集合为闭集最简捷有效的途径.
\begin{theorem}
设 $(X, d)$ 为度量空间, $M \subset X$. 则
(1) $x \in \bar{M}$ 当且仅当存在 $M$ 中序列 $\left\{x_n\right\}$, 使得 $x_n \rightarrow x$;
(2) $M$ 为闭集当且仅当任给 $M$ 中序列 $\left\{x_n\right\}$, 假设 $x_n \rightarrow x \in X$, 则必有 $x \in M$.
\end{theorem}
\begin{proof}
(1) 设 $x \in \bar{M}$. 由定理 1.2.3 可知, 任给 $n \geqslant 1$, 存在 $x_n \in M \cap B\left(x, \frac{1}{n}\right)$, 即 $d\left(x, x_n\right) \leqslant$ $\frac{1}{n}$. 这说明 $x_n \rightarrow x$.
反之, 若存在 $M$ 中序列 $\left\{x_n\right\}$, 使得 $x_n \rightarrow x$, 则任取 $\varepsilon>0$, 存在 $N \geqslant 1$, 使得当 $n \geqslant N$ 时有 $d\left(x_n, x\right)<\varepsilon$. 因此 $x_{N} \in M \cap B(x, \varepsilon)$, 从而 $M \cap B(x, \varepsilon) \neq \varnothing$. 由定理 1.2.3 知 $x \in \bar{M}$.
(2)设 $M$ 为闭集, $x_n \in M$, 且 $x_n \rightarrow x \in X$. 由已经证明的(1) 知 $x \in \bar{M}$. 又 $M$ 为闭集, 由推论 1.2.1 知 $M=\bar{M}$, 从而 $x \in M$.
反之, 假设任给 $M$ 中序列 $\left\{x_n\right\}$, 若 $x_n \rightarrow x \in X$, 则必有 $x \in M$. 为证 $M$ 为闭集, 利用推论 1.2. 1 知仅需证 $M=\bar{M}. M \subset \bar{M}$ 显然成立. 若 $x \in \bar{M}$, 则由已证的第一部分结论知, 存在 $M$ 中序列 $\left\{x_n\right\}$, 使得 $x_n \rightarrow x$. 由假设条件知此时必有 $x \in M$. 从而 $M=\bar{M}, M$ 为闭集.
\end{proof}
用序列的收敛性还可以刻画映射在某点的连续性.
\begin{theorem}
设 $\left(X_1, d_1\right),\left(X_2, d_2\right)$ 为度量空间, $T: X_1 \rightarrow X_2$ 为映射, $x_0 \in X_1$. 则 $T$ 在 $x=x_0$ 处连续当且仅当任给 $X_1$ 中收敛到 $x_0$ 的序列 $\left\{x_n\right\}$, 都有 $T x_n \rightarrow T x_0$.
\end{theorem}
\begin{proof}
设 $T$ 在 $x=x_0$ 处连续, $x_n \in X_1, x_n \rightarrow x_0$. 任给 $\varepsilon>0$, 由 $T$ 在 $x=x_0$ 处的连续性可知, 存在 $\delta>0$, 使得只要 $x \in X_1$ 满足 $d_1\left(x, x_0\right)<\delta$, 就有 $d_2\left(T x, T x_0\right)<\varepsilon$. 由 $x_n \rightarrow x_0$, 可知存在 $N \geqslant 1$, 任取 $n \geqslant N$, 有 $d_1\left(x_n, x_0\right)<\delta$. 此时必有 $d_2\left(T x_n, T x_0\right)<\varepsilon$. 这就证明了在 $X_2$ 中有 $T x_n \rightarrow T x_0$.
反之, 若任给 $X_1$ 中收敛到 $x_0$ 的序列 $\left\{x_n\right\}$, 都有 $T x_n \rightarrow T x_0$. 假设 $T$ 不在 $x=x_0$ 处连续, 则存在 $\varepsilon_0>0$, 任给 $\delta>0$, 存在 $x \in B\left(x_0, \delta\right)$, 使得 $d_2\left(T x, T x_0\right) \geqslant \varepsilon_0$. 取 $\delta=\frac{1}{n}$, 则存在 $x_n \in X_1, d_1\left(x_n, x_0\right)<\frac{1}{n}$, 但 $d_2\left(T x_n, T x_0\right) \geqslant \varepsilon_0$. 此时有 $x_n \rightarrow x_0$, 但 $T x_n$ 在 $X_2$ 中不收敛到 $T x_0$, 矛盾! 因此 $T$ 在 $x=x_0$ 处连续.
\end{proof}
\begin{theorem}
设 $(X, d)$ 为度量空间, $\left\{x_n\right\},\left\{y_n\right\}, x, y \in X$ 且 $x_n \rightarrow x, y_n \rightarrow y$, 则 $d\left(x_n, y_n\right)$ $\rightarrow d(x, y)$, 即度量 $d$ 关于两个变量是连续的.
\end{theorem}
\begin{proof}
由三角不等式有
$$
\begin{aligned}
\left|d\left(x_n, y_n\right)-d(x, y)\right| & \leqslant\left|d\left(x_n, y_n\right)-d\left(x_n, y\right)\right|+\left|d\left(x_n, y\right)-d(x, y)\right| \\
& \leqslant d\left(y_n, y\right)+d\left(x_n, x\right).
\end{aligned}
$$
所以有 $d\left(x_n, y_n\right) \rightarrow d(x, y)$.
\end{proof}
上述结果最常见的应用是 $\left\{y_n\right\}$ 为常序列情形, 即存在 $y \in X, y_n=y(n=1,2, \cdots)$. 若 $x_n$ $\rightarrow x$, 则 $d\left(x_n, y\right) \rightarrow d(x, y)$.
下面介绍度量空间中的柯西列及度量空间的完备性. 度量空间的完备性是一个十分重要的性质, 我们将发现以后的很多结论都需要假设问题所在度量空间具有完备性.
\begin{definition}
设 $(X, d)$ 为度量空间, $\left\{x_n\right\}$ 为 $X$ 中的序列. 称 $\left\{x_n\right\}$ 为柯西列, 如果任给 $\varepsilon>0$, 都存在 $N \geqslant 1$, 使得只要 $m, n \geqslant N$, 就有 $d\left(x_m, x_n\right)<\varepsilon$. $(X, d)$ 称为完备度量空间, 如果 $X$ 中任意柯西列均为收敛列.
\end{definition}
\begin{example}
(1) 由高等数学的知识可知, $\mathbb{R}$ 及 $\mathbb{C}$ 为完备的.
(2) $\mathbb{R}^n$ 及 $\mathbb{C}^n$ 为完备的, 这一点我们以后给出证明, 它是建立在 $\mathbb{R}$ 及 $\mathbb{C}$ 的完备性基础之上的.
(3) $(0,1)$ 不是完备度量空间, 这是由于 $\frac{1}{n} \in(0,1)$ 为柯西列, 但 $\left\{\frac{1}{n}\right\}$ 不在 ( (0,1) 中收敛.
(4) 设 $(X, d)$ 为离散度量空间, $x_n \in X$ 为柯西列. 取 $\varepsilon=\frac{1}{2}$, 则存在 $N \geqslant 1$, 使得只要 $m, n$
$\geqslant N$, 就有 $d\left(x_m, x_n\right)<\frac{1}{2}$. 由离散度量空间中度量的定义, 此时有 $x_m=x_n=x_{N}$. 从而 $\left\{x_n\right\}$ 收敛到 $x_{N}$. 因此离散度量空间均是完备度量空间.
(5) 考虑 $\ell^1$ 的度量子空间 $\left(M,\left.d_1\right|_{M \times M}\right)$,
$$
\begin{gathered}
M=\left\{\left\{x_n\right\}_{n=1}^{\infty}: \exists N \geqslant 1, \forall n \geqslant N, x_n=0\right\}. \\
x^{(n)}=\left(1, \frac{1}{2}, \frac{1}{4}, \cdots, \frac{1}{2^n}, 0,0, \cdots\right) \in M.
\end{gathered}
$$
任给 $\varepsilon>0$, 存在 $N \geqslant 1$ 使得 $\frac{1}{2^{N-1}}<\varepsilon$. 此时任给 $m>n \geqslant N$, 有
$$
d_1\left(x^{(m)}, x^{(n)}\right)=\sum_{k=n+1}^m \frac{1}{2^{k}}<\frac{1}{2^{N-1}}<\varepsilon.
$$
这说明 $x^{(n)}$ 为 $M$ 中的柯西列. 假设存在 $x \in M$ 使得 $x^{(n)} \rightarrow x$, 不妨设
$$
x=\left(x_1, x_2, x_3, \cdots, x_{k}, 0,0, \cdots\right).
$$
若 $n>k$, 则易证 $d_1\left(x^{(n)}, x\right) \geqslant \frac{1}{2^{k+1}}$. 这与 $x^{(n)} \rightarrow x$ 矛盾. 因此 $\left(M,\left.d_1\right|_{M \times M}\right)$ 不是完备度量空间.
\end{example}
设 $(X, d)$ 为度量空间, $\left\{x_n\right\}$ 为 $X$ 中的序列. 要证 $\left\{x_n\right\}$ 在 $X$ 中收敛, 需要做两件事情: 首先找到极限 $x$, 然后证明 $x_n \rightarrow x$. 第一件事情往往是最困难的. 若 $X$ 为完备度量空间, 要证 $\left\{x_n\right\}$ 在 $X$ 中收敛, 仅需证 $\left\{x_n\right\}$ 为柯西列, 而不需要将极限 $x$ 找出来, 这往往要容易得多. 这也是完备性在研究度量空间结构时非常有用的原因之一. 下面我们给出柯西列的基本性质以及柯西列与收敛列的关系.
\begin{theorem}
设 $(X, d)$ 为度量空间, $\left\{x_n\right\}$ 为 $X$ 中的序列.
(1) 若 $\left\{x_n\right\}$ 为柯西列, 则 $\left\{x_n: n \geqslant 1\right\}$ 为有界集.
(2) 若 $\left\{x_n\right\}$ 为收敛列, 则 $\left\{x_n\right\}$ 必为柯西列.
(3) 若 $\left\{x_n\right\}$ 为柯西列, 且 $\left\{x_n\right\}$ 有收敛子列 $\left\{x_{n_{k}}\right\}$, 则 $\left\{x_n\right\}$ 也收敛, 且
$$
\lim_{n \rightarrow \infty} x_n=\lim_{k \rightarrow \infty} x_{n_{k}}.
$$
\end{theorem}
\begin{proof}
(1) 设 $\left\{x_n\right\}$ 为柯西列, 则对于 $\varepsilon=1$, 存在 $N \geqslant 1$, 使得任取 $m, n \geqslant N$, 有 $d\left(x_m, x_n\right)<1$, 特别地有 $d\left(x_n, x_{N}\right)<1$. 令
$$
r=\max\left\{1, d\left(x_1, x_{N}\right), d\left(x_2, x_{N}\right), \cdots, d\left(x_{N-1}, x_{N}\right)\right\}+1.
$$
则任取 $n \geqslant 1$, 易证 $d\left(x_n, x_{N}\right)<r$, 或者等价地有
$$
\left\{x_n: n \geqslant 1\right\} \subset B\left(x_{N}, r\right).
$$
从而 $\left\{x_n: n \geqslant 1\right\}$ 为有界集.
(2) 若 $\left\{x_n\right\}$ 为收敛列, $x_n \rightarrow x \in X$, 则任给 $\varepsilon>0$, 存在 $N \geqslant 1$, 使得只要 $n \geqslant N$, 就有 $d\left(x_n, x\right)<\frac{\varepsilon}{2}$. 因此若 $m, n \geqslant N$,
$$
d\left(x_m, x_n\right) \leqslant d\left(x_m, x\right)+d\left(x, x_n\right)<\varepsilon.
$$
这就证明了 $\left\{x_n\right\}$ 为柯西列.
(3) 设 $x_{n_{k}} \rightarrow x$. 任给 $\varepsilon>0$, 存在 $K \geqslant 1$, 使得任取 $k \geqslant K, d\left(x_{n_{k}}, x\right)<\frac{\varepsilon}{2}$. 由 $\left\{x_n\right\}$ 为柯西列知, 存在 $N \geqslant 1$, 只要 $m, n \geqslant N$, 就有 $d\left(x_m, x_n\right)<\frac{\varepsilon}{2}$. 不妨设 $n_{K} \geqslant N$, 则任取 $n \geqslant n_{K}$, 有
$$
d\left(x_n, x\right) \leqslant d\left(x_n, x_{n_{k}}\right)+d\left(x_{n_{k}}, x\right)<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon
$$
即 $x_n \rightarrow x$.
\end{proof}
\begin{theorem}
设 $(X, d)$ 为度量空间, $Y \subset X\left(Y,\left.d\right|_{Y \times Y}\right)$ 为 $X$ 的完备子空间, 则 $Y$ 必为闭集.
\end{theorem}
\begin{proof}
为了证明 $Y$ 为闭集, 设 $x_n \in Y, x_n \rightarrow x \in X$, 我们来证明 $x \in Y$. 由于收敛列均为柯西列, 所以 $\left\{x_n\right\}$ 为 $Y$ 中的柯西列, 利用 $Y$ 的完备性可知, 存在 $y \in Y$ 使得 $x_n \rightarrow y$. 由极限的唯一性有 $x=y$, 从而 $x \in Y$. 由定理 1.3.2 知 $Y$ 为 $X$ 的闭集.
\end{proof}
下面这个结果对研究完备度量空间子空间的完备性特别重要.
\begin{theorem}
设 $(X, d)$ 为完备度量空间, $Y \subset X$. 则 $\left(Y,\left.d\right|_{Y \times Y}\right)$ 为完备度量空间当且仅当 $Y$ 为闭集.
\end{theorem}
\begin{proof}
若 $\left(Y,\left.d\right|_{Y \times Y}\right)$ 为完备度量空间, 则由定理 1.3.6 知 $Y$ 为闭集. 反之, 假设 $(X, d)$ 为完备的, 且 $Y$ 为闭集. 为证 $\left(Y,\left.d\right|_{Y \times Y}\right)$ 为完备度量空间, 我们在 $Y$ 中任取柯西列 $\left\{x_n\right\}$. 则 $\left\{x_n\right\}$ 也为 $X$ 中的柯西列. 利用 $(X, d)$ 为完备度量空间这个假设, 可知存在 $x \in X$, 使得 $x_n \rightarrow x$. 由 $Y$ 为闭集及定理 1.3.2 知 $x \in Y$. 由于 $Y$ 中任意柯西列均收玫到 $Y$ 中的点, 所以 $\left(Y,\left.d\right|_{Y \times Y}\right)$ 为完备度量空间.
\end{proof}
同一个集合上可以有不同的度量, 而这些不同的度量有时有强弱之分. 设 $X$ 为非空集合, $d_1, d_2$ 为 $X$ 上的度量. 设存在常数 $\alpha>0$, 使得
\begin{equation}
d_1(x, y) \leqslant \alpha d_2(x, y), \quad x, y \in X,
\end{equation}
则称 $d_2$ 强于 $d_1$, 或 $d_1$ 弱于 $d_2$. 此时,
(1) $x \in X$, 若 $\left\{x_n\right\}$ 在 $\left(X, d_2\right)$ 中收敛到 $x$, 则 $\left\{x_n\right\}$ 在 $\left(X, d_1\right)$ 中也收敛到 $x$;
(2) 若 $\left\{x_n\right\}$ 在 $\left(X, d_2\right)$ 中为柯西列, 则 $\left\{x_n\right\}$ 在 $\left(X, d_1\right)$ 中也为柯西列;
(3) 若 $G \subset X$ 为 $\left(X, d_1\right)$ 中的开集, 则 $G$ 也为 $\left(X, d_2\right)$ 中的开集;
(4) 若 $F \subset X$ 为 $\left(X, d_1\right)$ 中的闭集, 则 $F$ 也为 $\left(X, d_2\right)$ 中的闭集.
前两个命题可以由定义直接得到. 为了说明最后两个命题成立, 我们考虑映射
$$
\phi:\left(X, d_2\right) \rightarrow\left(X, d_1\right)
$$
$x \mapsto x.$
由假设条件 (1.7) 知 $\phi$ 为 Lipschitz 映射, 从而 $\phi$ 为连续映射. 因此可以直接应用定理 1.2.5 及定理 1.2.6 得到最后两个结论.