推广了之前在实数轴上的Cauchy序列和子序列的概念。先定义metric space上的子列(1.4.1),举了一个的例子(1.4.2),序列收敛则所有子列均收敛至同一极限(1.4.3);下面定义极限点limit point(1.4.4),其与子列的关系是存在一个子列收敛到极限点(1.4.5),limit point是相对序列而言,adherent point则是针对集合而言,二者有些类似,但不等同(见习题1.4.5);Cauchy序列的定义和R上类似(1.4.6),收敛序列一定是Cauchy序列(1.4.7),反之则不然(1.4.8),需要complete的要求(1.4.10),但Cauchy序列只要一个子列收敛,原序列就收敛(1.4.9)。最后,(1.4.12)说明了complete和closed在相对拓扑下的关系。习题1.4.8给出了如何将任何一个metric space完备化的方法,事实上R就是Q的完备化。







