푸비니의 미분 정리

적분의 순서 변경에 관한 정리에 대해서는 푸비니의 정리 문서를 참조하십시오.

푸비니의 미분 정리(Fubini's theorem on the differentiation of series with monotonic terms, -微分定理)는 실해석학의 정리로, 단조함수의 함수항급수가 수렴할 때 그 미분 연산의 교환 가능성을 보장해 주는 정리이다. 이탈리아 수학자 귀도 푸비니의 이름이 붙어 있다.

공식화

푸비니의 미분 정리는 다음과 같이 공식화할 수 있다.

• 닫힌 구간 [a, b] 상에서 정의된 단조증가함수의 급수 $\sum_{k=1}^n f_k(x)$ 가 $s(x)$ 로 점별수렴하면, 거의 모든 점에서 $s'(x) = \sum_{k=1}^n f_k'(x)$ 이 성립한다.

이 정리는 르베그 미분가능성 정리와 르베그 지배수렴정리를 이용하여 증명할 수 있다.

참고 문헌

• 김성기, 계승혁, 《실해석》, 서울대학교출판부, 2002.