푸비니의 미분 정리
1. 개요
푸비니의 미분 정리는 닫힌 구간에서 정의된 단조 증가 함수의 급수가 점별수렴할 때, 거의 모든 점에서 급수의 미분값이 개별 함수의 미분값의 합과 같다는 정리이다. 이 정리는 르베그 미분가능성 정리와 지배 수렴 정리를 이용하여 증명할 수 있다. 모든 k에 대해 증가 함수라는 가정이 없다면, 동일한 결론을 얻기 위해 급수의 균등 수렴과 같은 더 엄격한 조건이 필요하다. 이탈리아 수학자 귀도 푸비니가 증명했다.
-
측도론 정리 -
푸비니 정리
푸비니 정리는 곱측도 공간에서 적분 순서를 변경하는 것을 다루는 수학적 정리이며, 적분 가능한 함수에 대해 성립하고 적분 계산에 유용하게 사용된다. -
측도론 정리 -
단조 수렴 정리
-
실해석학 정리 -
미적분학의 기본 정리
미적분학의 기본 정리는 미분과 적분 사이의 관계를 설명하는 미적분학의 핵심 정리로서, 제1 기본 정리와 제2 기본 정리로 구성되며, 17세기에 발전되어 르베그 적분 등으로 일반화된다. -
실해석학 정리 -
볼차노-바이어슈트라스 정리
볼차노-바이어슈트라스 정리는 유클리드 공간에서 유계인 수열이 수렴하는 부분 수열을 가진다는 정리로, 실해석학에서 중요하며 경제학의 균형 개념 증명에도 활용된다. -
측도론 -
디랙 델타 함수
디랙 델타 함수는 원점에서 무한대 값을 갖고 그 외 지점에서 0의 값을 갖는 수학적 개념으로, 분포 또는 측도로 정의되며, 순간적인 충격이나 점 형태 현상 모델링에 활용되고 푸리에 변환, 스케일링, 평행 이동 등의 성질을 가진다. -
측도론 -
바이어슈트라스 함수
바이어슈트라스 함수는 특정 조건의 상수 <math>a</math>와 <math>b</math>를 사용하여 <math>f(x)= \sum_{n=0}^\infin a^n\cos (b^n\pi x)</math>와 같은 무한 급수 형태로 정의되며 모든 점에서 연속이지만 어느 곳에서도 미분 불가능한 자기 유사성을 지닌 최초로 연구된 프랙탈 중 하나이다.
2. 정의
닫힌 구간 [a, b] 상에서 정의된 단조 증가함수의 급수 가 로 점별수렴하면, 거의 모든 점에서 이 성립한다. 이 정리는 르베그 미분가능성 정리와 지배 수렴 정리를 이용하여 증명할 수 있다.
구간 I ⊆ ℝ에서 모든 자연수 k에 대해 fk: I → ℝ가 증가 함수이고, s(x) := Σ fk(x)가 모든 x ∈ I에 대해 존재한다면, 거의 모든 x ∈ I에 대해 미분값이 존재하며 s'(x) = Σ fk'(x)가 성립한다.
만약 모든 k에 대해 fk가 증가 함수라는 가정이 없다면, 동일한 결론을 얻기 위해 모든 n에 대해 Σ fk'(x)의 I에서의 균등 수렴과 같은 더 엄격한 조건이 필요하다.
2.1. 푸비니의 미분 정리
닫힌 구간 [a, b] 상에서 정의된 단조 증가 함수의 급수 Σ fk(x)가 s(x)로 점별수렴하면, 거의 모든 점에서 s'(x) = Σ fk'(x)가 성립한다. 이 정리는 르베그 미분가능성 정리와 지배 수렴 정리를 이용하여 증명할 수 있다.
구간 I ⊆ ℝ에서 모든 자연수 k에 대해 fk: I → ℝ가 증가 함수이고, s(x) := Σ fk(x)가 모든 x ∈ I에 대해 존재한다면, 거의 모든 x ∈ I에 대해 미분값이 존재하며 s'(x) = Σ fk'(x)가 성립한다.
만약 모든 k에 대해 fk가 증가 함수라는 가정이 없다면, 동일한 결론을 얻기 위해 모든 n에 대해 Σ fk'(x)의 I에서의 균등 수렴과 같은 더 엄격한 조건이 필요하다.
2.2. 추가 설명
일반적으로, 모든 k에 대해 fk가 증가 함수라는 가정이 없을 경우, 모든 n에 대해 Σ fk'(x)의 I에서의 균등 수렴과 같은 더 엄격한 조건이 필요하다.