균등연속성 (Uniform Continuity)
균등연속은 구간 내의 임의의 두 점 사이의 거리가 충분히 가까우면, 그 함숫값의 차이도 지점(location)에 관계없이 일정하게 작아지는 성질을 말합니다.
1. 엄밀한 정의 ($\epsilon-\delta$ 논법)
함수 $f: I \to \mathbb{R}$이 구간 $I$에서 균등연속이라는 것은 다음과 같습니다.
$$\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$ 모두에 의존하지만($\delta(\epsilon, x)$), 균등연속에서 $\delta$는 오직 $\epsilon$에만 의존합니다($\delta(\epsilon)$).
2. 주요 정리 및 판정법
Heine-Cantor Theorem
컴팩트 집합과 균등연속
함수 $f$가 컴팩트 구간 $[a, b]$에서 연속이면, $f$는 그 구간에서 반드시 균등연속이다.
Lipschitz Continuity
립시츠 조건
어떤 상수 $M$에 대해 $|f(x) - f(y)| \le M|x - y|$를 만족하면 $f$는 균등연속이다. (예: 도함수가 유계인 함수)
3. 대표적인 예시와 반례
| 함수 / 구간 |
균등연속 여부 |
이유 |
| $f(x) = x^2$ on $[0, 1]$ |
YES |
컴팩트 구간에서 연속임 |
| $f(x) = x^2$ on $\mathbb{R}$ |
NO |
$x$가 커질수록 기울기가 무한히 가팔라짐 |
| $f(x) = \frac{1}{x}$ on $(0, 1)$ |
NO |
$x \to 0$ 근처에서 함숫값이 폭발적으로 변화함 |
| $f(x) = \sqrt{x}$ on $[0, \infty)$ |
YES |
도함수는 유계가 아니나, 함숫값의 변화폭이 통제됨 |
4. 균등연속의 중요성
- 리만 적분 가능성: 닫힌 구간에서 연속인 함수가 적분 가능한 이유는 그 함수가 균등연속이기 때문입니다.
- 함수열의 극한: 균등연속인 함수들의 수열이 균등수렴(Uniform convergence)하면 극한 함수도 균등연속입니다.
- 확장 정리: $f$가 $(a, b)$에서 균등연속이면, 양 끝점 $a, b$에서의 극한값이 존재하여 $[a, b]$로의 연속 확장이 가능합니다.