미적분학 30단계 · 7단계 · 함수의 연속

07. 함수의 연속성 (엄밀한 정의)

함수가 어떤 점 $a$에서 연속이라는 것은 단순히 "붓을 떼지 않고 그릴 수 있다"는 뜻을 넘어, "입력값의 차이를 충분히 줄임으로써 출력값의 차이를 원하는 만큼 작게 만들 수 있다"는 것을 의미합니다. 연속성은 미분과 적분을 가능하게 하는 최소한의 자격 요건입니다.

1. 개념 기반 목표 지향 수업 지도안

수업 목표 1
한 점에서의 연속성과 구간에서의 연속성을 ε-δ 논법으로 정의한다.

수업 목표 2
불연속의 유형(제거 가능, 도약, 무한)을 수학적으로 분류한다.

수업 목표 3
연속함수의 성질(최대-최소 정리, 중간값 정리)의 논리적 근거를 이해한다.

수업 목표 4
수열적 연속성(Sequential Continuity)과 ε-δ 정의의 동치성을 파악한다.

수업 흐름

도입 : 극한값 $\lim_{x \to a} f(x)$와 함숫값 $f(a)$가 일치하지 않는 사례들을 보며 연속의 필요성을 논한다.
탐구 1 : 6단계의 극한 정의를 수정하여 $|f(x) - f(a)| < \epsilon$ 형태의 연속성 정의를 도출한다.
탐구 2 : "연속함수의 합, 곱, 합성함수는 왜 다시 연속함수인가?"를 입실론-델타로 증명해본다.
정리 : 폐구간에서 연속인 함수가 갖는 강력한 특징(유계성, 최대최소)을 정리한다.
적용 : 실생활의 연속적인 현상(온도의 변화 등)을 중간값 정리와 연결한다.

2. 개념 상세 설명

개념 1. 한 점에서의 연속성 (Continuity at a point)

함수 $f$가 점 $a$에서 연속이라는 것은 다음 조건을 만족하는 것이다.

$$\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } |x - a| < \delta \implies |f(x) - f(a)| < \epsilon$$

극한과의 차이점: 극한 정의에서는 $0 < |x-a|$를 써서 $x=a$인 경우를 제외했지만, 연속 정의에서는 $x=a$일 때 $|f(a)-f(a)|=0 < \epsilon$이 당연히 성립하므로 $0<$ 조건을 쓰지 않습니다.

개념 2. 불연속의 종류 (Classification of Discontinuities)

제거 가능한 불연속(Removable): 극한값은 존재하지만 함숫값이 다르거나 없는 경우.
도약 불연속(Jump): 좌우극한이 각각 존재하지만 서로 다른 경우.
무한/진동 불연속(Essential): 극한 자체가 존재하지 않는 경우.

개념 3. 수열적 연속성 (Sequential Continuity)

함수 $f$가 $a$에서 연속인 것과, $a$로 수렴하는 모든 수열 $\{x_n\}$에 대해 $\{f(x_n)\}$이 $f(a)$로 수렴하는 것은 동치이다.

$$x_n \to a \implies f(x_n) \to f(a)$$

3. Graph 및 시각적 이해

시각화 1. 연속의 ε-δ 메커니즘

함숫값 $f(a)$ 주변의 임의의 띠(ε)에 대해, 그 안으로 함숫값들을 쑤셔 넣을 수 있는 $a$ 주변의 구간(δ)이 반드시 존재해야 합니다.

시각화 2. 중간값 정리 (IVT)

함수가 연속이면 양 끝점 사이의 임의의 값 K를 적어도 한 번은 "지나쳐야" 합니다.

4. 각각의 개념 예시 문제

함수	지점	연속 여부 및 이유
$f(x) = \frac{x^2-1}{x-1}$	$x=1$	불연속 (함숫값이 정의되지 않음)
$f(x) = \|x\|$	$x=0$	연속 ($\lim = f(0) = 0$)
$\sin(1/x)$	$x=0$	불연속 (진동 불연속)

5. 기초 5문항

1. 점 $a$에서 함수가 연속이기 위한 3가지 조건을 고교 수준의 극한 기호로 기술하시오.

정답 : 1) $f(a)$ 존재, 2) $\lim_{x \to a} f(x)$ 존재, 3) 두 값이 일치.

2. $\epsilon-\delta$ 정의에서 연속성은 극한 정의와 달리 $0 < |x-a|$ 조건을 쓰지 않는 이유는?

정답 : 연속은 $x=a$에서의 함숫값까지 포함하여 오차를 계산해야 하기 때문.

3. $f(x) = 5x$가 모든 실수에서 연속임을 증명할 때, 적절한 $\delta$는?

정답 : $\delta = \epsilon/5$

4. 폐구간 $[a, b]$에서 연속인 함수가 반드시 최댓값과 최솟값을 가진다는 정리는?

정답 : 최대-최소 정리 (Extreme Value Theorem)

5. $f(x) = \begin{cases} 1 & (x \in \mathbb{Q}) \\ 0 & (x \notin \mathbb{Q}) \end{cases}$ (디리클레 함수)는 어느 점에서 연속인가?

정답 : 모든 점에서 불연속

6. 응용 5문항

1. $f, g$가 $a$에서 연속이면 $f+g$도 $a$에서 연속임을 $\epsilon-\delta$로 증명하시오.

2. $f(x) = x^2$이 $x=3$에서 연속임을 증명하시오. (단, $\delta \le 1$ 가정)

$|x^2-9| = |x-3||x+3|$. $\delta \le 1$이면 $2 < x < 4$이므로 $|x+3| < 7$. $\delta = \min\{1, \epsilon/7\}$.

3. 중간값 정리를 이용하여 $x^3 - x - 1 = 0$이 구간 $(1, 2)$에서 적어도 하나의 실근을 가짐을 보이시오.

$f(1) = -1 < 0$, $f(2) = 5 > 0$이고 $f$는 다항함수로 연속이므로 $f(c)=0$인 $c$가 존재한다.

4. $f$가 연속이고 $f(a) > 0$이면, $a$를 포함하는 어떤 근방에서 $f(x) > 0$이 유지됨을 보이시오. (연속함수의 국소적 부호 보존성)

5. $f$가 $[a, b]$에서 연속이고 모든 $x \in [a, b]$에 대해 $f(x) \in \mathbb{Q}$이면, $f$는 상수함수임을 설명하시오.

정답 : 연속함수의 치역은 구간이어야 하는데, 유리수 집합 내의 구간은 오직 한 점(상수)뿐임.

7. 심화 5문항

1. 고정점 정리(Fixed Point Theorem): $f: [0, 1] \to [0, 1]$이 연속이면 $f(c)=c$인 $c \in [0, 1]$이 존재함을 증명하시오.

2. 모든 유리수에서 불연속이고 모든 무리수에서 연속인 함수의 예(토매 함수, Thomae's function)를 기술하시오.

3. 균등 연속(Uniform Continuity)과 일반 연속의 정의 상의 차이를 서술하시오.

정답 : 일반 연속의 $\delta$는 $\epsilon$과 점 $a$에 의존하지만, 균등 연속의 $\delta$는 오직 $\epsilon$에만 의존하여 구간 전체에서 공통으로 쓸 수 있음.

4. $f$가 $[a, b]$에서 연속이면 $f$는 $[a, b]$에서 유계(bounded)임을 증명하시오.

5. 코시 기능 방정식(Cauchy Functional Equation): $f(x+y)=f(x)+f(y)$를 만족하는 연속함수는 $f(x)=cx$ 꼴뿐임을 증명하시오.