연속 함수의 엄밀한 정의 (Continuity)
해석학에서 연속성은 "함숫값의 오차($\epsilon$)를 줄이고 싶다면, 정의역의 거리($\delta$)를 충분히 좁힘으로써 항상 달성할 수 있다"는 논리로 설명됩니다.
1. 한 점에서의 연속 (Continuity at a point)
함수 $f: D \to \mathbb{R}$가 점 $c \in D$에서 연속이라는 것은 다음 조건을 만족함을 의미합니다.
$$\forall \epsilon > 0, \exists \delta > 0 \quad \text{s.t.} \quad \forall x \in D, \quad |x - c| < \delta \implies |f(x) - f(c)| < \epsilon$$
이는 고등학교 식 표현인 $\lim_{x \to c} f(x) = f(c)$를 논리적으로 엄밀하게 구현한 것입니다.
2. 세 가지 핵심 조건 (The Three Requirements)
어떤 점 $c$에서 $f$가 연속이기 위해서는 다음이 모두 충족되어야 합니다.
- 정의성: $f(c)$가 정의되어 있어야 함 ($c \in \text{dom}(f)$).
- 극한 존재: $\lim_{x \to c} f(x)$가 존재해야 함.
- 일치성: 극한값과 함숫값이 같아야 함 ($\lim_{x \to c} f(x) = f(c)$).
3. 수열적 연속성 (Sequential Continuity)
Characterization by Sequences
함수 $f$가 $c$에서 연속일 필요충분조건은 다음과 같습니다.
$c$로 수렴하는 정의역 내의 임의의 수열 $\{x_n\}$에 대하여, 수열 $\{f(x_n)\}$이 $f(c)$로 수렴한다.
$$x_n \to c \implies f(x_n) \to f(c)$$
이 성질은 함수가 연속이 아님을 증명(반례 구성)할 때 매우 유용합니다.
4. 위상수학적 정의 (Topological Definition)
더 높은 수준의 수학에서는 연속성을 역상(Preimage)의 개념으로 정의합니다.
함수 $f$가 연속이다. $\iff$ 임의의 열린 집합 $V$에 대하여, 그 역상 $f^{-1}(V)$가 열린 집합이다.
이 정의는 '거리'의 개념이 없는 일반적인 위상 공간에서도 연속성을 논할 수 있게 해줍니다.
5. 구간에서의 연속 (Continuity on an Interval)
함수 $f$가 집합 $S$의 모든 점 $c \in S$에서 연속일 때, $f$를 집합 $S$에서 연속이라고 합니다. 특히 폐구간 $[a, b]$에서의 연속은 양 끝점에서의 우연속 및 좌연속을 포함합니다.