在数学中，一个柯西序列是指一个这样一个序列，它的元素随着序数的增加而愈发靠近。更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正的常数。柯西列是以数学家
奥古斯丁·路易·柯西的名字命名的。
简介
柯西列的定义依赖于距离的定义，所以只有在
度量空间(metric space)中柯西列才有意义。在更一般的
一致空间(uniform space)中，可以定义更为抽象的柯西
滤子(Cauchy filter)和柯西网(Cauchy net)。
一个重要性质是，在
完备空间（complete space）中，所有的柯西列都有
极限，这就让人们可以在不求出这个极限（如果存在）的情况下，利用柯西列的判别法则证明该极限是存在的。柯西列在构造具有
完备性的代数结构的过程中也有重要价值，如构造实数。
复数序列
一个复数序列
被称为柯西列，如果对于任何正实数r>0，存在一个正
整数N使得对于所有的整数，都有
类似地，我们可以定义实数的柯西列。
度量空间中
为了将柯西列的定义推广到一般的
度量空间，必须将
绝对值替换为该度量空间中的
距离。
形式上说，给定任何一个度量空间(M,d)，一个序列
被称为柯西列，如果对于任何正实数r>0，存在一个正
整数N使得对于所有的整数m,n>N，都有
其中d(x,y)表示x和 y之间的距离。
直观上说，一个序列中的元素越来越靠近似乎说明这个序列必然在这个度量空间存在一个极限，而事实上在某些情况下这个结论是不对的。
例子
对于有绝对值作为范数的有理数空间，定义
数列：满足：。这个数列趋于，但不属于，因此这个数列不收敛。
对于所有
多项式组成的空间，定义每个多项式的范数是其系数绝对值的最大值，两个多项式之间的距离则是它们的差的范数。考虑多项式列：，满足：。这个多项式列中，对任意，趋于零，因此它是一个柯西列。但这个柯西列显然不收敛，因为它的元素次数趋于无穷。
性质
完备性
一个度量空间X中的所有柯西数列都会收敛到X 中的一点 ，那么X被称为是一个
完备空间。
实数是完备的，而且标准的实数构造包含
有理数的柯西列。
存在某个由有理数组成的序列，收敛到某个
无理数，所以这数列在有理数这空间是不收敛的。
例如：
如下定义的序列：，即。可以证明这个序列收敛到一个无理数。
对于每个给定的而言，以下函数的值都可以表示为一个有理数序列的极限，但当x为有理数时，这个值却是无理数。
其他性质
任何收敛数列必然是柯西列，任何柯西列必然是
有界序列。
如果是一个由度量空间 M到度量空间N的
一致连续的映射，并且是 M中的柯西列，那么也必然是N中的柯西列。
如果和是有理数、实数或复数构成的柯西列，那么和也是柯西列。
推广
拓扑向量空间
在一个
拓扑向量空间X中同样可以定义一个柯西列：在X选择一个0局部基B，如果对于B中的任何元素V，存在一个正整数N使得对于任意的m,n>N而言，序列满足，那么这个序列就称为一个柯西列。
如果这个拓扑向量空间X上有恰好可以引入一个平移不变度量d，那么上述方法定义的柯西列和利用这个度量d定义的柯西列是等价的。
群中
令表示一列有限指标的递减的G的
正规子群，那么群G中一个序列称为柯西列（对于上述 H而言），
当且仅当对于任意的r，存在正整数N使得对于任意的 m,n>N，都有。
如果用C表示所有的这样定义的柯西列组成的集合，那么C在序列点点相乘的意义下构成一个新的群。而且，即所有空序列（对于任意r，存在N使得对于任意n>N，都有）构成了C的正规子群。而
商群称为G相对于H的完备化。
可以证明，这个完备化同构与序列的逆向极限同构。
如果H是个
共尾序列（即任何有限的正规子群均包含某个），那么这个完备化在与的逆极限同构的意义下是规范的，这里的H跑遍所有有限的正规子群。