수열의 극한
해석학에서, 수열의 극한(極限, )은 수열이 한없이 가까워지는 값이다. 직관적으로, 이 이 커짐에 따라 어떤 고정된 값 에 제한이 없이 가까워진다면, 이 로 수렴(收斂)한다고 하며, 를 의 극한이라고 한다. 어디로도 수렴하지 않는 수열을 발산(發散)한다고 한다. 예를 들어, 수열 은 0에 한없이 가까워지므로 수렴하며, 그 극한은 0이다. 반면 수열 은 어떤 고정된 값에 한없이 가까워지지 않으므로 발산한다. 수열의 극한의 개념은 실수 공간을 비롯한 거리 공간을 비롯한 위상 공간에서 논의할 수 있다.
엘레아의 제논은 극한 과정과 관련된 역설인 제논의 역설로 유명하다.
레우키포스 · 데모크리토스 · 안티폰 · 크니도스의 에우독소스 · 아르키메데스는 실진법, 즉 무한수열에 의한 근사를 통해 넓이나 부피를 구하는 방법을 만들었다. 아르키메데스는 지금은 기하 급수라고 불리는 것의 합을 구하는 데 성공했다.
아이작 뉴턴은 그의 《무한 급수 해석》(1669년 작성, 1711년 원고 출판) · 《유율법과 무한 급수》(1671년 작성, 1736년 영어 번역본 출판) · 《곡선 구적법 논문》(1693년 작성, 1704년 그의 《광학》의 부록에 출판)에서 급수에 대해 다루었다.
18세기, 레온하르트 오일러를 비롯한 수학자들은 일부 발산 급수의 합을 정확한 때에 멈추는 방법을 통해 계산하였다. 이들은 계산만 가능하면 급수의 수렴 여부에 관심을 갖지 않았다. 18세기 말, 조제프루이 라그랑주는 《해석 함수 이론》(, 1797년)에서 엄밀한 논의의 결여가 미적분학의 더 이상의 발전을 막고 있다고 주장하였다. 카를 프리드리히 가우스는 그의 초기하 급수 작품(1813년)에서 급수가 수렴할 조건을 처음 엄밀하게 연구하였다.
베르나르트 볼차노는 《이항 정리》(, 1816년)에서 수열의 극한의 현대적 정의를 제시하였으나, 당시에는 주목받지 못했다. 카를 바이어슈트라스 역시 1870년대에 수열의 극한의 현대적 정의를 제시하였다
실수 수열 formula_1의 극한은 다음 조건을 만족시키는 실수 formula_2이다.
이를
또는
와 같이 표기한다. 즉, 실수 수열의 극한은 항이 궁극적으로 임의 오차 범위 이내로 근접하는 값이다.
수렴하는 수열은 다음과 같은 성질을 갖는다.
formula_9의 극한이라고 가정하고 모순을 유도하자. 정의 속 formula_10의 경우에 의해 formula_11인 formula_12이 존재한다. 이는 모순이다.formula_8이라고 하고 상하계를 찾자. 정의 속 formula_15의 경우에 의해 임의의 formula_4에 대하여 formula_17인 formula_18이 존재한다. 유한 집합의 최댓값 formula_19은 임의의 formula_12에 대하여 formula_21을 만족시킨다.이는 바로 다음 명제의 대우이다.\lim_{n\to\infty}a_n=a라고 하자. 정의 속 formula_10의 경우에 의해 formula_35인 formula_12이 존재한다.
수열의 수렴성은 다음과 같이 판정할 수 있다.
주어진 수열 formula_13의 부분 수열은, 어떤 강한 증가 함수 formula_46, formula_47를 써서 formula_48와 같은 형식을 갖는 수열이다. 수열과 그 부분 수열의 수렴성의 관계는 다음과 같다.
formula_8라고 하자. 임의의 formula_3에 대하여 정의 속의 formula_18이 존재한다. 그렇다면 임의의 formula_52에 대하여 formula_53이므로 formula_54이다. 즉 formula_55이다.
실수열에 대한 사칙 연산과 극한 연산의 순서는 교환 가능하다. 즉, 두 수렴 수열 formula_13, formula_23의 극한이
라고 하면, 다음이 성립한다.
formula_62만을 증명하자. 임의의 formula_3에 대하여 formula_66의 정의 속의 formula_67과 formula_68의 정의 속의 formula_69이 존재한다. 또한 수렴 수열은 유계 수열이므로, 임의의 formula_12에 대하여 formula_71인 formula_72이 존재한다. 이와 삼각 부등식에 의해, 임의의 formula_73에 대하여 formula_74이다. 즉 formula_62이다.
수렴 수열의 예는 다음과 같다.
더 많은 예는 다음과 같다.
다음 예들은 수열이 무한대로 발산하는 속도의 비교를 반영한다.
실수 수열 formula_91의 무한대 극한은 다음과 같은 두 경우로 정의된다. 극한이 무한대인 수열은 일반적으로 수렴 수열로 간주되지 않는다.
예를 들어,
무한대 발산은 발산과 다른 개념인 데 주의하자. 예를 들어,
거리 공간 formula_108(formula_109는 집합, formula_110는 거리 함수)의 점렬 formula_111의 극한은 서로 동치인 다음 두 조건을 만족시키는, 거리 공간의 원소 formula_112이다.
이를 formula_118 또는 formula_119와 같이 표기한다. 즉, 거리 공간 속 점렬의 극한 역시 점렬이 궁극적으로 임의의 오차 범위 이내로 접근하는 값이다. 오차에 대한 척도는 주어진 거리 함수이다. 또한, 만약 실수의 표준적인 거리 formula_120를 사용하면, 실수 수열에 대한 정의는 거리 공간에 대한 정의에 포함된다.
수렴 점렬의 극한은 유일하다. (이는, 어떤 점렬도 동시에 두 다른 점으로 그 둘 사이의 거리의 반 이내로 접근할 수는 없기 때문이다.)
수렴 점렬은 항상 유계 점렬이다.
코시 점렬이 항상 수렴 점렬일 필요는 없다. 코시 점렬이 항상 수렴 점렬인 거리 공간을 완비 거리 공간이라고 한다. 그러나, 만약 코시 점렬에게 수렴 부분 점렬이 존재한다면, 그 코시 점렬은 수렴한다.
거리 공간 위의 함수 formula_121에 대하여, 다음 두 조건이 서로 동치이다.
유클리드 공간 속 점렬 formula_127에 대하여, 다음 두 조건이 서로 동치이다.
또한, 유클리드 공간 위의 임의의 거리 아래, 점렬의 수렴성은 동일하다.
위상 공간 formula_131(formula_109는 집합, formula_133는 위상)의 점렬 formula_111의 극한은 서로 동치인 다음 두 조건을 만족시키는, 위상 공간의 원소 formula_112이다.
이를 formula_118 또는 formula_119와 같이 표기한다. 즉, 위상 공간 속 점렬의 극한 역시 점렬이 궁극적으로 임의의 오차 범위 이내로 접근하는 값이다. 오차에 대한 척도는 주어진 위상이다. 또한, 만약 거리 공간의 표준 위상을 사용하면, 거리 공간에 대한 정의는 위상 공간에 대한 정의에 포함된다.
수렴 점렬의 극한이 유일할 필요는 없다. 예를 들어, 비이산 공간 속의 임의의 점렬은 그 속의 임의의 점으로 수렴한다. 그러나 하우스도르프 공간의 경우, 수렴 점렬의 극한은 유일하다. 위상 공간 사이의 연속 함수는 점렬의 극한을 보존한다. 그러나, 그 역은 일반적으로 성립하지 않는다.