미적분학 30단계 · 9단계 · 전역적 연속성

09. 균등연속성 (Uniform Continuity)

일반적인 연속성(Continuity)은 "점 $x$에 따라" $\delta$가 변할 수 있지만, 균등연속성은 구간 내의 어떤 두 점을 잡더라도 거리만 충분히 가깝다면 함숫값의 차이를 작게 만들 수 있는 하나의 공통된 $\delta$가 존재함을 뜻합니다. 이는 함수의 '기울기'가 무한히 커지지 않는 상태를 수학적으로 정의한 것입니다.

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

수업 목표 1
균등연속의 정의와 일반 연속의 정의 차이를 논리적으로 구별한다.

수업 목표 2
컴팩트 구간(닫힌 유계 구간)에서 연속이면 균등연속임을 이해한다.

수업 목표 3
립쉬츠 연속(Lipschitz) 조건이 균등연속의 충분조건임을 파악한다.

수업 목표 4
균등연속이 아닌 함수의 반례(예: 1/x, x²)를 통해 성질을 분석한다.

수업 흐름

도입 : $f(x)=1/x$는 $(0,1)$의 각 점에서는 연속이지만, $x$가 0에 가까워질수록 동일한 오차 $\epsilon$을 맞추기 위한 $\delta$가 무한히 작아지는 문제를 관찰한다.
탐구 1 : 균등연속의 $\epsilon-\delta$ 정의를 기술하고, 한정기호($\forall, \exists$)의 순서 변화를 분석한다.
탐구 2 : 하이네-칸토어(Heine-Cantor) 정리: "폐구간 $[a,b]$에서 연속이면 균등연속이다"를 학습한다.
정리 : 균등연속성과 수열의 코시성(Cauchy preservation) 사이의 관계를 정리한다.
적용 : 균등연속 함수를 이용하여 리만 적분의 존재성을 논의하기 위한 기초를 다진다.

2. 개념 상세 설명

개념 1. 균등연속의 정의

구간 $I$에서 정의된 함수 $f$가 균등연속이라는 것은 다음을 만족하는 것이다.

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

결정적 차이: 일반 연속은 $\delta(\epsilon, x)$ 즉, $x$에 의존하지만, 균등연속은 $\delta(\epsilon)$ 즉, $x$와 무관하게 결정됩니다.

개념 2. 립쉬츠 연속 (Lipschitz Continuity)

어떤 상수 $M > 0$이 존재하여 모든 $x, y \in I$에 대해 다음이 성립하면 $f$는 립쉬츠 연속이라 하며, 이는 항상 균등연속이다.

$$|f(x) - f(y)| \le M|x - y|$$

기울기가 유계(Bounded)인 함수는 항상 균등연속임을 보장합니다.

개념 3. 균등연속 판정법 (Sequential Criterion)

$f$가 균등연속이 아님을 보이려면, $|x_n - y_n| \to 0$이지만 $|f(x_n) - f(y_n)| \ge \epsilon_0$인 두 수열 $\{x_n\}, \{y_n\}$을 찾으면 됩니다.

3. Graph 및 시각적 이해

시각화 1. 균등연속 vs 일반 연속

균등연속은 구간 어디서든 고정된 크기의 사각형(δ×ε) 안에 그래프를 가둘 수 있는 상태입니다.

시각화 2. 1/x의 반례 (0,1)

$x \to 0$일 때 그래프가 무한히 가팔라지므로, 함숫값 차이를 $\epsilon$ 아래로 유지하기 위한 $x$의 간격 $\delta$가 0으로 수렴하게 됩니다.

4. 주요 비교 정리

함수 $f(x)$	구간 $I$	균등연속 여부	이유
$3x + 1$	$\mathbb{R}$	Yes	립쉬츠 상수 $M=3$
$x^2$	$[0, 10]$	Yes	폐구간에서의 연속함수
$x^2$	$\mathbb{R}$	No	$x \to \infty$에서 기울기 무한대
$1/x$	$(0, 1)$	No	$x \to 0$에서 변화율 무한대

5. 기초 5문항

1. 일반 연속의 정의와 균등연속의 정의에서 $\forall x, y$ 한정기호의 위치 차이를 서술하시오.

정답 : 일반 연속은 점 $x$가 결정된 후 $\delta$를 찾지만, 균등연속은 $\delta$를 먼저 찾은 후 모든 $x, y$에 적용함.

2. 함수 $f(x) = \sin x$는 실수 전체에서 균등연속인가?

정답 : 예 (도함수 $\cos x$가 유계이므로 립쉬츠 연속임)

3. 닫힌 유계 구간(컴팩트 구간)에서 연속인 함수는 반드시 균등연속이라는 정리의 명칭은?

정답 : 하이네-칸토어 (Heine-Cantor) 정리

4. $f(x)=x^2$이 $(0, \infty)$에서 균등연속이 아님을 보이기 위해, $|x_n - y_n| \to 0$이지만 $|x_n^2 - y_n^2| \ge 1$인 두 수열을 예로 드시오.

$x_n = n + 1/n, y_n = n$으로 잡으면 $x_n - y_n = 1/n \to 0$이지만 $x_n^2 - y_n^2 = 2 + 1/n^2 > 2$이다.

5. $f$가 균등연속이면, 코시 수열 $\{x_n\}$에 대해 $\{f(x_n)\}$은 항상 어떤 수열이 되는가?

정답 : 코시 수열 (Cauchy sequence)

6. 응용 5문항

1. $f$가 $(a, b)$에서 균등연속이면, 양 끝점에서의 극한 $\lim_{x \to a^+} f(x)$와 $\lim_{x \to b^-} f(x)$가 반드시 존재함을 설명하시오.

2. 두 균등연속 함수의 합($f+g$)은 균등연속임을 증명하시오.

$\epsilon/2$ 논법을 사용하여 각각의 $\delta_1, \delta_2$ 중 작은 값을 택하면 됨.

3. $f(x) = \sqrt{x}$가 $[0, \infty)$에서 균등연속임을 증명하시오. (힌트: $[0, 1]$과 $[1, \infty)$로 나누어 생각)

$[0,1]$은 컴팩트라 균등연속, $[1,\infty)$는 도함수가 유계라 균등연속. 두 구간의 결합도 균등연속.

4. $f$가 균등연속이고 $\{x_n\}$이 수렴하는 수열이면, $\{f(x_n)\}$도 수렴함을 보이시오.

5. 립쉬츠 연속 함수 $f$가 $|f(x)-f(y)| \le 5|x-y|$를 만족할 때, $\epsilon$에 대한 $\delta$의 식은?

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

7. 심화 5문항

1. $f$가 $\mathbb{R}$에서 균등연속이면, 적당한 상수 $A, B$가 존재하여 $|f(x)| \le A|x| + B$ (선형 성장 조건)가 성립함을 증명하시오.

2. $f: (0, 1] \to \mathbb{R}$이 $f(x) = \cos(1/x)$일 때, 이 함수가 균등연속이 아님을 증명하시오.

3. 균등연속 함수들의 곱($fg$)이 $\mathbb{R}$ 전체에서 항상 균등연속이 되지 않는 반례를 드시오.

정답 : $f(x)=x, g(x)=x$. 각각은 균등연속이지만 곱인 $x^2$은 $\mathbb{R}$에서 아님.

4. 하이네-칸토어 정리를 '피복(Covering)' 개념을 사용하여 증명하는 아이디어를 기술하시오.

5. $f$가 $[a, \infty)$에서 연속이고 $\lim_{x \to \infty} f(x) = L$ (유한)이면, $f$는 $[a, \infty)$에서 균등연속임을 증명하시오.