실수의 구성: Dedekind 절단

지금까지 우리는 실수의 완비성이 주는 놀라운 결과들을 살펴보았습니다. 그런데 한 가지 근본적인 질문이 남아있습니다. 실수는 어떻게 구성되는 것일까요? 유리수에서 시작해서 어떻게 실수라는 완전한 체계에 도달할 수 있을까요?

19세기 독일 수학자 리하르트 데데킨트(Richard Dedekind)는 이 문제에 대한 독창적인 해답을 제시했습니다. 그의 아이디어는 놀랍도록 단순하면서도 강력합니다. 실수를 직접 정의하는 대신, 유리수를 두 그룹으로 나누는 방법으로 실수를 정의하는 것입니다.

예를 들어 $\sqrt{2}$를 생각해봅시다. 이 수는 유리수가 아니지만, 유리수들을 두 그룹으로 나눌 수 있습니다:

• 왼쪽 그룹: 제곱해서 2보다 작은 유리수들 (음수 포함)
• 오른쪽 그룹: 제곱해서 2보다 큰 유리수들

이 '절단'이 바로 $\sqrt{2}$를 정의합니다. 마치 보이지 않는 경계선이 유리수들을 둘로 가르는 것처럼 말이죠.

Dedekind 절단의 정의

직관적 이해

수직선 위에서 칼로 자르듯이 유리수들을 둘로 나누는 것을 상상해보세요. 이 절단선이 바로 하나의 실수를 나타냅니다. 유리수로 절단하면 그 유리수 자체가 되고, 유리수가 아닌 곳에서 절단하면 무리수가 됩니다.

수학적 정의

정의 (Dedekind 절단)
유리수 집합 $\mathbb{Q}$의 부분집합 쌍 $(L,U)$가 다음 조건을 만족할 때 Dedekind 절단이라 한다:

1. $L \neq \emptyset$, $U \neq \emptyset$ (둘 다 공집합이 아님)
2. $L \cup U = \mathbb{Q}$ (합집합이 전체 유리수)
3. $\forall p \in L, \forall q \in U : p < q$ (왼쪽은 항상 오른쪽보다 작음)
4. $L$은 최대원소가 없음

핵심 통찰

네 번째 조건이 가장 중요합니다. $L$에 최대원소가 없다는 것은 무엇을 의미할까요?

만약 $L$이 최대원소 $m$을 가진다면, 절단점이 유리수 $m$에서 일어난 것입니다. 이는 단순히 유리수를 나타낼 뿐입니다. 하지만 $L$에 최대원소가 없다면, 절단점은 '유리수 사이의 틈'에 있어야 합니다. 이 틈이 바로 무리수의 위치입니다.

예를 들어 $\sqrt{2}$의 절단을 생각해보면:

• $L = \{q \in \mathbb{Q} : q < 0 \text{ 또는 } q^2 < 2\}$
• $L$의 원소들: $1.4, 1.41, 1.414, 1.4142, ...$
• 아무리 큰 원소를 택해도 더 큰 원소가 $L$에 존재
• 하지만 이들이 수렴하는 '극한값' $\sqrt{2}$는 유리수가 아님

이제 완비성이 어떻게 보장되는지 살펴봅시다. 실수(=절단들)의 집합 $S$가 상계를 가진다고 하죠. 각 절단을 $(L_s, U_s)$라 하면, 새로운 절단을 다음과 같이 정의할 수 있습니다:
$L^* = \bigcup_{s \in S} L_s$

이 $L^*$도 절단을 만들며, 이것이 바로 $\sup S$가 됩니다! 즉:

• 모든 절단(유리수든 무리수든)이 하나의 실수를 정의
• 절단들의 상한도 항상 절단으로 표현 가능
• 따라서 실수 체계에 '구멍'이 없음

이것이 Dedekind의 천재적 통찰입니다. 유리수의 절단으로 실수를 정의하면, 완비성이 정의 자체에 내장되는 것입니다.

절단이 실수가 되는 방법

그런데 여기서 한 가지 의문이 생길 수 있습니다. 지금까지 절단이 실수를 '정의한다'고 했는데, 정확히 어떻게 대응되는 걸까요? 절단이라는 추상적인 개념이 어떻게 우리가 아는 구체적인 실수가 되는 것일까요?

절단에서 실수로

각 Dedekind 절단 $(L, U)$는 정확히 하나의 실수에 대응됩니다:

경우 1: 유리수를 나타내는 절단

• $U$가 최소원소 $r$을 가지는 경우
• 이 절단은 유리수 $r$을 나타냄
• 예: $L = \{q \in \mathbb{Q} : q < 1/2\}$, $U = \{q \in \mathbb{Q} : q \geq 1/2\}$는 유리수 $1/2$

경우 2: 무리수를 나타내는 절단

• $L$에 최대원소가 없고 $U$에 최소원소가 없는 경우
• 이 절단은 무리수를 나타냄
• 예: $L = \{q \in \mathbb{Q} : q < 0 \text{ 또는 } q^2 < 2\}$는 무리수 $\sqrt{2}$

실수에서 절단으로

역으로, 각 실수 $r$에 대해 절단을 구성할 수 있습니다:
$L_r = \{q \in \mathbb{Q} : q < r\}, \quad U_r = \{q \in \mathbb{Q} : q \geq r\}$

여기서 중요한 점:

• $r$이 유리수면: $U_r$이 최소원소 $r$을 가짐
• $r$이 무리수면: $L_r$에 최대원소 없고, $U_r$에 최소원소 없음

일대일 대응의 의미

실수 직선:  ----•----•----•----•----
                1/2  √2   e    π
                 ↕    ↕    ↕    ↕
Dedekind 절단: (L₁,U₁)(L₂,U₂)(L₃,U₃)(L₄,U₄)

이렇게 "모든 Dedekind 절단의 집합" = "실수 집합 ℝ"이 됩니다. 절단이라는 방법으로 유리수의 '틈'을 메워 완전한 실수 체계를 만든 것입니다.

이제 우리는 왜 Dedekind 절단이 완비성을 자동으로 보장하는지 완전히 이해할 수 있습니다. 절단 자체가 '상한'의 개념을 내포하고 있기 때문입니다. 상계를 가진 절단들의 집합은 그들의 합집합으로 만든 새로운 절단을 상한으로 가지게 되고, 이 상한도 역시 하나의 실수(절단)가 됩니다.

실수 구성의 유일성

지금까지 우리는 Dedekind 절단이라는 방법으로 유리수에서 출발하여 실수를 구성했습니다. 그런데 여기서 한 가지 근본적인 질문이 생깁니다.

"실수를 구성하는 다른 방법도 있지 않을까?"

실제로 있습니다! 19세기 수학자들은 여러 가지 방법을 개발했죠:

• 코시 수열 방법: 수렴하는 유리수 수열들을 이용한 구성 (칸토르)
• 무한소수 방법: 무한소수 전개를 이용한 구성
• 구간 축소 방법: 포함관계를 갖는 구간들의 교집합을 이용한 구성

그렇다면 이런 의문이 자연스럽게 따라옵니다:

"서로 다른 방법으로 구성한 실수 체계가 정말 같은 것일까? 혹시 미묘하게 다른 체계가 만들어지는 건 아닐까?"

놀랍게도 답은 '본질적으로 같다'입니다. 어떤 방법으로 구성하든, 필드 구조와 순서 구조, 그리고 완비성을 갖춘 체계는 본질적으로 하나뿐입니다. 이것이 바로 다음 정리가 말하는 심오한 내용입니다.

정리 1.7 (실수의 특성화)
다음 세 조건을 만족하는 체계는 본질적으로 유일하며, 이를 실수 $\mathbb{R}$이라 한다:
1. 필드 구조 (사칙연산의 자유)
2. 순서 구조 (크기 비교 가능)
3. 완비성 (구멍이 없음)

정리의 의미: "본질적으로 유일하다"는 것

이 정리는 실수 체계의 유일성을 보장합니다. "본질적으로 유일하다"는 것은 무슨 뜻일까요?

우리가 방금 본 Dedekind 절단으로 만든 실수와, 다른 누군가가 코시 수열으로 만든 실수가 있다고 합시다. 이 둘은 겉보기엔 완전히 다른 방법으로 구성되었지만, 수학적 구조는 완벽하게 같다는 뜻입니다. 마치 한국어로 "하나, 둘, 셋"이라고 세는 것과 영어로 "one, two, three"라고 세는 것이 같은 수 체계를 나타내는 것처럼요.

증명의 핵심 아이디어

이 정리를 증명하는 핵심은 Dedekind 절단의 아이디어를 일반화하는 것입니다. 우리가 방금 유리수를 절단하여 실수를 만들었듯이, 임의의 완비순서필드에서도 유사한 방법을 사용할 수 있습니다.

증명의 기본 전략:
1. 두 개의 완비순서필드 $\mathbb{F}_1$과 $\mathbb{F}_2$가 있다고 가정
2. 이들 사이에 "구조를 완벽하게 보존하는 일대일 대응"을 구성
3. 이 대응(동형사상)이 모든 연산과 순서를 보존함을 증명

흥미롭게도 이 대응을 만드는 핵심 도구가 바로 절단입니다.

단계 1: 유리수 부분의 대응

먼저 각 완비순서필드는 유리수를 포함해야 합니다. 왜일까요?

• 모든 필드는 1을 가집니다 (곱셈 항등원)
• 1 + 1 = 2, 1 + 1 + 1 = 3, ... 으로 자연수를 만들 수 있습니다
• 0 - n으로 음의 정수를 만들 수 있습니다
• m/n으로 유리수를 만들 수 있습니다

따라서 $\mathbb{F}_1$과 $\mathbb{F}_2$ 모두 유리수의 "복사본"을 포함합니다. 이들을 $\mathbb{Q}_1$과 $\mathbb{Q}_2$라고 부르면, 자연스러운 대응 관계가 있습니다: $f: \mathbb{Q}_1 \to \mathbb{Q}_2, \quad f(p/q) = p'/q'$ 여기서 $p'$와 $q'$는 $\mathbb{F}_2$에서의 대응하는 정수들입니다.

단계 2: 무리수로의 확장 - 절단 아이디어의 활용

이제 가장 창의적인 부분입니다. $\mathbb{F}_1$의 임의의 원소 $x$를 $\mathbb{F}_2$의 원소에 어떻게 대응시킬까요?

여기서 우리가 앞서 배운 Dedekind 절단의 아이디어를 사용합니다!

$x \in \mathbb{F}_1$에 대해, 다음 두 집합을 정의합니다:

• $L_x = \{q \in \mathbb{Q}_1 : q < x\}$ (x보다 작은 유리수들)
• $R_x = \{q \in \mathbb{Q}_1 : q > x\}$ (x보다 큰 유리수들)

바로 이것입니다! 우리가 실수를 정의할 때 사용한 절단 방법을 거꾸로 적용하는 것이죠. 각 원소 $x$를 "그것이 유리수를 어떻게 나누는가"로 특성화하는 것입니다.

직관적 이해
$x = \sqrt{2}$라고 생각해보세요. 그러면:

• $L_x$는 제곱해서 2보다 작은 양의 유리수들 (과 음수들)
• $R_x$는 제곱해서 2보다 큰 유리수들

이 두 집합이 $\sqrt{2}$를 "에워싸서" 정의합니다.

단계 3: 대응 관계 구성 - 완비성의 결정적 역할

이제 $\mathbb{F}_2$에서 대응점을 찾습니다. 여기서 완비성이 결정적인 역할을 합니다:

1. $L'_x = \{f(q) : q \in L_x\}$를 정의 ($\mathbb{Q}_2$의 부분집합)
2. $L'_x$는 위로 유계입니다 (왜? $R_x$의 원소들이 상계가 되기 때문)
3. $\mathbb{F}_2$의 완비성에 의해 $y = \sup L'_x \in \mathbb{F}_2$가 존재합니다.

이것이 핵심입니다. 완비성이 있기 때문에 상한이 반드시 존재하고, 이를 통해 $F(x) = y$라는 대응을 만들 수 있습니다.

통찰
만약 $\mathbb{F}_2$가 완비성을 갖지 않는다면 (예: 유리수체), $L'_x$의 상한이
존재하지 않을 수 있고, 따라서 대응을 만들 수 없습니다. 이것이 완비성이
실수를 특성화하는 데 필수적인 이유입니다.

단계 4: 이 대응이 모든 구조를 보존함을 증명

증명해야 할 것들:

1. 덧셈 보존: $F(x + y) = F(x) + F(y)$
2. 곱셈 보존: $F(x \cdot y) = F(x) \cdot F(y)$
3. 순서 보존: $x < y \Leftrightarrow F(x) < F(y)$
4. 전단사: 모든 원소가 빠짐없이 일대일 대응

각각의 증명은 완비성과 유리수의 조밀성을 교묘하게 사용합니다.

생각해보기

잠깐, 여기서 멈추고 생각해 봅시다.
우리가 처음에 Dedekind 절단으로 실수를 구성했는데, 이제는 절단을
거꾸로 사용해서 두 완비순서필드가 같다는 것을 증명했습니다.
이것이 우연일까요?

전혀 우연이 아닙니다! 절단은 순서구조와 완비성을 연결하는 다리 역할을 합니다.

• 정방향: 유리수를 절단하여 완비성을 가진 실수 구성
• 역방향: 절단을 이용하여 모든 완비순서필드가 동형임을 증명

이것이 Dedekind의 천재성입니다. 절단이라는 하나의 아이디어로 실수의 구성과 유일성을 동시에 해결한 것이죠.

정리하기

이번 절의 핵심

• Dedekind 절단: 유리수를 둘로 나누어 실수 정의
• 실수의 특성화: 완비순서필드는 본질적으로 유일