완비성: 수직선의 모든 구멍을 메우다

🎯 이번 절의 목표

지금까지 우리는 필드(사칙연산)와 순서(크기 비교)라는 두 기둥을 세웠습니다. 그런데 이것만으로는 실수를 완전히 설명할 수 없습니다. 유리수도 이 두 조건을 만족하지만, 유리수에는 치명적인 '구멍'이 있기 때문입니다. 이 구멍을 메우는 세 번째 기둥, 완비성을 탐구해봅시다.

피타고라스학파의 위기

기원전 500년경, 피타고라스학파는 충격적인 발견을 했습니다. 정사각형의 대각선 길이를 분수로 나타낼 수 없다는 것이었죠. 이것은 "만물은 수(유리수)다"라는 그들의 철학을 뒤흔드는 발견이었습니다.

한 변의 길이가 1인 정사각형을 생각해봅시다. 피타고라스 정리에 의해 대각선의 길이는 $\sqrt{2}$가 됩니다. 그런데 과연 이 길이를 유리수로 정확히 나타낼 수 있을까요?

실제로 계산해보면 흥미로운 패턴을 발견하게 됩니다:

1.4 × 1.4 = 1.96 (너무 작음)
1.5 × 1.5 = 2.25 (너무 큼)
1.41 × 1.41 = 1.9881 (아직도 작음)
1.42 × 1.42 = 2.0164 (이제는 큼)
1.414 × 1.414 = 1.999396 (거의 다 왔지만...)
1.415 × 1.415 = 2.002225 (조금 넘었네요)

아무리 정밀하게 근사해도, 제곱해서 정확히 2가 되는 유리수는 존재하지 않습니다. 마치 유리수 체계에 '구멍'이 있는 것처럼 말이죠.

💭 함께 생각해봅시다
자를 사용해서 선분을 그을 때, 우리는 연속적인 선을 그립니다. 만약 수직선에 구멍이 있다면, 정말로 '연속적인' 선을 그을 수 있을까요? 이 질문이 바로 완비성의 핵심을 찌릅니다.

첫 번째 준비: 유계 집합 이해하기

완비성을 이해하기 위해서는 먼저 '유계'라는 개념을 알아야 합니다. 이것은 집합이 특정 범위를 벗어나지 못한다는 뜻인데, 왜 이 개념이 필요한지부터 차근차근 살펴보겠습니다.

【직관적 이해】

목장의 양떼를 상상해보세요. 양들이 울타리 안에 있다면, 아무리 멀리 가려 해도 울타리를 넘을 수 없습니다. 수학에서도 집합의 원소들이 특정 범위를 벗어나지 못할 때 '유계'라고 합니다. 이 개념이 중요한 이유는, 무한히 많은 원소가 있더라도 그들이 한정된 범위 안에 있다는 것을 보장하기 때문입니다.

【수학적 정의】

정의 1.3 (상계, 하계, 유계)
순서가 정해진 필드 $F$의 부분집합 $S \subset F$에 대하여:

1. 상계(upper bound): $b \in F$가 $S$의 상계 ⟺ $\forall x \in S$, $x \leq b$
2. 하계(lower bound): $a \in F$가 $S$의 하계 ⟺ $\forall x \in S$, $a \leq x$
3. 위로 유계(bounded above): $S$가 상계를 가짐
4. 아래로 유계(bounded below): $S$가 하계를 가짐
5. 유계(bounded): $S$가 위로 유계이면서 아래로 유계

【핵심 통찰】

이 정의가 담고 있는 핵심은 "제한성"입니다:

• 상계는 집합의 천장 역할을 합니다 - 모든 원소가 이보다 작거나 같습니다
• 하계는 집합의 바닥 역할을 합니다 - 모든 원소가 이보다 크거나 같습니다
• 유계는 상자 안에 갇힌 것처럼 위아래로 모두 제한됩니다

💡 다시 읽어보기
이 정의를 다시 읽어봅시다. "모든 원소 $x \in S$에 대해"라는 조건이 핵심입니다. 단 하나의 원소라도 경계를 벗어나면 유계가 아닙니다. 이것은 '예외 없이 모든'이라는 수학의 엄격함을 보여줍니다.

구체적인 예시로 익숙해지기

이제 몇 가지 예시를 통해 유계의 개념을 더 깊이 이해해봅시다.

예제 1.1

집합 $S = {1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \ldots}$를 분석해봅시다.

각 원소를 살펴보면 패턴이 보입니다. 가장 큰 원소는 무엇일까요? 가장 작은 원소는 존재할까요?

• 상계들: 1, 2, 3, 100, ... (1 이상의 모든 수)
  • 왜? 집합의 모든 원소가 1 이하이므로
• 하계들: 0, -1, -2, ... (0 이하의 모든 수)
  • 왜? 모든 원소가 양수이므로
• 최대원소: 1 (집합에 속하면서 가장 큰 원소)
• 최소원소: 없음!
  • 이유: 아무리 작은 원소를 택해도 더 작은 것이 있음
  • 예: $\frac{1}{100}$보다 작은 $\frac{1}{101}$이 존재

예제 1.2

열린구간 $(0, 1) = {x \in \mathbb{R} : 0 < x < 1}$의 유계성을 조사해보겠습니다.

이 집합은 0과 1 사이의 모든 실수를 포함하지만, 0과 1은 포함하지 않습니다.

• 상계들: 1, 1.5, 2, 3, ... (1 이상의 모든 수)
• 하계들: 0, -0.5, -1, -2, ... (0 이하의 모든 수)
• 최대원소: 없음
  • 이유: 0.9999...에 아무리 가까워져도 1에는 도달 불가
  • $1 - \frac{1}{n}$은 $(0,1)$에 속하지만 1은 아님
• 최소원소: 없음
  • 이유: 0에 아무리 가까워져도 0보다는 큼

🤔 생각해보기
여기서 자연스러운 의문이 떠오릅니다. 정의상 상계는 여러 개 있는데, 어떤 것이 가장 좋은 상계일까요? 직관적으로 생각해보면, 가장 작은 상계가 가장 많은 정보를 담고 있을 것 같습니다. 이것이 바로 다음에 다룰 최소 상계(supremum)입니다.

두 번째 준비: 최소 상계와 최대 하계

【직관적 이해】

책들을 상자에 넣을 때를 생각해봅시다. 책보다 큰 상자는 많지만, 낭비를 줄이려면 가장 작은 상자를 선택하는 것이 효율적입니다. 마찬가지로 집합의 상계 중에서도 가장 작은 것, 즉 '가장 타이트한 경계'가 가장 유용한 정보를 제공합니다.

【수학적 정의】

정의 1.4 (최소 상계와 최대 하계)

1. 최소 상계(supremum) $\sup S$:
   • (i) $\sup S$는 $S$의 상계
   • (ii) 임의의 상계 $b$에 대해 $\sup S \leq b$
2. 최대 하계(infimum) $\inf S$:
   • (i) $\inf S$는 $S$의 하계
   • (ii) 임의의 하계 $a$에 대해 $a \leq \inf S$

【핵심 통찰】

이 정의의 핵심은 "최적성"입니다:

• 최소 상계(supremum): 모든 상계 중 가장 작은 것 - 가장 타이트한 상한
• 최대 하계(infimum): 모든 하계 중 가장 큰 것 - 가장 타이트한 하한

💡 다시 읽어보기
정의를 다시 보면, supremum은 두 가지 조건을 동시에 만족해야 합니다:

1. 상계여야 함 (모든 원소보다 크거나 같음)
2. 가장 작은 상계여야 함 (다른 상계보다 작거나 같음)

이 두 조건이 함께 있어야 "최적의 경계"가 됩니다.

시각화: 수직선에서의 supremum과 infimum

수직선:
←────────┼────────┼────────┼────────→
        0         0.5        1

열린구간 (0, 1):
         ○══════════════════○
         0                   1
         ↑                   ↑
      포함 안됨           포함 안됨

여기서:
○ = 열린 점 (경계점이지만 집합에 포함 안됨)
══ = 집합에 포함된 모든 점들

핵심 문제: 유리수의 구멍

이제 우리가 준비한 도구들을 사용해서 유리수 체계의 근본적인 문제를 들여다볼 시간입니다.

$\sqrt{2}$가 만드는 딜레마

집합 $S = {q \in \mathbb{Q} : q > 0 \text{ and } q^2 < 2}$를 생각해봅시다. 이 집합은 제곱하면 2보다 작은 양의 유리수들의 모임입니다.

관찰:

1. $S$는 위로 유계입니다 (예: 2는 상계)
2. 하지만 $\mathbb{Q}$ 안에서는 최소 상계가 없습니다!
3. 왜일까요? 직관적으로 $\sup S = \sqrt{2}$여야 하는데, $\sqrt{2} \notin \mathbb{Q}$이기 때문입니다.

🎯 정리: $\sqrt{2}$의 무리성

정리 1.5
$\sqrt{2}$는 유리수가 아니다.

핵심 아이디어

만약 $\sqrt{2}$가 유리수라면 기약분수로 표현할 수 있을 텐데, 그럴 경우 분자와 분모가 모두 짝수가 되어 기약분수라는 가정에 모순이 됩니다.

증명 로드맵

1. $\sqrt{2} = \frac{p}{q}$ (기약분수)라고 가정
2. 양변을 제곱하여 $p^2 = 2q^2$ 도출
3. $p$가 짝수임을 보임
4. $q$도 짝수임을 보임
5. 기약분수 가정에 모순

증명: 귀류법을 사용합니다.

$\sqrt{2} \in \mathbb{Q}$라고 가정합시다. 그러면 $\sqrt{2} = \frac{p}{q}$로 쓸 수 있습니다. 여기서 $p, q \in \mathbb{Z}$, $q > 0$이고, $\gcd(p,q) = 1$입니다 (기약분수).

양변을 제곱하면: $2 = \frac{p^2}{q^2}$

따라서: $p^2 = 2q^2$

💭 왜 이렇게?
이제 $p^2$가 짝수라는 것을 알 수 있습니다. 그런데 제곱이 짝수면 원래 수도 짝수여야 합니다. 왜일까요? 홀수의 제곱은 $(2k+1)^2 = 4k^2 + 4k + 1$로 항상 홀수이기 때문입니다.

$p$가 짝수이므로 $p = 2k$로 쓸 수 있습니다. 대입하면: $(2k)^2 = 2q^2$ $4k^2 = 2q^2$ $2k^2 = q^2$

같은 논리로 $q$도 짝수입니다!

하지만 $p$와 $q$가 모두 짝수라면 $\gcd(p,q) \geq 2$이므로, 기약분수라는 가정에 모순입니다. ∎

⚠️ 흔한 실수

"계산기에 1.41421356...이 나오는데 이게 $\sqrt{2}$ 아닌가요?"

이것은 유리수 근사값일 뿐입니다! 진짜 $\sqrt{2}$는 무한히 계속되는 비순환 소수로, 어떤 분수로도 정확히 나타낼 수 없습니다. 유리수는 항상 순환소수이지만, $\sqrt{2}$는 순환하지 않습니다.

완비성 공리: 실수의 결정적 특징

드디어 우리는 실수를 실수답게 만드는 핵심 성질에 도달했습니다. 앞서 본 유리수의 '구멍'을 메우는 것이 바로 이 완비성입니다.

【직관적 이해】

실수는 유리수의 모든 '구멍'을 메운 수 체계입니다. 수직선을 그릴 때 펜을 떼지 않고 연속적으로 그을 수 있다는 것, 그것이 완비성의 직관적 의미입니다. 마치 벽의 모든 틈새를 메운 것처럼, 실수는 수직선의 모든 틈새를 메웁니다.

【수학적 정의】

공리 1.6 (완비성 공리, Completeness Axiom)

실수 체계 $\mathbb{R}$에서:
공집합이 아니고 위로 유계인 모든 부분집합은 최소 상계를 가진다.

형식적으로: $S \subset \mathbb{R}$, $S \neq \emptyset$, $S$가 위로 유계
⟹ $\sup S \in \mathbb{R}$ 존재

【핵심 통찰】

완비성이 담고 있는 핵심은 "빈틈없음"입니다:

• 유리수의 모든 '구멍'이 메워져 있음: $\sqrt{2}$, $\pi$, $e$ 같은 수들이 존재
• 수렴하는 수열의 극한값이 항상 존재: 점점 가까워지면 반드시 도달점이 있음
• 연속함수의 중간값 정리가 성립: 그래프가 끊어지지 않음
• 미분과 적분의 엄밀한 정의가 가능: 해석학의 모든 이론이 여기서 시작

💡 다시 읽어보기
이 공리를 다시 읽어봅시다. "위로 유계인 집합은 반드시 supremum을 가진다"는 단순해 보이는 이 문장이, 실수 체계의 모든 깊은 성질들의 출발점입니다. 유리수에서는 불가능했던 것이 실수에서는 가능해지는 순간입니다.

완비성: 구체적 예시

예제 1.3

집합 $S = {x \in \mathbb{R} : x^2 < 2}$에서 $\sup S = \sqrt{2}$임을 보이시오.

풀이 아이디어

1. $\sqrt{2}$가 상계임을 보임
2. $\sqrt{2}$보다 작은 수는 상계가 될 수 없음을 보임

상세 풀이

Step 1: $\sqrt{2}$가 상계임을 보이기

• 임의의 $x \in S$에 대해 $x^2 < 2 = (\sqrt{2})^2$
• $x > 0$이면 $x < \sqrt{2}$
• $x \leq 0$이면 자명하게 $x < \sqrt{2}$
• 따라서 $\sqrt{2}$는 $S$의 상계

Step 2: $\sqrt{2}$가 최소 상계임을 보이기

• $b < \sqrt{2}$인 임의의 $b$를 택하자
• $\epsilon = \sqrt{2} - b > 0$라 하면
• $c = b + \frac{\epsilon}{2} < \sqrt{2}$
• 충분히 작은 $\delta > 0$에 대해 $(c - \delta)^2 < 2$
• 따라서 $c - \delta \in S$이지만 $c - \delta > b$
• 즉, $b$는 상계가 아님

결론: $\sup S = \sqrt{2}$ ∎

예제 1.4

수열 $a_n = \left(1 + \frac{1}{n}\right)^n$이 증가수열이고 위로 유계임을 보이고, 완비성을 이용하여 극한이 존재함을 설명하시오.

풀이 아이디어

1. 이항정리를 사용하여 전개
2. $a_n < 3$임을 보이기 (기하급수 이용)
3. $a_{n+1} > a_n$임을 보이기

📚 고교과정 연계

고등학교에서 배운 "실수의 연속성"이 바로 완비성입니다.

• 연속함수의 사잇값 정리
• 닫힌구간에서 연속함수의 최댓값 정리
• 미분가능성과 적분가능성

이 모든 개념이 완비성에서 출발합니다.

실수의 특성화: 세 기둥의 완성

🎯 정리: 실수의 유일성

정리 1.7 (실수의 특성화)
다음 세 조건을 만족하는 체계는 본질적으로 유일하며, 이를 실수 $\mathbb{R}$이라 한다:

1. 필드 구조 (사칙연산의 자유)
2. 순서 구조 (크기 비교 가능)
3. 완비성 (구멍이 없음)

핵심 아이디어

이 세 조건을 모두 만족하는 수 체계는 오직 하나뿐이며, 그것이 바로 우리가 아는 실수입니다.

의미

"실수란 무엇인가?"라는 근본적 질문에 대한 완벽한 수학적 답입니다. 이제 우리는 실수를 "완비순서필드"라고 정의할 수 있습니다.

📝 연습문제

예제 1.5

다음 집합이 유계인지 판단하고, 유계라면 상계와 하계를 하나씩 제시하시오:

1. $A = {n : n \in \mathbb{N}}$
2. $B = {(-1)^n : n \in \mathbb{N}}$
3. $C = {\frac{1}{n} : n \in \mathbb{N}}$

예제 1.6

다음 집합의 supremum과 infimum을 구하시오:

1. $A = {\frac{n}{n+1} : n \in \mathbb{N}}$
2. $B = {(-1)^n \cdot \frac{1}{n} : n \in \mathbb{N}}$

힌트

1. $\frac{n}{n+1} = 1 - \frac{1}{n+1}$로 변형해보세요
2. 양수 항과 음수 항을 분리해서 생각해보세요

예제 1.7

완비성 공리를 사용하여 다음을 증명하시오: "아래로 유계이고 공집합이 아닌 실수 부분집합은 infimum을 가진다."

📚 정리하기

이 포스팅에서 다룬 내용

• ✅ 유계 집합은 상계와 하계로 제한된 집합입니다
• ✅ 최소 상계(supremum)는 가장 작은 상계, 최적의 경계입니다
• ✅ 유리수는 $\sqrt{2}$ 같은 '구멍'이 있어 불완비합니다
• ✅ 실수의 완비성: 위로 유계인 집합은 반드시 supremum을 가집니다
• ✅ 필드 + 순서 + 완비성 = 실수의 완전한 특성화!

다음 포스팅 예고

지금까지 실수가 무엇인지 완전히 이해했습니다. 그런데 실수는 또 어떤 놀라운 성질들을 가지고 있을까요?

다음 포스트에서는:

• 아르키메데스 성질: 아무리 큰 실수도 자연수로 넘어설 수 있다
• 조밀성: 유리수가 실수 사이사이에 빽빽하게 있다
• 완비성이 만들어내는 놀라운 결과들

이 성질들이 어떻게 미적분학의 기초가 되는지 다루어보겠습니다.