柯西序列

在数学中，柯西序列、柯西列、柯西数列（Template:Lang-en），也称为基本列，是指一个元素随着序数的增加而愈发靠近的数列，Template:Notetag以数学家奥古斯丁·路易·柯西的名字命名。

柯西列的定义依赖于距离的定义，所以只有在度量空间中柯西列才有意义。在更一般的一致空间中，可以定义更为抽象的柯西滤子和柯西网。

柯西列一个重要性质是，在完备空间中，所有的柯西数列都有极限且极限在这空间里，这就让人们可以在不求出这个极限（如果存在）的情况下，利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值，如构造实数。

复数的柯西列

一个复数序列

$z_1,z_2,z_3,\dots$

被称为柯西列，如果对于任何正实数$r>0$，存在一个正整数$N$使得对于所有的整数$m,n\ge N$，都有

$|z_m-z_n|<r,$

其中的竖线表示绝对值或模。

类似地，我们可以定义实数的柯西列。

度量空间中的柯西列

为了将柯西列的定义推广到一般的度量空间，必须将绝对值替换为该度量空间中的距离。

形式上说，给定任何一个度量空间$(M,d)$，一个序列

$x_1,x_2,x_3,\dots$

被称为柯西列，如果对于任何正实数$r>0$，存在一个正整数$N$使得对于所有的整数$m,n>N$，都有

$d(x_m,x_n)<r$

其中$d(x,y)$表示$x$和$y$之间的距离。

直观上说，一个序列中的元素越来越靠近似乎说明这个序列必然在这个度量空间存在一个极限，而事实上在某些情况下这个结论是不对的。

例子

• 对于有绝对值作为范数的有理数空间$\mathbb{Q}$，定义数列：

$x_1,x_2,x_3,\cdots$满足： $x_n=\frac{[\sqrt{2}n]}{n}$

这个数列趋于 $\sqrt{2}$ ，但$\sqrt{2}$不属于$\mathbb{Q}$，因此这个数列不收敛。

• 对于所有多项式组成的空间，定义每个多项式的范数是其系数绝对值的最大值，两个多项式之间的距离则是它们的差的范数。考虑多项式列：:$x_1,x_2,x_3,\cdots$满足： $x_n=\sum _{k=1}^n\frac{x^k}{k}$。这个多项式列中，对任意 $m>n\in \mathbb{N}$，$d(x_m,x_n)=||\sum _{k=n+1}^m\frac{x^k}{k}||=\frac{1}{n+1}$，趋于零，因此它是一个柯西列。但这个柯西列显然不收敛。

完备性

一个度量空间$X$中的所有柯西數列都會收斂到 $X$ 中的一點 ，那么$X$被称为是一个完备空间。

• 例子：实数

实数是完备的，而且标准的实数构造包含有理数的柯西列。

• 反例：有理数

有理数$\mathbb{Q}$在通常定义的距离意义下不是完备的：

存在某个由有理数组成的序列，收敛到某个无理数，所以這數列在有理数這空間是不收敛的。

例如：

• 如下定义的序列：$x_0=1,x_{n+1}=(x_n+2/x_n)/2$，即$(1,3/2,17/12,...)$。可以证明这个序列收敛到一个无理数$\sqrt{2}$。
• 对于每个给定的$x\ne 0$而言，以下函数$\exp (x),\sin (x),\cos (x)$的值都可以表示为一个有理数序列的极限，但当$x$为有理数时，这个值却是无理数。

其他性质

任何收敛數列必然是柯西列，任何柯西列必然是有界序列。

如果$f:M\to N$是一个由度量空间$M$到度量空间$N$的一致连续的映射，并且$\{x_n\}$是$M$中的柯西列，那么$\{f(x_n)\}$也必然是$N$中的柯西列。

如果$\{x_n\}$和$\{y_n\}$是有理数、实数或复数构成的柯西列，那么$\{x_n+y_n\}$和$\{x_n{y}_n\}$也是柯西列。

推广

拓扑向量空间中的柯西列

在一个拓扑向量空间$X$中同样可以定义一个柯西列：在$X$选择一个$0$局部基$ℬ$，如果对于$ℬ$中的任何元素$V$，存在一个正整数$N$使得对于任意的$m,n>N$而言，序列$\{x_k\}$满足$x_m-x_n\in V$，那么这个序列就称为一个柯西列。

如果这个拓扑向量空间$X$上有恰好可以引入一个平移不变度量$d$，那么上述方法定义的柯西列和利用这个度量$d$定义的柯西列是等价的。

群中的柯西列

在一个群中，同样可以定义柯西列：

命$H=\{H_r\}$表示一列有限指标的递减的$G$的正规子群，那么群$G$中一个序列$\{x_n\}$称为柯西列（对于上述$H$而言），当且仅当对于任意的$r$，存在正整数$N$使得对于任意的$m,n>N$，都有$x_m{x}_n^{-1}\in H$。

如果用$C$表示所有的这样定义的柯西列组成的集合，那么$C$在序列点点相乘的意义下构成一个新的群。而且$C_0$，即所有空序列（对于任意$r$，存在$N$使得对于任意$n>N$，都有$n\in H_r$）构成了$C$的正规子群。而商群$C/C_0$称为$G$相对于$H$的完备化。

可以证明，这个完备化同构与序列$\{G/H_4\}$的Template:Link-en同构。

如果$H$是个共尾序列（即任何有限的正规子群均包含某个$H_r$），那么这个完备化在与$\{G/H{\}}_H$的逆极限同构的意义下是规范的，这里的$H$跑遍所有有限的正规子群。

参考书目

• Template:Cite book

• Template:Cite book