연속 함수의 성질: 중간값 정리

중간값 정리는 연속함수가 두 점 사이의 모든 값을 적어도 한 번은 "통과"해야 함을 보장합니다. 이는 실수계의 완비성(Completeness)과 깊이 연관된 성질입니다.

1. 중간값 정리 (Intermediate Value Theorem)

함수 $f$가 닫힌 구간 $[a, b]$에서 연속이고, $f(a) \neq f(b)$라고 하자.

$f(a)$와 $f(b)$ 사이의 임의의 값 $k$에 대하여, 다음을 만족하는 $c$가 열린 구간 $(a, b)$에 적어도 하나 존재한다.

$$f(c) = k$$

Topological Property

위상수학적으로 중간값 정리는 "연속함수는 연결 집합(Connected Set)을 연결 집합으로 보낸다"는 성질의 특수한 케이스입니다. 구간 $I$가 연결되어 있다면, 그 이미지 $f(I)$ 역시 구간(연결 집합)이어야 합니다.

중간값 정리의 가장 흔한 응용은 방정식 $f(x) = 0$의 해가 특정 구간에 존재하는지 판별하는 것입니다.

$$f(a) \cdot f(b) < 0 \implies \exists c \in (a, b) \text{ s.t. } f(c) = 0$$

중간값 정리는 역은 성립하지 않습니다.

함수가 중간값 성질(Darboux 성질)을 가진다고 해서 반드시 연속인 것은 아닙니다. (예: $\sin(1/x)$를 원점에서 적절히 정의한 함수)

하지만, 모든 도함수($f'$)는 불연속일지라도 항상 중간값 성질을 만족한다는 다르부의 정리(Darboux's Theorem)는 매우 흥미로운 주제입니다.

지면에서 높이 100m인 산 정상까지 올라갈 때, 경로가 아무리 험난하더라도 당신은 0m부터 100m 사이의 모든 고도를 적어도 한 번은 거쳐야만 합니다. 순간이동을 하지 않는 한 말이죠.