코시 열

코시 열(Cauchy列, )은 해석학에서 점 사이의 거리가 서로 점점 가까워지는 수열이다. 프랑스의 수학자인 오귀스탱 루이 코시에서 이름을 따서 명명되었다. 보다 정확히 말하면 작은 양수의 거리가 주어진 경우에 수열의 유한한 수의 원소를 제외한 모든 원소가 서로 주어진 거리보다 작다.
각 항이 "이전" 항에 임의로 근접하는 것은 충분하지 않다. 예를 들어 자연수의 제곱근 수열은 다음과 같다.
연속 항은 다음과 같이 임의로 서로 가까워진다.
그러나 지수 의 값이 증가함에 따라 항은 임의로 커지게 된다. 따라서 모든 지수 과 거리 에 대해 과 같이 충분히 큰 지수 이 존재한다. 실제로 이면 충분하다. 결과적으로, 얼마나 멀리 가더라도 수열의 나머지 항은 서로 가까워지지 않으므로 수열은 코시 열이 아니다.
코시 열의 효용성은 완비 거리 공간(모든 그러한 수열이 극한으로 수렴한다고 알려진 곳)에서 수열의 수렴 기준이 극한을 사용하는 정의와는 다르게 수열의 항 자체에만 의존하는 점에 있다. 이는 이론 및 응용 알고리즘에서 종종 이용되는데 반복적 프로세스는 반복법으로 구성된 코시 열을 생성하기 위해 상대적으로 쉽게 보여질 수 있으며 따라서 종료와 같은 논리적 조건을 충족시킨다.
보다 추상적인 균등 공간에서 코시 열은 코시 필터와 코시 그물의 형태로 일반화 할 수 있다.
실수에서의 활용.
실수의 수열 formula_3이 있다고 하자. 모든 양수인 "ε"에 대해 양의 정수 "N"이 있어서, 모든 자연수 "m", "n" &gt; "N"이 다음 조건을 만족한다면, 이 수열을 코시 열이라고 부른다.
여기서 수직 막대는 절댓값을 나타낸다. 비슷한 방법으로 유리수나 복소수의 코시 열을 정의할 수 있다. 코시는 이러한 조건을 무한대인 "m", "n"의 모든 쌍에 대해 formula_5이 무한소가 되는 것으로 공식화했다.
실수 "r"의 경우에는 "r"의 잘린 소수 확장 수열은 코시 열을 형성한다. 예를 들어 "r" = "π"일 때 이 수열은 (3, 3.1, 3.14, 3.141, ...)이다. "m" &lt; "n"을 가정할 때 "m"번째와 "n"번째 항은 최대 101−"m"만큼 달라지며 "m"이 커짐에 따라 고정된 양수 ε보다 작아진다.
코시 수렴 계수.
만약 formula_6가 집합 formula_7의 수열인 경우에는 수열에 대한 "코시 수렴 계수"는 자연수 집합에서 자신에게 formula_8와 같은 함수 formula_9이다.
코시 수렴 계수가 있는 모든 수열은 코시 열이다. 코시 열을 위한 계수의 존재는 자연수의 순서적 특성에서 비롯된다 (formula_10는 코시 열의 정의에서 가능한 가장 작은 formula_11이 되도록 하여 formula_12을 formula_13로 한다). 또한 계수의 존재는 선택 공리의 약한 형태인 의존적 선택 공리로부터 따르며 또한 AC00이라고 불리는 훨씬 더 약한 조건으로부터 온다. "정규 코시 열"은 주어진 코시 수렴 계수(보통 formula_14 또는 formula_15)의 수열이다. 코시 수렴 계수를 갖는 모든 코시 열은 정규 코시 열과 동일하다. 이것은 어떠한 형태의 선택 공리도 사용하지 않고 증명될 수 있다.
코시 수렴 계수는 어떠한 형태의 선택도 사용하지 않으려는 구성주의 수학자들에 의해 사용된다. 코시 수렴 계수를 사용하면 구성주의 해석학에서 정의와 이론을 모두 단순화할 수 있다. 정규 코시 열은 에렛 비숍(Errett Bishop)의 구성적 해석학 기초(Foundations of Constructive Analysis)에서, 더글러스 브리지(Douglas Bridges)의 비구성적 교과서()에서 사용되었다.
거리 공간에서의 활용.
코시 열의 정의는 거리 개념만 포함하므로 이를 거리 공간 "X"로 일반화하는 것이 간단하다. 이를 위해 은 "x""m"과 "x""n" 사이의 거리 "d" ("x""m", "x""n") (여기서 "d"는 거리를 나타냄)로 대체된다.
일반적으로 주어진 거리 공간 의 수열은 이다. 코시 열()은 모든 양의 실수 인 경우 모든 양의 정수 에 대해 거리인 양의 정수 이 있다는 것을 의미한다.
대략적으로 말해서 수열의 항은 "X"에 극한이 있어야 한다는 것을 암시하는 방식으로 점점 더 가까워지고 있다. 그럼에도 불구하고 그러한 극한은 항상 "X" 내에 존재하는 것은 아니다. 모든 코시 열이 공간에서 수렴하는 공간의 속성을 완비성이라고 하며 아래에 자세히 설명되어 있다.
완비성.
모든 코시 열이 "X"의 원소로 수렴되는 거리 공간("X", "d")을 완비 거리 공간이라고 한다.
예시.
실수는 일반적인 절댓값에 의해 유도된 거리 아래에서 완비이며 실수의 구성 가운데 유리수의 코시 열을 포함한다. 이 구조에서 특정한 꼬리 행동을 가진 유리수의 코시 열의 각 동치류, 즉 서로 임의로 가까워지는 수열의 모임은 실수이다.
다소 다른 유형의 예는 이산 위상을 가진 거리 공간 "X"이다. "X" 원소의 모든 코시 열은 어떤 지점 이후에는 값이 일정해야 하며, 결국 반복해서 등장하는 값으로 수렴한다.
예시가 아닌 경우: 유리수.
유리수 Q는 일반적인 거리에서 완비가 아니다. 무리수 R에 수렴하는 일련의 유리수들이 있는데 이들은 Q에 극한이 없는 코시 열들이다. 실수 "x"가 무리수인 경우에 "n"번째 항이 "x"의 소수점 확장에서 "n"번째 항이 잘린 소수점 자리인 수열("x""n")은 무리수인 극한 "x"를 가진 유리수의 코시열을 제공한다. 무리수는 확실히 R에 존재한다. 예를 들면 다음과 같다.
예시가 아닌 경우: 열린 구간.
R에 보통 거리가 있는 실수의 집합에서 열린 구간 formula_22는 완비 공간이 아니다. 그 안에 수열 formula_23이 있는데 이것은 코시 열(임의적으로 작은 거리 경계 formula_24의 경우 formula_25의 모든 항 formula_26이 formula_27 구간에 적합하다)이다. 그러나 "극한"인 수 formula_28은 공간 formula_7에 속하지 않는다.
그 외의 속성.
볼차노-바이어슈트라스 정리, 하이네-보렐 정리는 이들의 마지막 2가지 특성과 밀접하게 관련된 실수의 완비성에 대한 표준 증거를 제시한다. 실수의 코시 열은 유계이고 볼차노-바이어슈트라스 정리에 따라 수렴하는 부분 수열을 갖기 때문에 그 자체를 스스로 수렴한다. 실수의 완전성에 대한 이 증거는 암시적으로 최소 상계 성질을 이용한다. 위에서 언급한 유리수의 완성으로서 실수를 구성하는 대안적 접근 방식은 실수의 완전성을 자율적으로 만든다.
코시 열로 작업하고 완비성을 사용할 수 있는 이점을 보여주는 표준 삽화 가운데 하나는 무한히 연속되는 실수의 합계(또는 보다 일반적인 노름 공간 또는 바나흐 공간의 원소)를 고려하여 제공된다. 이러한 급수 formula_30은 부분합 formula_31의 수열이 수렴하는 경우에만 수렴하는 것으로 간주된다. 여기서 formula_32이라는 등식이 성립된다. 양수 "p" &gt; "q"인 경우에는 formula_33이라는 등식을 통해 부분합의 수열이 코시 열인지 아닌지를 판단할 수 있다.
만약 formula_34가 거리 공간 "M"과 "N" 사이의 균등 연속 함수이고 ("x""n")가 "M"의 코시 열이라면, formula_35는 "N"의 코시 열이다. 만약 formula_36와 formula_37가 유리수, 실수 또는 복소수에서 2개의 코시 열이라면, 합계 formula_38와 곱 formula_39 역시 코시 열이다.
일반화.
위상 벡터 공간.
위상 벡터 공간 formula_7에 대한 코시 열의 개념도 있다. 먼저 0에 대한 국소기저인 formula_7의 formula_42를 선택한다. (formula_43)는 각 구성체가 formula_44일 때에 formula_45이 formula_46의 원소일 때에 코시 열이다. formula_7의 위상 배치가 변환 불변 공간 formula_48와 호환된다면 2가지 정의는 일치한다.
위상군.
코시 열의 위상 벡터 공간 정의는 연속적인 "추출" 연산만 있으면 되기 때문에 위상군의 맥락에서 설명될 수 있다. 위상군 formula_49의 수열 formula_50는 formula_49의 항등원의 모든 열린 근방 formula_52에 대해 formula_53이 존재할 때마다 formula_54를 따르는 일부 formula_11이 존재한다면 코시 열이다. 
거리 공간의 완비화 구성과 마찬가지로 formula_49에 있는 모든 열린 근방 formula_52에 대해 formula_53이 formula_59을 따르도록 몇 개의 formula_11이 존재한다면 formula_50와 formula_62가 동등하다는 코시 열에 대한 이진 관계를 정의할 수 있다. 이러한 관계는 동치관계이고 이러한 수열은 반사적인 코시 열이다. 이러한 수열은 formula_63이기 때문에 대칭이며 이는 역의 연속성에 의해 항등원의 또다른 열린 근방이기 때문에 대칭이다. formula_64에서 formula_65와 formula_66는 formula_67와 같이 항등원의 개방된 근방이기 때문에 추이적 관계이다. 이러한 쌍들은 군 연산의 연속성에 의해 존재한다.
군.
formula_49군에는 코시 열 개념도 있다: formula_69은 유한 지수 formula_49의 정규 부분군이 감소하는 수열이다. formula_49의 수열 formula_36는 코시 열(w.r.t. formula_73)이라고 표현하는데 formula_11과 같은 formula_75인 경우에 formula_12이 있는 경우에만 해당된다. 기술적으로 이것은 formula_49의 위상 배치를 위한 코시 열과 동일하며 formula_73가 국소기저이다.
이러한 코시 열의 집합 formula_79는 (성분별 결과물인 경우) 군을 형성하며 Null 수열(s.th. formula_80)의 집합 formula_81은 formula_79의 정규 부분군이다. 요인 그룹 formula_83은 formula_73와 관련하여 formula_49의 완성이라고 한다. 그런 다음에 이러한 완비가 수열 formula_86의 역극한과 같은 형이라는 것을 확인할 수 있다.
정수론과 대수기하학에서 익숙한 이러한 구조의 예는 소수 "p"에 대한 p진수 완비 구조이다. 이 경우 "G"는 추가되는 정수이고 "H""r"은 "p""r"의 정수 배수로 구성된 가법 부분군이다. 만약 formula_73가 공종 집합 수열이라면(즉 유한 지수의 모든 정규 부분군은 formula_88을 포함한다) 이 완비는 formula_89의 역극한과 동일하다는 점에서 표준이다. 여기서 formula_73는 유한 지수의 "모든" 정규 부분군에 걸쳐 변화한다.
초실수의 연속.
실제 수열 formula_91은 일반적인 자연수 "n" 이외에 지수 "n"의 초정수 값에 대해 정의된 자연적인 초실수 확장 "H"를 갖고 있다. 무한대인 "H"와 "K"에 대해 값이 표시되는 경우(formula_92)만 코시 열이다. 여기서 "st"는 표준부분함수이다.
코시 범주 완비.
헤닝 크라우제(Henning Krause)는 2018년에 범주의 코시 완비화에 대한 개념을 도입했다. Q(유리수를 대상으로 하며, 작은 유리수에서 큰 유리수로의 사상을 가지는 얇은 범주)의 범주 코시 완비화는 R(마찬가지의 범주)이다.