I. 실수 체계 · 2/16

완비성 공리

최소상계 성질, 아르키메데스 성질, 유리수의 조밀성

읽음 0/0 갱신 2026-06-30

개요 — 동기·문제의식

순서체의 대수만으로는 미적분이 필요로 하는 어떤 "존재 정리"도 증명할 수 없다. 중간값정리("연속함수는 중간값을 빠뜨리지 않는다"), 최대최소정리("닫힌 구간 위 연속함수는 최댓값을 가진다"), 단조수렴정리("유계 단조수열은 수렴한다") — 이들은 전부 $\mathbb{Q}$ 에서는 거짓이거나 의미를 잃는다. $\mathbb{Q}$ 는 체이고 순서체이지만, 그 안에는 "빈틈"이 있어서(예: $\sqrt2$ 의 자리) 위 정리들이 성립할 토대가 없다. 완비성은 이 빈틈을 메우는 단 하나의 공리이며, 두 책 모두 — 그리고 해석학 전체가 — 이 한 축을 중심으로 돈다. 거의 모든 존재 정리(극한·극값·수렴의 존재)가 사실은 완비성을 다른 옷으로 갈아입힌 것이다.

직관

완비성을 직관적으로 가장 잘 포착하는 그림은 "수직선에 구멍이 없다"는 것이다. $\mathbb{Q}$ 를 수직선에 점으로 찍으면 조밀하긴 하지만(임의의 두 점 사이에 또 점이 있다) 빈틈이 숭숭 뚫려 있다 — $\sqrt2$, $\pi$, $e$ 의 자리가 비어 있다. 완비성 공리는 "위로 유계인 집합은 항상 상한을 가진다"고 요구함으로써 이 빈틈들을 강제로 메운다: 만약 어딘가에 빈틈이 있다면, 그 빈틈 바로 왼쪽의 모든 점을 모은 집합이 위로 유계이면서도 상한을 갖지 못하게 되어 공리에 위배되기 때문이다. 거꾸로 말하면, 완비성은 "직선이 끊김 없이 연결되어 있다"는 기하학적 직관을 대수적 언어로 정확히 번역한 문장이다.

정의

순서집합 $S$ 가 최소상계 성질(least-upper-bound property)을 가진다는 것은:

공집합이 아니고 위로 유계인 모든 $E \subset S$ 에 대해 $\sup E$ 가 $S$ 안에 존재한다.¹

$\mathbb{R}$ 는 이 성질을 가지고 $\mathbb{Q}$ 는 갖지 않는다. 명칭은 책마다 다르다.

Rudin: 최소상계 성질 (정의 1.10). 더불어 이로부터 최대하계 성질이 따라옴을 정리 1.11로 보인다 — 즉 상한의 존재를 가정하면 하한도 공짜로 얻는다.¹²
Bartle: 완비성(Completeness Property), §2.3에서 상한 성질(Supremum Property)로 진술. "$\mathbb{R}$ 의 위로 유계인 공집합 아닌 모든 부분집합이 상한을 가진다"는 것이 대수·순서 공리로부터 증명될 수 없는 "깊고 근본적인 성질"임을 명시하고 공리로 채택한다.³

완비성의 동치 형태 — 어느 것을 공리로 삼아도 같은 이론에 도달한다:

형태	진술
최소상계 성질	위로 유계인 비지 않은 집합은 상한을 가진다
축소구간 성질	길이 $\to0$ 인 닫힌 축소구간들의 교집합은 한 점
단조수렴 정리	유계 단조수열은 수렴한다
Cauchy 완비성	모든 Cauchy 수열이 수렴한다
Bolzano–Weierstrass	유계수열은 수렴 부분수열을 가진다
Heine–Borel	닫힌 유계집합은 콤팩트하다

이 여섯 가지는 논리적으로 동치다 — 그중 어느 하나를 공리로 채택하고 나머지를 정리로 증명할 수 있다(Rudin은 최소상계 성질에서, Bartle은 같은 성질에서 단조수렴 정리를 거쳐 차례로 도출).

주요 정리 — 완비성이 낳는 것들

완비성은 해석학의 거의 모든 존재 정리와 동치이거나 그 직접 귀결이다. 다음은 모두 완비성의 다른 표현이다.

정리 1 (단조수렴 정리). 위로 유계인 단조증가 수열 $\{a_n\}$ 은 수렴한다.

증명 보기

증명. $\alpha=\sup\{a_n:n\in\mathbb{N}\}$ 이 (완비성에 의해) 존재한다. $\varepsilon>0$ 이 주어지면 $\varepsilon$-특성화로 $a_N>\alpha-\varepsilon$ 인 $N$ 이 존재. 단조증가성과 $a_n\le\alpha$ (상계)이므로 $n\ge N$ 에서 $\alpha-\varepsilon<a_N\le a_n\le\alpha<\alpha+\varepsilon$, 즉 $|a_n-\alpha|<\varepsilon$. 따라서 $a_n\to\alpha$. ∎ → 수열의 수렴

정리 2 (Bolzano–Weierstrass 정리). 유계수열은 수렴 부분수열을 가진다. (증명: 모든 수열은 단조 부분수열을 가지고(단조부분수열 정리), 그 부분수열이 원래 유계이므로 정리 1에 의해 수렴.)

정리 3 (Cauchy 완비성). 모든 Cauchy 수열이 수렴한다. (증명: Cauchy 수열은 유계 → 정리 2로 수렴 부분수열 → Cauchy 성질로 전체 수열이 그 극한에 수렴.)

정리 4 (축소구간 정리, Nested Interval Property). $I_1\supseteq I_2\supseteq\cdots$ 가 닫힌 유계 구간이고 길이 $|I_n|\to0$ 이면 $\bigcap_n I_n$ 은 정확히 한 점이다.

증명 보기

증명 스케치. $I_n=[a_n,b_n]$ 이라 하면 $\{a_n\}$ 은 단조증가, 모든 $b_n$ 으로 위로 유계 ⟹ $\alpha=\sup a_n$ 존재(정리 1). $a_n\le\alpha\le b_n$ 이 모든 $n$ 에서 성립함을 보이면 $\alpha\in\bigcap I_n$. 유일성은 $|I_n|\to0$ 에서. ∎

정리 5 (Heine–Borel). $\mathbb{R}$ 의 닫힌 유계 집합은 콤팩트하다(모든 열린 덮개가 유한 부분덮개를 가진다).

이들은 서로 동치이며, "어떤 형태의 완비성을 출발점으로 삼는가"가 두 책의 서술을 가른다 — Rudin은 콤팩트성(정리 5)을 일찍 세워 주력 도구로 삼고, Bartle은 단조수렴(정리 1)과 Bolzano–Weierstrass(정리 2)를 주력으로 삼는다.

예제 — 완비성의 직접 응용 (Bartle §2.4)

상한 성질 하나로부터 다음이 즉시 따라 나온다.⁴

예제 1 (Archimedes 성질). 임의의 $x>0$ 에 대해 $nx>y$ 인 자연수 $n$ 이 존재. (증명은 실수 체계 — $\{nx\}$ 의 상한을 가정하고 모순을 이끌어낸다.)

예제 2 ($\sqrt2$ 의 존재). 집합 $\{x>0 : x^2 < 2\}$ 의 상한 $s$ 가 $s^2 = 2$ 를 만족함을 보인다 — 삼분법으로 $s^2<2$, $s^2>2$ 를 모두 모순으로 배제. 일반적으로 모든 양수의 $n$제곱근의 존재로 확장된다.

예제 3 ($\mathbb{Q}$ 에서 완비성이 실패하는 직접 확인). $E=\{r\in\mathbb{Q}:r^2<2\}$ 는 $\mathbb{Q}$ 안에서 위로 유계지만 $\mathbb{Q}$ 안에 최소상계가 없다 — 어떤 유리수 상계도 그보다 작은 또 다른 유리수 상계로 대체할 수 있기 때문(supremum infimum 예제 3 참고).

예제 4 (단조수렴의 구체적 적용). $a_1=\sqrt2$, $a_{n+1}=\sqrt{2+a_n}$ 으로 정의된 수열은 단조증가이고 $2$로 위로 유계임을 귀납적으로 보일 수 있어, 단조수렴정리로 극한이 존재함을 값을 모른 채 안다. (이후 극한 방정식 $L=\sqrt{2+L}$ 을 풀어 $L=2$.)

예제 5 (축소구간으로 $\mathbb{R}$ 의 비가산성). Cantor의 대각선 논법과 별개로, 축소구간 성질을 이용해 $\mathbb{R}$ 이 비가산임을 증명할 수도 있다 — $\mathbb{R}$ 의 가산 나열이 있다고 가정하고, 각 단계에서 그 나열의 다음 원소를 피하는 더 작은 닫힌구간을 중첩해 만들면, 축소구간 정리가 주는 교집합의 점은 나열의 어떤 원소와도 같을 수 없다는 모순에 이른다.

두 교재의 접근

두 책은 완비성을 사용하는 방식은 동일하지만 그 지위가 다르다.

	Rudin	Bartle
명칭	최소상계 성질	상한 성질 / 완비성
지위	구성으로 존재 증명 (dedekind cuts) 후 공리적 사용	공리로 가정 (마지막 가정)
주된 활용 형태	콤팩트성(열린 덮개)	단조수렴 · 볼차노–바이어슈트라스 정리
도달 순서	상한 성질 → 콤팩트성 → 연속함수 정리	상한 성질 → 단조수렴 → B–W → 연속함수 정리

이는 rudin vs bartle 에 정리된 "Rudin=엄밀한 기초 / Bartle=구체적 접근" 대비의 뿌리다. 둘 다 같은 산을 오르지만 Rudin은 정상에서 내려다보는 일반적 지도(콤팩트성)를, Bartle은 발밑부터 단계를 밟는 길(수열)을 택한다.

흔한 오해와 함정

"완비성은 증명할 수 있는 정리" — Bartle이 명시하듯 체·순서 공리만으로는 완비성을 증명할 수 없다(반례: $\mathbb{Q}$ 가 체·순서 공리는 만족하지만 완비성은 만족 안 함). 완비성은 추가로 가정해야 하는 독립적 공리다.
"완비성과 연속(connectedness)은 같은 것" — 관련은 있지만 다르다. 완비성은 순서적·거리적 개념(Cauchy 수열의 수렴)이고, 연결성은 위상적 개념("두 비지 않은 열린집합으로 쪼개지지 않음")이다. $\mathbb{R}$ 는 둘 다 만족하지만 일반 거리공간에서는 독립적일 수 있다.
"Rudin 구성이 없으면 완비성이 의심스럽다" — 그렇지 않다. Bartle처럼 공리로 채택해도 논리적으로 전혀 문제없다(상대적 무모순성은 메타수학적 질문). Rudin의 구성은 "그런 공리계가 모순 없이 실현 가능함"을 보여주는 추가 보증일 뿐, 공리적 접근이 틀렸다는 뜻이 아니다.
여섯 동치 형태 중 하나만 외우고 나머지를 잊음 — 어떤 증명에서 "완비성을 쓴다"고 할 때 실제로는 단조수렴·B–W·Cauchy·축소구간·콤팩트성 중 무엇을 직접 호출하는지가 다르다. 책마다 다른 형태를 1차 도구로 쓰므로, 같은 정리의 Rudin식 증명과 Bartle식 증명이 겉보기에 다른 길을 갈 수 있다.
유계성과 완비성 혼동 — 유계는 집합이 "무한히 뻗지 않음", 완비는 그 집합이 사는 공간 자체가 "빈틈 없음." 유계인데 완비가 아닐 수 있다(예: $\mathbb{Q}$ 안의 유계집합).

큰 그림 / 연결

완비성은 실수 체계을 $\mathbb{Q}$ 와 가르는 단 하나의 공리이며, supremum infimum이 그 공리가 말해지는 정확한 언어다. 여기서 출발한 여섯 동치 형태는 이후 위키 전체에 흩어져 각자의 페이지를 가진다: 수열의 수렴(단조수렴), 볼차노–바이어슈트라스 정리(부분수열), 코시 수열(Cauchy 완비성), 콤팩트성(Heine–Borel). 더 나아가 연결성·중간값정리·최대최소정리 같은 연속함수의 핵심 정리들도 전부 완비성을 직접 호출해 증명된다. 추상화의 다음 단계로, 완비성은 일반 거리공간의 속성으로 확장되어(완비 거리공간), 함수해석학의 Banach 공간·Hilbert 공간 이론 전체가 "함수들의 공간이 완비인가"라는 질문 위에 선다 — 균등수렴의 균등노름이 완비인 사실(Cauchy 함수열의 균등극한 존재)이 그 첫 사례다.

연습문제

단조수렴 정리를 완비성(최소상계 성질)으로부터 직접 증명하라.
$\mathbb{Q}$ 가 체·순서 공리는 만족하지만 완비성은 만족하지 않음을 구체적 집합으로 보여라.
축소구간 성질을 단조수렴 정리로부터 유도하라.
완비성을 이용해 $\sqrt3$ 이 존재함을 (삼분법 논증으로) 보여라.
닫힌 유계구간이 아닌 경우(예: 열린구간, 무한구간) 축소구간 성질이 실패하는 예를 들어라.
Bolzano–Weierstrass 정리가 완비성과 동치임을 — 즉 B–W로부터 단조수렴 정리를 유도하여 — 보여라.
"$\mathbb{Q}$ 가 완비성을 만족하지 않는다"는 사실을 단조수렴 정리의 언어로 다시 진술하라(즉 $\mathbb{Q}$ 안에서 실패하는 구체적 유계 단조수열을 제시).
완비성의 여섯 동치 형태 중 두 개를 골라, 한쪽에서 다른 쪽을 유도하는 논증의 개요를 서술하라.

힌트 / 정답

본문 정리 1의 증명 참고: $\sup$ 의 존재(완비성) → $\varepsilon$-특성화로 꼬리가 $\alpha$ 에 가까움을 보임.
$E=\{r\in\mathbb{Q}:r^2<2\}$. 위로 유계(예: $2$)지만 $\mathbb{Q}$ 안에 최소상계 없음(본문 예제 3).
$I_n=[a_n,b_n]$ 에서 $a_n$ 은 증가, $b_n$ 으로 유계 ⟹ 단조수렴으로 $\alpha=\sup a_n=\lim a_n$ 존재. 모든 $n$ 에서 $a_n\le\alpha\le b_n$ 을 보이면 $\alpha\in\bigcap I_n$; $|I_n|\to0$ 이 유일성 보장.
$\{x>0:x^2<3\}$ 의 상한 $s$ 를 잡고, $s^2<3$ 이면 $s$보다 약간 큰 원소가 여전히 집합 안에 있음을, $s^2>3$ 이면 $s$보다 약간 작은 상계가 있음을 보여 모순 — 따라서 $s^2=3$.
$I_n=(0,1/n)$ (열린구간): $\bigcap I_n=\varnothing$ — 닫혀있지 않아 실패. $I_n=[n,\infty)$ (무한구간): $\bigcap I_n=\varnothing$ — 유계가 아니어서 실패.
유계 단조증가수열 $\{a_n\}$ 에 B–W 적용 ⟹ 수렴 부분수열 $a_{n_k}\to L$ 존재. 단조성으로 전체 수열도 $L$ 로 수렴함을 보인다(꼬리 부분에서 $a_n$ 이 $a_{n_k}$ 들 사이에 끼여 압착됨).
$a_n=$ ($\sqrt2$ 로 수렴하는 유리수 단조증가 근사수열, 예: 소수점 $n$자리까지의 $\sqrt2$ 근사값)은 $\mathbb{Q}$ 안에서 유계 단조증가이지만 $\mathbb{Q}$ 안에는 극한이 없다.
예: 최소상계 성질 ⟹ 단조수렴(본문 정리 1) ⟹ B–W(단조부분수열 경유) ⟹ Cauchy 완비성(B–W로 수렴 부분수열을 잡고 Cauchy성으로 전체 수렴 보임).