**코시 열**은 해석학에서 점 사이의 거리가 서로 점점 가까워지는 수열이다. 프랑스의 수학자인 오귀스탱 루이 코시에서 이름을 따서 명명되었다. 보다 정확히 말하면 작은 양수의 거리가 주어진 경우에 수열의 유한한 수의 원소를 제외한 모든 원소가 서로 주어진 거리보다 작다.

각 항이 "이전" 항에 임의로 근접하는 것은 충분하지 않다. 예를 들어 자연수의 제곱근 수열은 다음과 같다.

연속 항은 다음과 같이 임의로 서로 가까워진다.

그러나 지수 의 값이 증가함에 따라 항은 임의로 커지게 된다. 따라서 모든 지수 과 거리 에 대해 과 같이 충분히 큰 지수 이 존재한다. 실제로 + ''d'')}}이면 충분하다. 결과적으로, 얼마나 멀리 가더라도 수열의 나머지 항은 서로 가까워지지 않으므로 수열은 코시 열이 아니다.

코시 열의 효용성은 완비 거리 공간(모든 그러한 수열이 극한으로 수렴한다고 알려진 곳)에서 수열의 수렴 기준이 극한을 사용하는 정의와는 다르게 수열의 항 자체에만 의존하는 점에 있다. 이는 이론 및 응용 알고리즘에서 종종 이용되는데 반복적 프로세스는 반복법으로 구성된 코시 열을 생성하기 위해 상대적으로 쉽게 보여질 수 있으며 따라서 종료와 같은 논리적 조건을 충족시킨다.

보다 추상적인 균등 공간에서 코시 열은 코시 필터와 코시 그물의 형태로 일반화 할 수 있다.

## 실수에서의 활용
실수의 수열  ''N''이 다음 조건을 만족한다면, 이 수열을 코시 열이라고 부른다.

여기서 수직 막대는 절댓값을 나타낸다. 비슷한 방법으로 유리수나 복소수의 코시 열을 정의할 수 있다. 코시는 이러한 조건을 무한대인 ''m'', ''n''의 모든 쌍에 대해 이 무한소가 되는 것으로 공식화했다.

실수 ''r''의 경우에는 ''r''의 잘린 소수 확장 수열은 코시 열을 형성한다. 예를 들어 ''r'' = ''π''일 때 이 수열은 이다. ''m'' 만큼 달라지며 ''m''이 커짐에 따라 고정된 양수 ε보다 작아진다.

### 코시 수렴 계수
만약 이다.

코시 수렴 계수가 있는 모든 수열은 코시 열이다. 코시 열을 위한 계수의 존재는 자연수의 순서적 특성에서 비롯된다 ()의 수열이다. 코시 수렴 계수를 갖는 모든 코시 열은 정규 코시 열과 동일하다. 이것은 어떠한 형태의 선택 공리도 사용하지 않고 증명될 수 있다.

코시 수렴 계수는 어떠한 형태의 선택도 사용하지 않으려는 구성주의 수학자들에 의해 사용된다. 코시 수렴 계수를 사용하면 구성주의 해석학에서 정의와 이론을 모두 단순화할 수 있다. 정규 코시 열은 에렛 비숍(Errett Bishop)의 구성적 해석학 기초([https://books.google.com/books?id=Z7I-AAAAIAAJ&dq=intitle:Foundations+intitle:of+intitle:constructive+intitle:analysis&lr=&as_brr=0&pgis=1 Foundations of Constructive Analysis])에서, 더글러스 브리지(Douglas Bridges)의 비구성적 교과서에서 사용되었다.

## 거리 공간에서의 활용
코시 열의 정의는 거리 개념만 포함하므로 이를 거리 공간 ''X''로 일반화하는 것이 간단하다. 이를 위해 은 ''x'') (여기서 ''d''는 거리를 나타냄)로 대체된다.

일반적으로 주어진 거리 공간 의 수열은 이다. 코시 열은 모든 양의 실수 인 경우 모든 양의 정수 에 대해 거리인 양의 정수 이 있다는 것을 의미한다.

대략적으로 말해서 수열의 항은 ''X''에 극한이 있어야 한다는 것을 암시하는 방식으로 점점 더 가까워지고 있다. 그럼에도 불구하고 그러한 극한은 항상 ''X'' 내에 존재하는 것은 아니다. 모든 코시 열이 공간에서 수렴하는 공간의 속성을 완비성이라고 하며 아래에 자세히 설명되어 있다.

## 완비성
모든 코시 열이 ''X''의 원소로 수렴되는 거리 공간을 완비 거리 공간이라고 한다.

### 예시
실수는 일반적인 절댓값에 의해 유도된 거리 아래에서 완비이며 실수의 구성 가운데 유리수의 코시 열을 포함한다. 이 구조에서 특정한 꼬리 행동을 가진 유리수의 코시 열의 각 동치류, 즉 서로 임의로 가까워지는 수열의 모임은 실수이다.

다소 다른 유형의 예는 이산 위상을 가진 거리 공간 ''X''이다. ''X'' 원소의 모든 코시 열은 어떤 지점 이후에는 값이 일정해야 하며, 결국 반복해서 등장하는 값으로 수렴한다.

### 예시가 아닌 경우: 유리수
유리수 **Q**는 일반적인 거리에서 완비가 아니다. 무리수 **R**에 수렴하는 일련의 유리수들이 있는데 이들은 **Q**에 극한이 없는 코시 열들이다. 실수 ''x''가 무리수인 경우에 ''n''번째 항이 ''x''의 소수점 확장에서 ''n''번째 항이 잘린 소수점 자리인 수열(''x'')은 무리수인 극한 ''x''를 가진 유리수의 코시열을 제공한다. 무리수는 확실히 **R**에 존재한다. 예를 들면 다음과 같다.

### 예시가 아닌 경우: 열린 구간
**R**에 보통 거리가 있는 실수의 집합에서 열린 구간 에 속하지 않는다.

### 그 외의 속성
볼차노-바이어슈트라스 정리, 하이네-보렐 정리는 이들의 마지막 2가지 특성과 밀접하게 관련된 실수의 완비성에 대한 표준 증거를 제시한다. 실수의 코시 열은 유계이고 볼차노-바이어슈트라스 정리에 따라 수렴하는 부분 수열을 갖기 때문에 그 자체를 스스로 수렴한다. 실수의 완전성에 대한 이 증거는 암시적으로 최소 상계 성질을 이용한다. 위에서 언급한 유리수의 완성으로서 실수를 구성하는 대안적 접근 방식은 실수의 완전성을 자율적으로 만든다.

코시 열로 작업하고 완비성을 사용할 수 있는 이점을 보여주는 표준 삽화 가운데 하나는 무한히 연속되는 실수의 합계(또는 보다 일반적인 노름 공간 또는 바나흐 공간의 원소)를 고려하여 제공된다. 이러한 급수 이라는 등식을 통해 부분합의 수열이 코시 열인지 아닌지를 판단할 수 있다.

만약  역시 코시 열이다.

## 일반화

### 위상 벡터 공간
위상 벡터 공간 와 호환된다면 2가지 정의는 일치한다.

### 위상군
코시 열의 위상 벡터 공간 정의는 연속적인 "추출" 연산만 있으면 되기 때문에 위상군의 맥락에서 설명될 수 있다. 위상군 이 존재한다면 코시 열이다. 

거리 공간의 완비화 구성과 마찬가지로 와 같이 항등원의 개방된 근방이기 때문에 추이적 관계이다. 이러한 쌍들은 군 연산의 연속성에 의해 존재한다.

### 군
가 국소기저이다.

이러한 코시 열의 집합 의 역극한과 같은 형이라는 것을 확인할 수 있다.

정수론과 대수기하학에서 익숙한 이러한 구조의 예는 소수 ''p''에 대한 p진수 완비 구조이다. 이 경우 ''G''는 추가되는 정수이고 ''H''는 유한 지수의 "모든" 정규 부분군에 걸쳐 변화한다.

### 초실수의 연속
실제 수열 )만 코시 열이다. 여기서 "st"는 표준부분함수이다.

### 코시 범주 완비
헤닝 크라우제(Henning Krause)는 2018년에 범주의 코시 완비화에 대한 개념을 도입했다. **Q**의 범주 코시 완비화는 **R**(마찬가지의 범주)이다.