디리클레 함수

수학에서 **디리클레 함수**()는 실수 집합 위에 정의된 유리수 지시 함수이다. 즉, 모든 유리점에서 1, 모든 무리점에서 0이다. 디리클레 함수는 미적분학의 다양한 거짓 명제의 반례를 제시한다. 예를 들어, 디리클레 함수는 모든 점에서 불연속이며, 모든 닫힌구간 위에서 리만 적분 가능하지 않다.

## 정의
**디리클레 함수** 1_\mathbb Q\colon\mathbb R\to\{0,1\}는 다음과 같다.
:1_\mathbb Q(x)=\lim_{m\to\infty}\lim_{n\to\infty}\cos^{2n}(m!\pi x)=\begin{cases}
1 & x\in\mathbb Q \\
0 & x\in\mathbb R\setminus\mathbb Q
\end{cases}
여기서 m!는 계승, \cos는 코사인, \mathbb Q와 \mathbb R\setminus\mathbb Q는 각각 유리수와 무리수의 집합이다. 위 정의에 따라, 디리클레 함수 1_{\mathbb Q}는 베르 2급 함수이다. 두 가지 정의가 같음은 다음과 같이 보일 수 있다.

만약 x\in\mathbb Q라면, \textstyle x=\frac ab인 a,b\in\mathbb Z를 취할 수 있다. 그렇다면, 임의의 m\ge b에 대하여, m!x\in\mathbb Z이므로, \cos(m!\pi x)\in\{-1,1\}이다. 따라서,
:\lim_{m\to\infty}\lim_{n\to\infty}\cos^{2n}(m!\pi x)=\lim_{m\to\infty}\lim_{n\to\infty}1=1
이다.

만약 x\in\mathbb R\setminus\mathbb Q라면, 임의의 m\ge 0에 대하여 m!x\notin\mathbb Z이므로, \cos(m!\pi x)\in(-1,1)이다. 따라서,
:\lim_{m\to\infty}\lim_{n\to\infty}\cos^{2n}(m!\pi x)=\lim_{m\to\infty}0=0
이다.

## 성질
### 주기성
디리클레 함수 1_{\mathbb Q}는 모든 유리수를 주기로 갖는 주기 함수이며, 이에 따라 최소 양의 주기가 없다.

임의의 t\in\mathbb Q 및 x\in\mathbb R에 대하여, 1_{\mathbb Q}(x+t)=1_{\mathbb Q}(x)임을 보이면 된다. 만약 x\in\mathbb Q라면, x+t\in\mathbb Q이므로,
:1_{\mathbb Q}(x+t)=1=1_{\mathbb Q}(x)
이다. 만약 x\in\mathbb R\setminus\mathbb Q라면, x+t\in\mathbb R\setminus\mathbb Q이므로,
:1_{\mathbb Q}(x+t)=0=1_{\mathbb Q}(x)
이다.

이제, 귀류법을 사용하여, t_0\in\mathbb Q^+가 1_{\mathbb Q}의 양의 최소 주기라고 가정하자. 그렇다면, \textstyle\frac{t_0}2\in\mathbb Q^+ 역시 1_{\mathbb Q}의 양의 주기이며, \textstyle\frac{t_0}2이다. 이는 t_0이 최소 양의 주기인 것과 모순이다.

### 연속성
디리클레 함수 1_{\mathbb Q}는 모든 점에서 불연속이다. 이는 임의의 x\in\mathbb R에 대하여,
:\limsup_{y\to x}1_{\mathbb Q}(y)=1
:\liminf_{y\to x}1_{\mathbb Q}(y)=0
이기 때문이다.

임의의 x\in\mathbb R에 대하여, x로 수렴하는 유리수 수열 (x_n)_{n=0}^\infty과 무리수 수열 (y_n)_{n=0}^\infty을 취할 수 있다. 그렇다면
:1=\lim_{n\to\infty}1_{\mathbb Q}(x_n)\le\limsup_{y\to x}1_{\mathbb Q}(y)\le\sup_{y\in\mathbb R}1_{\mathbb Q}(y)=1
:0=\inf_{y\in\mathbb R}1_{\mathbb Q}(y)\le\liminf_{y\to x}1_{\mathbb Q}(y)\le\lim_{n\to\infty}1_{\mathbb Q}(y_n)=0
이다.

### 적분
디리클레 함수 1_{\mathbb Q}는 모든 점에서 불연속이므로, 임의의 닫힌구간 위에서 리만 적분 불가능이다. 구체적으로, 그 상적분과 하적분은 각각 다음과 같다.
:\overline{\int_a^b}1_{\mathbb Q}(x)dx=b-a
:\underline{\int_a^b}1_{\mathbb Q}(x)dx=0
그러나 디리클레 함수는 단순 함수이므로, 르베그 적분 가능하며, 그 르베그 적분은
:\int_{\mathbb R}1_{\mathbb Q}d\mu=0
이다.

임의의 닫힌구간 [a,b] 및 임의의 분할
:P=\{x_0,x_1,\dots,x_n\}\qquad(a=x_0
에 대하여, 각 소구간 [x_{i-1},x_i]은 유리수와 무리수를 원소로 포함하므로,
:\sup_{x\in[x_{i-1},x_i]}1_{\mathbb Q}(x)=1
:\inf_{x\in[x_{i-1},x_i]}1_{\mathbb Q}(x)=0
이다. 따라서 P에 대한 리만 상합과 리만 하합은
:U(1_{\mathbb Q},P)=\sum_{i=1}^n\sup_{x\in[x_{i-1},x_i]}1_{\mathbb Q}(x)\cdot(x_i-x_{i-1})=b-a
:L(1_{\mathbb Q},P)=\sum_{i=1}^n\inf_{x\in[x_{i-1},x_i]}1_{\mathbb Q}(x)\cdot(x_i-x_{i-1})=0
이며, 그 상적분과 하적분은
:\overline{\int_a^b}1_{\mathbb Q}(x)dx=\inf_PU(1_{\mathbb Q},P)=\inf_P(b-a)=b-a
:\underline{\int_a^b}1_{\mathbb Q}(x)dx=\sup_PL(1_{\mathbb Q},P)=\sup_P0=0
이다.

유리수의 집합 \mathbb Q는 가산 집합이므로, 실수선 \mathbb R 위의 보렐 집합이며, 특히 르베그 가측 집합이다. 따라서 1_{\mathbb Q}는 단순 함수이며, 특히 가측 함수이다. 그 르베그 적분은
:\int_{\mathbb R}1_{\mathbb Q}d\mu=\mu(\mathbb Q)=0
이다. 이에 따라 1_{\mathbb Q}는 르베그 적분 가능하다.

## 역사
독일의 수학자 페터 구스타프 르죈 디리클레가 1829년에 제시하였다.

## 같이 보기
* 토메 함수

## 참고 문헌

## 외부 링크
* 
* 

분류:특수 함수
분류:실해석학