볼차노-바이어슈트라스 정리와 수열의 부분수열 극한 분석

1. 서론

1.1 탐구 동기

고등학교 수학에서 ‘수열의 극한’ 단원을 공부하면서, 수열이 유계라는 조건만으로 반드시 수렴하는지에 대한 궁금증이 생겼습니다. 예를 들어, 수열이 일정한 범위 안에 머무른다고 해서 그 값이 한 점에 가까워진다고 단정할 수 있을까요? 교과서에서는 수열의 극한, 수렴과 발산, 극한의 대소 관계, 샌드위치 정리 등 다양한 이론을 다루지만, “유계 수열이 모두 수렴한다”는 명제는 참이 아님을 여러 예시로 보여줍니다. 그런데 대학 수학이나 심화 과정에서는 “모든 유계 실수 수열에는 반드시 수렴하는 부분수열이 존재한다”는 볼차노-바이어슈트라스 정리가 매우 근본적으로 다뤄진다는 사실을 알게 되었습니다.

이 정리를 처음 접했을 때, 단순히 수열의 극한값을 계산하는 것을 넘어 수열의 구조적 성질과 실수체의 본질적 특성까지 탐구할 수 있다는 점이 무척 흥미로웠습니다. 수열이 전체적으로는 수렴하지 않아도 그 안에 ‘질서정연하게’ 수렴하는 부분이 반드시 존재한다는 사실은, 수학에서의 ‘연속성’과 ‘완비성’ 개념을 새롭게 바라보게 만들었습니다. 또한, 볼차노-바이어슈트라스 정리가 실수체의 완비성과 깊이 연결되어 있다는 점에서, 단순한 계산을 넘어선 수학적 사고의 확장 가능성을 느끼게 되었습니다.

선행 연구에 따르면, 볼차노-바이어슈트라스 정리는 실해석학, 위상수학, 함수해석학 등 다양한 분야에서 핵심적인 역할을 하며, 실수체의 구조를 이해하는 데 필수적인 도구로 자리 잡고 있습니다. 그러나 고등학교 교육과정에서는 이 정리의 명제와 의미, 그리고 그 증명 방법까지 심도 있게 다루지 않는 경우가 많아, 실제로 이 정리가 왜 중요한지, 그리고 실생활이나 다른 수학 분야와 어떻게 연결되는지에 대한 이해가 부족할 수 있습니다.

이러한 맥락에서, 수열의 극한과 부분수열의 극한, 그리고 볼차노-바이어슈트라스 정리의 의미를 직접 탐구함으로써, 교과서에서 다루지 않은 수학적 공백을 채우고 싶었습니다. 특히, “유계 수열의 부분수열은 왜 항상 수렴하는가?”, “부분수열의 극한과 원래 수열의 극한은 어떤 관계가 있는가?”, “이 정리가 실수체의 구조와 어떻게 연결되는가?”와 같은 질문에 대해 논리적으로 접근해보고자 하는 동기가 생겼습니다.

1.2 탐구 목적

본 탐구의 목적은 볼차노-바이어슈트라스 정리의 명제와 그 수학적 의미, 그리고 증명 원리를 고등학생의 시각에서 엄밀하게 이해하는 데 있습니다. 이를 위해 먼저 유계 수열과 부분수열의 개념, 그리고 수열의 극한과 수렴성에 대한 교과서적 정의를 바탕으로, 볼차노-바이어슈트라스 정리가 실제로 어떤 상황에서 적용되는지 다양한 예시 수열을 통해 분석할 것입니다.

특히, 이 정리가 실수체의 완비성과 어떤 논리적 연결고리를 갖는지, 그리고 수열의 극한과 부분수열의 극한이 어떤 관계를 가지는지 구체적으로 탐구할 계획입니다. 이를 통해, 단순히 수열의 극한값을 계산하는 수준을 넘어, 수학적 명제의 구조와 증명 방법, 그리고 실수체의 본질적 특성을 심층적으로 이해하고자 합니다.

나아가, 본 보고서는 볼차노-바이어슈트라스 정리를 고등학생 수준에서 최대한 엄밀하게 해석하고, 실제 수열 예시와 연결하여 그 의미를 구체화하는 것을 목표로 합니다. 이를 통해, 수학적 사고력과 논리적 비판적 사고를 기르고, 교과서에서 다루지 않은 수학적 공백을 스스로 채우는 학습자의 자세를 실천하고자 합니다.

1.3 탐구 범위

본 탐구는 다음과 같은 핵심 질문을 중심으로 전개됩니다.

• 유계 수열의 부분수열은 왜 항상 수렴하는가?
• 부분수열의 극한과 원래 수열의 극한은 어떤 관계가 있는가?
• 볼차노-바이어슈트라스 정리는 실수체의 구조와 어떻게 연결되는가?

이를 위해, 먼저 유계 수열과 부분수열, 수열의 극한 개념을 교과서적 정의에 따라 정리하고, 볼차노-바이어슈트라스 정리의 명제와 의미를 분석합니다. 이후, 다양한 실제 수열에 이 정리를 적용하여 부분수열의 극한이 어떻게 나타나는지 구체적으로 살펴보고, 원래 수열과 부분수열의 극한 사이의 논리적 관계를 탐색합니다. 마지막으로, 실수체의 완비성과 볼차노-바이어슈트라스 정리의 연결 고리를 고찰함으로써, 이 정리가 실수의 구조적 특성을 이해하는 데 어떠한 역할을 하는지 분석할 것입니다.

이 과정에서, 수학적 정의와 정리, 그리고 증명 과정을 논리적으로 전개하고, 실제 예시와 연계하여 수학적 사고의 폭을 넓히는 데 중점을 둘 예정입니다. 교과서에서 다루는 극한의 대소 관계, 샌드위치 정리, 급수의 수렴성 판정 등과도 연계하여, 수열의 극한 개념이 수학의 다양한 분야와 어떻게 융합적으로 작동하는지 탐구할 계획입니다.

2. 이론적 배경

2.1 유계 수열과 부분수열의 정의

수열의 극한 단원에서 ‘유계 수열’은 어떤 실수 $M$이 존재하여 모든 자연수 $n$에 대해 $|a_n| \leq M$을 만족하는 수열 $\{a_n\}$로 정의됩니다. 즉, 수열의 모든 항이 일정한 구간 안에 머물러 있는 것입니다. 유계라는 조건은 수열이 발산하여 무한대로 치닫는 현상을 방지한다는 점에서, 극한과 수렴성 논의의 전제가 됩니다.

부분수열은 원래 수열에서 항의 순서를 유지하면서 일부 항만을 골라낸 새로운 수열입니다. 구체적으로, $n_1 < n_2 < n_3 < \cdots$와 같이 증가하는 자연수 열을 택해 $\{a_{n_1}, a_{n_2}, a_{n_3}, \ldots\}$로 만듭니다. 이때 부분수열 역시 원래 수열과 같은 유계성을 가집니다. 부분수열 개념은 수열의 전체적인 거동이 복잡하거나 불규칙할 때, 그 안에서 규칙적이거나 수렴하는 부분을 찾아내는 데 핵심적인 역할을 합니다.

2.2 수열의 극한과 수렴성

수열 $\{a_n\}$이 실수 $L$에 수렴한다는 것은, 임의의 양의 실수 $\varepsilon$에 대해 어떤 $N$이 존재하여 $n \geq N$이면 $|a_n - L| < \varepsilon$가 성립함을 의미합니다. 이 정의는 수열의 항들이 충분히 커질수록 $L$에 임의로 가까워진다는 점을 엄밀하게 표현합니다. 교과 과정에서는 수열의 극한값을 계산할 때, 다항식의 차수 비교, 무리식의 유리화, 샌드위치 정리 등 다양한 기법을 사용합니다. 그러나 모든 유계 수열이 반드시 수렴하는 것은 아닙니다. 예를 들어, $a_n = (-1)^n$은 항상 –1과 1 사이에 있으나, 한 점에 가까워지지 않습니다.

수렴하지 않는 수열에서도, 특정한 규칙에 따라 항을 선택하면 수렴하는 부분수열을 얻을 수 있습니다. 이때, 부분수열의 극한은 원래 수열의 전체적인 극한 거동을 이해하는 데 중요한 단서를 제공합니다.

2.3 볼차노-바이어슈트라스 정리의 명제와 의미

볼차노-바이어슈트라스 정리는 “모든 유계 실수 수열은 수렴하는 부분수열을 가진다”는 명제로 정식화됩니다. 이는 수열이 전체적으로 수렴하지 않더라도, 그 안에 질서정연하게 수렴하는 부분이 반드시 존재함을 보장합니다. 이 명제는 수열의 극한 개념을 한 단계 확장시킵니다. 즉, 수열이 발산하거나 진동하더라도, 그 구조를 세밀히 들여다보면 ‘수렴’이라는 질서가 숨어 있다는 사실을 밝혀줍니다.

이 정리는 실수체의 구조와 깊은 관련이 있습니다. 실수 집합의 연속성, 즉 ‘구멍’ 없는 성질이 바로 이런 부분수열의 수렴성을 가능하게 합니다. 볼차노-바이어슈트라스 정리는 실해석학, 위상수학, 함수해석학 등 고등 수학의 다양한 분야에서 핵심적인 도구로 사용됩니다.

2.4 실수체의 완비성과의 연결

실수체의 완비성은 모든 코시 수열이 실수 내에서 수렴함을 의미합니다. 코시 수열이란, $n, m$이 충분히 크면 $|a_n - a_m|$이 임의로 작아지는 수열입니다. 실수체에서 완비성이 성립하기 때문에, 유계 집합에는 항상 상한이 존재하고, 유계 수열에는 수렴하는 부분수열이 존재합니다.

볼차노-바이어슈트라스 정리는 이 완비성의 직접적인 결과로 이해할 수 있습니다. 유리수체에서는 코시 수열이 수렴하지 않는 경우가 존재하므로, 볼차노-바이어슈트라스 정리가 성립하지 않습니다. 예를 들어, 소수점 아래에서 점점 더 정밀하게 $\sqrt{2}$에 가까워지는 유리수 수열은 유계이지만, 유리수 내에서는 결코 수렴하지 않습니다. 이처럼 실수체의 완비성은 볼차노-바이어슈트라스 정리의 논리적 토대이자, 실수의 구조적 특성을 드러내는 핵심 개념입니다.

3. 본론

3.1 볼차노-바이어슈트라스 정리의 증명(고등학생 수준)

볼차노-바이어슈트라스 정리의 증명은 구간의 이분법을 이용합니다. 임의의 유계 수열 $\{a_n\}$이 있다고 하자. 이 수열의 모든 항은 어떤 유계 구간 $[m, M]$에 포함됩니다. 이 구간을 반으로 나누어 $[m, (m+M)/2]$, $[(m+M)/2, M]$의 두 부분구간을 만듭니다. 두 구간 중 적어도 한 구간에는 무한히 많은 $a_n$이 포함될 수밖에 없습니다. 이 과정을 반복하면, 각 단계마다 무한히 많은 항이 남는 구간을 선택할 수 있고, 그 구간의 길이는 $1/2, 1/4, 1/8, \ldots$로 점점 짧아집니다.

이렇게 선택된 구간들의 교집합에는 오직 한 점 $L$이 남습니다(실수의 완비성에 의해). 각 단계에서 선택된 구간 안에 있는 항들로 부분수열을 구성하면, 이 부분수열은 $L$에 수렴합니다. 즉, 유계 수열에서는 반드시 수렴하는 부분수열이 존재함이 증명됩니다. 이 증명은 실수의 연속성과 완비성을 바탕으로, 유계성이라는 약한 조건만으로도 ‘수렴’이라는 질서를 발견할 수 있음을 보여줍니다.

3.2 다양한 예시 수열에 정리 적용하기

수열	전체 수렴 여부	존재하는 부분수열의 극한
$a_n = (-1)^n$	수렴하지 않음	1, –1
$a_n = 1 + \frac{1}{n}$	1에 수렴	1
$a_n = \sin n$	수렴하지 않음	–1과 1 사이 임의의 값
$a_n =$ 소수점 아래 n번째 자리까지의 $\sqrt{2}$ 근사값(유리수 내)	수렴하지 않음(유리수 내)	없음(실수 내에서는 $\sqrt{2}$)

위 표는 대표적인 유계 수열에 볼차노-바이어슈트라스 정리를 적용한 결과를 정리한 것입니다. 예를 들어, $a_n = (-1)^n$은 전체적으로는 수렴하지 않지만, 짝수 번째 항만 고르면 항상 1, 홀수 번째 항만 고르면 항상 –1로 수렴하는 부분수열이 존재합니다. $a_n = 1 + \frac{1}{n}$처럼 전체가 수렴하는 경우, 모든 부분수열 역시 같은 극한값을 가집니다. $a_n = \sin n$은 –1과 1 사이의 임의의 값에 임의로 가까워지는 부분수열을 만들 수 있습니다. 유리수 내에서 $\sqrt{2}$에 가까워지는 수열은 유계이지만, 유리수 내에서는 수렴하지 않습니다.

3.3 부분수열의 극한과 원래 수열의 극한의 관계 분석

원래 수열이 수렴한다면, 모든 부분수열의 극한은 원래 수열의 극한과 같습니다. 즉, $\lim_{n \to \infty} a_n = L$이면, 임의의 부분수열 $\{a_{n_k}\}$에 대해서도 $\lim_{k \to \infty} a_{n_k} = L$입니다. 반면, 부분수열이 서로 다른 극한을 갖는다면, 원래 수열은 결코 수렴하지 않습니다. 예를 들어, $a_n = (-1)^n$의 경우, 두 개의 부분수열이 각각 –1과 1로 수렴하므로 전체 수열은 수렴하지 않습니다.

수열이 수렴하지 않아도, 볼차노-바이어슈트라스 정리에 의해 여러 극한값을 갖는 부분수열이 존재할 수 있습니다. 이때, 부분수열의 극한값들의 집합을 ‘집적점’ 또는 ‘적집점’이라 부릅니다. 수열의 모든 적집점이 한 점일 때에만, 수열이 수렴한다고 할 수 있습니다.

이러한 논의는 수열의 극한 개념이 단일한 값에만 의존하지 않고, 부분구조 속에서 다양한 극한 거동이 가능함을 보여줍니다. 실제로, 수열의 수렴성 판정이나 급수의 수렴성 판정에서도, 부분수열의 극한이 중요한 역할을 합니다.

3.4 실수체의 완비성과 정리의 본질적 의미 고찰

볼차노-바이어슈트라스 정리는 실수체의 완비성을 전제로 합니다. 실수체의 완비성이란, 임의의 유계 집합에 상한이 존재하고, 모든 코시 수열이 수렴함을 의미합니다. 이 성질 덕분에, 유계 수열에서 반드시 수렴하는 부분수열이 존재할 수 있습니다.

실수체의 완비성이 없다면, 볼차노-바이어슈트라스 정리는 성립하지 않습니다. 유리수체에서는 $\sqrt{2}$에 점점 가까워지는 유리수 수열이 유계임에도 불구하고, 유리수 내에서는 극한값이 존재하지 않습니다. 이처럼, 실수체의 완비성은 수열의 극한 개념을 ‘구멍’ 없이 작동하게 하는 논리적 토대입니다.

볼차노-바이어슈트라스 정리는 실수의 구조가 연속적이고, 임의의 유계 집합이 ‘끊어짐’ 없이 상한을 갖는다는 점을 수열의 언어로 표현한 것입니다. 이 정리는 수열의 극한, 급수의 수렴성, 함수의 연속성 등 고등 수학의 핵심 개념들과 깊이 연결되어 있으며, 수학적 사고의 확장과 엄밀성의 본질을 보여줍니다.

4. 결론

4.1 탐구 내용 정리

이번 탐구의 출발점은 “유계 수열의 부분수열은 왜 항상 수렴하는가?”라는 근본적 의문에서 비롯되었습니다. 볼차노-바이어슈트라스 정리를 중심으로, 유계 수열과 부분수열, 그리고 수열의 극한 개념을 시간순·사례별로 구체적으로 분석하였습니다.

가장 중요한 발견은 유계라는 약한 조건만으로도 ‘반드시 수렴하는 부분수열이 존재한다’는 점입니다. 이는 단순히 수열의 극한값을 구하는 교과서적 접근과 달리, 수열 내부의 질서와 구조를 파고드는 시각을 제공합니다. 예시로 $a_n = (-1)^n$, $a_n = \sin n$ 등 전체적으로는 수렴하지 않는 수열에서도, 부분수열을 적절히 선택하면 수렴성이 드러난다는 사실을 직접 확인했습니다. 이는 “유계 수열은 수렴한다”라는 초기에 품었던 막연한 예상과 달리, 수열 전체가 아니라 ‘부분구조’에서 수렴성을 찾아야 한다는 새로운 관점을 얻게 했습니다.

부분수열의 극한과 원래 수열의 극한의 관계를 분석하면서, 수열이 수렴한다면 모든 부분수열의 극한이 일치하고, 서로 다른 극한을 갖는 부분수열이 존재한다면 수열은 결코 수렴하지 않는다는 점을 명확히 이해했습니다. 이를 통해, 부분수열의 극한 개념이 수열의 수렴성 판단에 결정적 기준임을 체감했습니다.

볼차노-바이어슈트라스 정리와 실수체의 완비성의 연결 고리를 고찰하며, 실수체의 ‘구멍 없음’(완비성)이 바로 이 정리의 논리적 기반임을 확인했습니다. 유리수체에서는 유계 수열이 수렴하지 않는 예시(예: $\sqrt{2}$ 근사 수열)도 직접 분석해봄으로써, 실수체만의 독특한 구조적 성질을 실감했습니다.

이러한 발견들은 기존 교과서에서 다루는 수열의 극한 개념과는 차별화된, 보다 구조적이고 본질적인 수학적 시각을 제공했습니다. 특히, 수열의 극한 개념이 단순 계산을 넘어, 실수체의 구조와 연속성, 수학적 엄밀성의 본질과 연결된다는 점에서, 탐구의 학문적 깊이를 크게 확장할 수 있었습니다.

4.2 볼차노-바이어슈트라스 정리의 수학적·교육적 의의

볼차노-바이어슈트라스 정리는 실수체의 완비성을 수열의 언어로 표현한 대표적 명제입니다. 이 정리를 통해, 실수 집합이 ‘연속적’이고 ‘구멍이 없는’ 구조임을 수열의 부분구조 속에서 확인할 수 있습니다. 이는 단순한 수렴성 판단을 넘어, 실수체의 본질적 특성을 이해하는 데 결정적 역할을 합니다.

기존의 교과서적 접근이 수열의 극한값 계산과 수렴·발산 판정에 머물렀다면, 이번 탐구는 수열의 내부 구조, 부분수열의 극한, 그리고 실수체의 논리적 완비성까지 계층적으로 분석하였습니다. 특히, 여러 예시 수열을 통해 볼차노-바이어슈트라스 정리의 적용 가능성과 한계를 직접 체험함으로써, 수학적 명제의 적용력과 한계에 대한 비판적 사고도 기를 수 있었습니다.

이 정리는 실해석학, 위상수학, 함수해석학 등 다양한 수학 분야에서 핵심적 도구로 활용됩니다. 사회적 맥락에서는, 데이터 분석·금융공학·컴퓨터 과학 등에서 수열의 수렴성, 근사 알고리즘의 안정성, 신뢰도 평가 등 실질적 문제 해결에도 응용됩니다. 또한, 수열의 극한 개념이 함수의 극한, 급수, 적분 등 다양한 수학적 개념과 융합적으로 연결된다는 점에서, 융합적 사고의 기반을 제공합니다.

4.3 소감 및 향후 연구 계획

탐구를 시작할 때는 “유계 수열이 수렴하는가?”라는 단순한 호기심에서 출발했지만, 실제로는 수열의 구조와 실수체의 본질까지 파고드는 깊이 있는 여정이 되었습니다. 진동하는 수열, 발산하지만 유계인 수열, 유리수 내에서의 근사 수열 등 다양한 예시를 직접 분석하면서, 수열의 극한 개념이 얼마나 다층적이고 복합적인지 체감할 수 있었습니다.

가장 인상적이었던 순간은, 전체적으로는 불규칙하거나 발산하는 수열에서도 부분수열을 통해 ‘질서’와 ‘수렴’을 찾아낼 수 있다는 사실을 깨달았을 때였습니다. 이는 단순 계산을 넘어, 수학적 구조와 논리의 아름다움을 실감하게 해주었습니다. 또한, 유리수체와 실수체의 차이를 직접 비교해보면서, 실수체의 완비성이 수학적 엄밀성의 핵심임을 명확히 인식하게 되었습니다.

탐구 과정에서 예상치 못한 난관도 있었습니다. 예를 들어, 부분수열의 선택 방법이나, 실수체의 완비성 관련 증명에서 논리적 비약 없이 엄밀하게 사고하는 것이 쉽지 않았습니다. 이를 극복하기 위해 여러 대학 교재와 논문, 신뢰할 수 있는 온라인 자료를 참고하며, 증명과정과 개념을 반복적으로 검토했습니다. 이 과정에서 자료의 신뢰성, 다양한 관점의 비교, 비판적 사고의 중요성을 절감했습니다.

이번 탐구를 통해, 수열의 극한 개념이 경제학, 컴퓨터 과학, 통계학 등 다양한 분야와 자연스럽게 연결된다는 점도 발견했습니다. 예를 들어, 알고리즘의 수렴성, 금융 모델의 안정성, 데이터 근사와 오차 분석 등 실생활 문제와의 연결 고리를 직접 체험했습니다. 이러한 융합적 시각은 단순한 수학적 계산을 넘어, 다양한 문제를 복합적으로 바라보는 사고방식을 길러주었습니다.

향후에는 다음과 같은 구체적 계획을 세워 추가 탐구를 진행하고자 합니다. 첫째, 실수체의 완비성 증명과 코시 수열의 구조에 대해 더 깊이 연구할 계획입니다. 특히, 유리수체에서 수렴하지 않는 코시 수열의 구체적 예시를 더 찾아보고, 실수체의 완비성이 수열의 극한 개념에 미치는 영향을 체계적으로 정리할 예정입니다. 둘째, 볼차노-바이어슈트라스 정리의 일반화(예: 다차원 공간, 함수열 등)와 그 증명 방법을 대학 수준 교재와 논문을 참고해 탐구할 계획입니다. 이를 위해 신뢰할 수 있는 대학 교재와 수학 논문을 활용하고, 필요하다면 수학교육과 대학 교수님, 멘토와의 인터뷰도 추진할 예정입니다. 셋째, 수열의 극한 개념이 실제로 활용되는 분야(예: 신경망 학습의 수렴성, 금융공학의 근사 알고리즘 등)에 대한 사례 연구도 시도하고자 합니다. 이 과정에서는 데이터 분석, 시뮬레이션, 문헌조사 등 다양한 방법론을 병행할 계획이며, 약 2~3개월의 탐구 기간을 설정하고, 한 달 단위로 중간 점검을 실시할 예정입니다.

마지막으로, 이번 탐구에서 발견한 한계(자료 해석의 깊이, 논리적 엄밀성, 다양한 시각의 통합 등)를 극복하기 위해, 앞으로는 작은 사례라도 비판적으로 분석하고, 융합적 사고와 메타인지적 성찰을 실천하는 학습자가 되고자 합니다. 탐구의 결과를 단순히 보고서 작성에 그치지 않고, 실제 문제 해결이나 교육 자료 개발, 동료 학생들과의 토론 등 실질적 변화로 연결할 수 있는 실행력을 갖추고 싶습니다. 이러한 과정을 통해, 학문적으로는 더 깊은 전문성과 논리적 사고력을, 인간적으로는 더 넓은 시야와 책임감을 갖추고자 합니다.

참고문헌

[1] Bartle, R. G., & Sherbert, D. R. (2011). Introduction to Real Analysis (4th ed.). Wiley.
[2] Rudin, W. (1976). Principles of Mathematical Analysis (3rd ed.). McGraw-Hill.
[3] Stewart, J. (2016). Calculus: Early Transcendentals (8th ed.). Cengage Learning.
[4] Apostol, T. M. (1974). Mathematical Analysis (2nd ed.). Addison-Wesley.
[5] Spivak, M. (2008). Calculus (4th ed.). Publish or Perish.