I. 실수 체계 · 1/16

실수 체계

완비 순서체 ℝ, 공리적 접근과 구성적 접근

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

개요 — 동기·문제의식

해석학은 극한·연속·미분·적분을 엄밀하게 다루는데, Rudin의 말처럼 이 모든 개념은 "정확하게 정의된 수 개념 위에서" 전개되어야 한다.¹ 출발점이 되는 결함은 두 책 모두 동일하다: 유리수 $\mathbb{Q}$ 안에는 $p^2 = 2$를 만족하는 $p$가 없다. 즉 $1, 1.4, 1.41, 1.414, \dots$ 라는 수열은 분명히 어딘가로 "다가가지만" 그 극한이 $\mathbb{Q}$ 안에는 존재하지 않는다.² 실수 체계 $\mathbb{R}$ 는 바로 이 빈틈을 메운다 — 그것도 정확히 한 가지 추가 공리(완비성)만으로.

왜 이 문제가 사소하지 않은가? $\mathbb{Q}$ 는 대수적으로는 완벽하다 — 사칙연산이 자유롭고, 순서도 있다. 그런데 기하학적으로 자명해 보이는 질문("$2$의 제곱근은 존재하는가?", "단조증가하면서 위로 유계인 수열은 수렴하는가?")에 답하지 못한다. 미적분의 중간값정리·최대최소정리·단조수렴정리는 모두 이 빈틈이 메워져야 성립한다. 따라서 $\mathbb{R}$ 를 명확히 규정하는 일이 해석학 전체의 첫 단추다.

직관

$\mathbb{Q}$ 를 수직선 위에 점으로 찍는다고 상상하자. 점들은 조밀하지만(임의의 두 유리수 사이에 또 다른 유리수가 있음) 수직선을 빈틈없이 채우지는 못한다 — $\sqrt2$ 의 자리에 구멍이 있다. $\mathbb{R}$ 를 만든다는 것은 이 구멍들을 모두 메워 "끊김 없는" 직선을 얻는 일이다. 이를 형식화하는 두 가지 동등한 그림이 있다:

절단(cut)의 그림(Rudin): 각 실수를 그보다 작은 유리수 전체의 집합으로 본다. $\sqrt2$ 라는 "구멍"은 $\{r\in\mathbb{Q}: r<0 \text{ 또는 } r^2<2\}$ 라는 멀쩡한 집합으로 대체된다 — 구멍 자체를 그 왼쪽 전체로 정의해버리는 트릭.
최소상계의 그림(공리적, 두 책 공통): "위로 유계인 집합은 항상 최소 상계를 가진다"고 요구하면, 그 요구만으로 모든 구멍이 자동으로 메워진다 — 구멍이 있다면 그 구멍 바로 아래의 유리수들의 집합이 상한을 갖지 못해 모순이기 때문이다.

요컨대 $\mathbb{R}$ 는 "$\mathbb{Q}$ 에 약간의 새 점을 추가한 것"이 아니라, "$\mathbb{Q}$ 의 대수·순서 구조를 그대로 유지하면서 빈틈만 메운 유일한 구조"다.

정의

체(field)

집합 $F$ 에 덧셈과 곱셈이 정의되어 다음 공리들을 만족하면 체라 한다.³

덧셈 공리 (A): 닫혀 있음, 교환·결합법칙, 항등원 $0$ 존재, 역원 $-x$ 존재.
곱셈 공리 (M): 닫혀 있음, 교환·결합법칙, 항등원 $1 \ne 0$ 존재, $x \ne 0$ 이면 역원 $1/x$ 존재.
분배법칙 (D): $x(y+z) = xy + xz$.

$\mathbb{Q}$ 도 체이고, 이 공리들로부터 소거법칙 $x+y=x+z \Rightarrow y=z$, $0\cdot x = 0$, $(-x)(-y)=xy$ 등 익숙한 성질이 모두 따라 나온다.⁴

순서체(ordered field)

순서 $<$ 가 정의된 체로서, $y<z \Rightarrow x+y < x+z$, 그리고 $x>0,\,y>0 \Rightarrow xy>0$ 을 만족하면 순서체라 한다. $\mathbb{Q}$ 와 $\mathbb{R}$ 는 순서체이지만 $\mathbb{C}$ 는 순서체가 될 수 없다 — $i^2=-1<0$ 인데 제곱은 항상 $\ge0$ 이어야 하므로 모순.

완비성 — $\mathbb{R}$ 를 $\mathbb{Q}$ 와 구별하는 단 하나의 공리

$\mathbb{R}$ 는 완비 순서체(complete ordered field), 즉 위의 대수·순서 공리에 더해 최소상계 성질(상계가 있는 공집합 아닌 부분집합은 항상 상한을 가진다)을 만족하는 순서체다. 대수와 순서만으로는 해석학이 시작되지 않으며, 모든 것은 이 완비성에서 나온다 → 완비성 공리, supremum infimum.

단계	구조	추가되는 것
$\mathbb{N}$	자연수	셈, 귀납법
$\mathbb{Z}$	정수	뺄셈(덧셈의 역원)
$\mathbb{Q}$	유리수	나눗셈(곱셈의 역원) — 체 완성
$\mathbb{R}$	실수	완비성(빈틈 메움) — 순서체+해석학

중요한 사실(존재와 유일성): 완비 순서체는 (동형을 무시하면) $\mathbb{R}$ 하나뿐이다. 즉 "완비 순서체"라는 공리계는 모델을 정확히 하나만 가진다 — 이것이 $\mathbb{R}$ 를 어떻게 구성하든(절단이든 Cauchy 수열이든) 같은 대상에 도달하는 이유다.

주요 정리

정리 (Archimedes 성질).⁵ 임의의 실수 $x, y$ 에 대해 $x>0$ 이면 $nx > y$ 인 자연수 $n$ 이 존재한다.

증명 보기

증명. 그렇지 않다고 가정하면, $A=\{nx: n\in\mathbb{N}\}$ 은 $y$ 로 위로 유계인 공집합 아닌 집합이다. 완비성에 의해 $\alpha=\sup A$ 가 존재한다. $\alpha-x<\alpha$ 이므로 $\alpha-x$ 는 $A$ 의 상계가 아니다(상한의 정의 (2)) — 즉 어떤 $m\in\mathbb{N}$ 에 대해 $\alpha-x<mx$. 그러면 $\alpha<(m+1)x\in A$, 이는 $\alpha$ 가 $A$ 의 상계라는 사실에 모순. ∎

따름 ($\mathbb{Q}$ 의 조밀성). 임의의 두 실수 $x<y$ 사이에 유리수가 존재한다. (Archimedes 성질로 $n(y-x)>1$ 인 $n$ 을 잡고, $nx$ 보다 큰 최소의 정수 $m$ 을 잡으면 $x<m/n<y$.)

정리 ($n$제곱근의 존재).⁶ 모든 실수 $x>0$ 과 정수 $n>0$ 에 대해 $y^n = x$ 인 유일한 양의 실수 $y$ 가 존재한다.

증명 보기

증명 스케치. $E=\{t>0 : t^n<x\}$ 는 공집합이 아니고(작은 $t$) 위로 유계이므로(큰 $t$) $y=\sup E$ 가 존재한다. 삼분법으로 $y^n<x$, $y^n>x$ 를 각각 가정하면, 부등식 $(y+h)^n - y^n < h\cdot n(y+1)^{n-1}$ 류의 추정을 이용해 $y$ 보다 약간 큰(또는 작은) 원소가 여전히 $E$ 안에 있음(또는 $E$ 의 상계임)을 보여 모순에 이른다. 따라서 $y^n=x$ 만 남는다. 유일성은 $t\mapsto t^n$ 이 양수에서 순증가하기 때문. ∎ 이로써 서론에서 지적한 "$\sqrt 2$ 의 부재" 문제가 $\mathbb{R}$ 안에서 해결된다.

두 정리 모두 그 증명이 완비성에 의존한다 — Archimedes 성질이 성립하지 않는 순서체(비표준 해석학의 초실수 등)도 존재하므로, 이는 순서·대수 공리만의 귀결이 아니다.

정리 (절댓값의 삼각부등식). $|x+y|\le|x|+|y|$. (네 경우 $x,y$ 의 부호로 직접 확인하거나, $-|x|\le x\le|x|$, $-|y|\le y\le|y|$ 를 더해 $-(|x|+|y|)\le x+y\le|x|+|y|$.)

예제

예제 1 ($\mathbb{Q}$ 의 불완비성). $A = \{r \in \mathbb{Q} : r^2 < 2\}$ 는 $\mathbb{Q}$ 안에서 위로 유계지만 최소상계를 갖지 않는다.² $\mathbb{R}$ 안에서는 $\sup A = \sqrt 2$ 로 존재한다.

예제 2 (체 공리만으로는 부족함을 보이는 반례). 유리수체 $\mathbb{Q}$ 는 체 공리·순서 공리를 전부 만족하지만 완비성은 만족하지 않는다 — 체+순서가 완비성을 함의하지 않는다는 것을 보여주는 가장 기본적인 반례.

예제 3 (Archimedes 성질이 실패하는 구조). 형식적 멱급수체나 초실수($\ast\mathbb{R}$, 비표준 해석학)에는 임의의 자연수 $n$ 보다 큰 "무한대" 원소가 존재한다 — 그런 구조는 순서체이지만 Archimedes 성질을 만족하지 않으므로 $\mathbb{R}$ 와 동형일 수 없다(완비 순서체이려면 Archimedes 성질이 자동으로 따라오므로).

예제 4 ($\mathbb{C}$ 는 순서체가 될 수 없음). $\mathbb{C}$ 에 순서를 줘서 순서체로 만들 수 있다고 가정하면, $i\ne0$ 이므로 $i>0$ 또는 $-i>0$. 어느 쪽이든 제곱하면 $i^2=-1>0$, 즉 $-1>0$. 그런데 $1=1^2>0$ 도 성립해야 하므로 $1+(-1)>0+0$, 즉 $0>0$ — 모순.

예제 5 (소수 전개와 완비성). $1=0.999\ldots$ 는 같은 실수의 두 소수 표현이다 — $\sup\{0.9, 0.99, 0.999,\dots\}=1$ 이기 때문. 완비성이 없다면 이 상한이 존재하지 않을 수도 있다.

예제 6 (구성 vs 공준의 실용적 차이). $\sqrt2 + \sqrt3$ 이 실수임을 보이려면, Bartle식으로는 "완비 순서체의 원소이므로 덧셈에 닫혀 있다"고 즉시 말하면 끝나지만, Rudin의 절단 구성을 따라가면 두 절단의 덧셈을 직접 계산해야 한다 — 일상적으로는 공리적 사용이 압도적으로 편하다는 것을 체감시키는 예.

흔한 오해와 함정

"완비성은 그냥 또 하나의 공리일 뿐" — 완비성은 $\mathbb{Q}$ 와 $\mathbb{R}$ 를 가르는 유일한 공리다. 체+순서 공리는 $\mathbb{Q}$ 도 만족하므로, 해석학에 필요한 모든 존재 정리(IVT, 단조수렴, 최대최소정리 등)는 전부 완비성 없이는 성립하지 않는다.
"$\mathbb{R}$ 는 그냥 $\mathbb{Q}$ 에 무리수를 끼워 넣은 것" — 직관적으로는 맞지만 부정확하다. 진짜 정의는 "완비 순서체"라는 공리적 특성이며, 절단이나 Cauchy 수열은 그런 구조가 존재함을 보이는 구성 방법일 뿐 정의 자체가 아니다.
순서체 ⟹ 완비라고 오해 — $\mathbb{Q}$ 가 반례. 순서체 중 완비인 것은(동형 의미에서) $\mathbb{R}$ 뿐이다.
Archimedes 성질을 자명하다고 여김 — "임의로 큰 자연수가 존재한다"는 직관적으로 당연해 보이지만, 실제로는 완비성에서 증명되는 정리다(비-Archimedes 순서체가 존재하기 때문에 공짜로 따라오지 않는다).
$\mathbb{C}$ 를 순서체로 다루려는 시도 — $\mathbb{C}$ 에는 자연스러운 전순서가 없다. "복소수 $a+bi$ 가 양수"라는 말은 정의되지 않는다(예제 4).

큰 그림 / 연결

실수 체계는 이 위키 전체가 서는 토대다. 완비성은 완비성 공리에서 최소상계 언어로 정밀화되고, supremum infimum은 그 언어 자체를 다룬다. Rudin은 완비성의 존재를 dedekind cuts로 증명하는 반면 Bartle은 공준한다 — 이 갈림길이 rudin vs bartle에 정리된 두 책의 근본적 태도 차이의 출발점이다. 완비성은 이후 수열의 수렴의 단조수렴정리, 코시 수열의 Cauchy 판정, 볼차노–바이어슈트라스 정리의 부분수열 정리, 콤팩트성의 Heine–Borel로 형태를 바꿔가며 반복 등장한다 — 사실상 해석학의 모든 "존재 정리"는 완비성의 변주다. 더 멀리는, $\mathbb{R}^k$ 가 거리공간의 표준 예가 되고, 같은 구성 전략(Cauchy 수열의 동치류로 완비화)이 함수공간의 완비화(Lebesgue 공간 등)에도 반복된다 → lebesgue theory. 대수학에서는 체의 확장(체론)이, 집합론에서는 $\mathbb{R}$ 의 비가산성(→ countability)이 이 토대 위에서 갈라져 나간다.

연습문제

체 공리만으로 $0\cdot x=0$ 을 증명하라.
$\mathbb{Q}$ 가 체이지만 완비 순서체가 아님을 보여라(완비성이 실패하는 구체적 부분집합 하나를 제시).
Archimedes 성질을 이용해 $\inf\{1/n : n\in\mathbb{N}\}=0$ 임을 보여라.
임의의 두 실수 $x<y$ 사이에 무리수가 존재함을 보여라(유리수의 조밀성 + $\sqrt2$ 의 존재를 이용).
$\mathbb{C}$ 에 순서체 구조를 줄 수 없음을 보여라($i$ 의 부호로 모순을 이끌어내라).
$E=\{x\in\mathbb{Q}: x>0,\ x^2>2\}$ 가 $\mathbb{Q}$ 안에서 하한을 갖지 않음을 보여라.
삼각부등식 $|x+y|\le|x|+|y|$ 을 이용해 $||x|-|y||\le|x-y|$ 를 유도하라.
$n$제곱근의 유일성 부분("$t\mapsto t^n$ 이 양수에서 순증가")을 직접 증명하라.

힌트 / 정답

$0\cdot x = (0+0)x = 0\cdot x+0\cdot x$ (분배법칙), 양변에서 $0\cdot x$ 의 덧셈역원을 더하면 $0=0\cdot x$.
$A=\{r\in\mathbb{Q}:r^2<2\}$ 는 $\mathbb{Q}$ 안에서 위로 유계(예: $2$가 상계)지만 $\mathbb{Q}$ 안에 최소상계가 없다 — 어떤 유리수 상계를 잡아도 더 작은 유리수 상계를 항상 찾을 수 있음을 $\sqrt2$ 근사로 보인다.
$0$ 은 분명한 하계. $\varepsilon>0$ 이 주어지면 Archimedes 성질로 $n>1/\varepsilon$ 인 $n$ 이 존재 ⟹ $1/n<\varepsilon$ ⟹ $\varepsilon$ 보다 큰 하계는 없음 ⟹ $\inf=0$.
$x<y$ 사이에 유리수 $q_1<q_2$ 둘을 먼저 잡는다(조밀성 두 번 적용). $q_1+\frac{\sqrt2}{n}$ 꼴($n$ 충분히 큰)은 무리수이며 $(x,y)$ 안에 들어오게 $n$을 조절할 수 있다.
$i\ne0$ 이므로 $i>0$ 또는 $-i>0$. 두 경우 모두 제곱하면 $-1=i^2=(-i)^2>0$. 그런데 $1=1^2>0$ 도 성립(순서체에서 $1\ne0$ 이고 $x\ne0\Rightarrow x^2>0$). $1>0$ 과 $-1>0$ 을 더하면 $0>0$ — 모순.
임의의 $x\in E$ 에 대해 $x^2>2$ 인 유리수 $x$ 보다 작으면서 여전히 제곱이 $2$ 보다 큰 유리수를 항상 찾을 수 있음을 $n$제곱근 존재정리의 증명과 같은 평균값 추정으로 보인다 — $\inf E=\sqrt2\notin\mathbb{Q}$.
$|x|=|(x-y)+y|\le|x-y|+|y|$ ⟹ $|x|-|y|\le|x-y|$. 대칭으로 $|y|-|x|\le|y-x|=|x-y|$. 두 부등식을 합치면 $||x|-|y||\le|x-y|$.
$0<s<t$ 이면 $s^n<t^n$ 을 귀납법으로: $n=1$ 자명. $s^{n+1}=s\cdot s^n<s\cdot t^n<t\cdot t^n=t^{n+1}$ (각 부등식은 $s<t$ 와 귀납가정에 양수를 곱한 것). 따라서 $t\mapsto t^n$ 은 순증가 ⟹ 단사 ⟹ $n$제곱근은 유일.