柯西序列
维基百科，自由的百科全书
一个柯西序列 
的绘图，使用蓝色，
相对于 
。如果包含这个序列的空间是完备的，则这个序列的“最终目标”也就是极限存在。
非柯西的一个序列。这个序列的元素不能随着序列前进而相互靠近。
在数学中，一个柯西列是指一个这样一个序列，它的元素随着序数的增加而愈发靠近。更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正的常数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。
柯西列的定义依赖于距离的定义，所以只有在度量空间中柯西列才有意义。在更一般的一致空间中，可以定义更为抽象的柯西滤子和柯西网。
一个重要性质是，在完备空间中，所有的柯西列都有极限，这就让人们可以在不求出这个极限（如果存在）的情况下，利用柯西列的判别法则证明该极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值，如构造实数。
目录
实数的柯西列
一个实数序列
被称为柯西列，如果对于任何正实数
，存在一个正整数
使得对于所有的整数
，都有
其中的竖线表示绝对值。
类似地，我们可以定义复数的柯西列。
度量空间中的柯西列
为了将柯西列的定义推广到一般的度量空间，必须将绝对值替换为该度量空间中的距离。
形式上说，给定任何一个度量空间
，一个序列
被称为柯西列，如果对于任何正实数，存在一个正整数使得对于所有的整数
，都有
其中
表示
和
之间的距离。
直观上说，一个序列中的元素越来越靠近似乎说明这个序列必然在这个度量空间存在一个极限，而事实上在某些情况下这个结论是不对的。
例子
- 对于有绝对值作为范数的有理数空间
，定义数列：
满足： ![x_n = { [ sqrt{2} n ] over n}](http://upload.wikimedia.org/math/9/d/d/9dd0505b9e0bdcf00b8da955a026598f.png "柯西序列")
这个数列趋于 
，但不属于，因此这个数列不收敛。
- 对于所有多项式组成的空间，定义每个多项式的范数是其系数绝对值的最大值，两个多项式之间的距离则是它们的差的范数。考虑多项式列：:满足：
。这个多项式列中，对任意 
，
，趋于零，因此它是一个柯西列。但这个柯西列显然不收敛，因为它的元素次数趋于无穷。
完备性
一个度量空间
中的所有柯西列都存在极限，那么被称为是一个完备空间。
- 例子：实数
- 反例：有理数
有理数
在通常定义的距离意义下不是完备的：
存在某个由有理数组成的序列，收敛到某个无理数，这就是说它在有理数的意义下是不收敛的。
例如：
- 如下定义的序列：
，即
。可以证明这个序列收敛到一个无理数。
- 对于每个给定的
而言，以下函数
的值都可以表示为一个有理数序列的极限，但当为有理数时，这个值却是无理数。
其他性质
如果
是一个由度量空间
到度量空间的一致连续的映射，并且
是中的柯西列，那么
也必然是中的柯西列。
如果和
是有理数、实数或复数构成的柯西列，那么
和
也是柯西列。
推广
拓扑向量空间中的柯西列
在一个拓扑向量空间中同样可以定义一个柯西列：在选择一个
局部基
，如果对于中的任何元素
，存在一个正整数使得对于任意的而言，序列
满足
，那么这个序列就称为一个柯西列。
如果这个拓扑向量空间上有恰好可以引入一个平移不变度量
，那么上述方法定义的柯西列和利用这个度量定义的柯西列是等价的。
群中的柯西列
命
表示一列有限指标的递减的
的正规子群（normal subgroup），那么群中一个序列称为柯西列（对于上述
而言），当且仅当对于任意的
，存在正整数使得对于任意的，都有
。
如果用
表示所有的这样定义的柯西列组成的集合，那么在序列点点相乘的意义下构成一个新的群。而且
，即所有空序列（对于任意，存在使得对于任意
，都有
）构成了的正规子群。而商群（factor group）
称为相对于的完备化（completion）。
可以证明，这个完备化同构与序列
的逆向极限（inverse limit）同构。
如果是个共尾（cofinal）序列（即任何有限的正规子群均包含某个
），那么这个完备化在与
的逆极限同构的意义下是规范的（canonical），这里的跑遍所有有限的正规子群。
参考书（英文版）
- Bourbaki, Nicolas. Commutative Algebra English translation. Addison-Wesley. 1972. ISBN 0-201-0644-8.
- Lang, Serge. Algebra 3rd ed., reprint w/ corr. Addison-Wesley. 1997. ISBN 0-201-55540-9.
5个分类：