디리클레 함수 (Dirichlet Function)
디리클레 함수는 유리수와 무리수의 조밀성(Density)을 이용하여 정의된 함수로, 모든 실수 점에서 불연속인 기묘한 특성을 가집니다. 이는 리만 적분이 불가능한 대표적인 예시입니다.
1. 함수의 정의
일반적으로 $[0, 1]$ 구간에서 정의되는 디리클레 함수 $D(x)$는 다음과 같습니다.
$$D(x) = \begin{cases} 1 & \text{if } x \in \mathbb{Q} \text{ (유리수)} \\ 0 & \text{if } x \in \mathbb{R} \setminus \mathbb{Q} \text{ (무리수)} \end{cases}$$
2. 왜 리만 적분이 불가능한가?
리만 가적분성을 판정하기 위해 임의의 분할 $P$에 대한 상합($U$)과 하합($L$)을 계산해 봅시다.
상합과 하합의 불일치
- 실수의 조밀성에 의해, 아무리 작은 구간 $[x_{i-1}, x_i]$를 잡아도 그 안에는 반드시 유리수가 존재합니다. 따라서 $M_i = \sup f(x) = 1$입니다.
- 마찬가지로, 모든 구간에는 반드시 무리수가 존재합니다. 따라서 $m_i = \inf f(x) = 0$입니다.
$$U(D, P) = \sum 1 \cdot \Delta x_i = 1$$
$$L(D, P) = \sum 0 \cdot \Delta x_i = 0$$
분할을 아무리 잘게 쪼개더라도 $U(D, P) - L(D, P) = 1$이므로, 코시 판정법을 만족하지 못해 리만 적분이 불가능합니다.
3. 르베그 적분과의 관계
리만 적분은 실패하지만, 현대 해석학의 르베그 적분(Lebesgue Integral)을 도입하면 이 함수의 적분값을 구할 수 있습니다.
Lebesgue Integral View
유리수 집합 $\mathbb{Q}$는 가산 집합(Countable Set)이므로 르베그 측도(Measure)가 0입니다.
$$\int_{[0,1]} D(x) d\mu = 1 \cdot \mu(\mathbb{Q} \cap [0,1]) + 0 \cdot \mu(\mathbb{Q}^c \cap [0,1]) = 0$$
즉, 르베그 관점에서는 "거의 어디서나(Almost Everywhere)" 0인 함수이므로 적분값이 0이 됩니다.
4. 주요 특징 요약
- 불연속성: 모든 실수 점에서 불연속입니다.
- 주기성: 모든 유리수가 이 함수의 주기입니다 ($D(x+q) = D(x), \forall q \in \mathbb{Q}$). 하지만 최소 주기는 존재하지 않습니다.
- 가측성: 리만 가적분은 아니지만, 르베그 가측 함수(Measurable function)입니다.