유리수 집합($\mathbb{Q}$)은 사칙연산과 순서에 대해서는 완벽해 보이지만, 수직선 위에 '구멍'이 뚫려 있습니다.
이 구멍을 메워 실수를 '연속적인 직선'으로 만드는 결정적인 도구가 바로 완비성 공리(Completeness Axiom)입니다.
수열의 수렴과 함수의 연속성을 증명하는 모든 근거가 이 공리에서 시작됩니다.
1. 개념 기반 목표 지향 수업 지도안
수업 목표 1 상계, 하계, 상한(Supremum), 하한(Infimum)의 정의를 정확히 이해한다.
수업 목표 2 유리수와 실수의 차이를 '완비성'의 유무로 설명할 수 있다.
수업 목표 3 아르키메데스 원리를 사용하여 실수의 조밀성을 이해한다.
수업 목표 4 단조수렴정리의 기초가 되는 완비성 공리의 역할을 파악한다.
수업 흐름
도입 : "제곱해서 2가 되는 유리수가 존재할까?"라는 질문을 통해 유리수의 불완전성을 지적한다.
탐구 1 : 집합의 위와 아래를 막아주는 상계(Upper Bound)와 그 중 가장 작은 상한(LUB)을 정의한다.
탐구 2 : '공집합이 아니고 위로 유계인 실수의 부분집합은 반드시 상한을 갖는다'는 공리를 선언한다.
정리 : 최대값/최소값과 상한/하한의 미묘한 차이를 구분한다.
적용 : 실수의 조밀성(Density)과 아르키메데스 원리를 도출한다.
2. 개념 상세 설명
개념 1. 상한(Supremum)과 하한(Infimum)
집합 $S \subset \mathbb{R}$에 대하여, $S$의 모든 원소보다 크거나 같은 수들을 상계라고 하며, 상계 중 가장 작은 값을 상한($\sup S$)이라 한다.
$$u = \sup S \iff (\forall x \in S, x \le u) \text{ and } (\forall \epsilon > 0, \exists x \in S \text{ s.t. } x > u - \epsilon)$$
상한은 집합 $S$에 포함될 수도 있고(최대값), 포함되지 않을 수도 있습니다.
개념 2. 실수의 완비성 공리 (LUB Axiom)
"공집합이 아닌 실수의 부분집합 $S$가 위로 유계(bounded above)이면, $S$는 반드시 실수인 상한을 갖는다."
유리수 집합에서는 $\{r \in \mathbb{Q} \mid r^2 < 2\}$의 상한이 $\sqrt{2}$인데, 이는 유리수가 아니므로 유리수 체계는 완비성을 만족하지 않습니다.
개념 3. 아르키메데스 원리 (Archimedean Property)
실수 체계에서는 아무리 작은 양수 $\epsilon$이라도 충분히 큰 자연수 $n$을 곱하면 어떤 실수 $M$보다 커질 수 있다는 원리입니다.
$$\forall x \in \mathbb{R}, \exists n \in \mathbb{N} \text{ s.t. } n > x$$
$$\lim_{n \to \infty} \frac{1}{n} = 0 \text{ 의 논리적 근거가 됨.}$$
3. Graph 및 시각적 이해
시각화 1. 상한(Sup)의 개념
상한은 집합을 위에서 누르는 가장 '낮은' 벽과 같습니다.
시각화 2. 유리수의 구멍
유리수만으로는 수직선을 가득 채울 수 없습니다. $\pi$나 $\sqrt{2}$와 같은 무리수 지점에 '구멍'이 존재하며, 완비성 공리는 이 구멍을 실수로 메우는 작업입니다.
4. 각각의 개념 예시 문제
집합 S
상한 (sup S)
하한 (inf S)
최대값/최소값 존재 여부
$(0, 1)$
1
0
둘 다 없음
$[0, 1]$
1
0
Max=1, Min=0
$\{ \frac{1}{n} \mid n \in \mathbb{N} \}$
1
0
Max=1, Min 없음
5. 기초 5문항
1. 집합 $S = \{x \in \mathbb{R} \mid x < 5\}$의 상한을 구하시오.
정답 : \(5\)
2. 집합 $S = \{3, 4, 5\}$의 상한과 최대값은 각각 무엇인가?
정답 : 상한 = 5, 최대값 = 5 (유한집합에서는 일치함)
3. "모든 자연수 $n$에 대해 $n \le M$인 실수 $M$은 존재하지 않는다." 이 명제는 무엇과 동치인가?
정답 : 아르키메데스 원리
4. 하계가 존재하는 집합 $S$의 하한 $\inf S$의 정의를 쓰시오.
$\forall x \in S, x \ge \ell$을 만족하는 $\ell$ 중 가장 큰 값.
5. 유리수 집합 $\mathbb{Q}$에서 완비성 공리가 성립하지 않는 반례를 하나 드시오.
정답 : \(S = \{r \in \mathbb{Q} \mid r^2 < 2\}\). 이 집합의 상한은 \(\sqrt{2}\)인데 유리수가 아님.
6. 응용 5문항
1. 집합 $S = \{1 - \frac{1}{n} \mid n \in \mathbb{N} \}$의 상한과 하한을 구하시오.
2. 임의의 양수 $\epsilon > 0$에 대하여 $0 \le x < \epsilon$이면 $x=0$임을 증명하는 논거는?
정답 : 아르키메데스 원리에 의한 실수의 성질
3. 집합 $A$의 상한이 $u$일 때, 집합 $-A = \{-x \mid x \in A\}$의 하한을 $u$를 사용하여 나타내시오.
정답 : \(\inf(-A) = -u\)
4. 두 유계집합 $A, B$에 대하여 $C = \{a+b \mid a \in A, b \in B\}$일 때, $\sup C$를 구하시오.
정답 : \(\sup A + \sup B\)
5. 실수의 조밀성(Density)에 의해 임의의 두 실수 $a < b$ 사이에는 반드시 무엇이 존재하는가?
정답 : 적어도 하나의 유리수(및 무리수)
7. 심화 5문항
1. 상한의 $\epsilon$-정의를 사용하여 $\sup(0, 1) = 1$임을 증명하시오.
1) $\forall x \in (0, 1), x \le 1$이므로 1은 상계이다. 2) 임의의 $\epsilon > 0$에 대해 $1-\epsilon$이 상계가 아님을 보이려면 $1-\epsilon < x < 1$인 $x$가 존재해야 한다. $x = \max(1/2, 1-\epsilon/2)$ 등으로 잡으면 항상 존재한다.
2. 단조증가수열이 위로 유계이면 수렴한다는 '단조수렴정리'를 완비성 공리를 이용해 설명하시오.
수열의 항들을 집합으로 보면 위로 유계이므로 완비성 공리에 의해 상한 $L$이 존재한다. 증가하는 성질에 의해 수열은 $L$로 수렴하게 된다.
3. 축소구간정리(Nested Interval Theorem)와 완비성 공리의 관계를 논하시오.
완비성 공리가 성립하면, 길이는 0으로 가고 서로 포함되는 폐구간들의 교집합은 반드시 하나의 점을 포함한다.