디리클레 함수는 실수 집합 $\mathbb{R}$ 위에서 정의되는 특수한 함수로, 유리수와 무리수에 대해 서로 다른 값을 갖는다. 전통적인 정의는 다음과 같다.
$$ \displaystyle D(x)= \begin{cases} 1, & x \in \mathbb{Q} \ 0, & x \in \mathbb{R}\setminus\mathbb{Q} \end{cases} $$
여기서 $\mathbb{Q}$는 유리수 집합을, $\mathbb{R}\setminus\mathbb{Q}$는 무리수 집합을 나타낸다.
주요 성질
- 연속성
- 모든 실수점에서 불연속이다. 즉, 함수는 전역적으로 불연속(nowhere continuous)한다.
- 리만 적분
- 구간 $[a,b]$에서 디리클레 함수는 리만 적분이 존재하지 않는다. 이는 유리수와 무리수가 각각 밀집해 있어 상한과 하한이 각각 1과 0이 되기 때문이다.
- 루베그 적분
- 루베그 적분에서는 $\int_{a}^{b} D(x),dx = 0$이다. 이는 유리수 집합이 측도 0인 집합이기 때문이다.
- 측도와 밀도
- 유리수와 무리수는 각각 $\mathbb{R}$에서 조밀(dense)하지만, 측도 면에서는 유리수가 영집합(null set)이다.
역사·어원
디리클레 함수는 19세기 독일 수학자 피터 구스타프 레주네 디리클레(Peter Gustav Lejeune Dirichlet, 1805–1859)의 이름을 따서 명명되었다. 디리클레는 수론·해석학 분야에서 다수의 기본 개념을 정립했으며, 이 함수는 그의 이름을 딴 다양한 정리·개념(예: 디리클레 조건, 디리클레 급수 등)와 함께 수학 교육에서 연속성·적분 개념을 설명하는 교재에 종종 등장한다.
활용 및 맥락
- 실해석: 연속성, 불연속성, 리만 적분과 루베그 적분의 차이를 명확히 보여주는 예시로 사용된다.
- 교육용 예시: 학생들에게 “밀집하지만 측도는 0인 집합”이라는 개념을 직관적으로 이해시키기 위해 교재에 수록된다.
- 수학적 반례: 특정 정리의 가정이 충분하지 않을 때 반례를 제공하는 도구로 활용된다(예: 연속함수의 적분 가능성에 관한 반례).
참고 사항
디리클레 함수는 위와 같이 정의된 형태가 가장 일반적이며, 실제 문헌에서 “디리클레 함수”라는 용어가 다른 형태(예: 유리수와 무리수에 다른 상수를 부여하는 변형)를 가리키는 경우도 존재한다. 그러나 기본 개념은 위 정의와 일치한다.
