解析学におけるコーシー列（コーシーれつ、Cauchy sequence）は、数列などの列で、十分先の方で殆ど値が変化しなくなるものをいう。基本列（きほんれつ、fundamental sequence）、正則列（せいそくれつ、regular sequence）[1]、自己漸近列（じこぜんきんれつ）[2]などとも呼ばれる。実数論において最も基本となる重要な概念の一つである。
コーシー数列

無限数列 (xn) について lim n , m → ∞ 。 x n − x m 。 = 0 {\displaystyle \lim _{n,m\to \infty }|x_{n}-x_{m}|=0}

が成り立つとき、数列 (xn) はコーシ?列である（あるいはコーシー的である、コーシー性を持つ）という。有限数列 (x1 ,x2, …, xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる。

(xn) がコーシー列ならば、開区間 (a, b) で、数列 (xn) の中の無限個の項を含むようなものが取れる。このような開区間は一つではなくいくらでも見つけることができて、しかもその径 |b − a| はいくらでも小さくとることができる。さらに、そのような開区間を、コーシー列の最初の有限項以外の項を全て含むようにとることができる。

同様の性質を座標平面 R2 や座標空間 R3 などの k次元座標空間 Rk あるいはそれと同等の k次元ユークリッド空間 Ek で考えることができる。形式上は上記の極限と同じことで、点列 (xn) が lim n , m → ∞ ‖ x n − x m ‖ = 0 {\displaystyle \lim _{n,m\to \infty }\|{\boldsymbol {x}}_{n}-{\boldsymbol {x}}_{m}\|=0}

を満たすことを、数列の場合と同じく点列がコーシー的であるなどという。これは、座標の各成分が全てコーシー数列を成すことと等価である。また、やはり数列の場合と同様に、Rk における点列 (xn) がコーシー性を持つならば、十分大きな番号 n に対応する点 xn は例外なく全て、ある非常に小さな直径を持つ k 次元球体に含まれる。複素数全体の集合 C を座標平面 R2 と同一視してガウス平面と考えれば、複素数列は平面上の点の列であり、複素空間 Ck 内のコーシー列も同様に考えることができる。

一般に、任意の収束列はコーシー列であるが、その一方で、コーシー列は必ずしも収束しない。例えば、ガウス記号 [·] を用いて作った数列 {[n √2]/n}[注 1]は、有理数の列（Q 内の点列）と見ることも、実数の列（R 内の点列）と見ることもできて、いずれの見方によってもコーシー数列となっているものであるが、R 内の点列と見れば √2 に収束する収束列であるのに対して、√2 は有理数ではないから有理数全体の集合 Q 内で収束することはない。
実数におけるコーシー列

しかし、実数の重要な性質の一つとして、実数全体の集合 R におけるどのようなコーシー列も必ず R 内に極限値を持つことが挙げられる。実数からなるどんなコーシー数列も収束列であるという事実は、歴史的な事情で「実数の連続性」と呼ばれる[注 2]。したがって、実数列あるいは実ユークリッド空間内の点列のみに関して言うならば、それが収束することとコーシー列であることは同値となる。この場合であれば、コーシー列は必ず収束するので、|xn − xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。また本質的に同じことだが、級数の収束性を和を仮定せずに判定することもできる。このように実数列がコーシー性を持つか否かをその収束性の判定に用いるとき、コーシーの収束判定基準という。収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn − x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値が分からなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。
数学史における位置付け

18世紀、オイラーらによって大きな進歩を遂げた解析学は、19世紀にはより厳密性が求められるようになった。そこでボルツァーノやコーシーらによって連続や収束がはっきりと捉えられるようになったものの、未だに実数とは何であるのか不明瞭であった。19世紀後半には実数を算術的に定義する方法が盛んに研究され、その中で現在コーシー列と呼ばれる概念を導入したのがカントールである。

カントールがこの成果を発表したのは1872年で、1821年に発表されたコーシーの収束判定法を満たす数列を用いて実数を定義しようという、当時一般的だった考え方に基づいている。このコーシーの収束判定法を満たす数列としてコーシー列が用いられ、実数はコーシー列の極限として定義された。

20世紀には、フレシェが函数空間の研究において距離を用いてコーシー列を改めて定義している。これによって、極限に関わる概念は距離とコーシー列で定義されるようになった。
一般のコーシー点列

一般の距離空間 (X, d) 内の点列 (xn) についても、コーシー性を定義することができる。(xn) がコーシー列であることは、差のノルムの代わりに距離関数 d を用いることによって、つまり lim n , m → ∞ d ( x n , x m ) = 0 {\displaystyle \lim _{n,m\to \infty }d(x_{n},x_{m})=0}

を満たすことであると定義することができる。したがって、ノルム線型空間特にバナッハ空間やヒルベルト空間など、物理学などにおいても重要な応用を持つ空間で、コーシー列を考えることができる。

また、距離空間ではない位相空間でも、同様の概念を考えることができる。特に位相群や位相線型空間のような一様構造を持つ位相代数系などでは、基本近傍系を考えることによってコーシー列を構成することができる。