완비성의 두 번째 결과: 유리수의 조밀성

아르키메데스 성질은 자연수가 상계를 갖지 않음을 보여주었습니다. 이제 이 성질을 활용하여 실수 직선의 놀라운 구조를 밝혀낼 수 있습니다.

우리는 보통 유리수가 수직선 위에 띄엄띄엄 분포한다고 생각하기 쉽습니다. 예를 들어 1/2, 1/3, 2/3 같은 분수들이 서로 떨어져 있는 것처럼 보이죠. 그렇다면 그 사이의 빈 공간은 무엇으로 채워져 있을까요?

놀랍게도, 실수 직선의 어느 구간을 택하더라도 그 안에는 무한히 많은 유리수와 무한히 많은 무리수가 빽빽하게 들어차 있습니다. 이것이 바로 유리수와 무리수의 조밀성입니다.

조밀성의 의미

조밀성(density)이란 수학적으로 "빈틈없이 빽빽하게 분포한다"는 의미입니다. 다시 말해, 실수 직선의 어느 구간을 아무리 확대해도, 그 안에는 항상 무한히 많은 유리수와 무리수가 섞여 있다는 것입니다.

구체적인 예를 들어보겠습니다. $1.41421$과 $1.41422$라는 아주 가까운 두 수 사이에도:

• 유리수: $\frac{141421.5}{100000} = 1.414215$
• 무리수: $\sqrt{2} \approx 1.41421356...$

와 같은 수들이 존재합니다.

유리수의 조밀성

정리 (유리수의 조밀성)
서로 다른 임의의 실수 $a<b$ 사이에는 반드시 유리수 $q\in\mathbb{Q}$가 존재한다.

형식적으로: $\forall a,b \in \mathbb{R}, \quad a < b \Rightarrow \exists q \in \mathbb{Q} : a < q < b$

증명의 핵심 아이디어는 "확대와 축소"입니다. 작은 구간 안에서는 정수를 찾기 어렵지만, 구간을 충분히 확대하면 그 안에 정수가 들어갈 만큼 넓어집니다. 이렇게 찾은 정수를 다시 같은 비율로 축소하면 원래 구간 안의 유리수를 얻을 수 있습니다.

증명 로드맵:
1. 아르키메데스 성질로 구간을 충분히 확대할 배율 $n$ 찾기
2. 확대된 구간 $(na, nb)$에서 정수 $m$ 찾기
3. $m/n$이 원하는 유리수임을 확인

증명

왜 구간을 확대할까요?
작은 구간에서는 정수를 찾기 어렵지만, 충분히 확대하면 정수 격자점이 보이기 때문입니다.

[단계 1: 배율 결정]
아르키메데스 성질에 의해, 구간 길이 $b-a$의 역수보다 큰 자연수 $n$이 존재한다:
$n > \frac{1}{b-a} \quad \Rightarrow \quad \frac{1}{n} < b-a$

[단계 2: 정수 찾기]
구간 $(a,b)$를 $n$배 확대하면 $(na, nb)$가 되고, 길이가 $n(b-a) > 1$이 된다. 길이가 1보다 크므로, 이 안에는 적어도 하나의 정수 $m$이 존재한다:
$na < m < nb$

[단계 3: 유리수 구성]
양변을 $n$으로 나누면:
$a < \frac{m}{n} < b$

따라서 $q = \frac{m}{n}$이 원하는 유리수이다. $\square$

증명의 핵심 아이디어

1. 구간이 너무 작으면 정수를 찾기 어려움
2. 아르키메데스 성질로 충분히 확대 가능
3. 확대된 구간에서 정수 찾기
4. 다시 축소하여 유리수 얻기

이 과정은 마치 현미경의 배율을 조절하는 것과 같습니다. 배율을 높여서 세밀한 구조를 관찰한 후, 다시 원래 크기로 돌아오는 것이죠.

시각적 이해

점진적 확대로 보는 유리수의 분포

레벨 1: [0, 1] 구간
0 ────┼────┼────┼────┼────┼────┼────┼──── 1
     1/8  1/4  3/8  1/2  5/8  3/4  7/8

8개의 유리수가 보입니다.

레벨 2: [0.4, 0.6] 구간 (5배 확대)
0.4 ──┼──┼──┼──┼──┼──┼──┼──┼──┼──┼── 0.6
     2/5  9/20  1/2  11/20  3/5
       7/15  8/17  9/19  10/21

더 많은 유리수가 나타납니다!

레벨 3: [0.49, 0.51] 구간 (50배 확대)
0.49 ─────────────┼───────────── 0.51
                 1/2
     49/100  99/200  101/200  51/100
   196/400  197/400 ... 203/400  204/400

아무리 확대해도 끝이 없이 계속해서 새로운 유리수가 발견됩니다. 
• 분모 100: 49/100, 50/100, 51/100
• 분모 1000: 490/1000, 491/1000, ..., 509/1000, 510/1000  
• 분모 10000: 4900/10000, 4901/10000, ..., 5099/10000, 5100/10000
• ...

⇒ 실수 직선의 어느 구간에도 무한히 많은 유리수가 조밀하게 분포

실수의 조밀한 구조

유리수의 조밀성은 실수 직선의 구조에 대한 놀라운 통찰을 제공합니다:

1. 어디에나 있는 유리수: 아무리 작은 구간에도 유리수가 존재
2. 어디에나 있는 무리수: 유리수가 조밀하다면, 그 사이의 무리수도 조밀함
3. 모자이크 구조: 유리수와 무리수가 서로 "섞여" 있음

이는 실수 직선이 우리가 생각하는 단순한 선이 아니라, 유리수와 무리수가 복잡하게 얽혀있는 매우 풍부한 구조를 가지고 있음을 보여줍니다.

예제: $\sqrt{2}$의 유리수 근사

유리수의 조밀성이 실제로 어떻게 활용되는지 살펴보겠습니다. 무리수인 $\sqrt{2}$를 유리수로 근사하는 과정을 통해 조밀성의 의미를 확인할 수 있습니다.

예를 들어 $\sqrt{2} \approx 1.41421356$을 근사하기 위해:

• 하한: $a = \frac{140}{99} \approx 1.4141$
• 상한: $b = \frac{99}{70} \approx 1.4143$
• 사이의 유리수: $q = \frac{577}{408} \approx 1.4142157$

여기서 $a < \sqrt{2} < q < b$이고 $|q - \sqrt{2}| < 0.0001$입니다.

이 예제는 아르키메데스 성질과 유리수의 조밀성 덕분에 무리수를 유리수로 원하는 만큼 정밀하게 근사할 수 있음을 보여줍니다. 이는 컴퓨터가 무리수를 다루는 방식의 수학적 기초가 됩니다.

정리하기

이번 절의 핵심

• 유리수의 조밀성: 임의의 두 실수 사이에 유리수가 존재
• 무리수의 조밀성: 임의의 두 실수 사이에 무리수도 존재
• 실수는 유리수와 무리수가 "빽빽하게" 섞인 구조
• 아르키메데스 성질이 조밀성의 핵심 도구

핵심 통찰

실수 직선은 단순한 연속체가 아니라, 유리수와 무리수가 복잡하게 얽힌 풍부한 구조입니다. 어떤 구간을 아무리 확대해도 그 안에는 무한히 많은 유리수와 무리수가 섞여 있습니다.

다음 절 예고

유리수가 조밀하지만 "구멍"이 있다면, 그 구멍을 메우는 것이 바로 무리수입니다. 다음 절에서는 이러한 실수의 완비성이 수열의 수렴성과 어떻게 연결되는지 탐구합니다.