함수 을 다음과 같이 정의하자.
그러면 가 유리수일 때 이고, 가 무리수일 때 이다. 이때 를 디리클레 함수(Dirichlet function)라고 한다. 즉, 디리클레 함수는 에서 정의된 지시함수 이다. 디리클레 함수를 다음과 같이 정의하기도 한다.
연속성
Theorem — 디리클레 함수는 모든 점에서 불연속이다.
적분가능성
Theorem — 디리클레 함수는 구간 에서 리만 적분가능하지 않다.
Theorem — 디리클레 함수는 구간 에서 르베그 적분가능하다.
같이 보기