1. 개요
절대 연속 측도는 측도 공간의 가측 집합 [math(E)]와 적분 가능한 함수 [math(f)]에 대하여 적분 [math(\int_E f \, d\mu)]에서 일반화된 측도이다. 절대 연속 측도는 영역이 갖는 밀도를 이용해 구하는 무게, 영역에 가해진 압력으로부터 계산된 하중 등의 개념에 빗대어 이해할 수 있다.2. 정의 및 성질
2.1. 부호 측도
부호 측도는 측도의 일반화로, 음수를 가질 수 있는 측도이다. 측도공간 [math((X,\ \mathcal{M}))]에 대하여 다음 조건을 만족시키는 함수 [math(\nu:\mathcal{M}\to[-\infty,\ \infty])]를 [math((X,\ \mathcal{M}))]위의 부호 측도라고 한다.- 서로소 집합렬 [math(\{E_n\}\subseteq \mathcal{M})]에 대하여 [math(\nu(\bigcup_{n=1}^\infty E_n)=\sum_{n=1}^\infty\nu(E_n))]
- [math(\nu)]는 양의 무한대와 음의 무한대 중 많아야 한 가지 값만을 취할 수 있다.
측도 공간 [math((X,\ \mathcal{M},\ \mu))]와 [math(\int f^+\, d\mu)] 또는 [math(\int f^-\, d\mu)]가 유한인 함수 [math(f:X\to[-\infty,\ \infty])]에 대하여
[math(\displaystyle\nu(E)=\int_E f\,d\mu)]
로 정의된 함수 [math(\nu:X\to[-\infty,\ \infty])]는 부호 측도이다. 이와 같이 정의된 부호 측도는 라돈-니코딘 도함수의 정의 과정에서 핵심적인 역할을 한다.
부호 측도와의 구분을 위해 양의 값만을 갖는 측도를 양측도라고 하기도 한다. 부호측도 [math(\nu)]와 가측 집합 [math(E\in\mathcal{E})]에 대하여 [math(E)]의 모든 부분집합 [math(F\in\mathcal{M})]에서 [math(\nu(F)>0)], [math(\nu(F)=0)], [math(\nu(F)<0)]일 때, [math(E)]를 각각 [math(\nu)]에 대한 양집합, 영집합, 음집합이라고 한다.
부호 측도 [math(\nu)]는 아래의 분해 정리에 의해 두 양측도 [math(\nu^+,\ \nu^-)]의 차로 유일하게 나타낼 수 있다. 부호 측도의 [math(\nu=\nu^+-\nu^-)]표현을 [math(\nu)]의 조르단 분해라고 한다. 이는 가측함수 [math(f)]를 양수 부분과 음수 부분의 차 [math(f^+ - f^-)]로 나타내는 것과 유사하다. [math(\nu)]의 조르단 분해에서 [math(\nu^+)]와 [math(\nu^-)]를 각각 [math(\nu)]의 양변동과 음변동이라고 하며, [math(|\nu|=\nu^++\nu^-)]를 [math(\nu)]의 전변동이라고 한다. 전변동이 유한(또는 [math(\sigma)]-유한) 측도인 부호측도를 유한(또는 [math(\sigma)]-유한) 부호 측도라고 한다.
부호 측도 [math(\nu)]에 대한 적분은 그 조르단 분해로부터 자연스럽게 정의된다.
[math(\begin{aligned}L^1(\nu)&=L^1(\nu^+)\cap L^1(\nu^-),\\\displaystyle\int f\,d\nu&=\int f\,d\nu^+-\int f\, d\nu^-\quad(f\in L^1(\nu))\end{aligned})]
2.1.1. 분해 정리
부호 측도의 조르단 분해는 정의역 [math(X)]의 분할로부터 얻어진다.|
한 분해 정리 (The Hahn Decomposition Theorem) 가측공간 [math(X,\ \mathcal{M})] 위의 부호 측도 [math(\nu)]에 대하여 다음 조건을 만족시키는 [math(X)]의 분할 [math(\{P,\ N\})]이 존재한다. [math(P)]와 [math(N)]은 각각 [math(\nu)]에 대한 양집합과 음집합이다. |
가측 공간 [math((X,\ \mathcal{M}))] 위의 두 부호 측도 [math(\mu,\ \nu)]가 [math(X)]의 두 가측 집합에 의한 분할 [math(X=E\dot{\cup}F)]에 대하여 [math(\mu(F)=\nu(E)=0)]을 만족시키면 두 부호 측도는 상호 특이라 하고 [math(\mu\perp\nu)]로 나타낸다.
집합 [math(X)]의 한 분해 위에서 부호 측도 [math(\nu)]는 상호 특이 양측도의 합으로 유일하게 분해된다.
|
조르단 분해 정리 (The Jordan Decomposition Theorem) 가측공간 [math(X,\ \mathcal{M})] 위의 부호 측도 [math(\nu)]에 대하여 [math(\nu=\nu^+-\nu^-)]를 만족시키는 상호 특이 양측도 [math(\nu^+,\ \nu^-)]가 유일하게 존재한다. |
2.1.2. 성질
가측 공간 [math((X,\ \mathcal{M}))] 위의 부호 측도 [math(\nu)]와 [math(\mu)]에 대하여 다음이 성립한다.- (Continuity from below) [math(\mathcal{M})]의 증가집합열 [math(\{E_k\})]에 대하여 [math(\nu\left(\bigcup_{k=1}^{\infty}E_k\right)=\lim_{k\to\infty}\nu(E_k))]이다.
- (Continuity from above) [math(\mathcal{M})]의 [math(\nu(E_1)<\infty)]인 감소집합열 [math(\{E_k\})]에 대하여 [math(\nu\left(\bigcap_{k=1}^{\infty}E_k\right)=\lim_{k\to\infty}\nu(E_k))]이다.
- [math(E\in\mathcal{M})]에 대하여 [math(\nu(E)=0\Longleftrightarrow|\nu|(E)=0)].
- [math(\nu\perp\mu\Longleftrightarrow|\nu|\perp\mu\Longleftrightarrow\nu^+\perp\mu\text{ and }\nu^-\perp\mu)].
- [math(\nu)]와 [math(\mu)]가 모두 유한 부호 측도일 경우, [math(|\nu+\mu|\leq|\nu|+|\mu|)].
- [math(L^1(\nu)=L^1(|\nu|))].
- [math(f\in L^1(\nu))]에 대하여 [math(|\int f\, d\nu|\leq \int |f|\, d|\nu|)].
2.2. 절대 연속 측도
가측 공간 [math(X,\ \mathcal{M})] 위의 부호 측도 [math(\nu)]와 양측도 [math(\mu)]가 다음을 만족시키면 [math(\nu)]는 [math(\mu)]에 대하여 절대 연속이라 하고 [math(\nu\ll\mu)]로 나타낸다.[math(\mu(E)=0)]인 임의의 [math(E\in\mathcal{M})]에 대하여 [math(\nu(E)=0)]이다.
두 부호 측도의 절대 연속과 상호 특이는 대립적인 성질이다. 즉 [math(\nu\perp\mu)]이고 동시에 [math(\nu\ll\mu)]이면 [math(\nu=0)]으로, [math(\nu=0)]을 제외하면 [math(\nu)]는 동시에 [math(\mu)]에 대하여 절대연속이며 상호 특이일 수 없다.
유한 부호 측도의 절대 연속성의 정의는 [math(\epsilon-\delta)] 논법으로 표현할 수 있다. 측도 공간 [math((X,\ \mathcal{M}))] 위의 유한 부호 측도 [math(\nu)]와 양측도 [math(\mu)]에 대하여 [math(\nu\ll\mu)]의 필요충분조건은 임의의 [math(\epsilon>0)]에 대하여 [math(\mu(E)<\delta\Rightarrow |\nu(E)|<\epsilon)]을 만족시키는 [math(\delta>0)]가 존재하는 것이다.
측도 공간 [math((X,\ \mathcal{M}))] 위의 [math(\mu)]와 [math(\mu)]-적분 가능 함수 [math(f:X\to[-\infty,\ \infty])]에 대하여 [math(\nu(E)=\int_E f\, d\mu)]로 정의된 부호 측도 [math(\nu)]는 [math(\mu)]에 대한 절대 연속 측도이다. 이와 같이 정의된 식을 [math(d\nu=f\,d\mu)]와 같이 나타낸다.
2.2.1. 라돈-니코딤 도함수
[math(\sigma)]-유한 부호 측도 [math(\nu)]와 [math(\sigma)]-유한 양측도 [math(\mu)]가 주어졌을 때 [math(\nu)]는 [math(\mu)]에 대하여 상호 특이인 측도와 절대연속인 측도로 분해할 수 있다.|
르베그-라돈-니코딤 정리 (Lebesgue-Radon-Nikodym Theorem) 측도 공간 [math((X,\ \mathcal{M}))] 위의 [math(\sigma)]-유한 부호 측도 [math(\nu)]와 [math(\sigma)]-유한 양측도 [math(\mu)]에 대하여 다음을 만족시키는 [math((X,\ \mathcal{M}))] 위의 [math(\sigma)]-유한 부호 측도 [math(\lambda,\ \rho)]가 유일하게 존재한다. [math(\lambda\perp\mu,\quad\rho\ll\mu,\quad \nu=\lambda+\rho)] 위의 [math(\rho)]에 대하여 [math(d\rho=f\, d\mu)]를 만족시키는 [math(\mu)]-적분 가능 함수 [math(f:X\to[0,\ \infty])]가 [math(\mu\text{-a.e.})] 유일하게 존재한다. |
|
라돈-니코딤 정리 (Radon-Nikodym Theorem) 측도 공간 [math((X,\ \mathcal{M}))] 위의 [math(\sigma)]-유한 부호 측도 [math(\nu)]와 [math(\sigma)]-유한 양측도 [math(\mu)]에 대하여 [math(\nu\ll\mu)]를 만족시키면 [math( d\nu=f\,d\mu)]인 [math(\mu)]-적분 가능 가측함수 [math(f:X\to[0,\ \infty])]가 [math(\mu\text{-a.e.})] 유일하게 존재한다. |
[math(\displaystyle d\nu=\frac{d\nu}{d\mu}d\mu)]
라돈-니코딤 도함수는 적분 영역에 밀도를 부여하여 질량을 구하는 과정으로 이해할 수 있다. 질량([math(\nu)])를 구하기 위해 밀도와 단위면적을 곱하여([math(f\, d\mu)]) 합하는 것이다.
또한 라돈-니코딘 도함수는 도함수의 일반화로, 선형성과 연쇄법칙 등 도함수의 성질을 유지한다. 가측공간 [math((X,\ \mathcal{M}))] 위의 [math(\sigma)]-유한 부호 측도 [math(\nu,\ \nu^\prime)]과 [math(\sigma)]-유한 측도 [math(\sigma,\ \lambda)]가 [math(\nu,\ \nu^\prime\ll\mu\ll\lambda)] 일 때, 다음이 성립한다.
- [math(d(\nu+\nu^\prime)/d\mu=(d\nu/d\mu)+(d\nu^\prime/d\mu))].
- [math(\nu\ll\lambda)]이고 [math(\displaystyle\frac{d\nu}{d\lambda}=\frac{d\nu}{d\mu}\frac{d\mu}{d\lambda}\quad (\lambda\text{-a.e.}))].
- [math(g\in L^1(\nu))]에 대하여 [math(g\dfrac{d\nu}{d\mu}\in L^1(\mu))]이고 [math(\displaystyle\int g\, d\nu=\int g\dfrac{d\nu}{d\mu}\,d\mu)].
2.3. 복소 측도
가측 공간 [math((X,\ \mathcal{M}))] 위의 복소 측도는 다음 조건을 만족시키는 함수 [math(\nu:\mathcal{M}\to\mathbb{C})]이다.- [math(\nu(\emptyset)=0)].
- 서로소 집합열 [math(\{E_n\}\subseteq\mathcal{M})]에 대하여 [math(\nu(\bigcup_{n=1}^\infty E_n)=\sum_{n=1}^\infty \nu(E_n))]이고 우변의 급수는 절대수렴한다.
복소 측도 [math(\nu)]는 두 부호 측도 실수부 [math(\nu_r)]과 허수부 [math(\nu_i)]의 합으로 표현된다. 복소 측도는 [math(\infty)] 값을 가질 수 없고, 따라서 실수부와 허수부는 모두 유한 측도이다. 기존 부호 측도에서 정의된 개념은 복소 측도로 자연스럽게 확장된다.
- [math(L^1(\nu)=L^1(\nu_r)\cap L^1(\nu_i))]
- 함수 [math(f\in L^1(\nu))]에 대하여 [math(\int f\,d\nu=\int f\,d\nu_r +i\int f\, d\nu_i)]
- 두 복소 측도 [math(\nu,\ \mu)]에 대하여 [math(\nu\perp\mu\Longleftrightarrow\nu_a\perp\mu_b\ (a,\ b=r,\ i) )]
- 양측도 [math(\lambda)]에 대하여 [math(\mu\ll\lambda \Longleftrightarrow \nu_r\ll\lambda \text{ and }\nu_i\ll\lambda)]
|
르베그-라돈-니코딤 정리 (Lebesgue-Radon-Nikodym Theorem) 측도 공간 [math((X,\ \mathcal{M}))] 위의 복소 측도 [math(\nu)]와 [math(\sigma)]-유한 양측도 [math(\mu)]에 대하여 다음을 만족시키는 [math((X,\ \mathcal{M}))] 위의 유일한 복소 측도 [math(\lambda)]와 [math(\text{a.e.})]-유일한 함수 [math(f\in L^1(\mu))]가 존재한다. [math(\lambda\perp\mu,\quad d\nu=d\lambda+f\,d\mu)] |
2.4. 유계 변동 함수
보렐 [math(\sigma)]-대수가 주어진 가측 공간 [math((\mathbb{R},\ \mathcal{B}_{\mathbb{R}}))] 위의 측도는 우연속 증가 함수의 확장으로 얻을 수 있으며, 역으로 측도를 이용하여 함수를 정의할 수 있다. 유계 변동 함수는 이처럼 보렐 가측 공간의 복소 측도와 대응되는 함수이다.복소 함수 [math(F:\mathbb{R}\to\mathbb{C})]와 실수 [math(x\in\mathbb{R})]에 대하여 다음을 함수 [math(F)]의 전변동 함수라고 한다.
[math(T_F(x)=\displaystyle\sup\sum_{k=1}^n |F(x_k)-F(x_{k-1})|)]
여기서 [math(\{x_k\}_1^n)]는 [math(x_n=x)]인 임의의 단조 증가 유한 수열이다. [math(T_F(\infty)=\lim_{x\to\infty}T_F(x))]가 유한할 경우, [math(F)]는 유계 변동 함수라고 하며, 유계 변동 함수 공간을 [math(BV)]로 나타낸다. 유계 변동 함수는 다음과 같은 성질을 갖는다.
- [math(F\in BV\Longleftrightarrow \mathrm{Re}\, F\in BV \text{ and }\mathrm{Im}\,F\in BV)]
- 실함수 [math(F:\mathbb{R}\to\mathbb{R})]에 대하여 [math(F\in BV)]일 필요충분조건은 [math(F)]가 두 유계 증가 함수의 차로 표현 가능한 것이다. 이 때, [math(F=\dfrac{1}{2}(T_F+F)-\dfrac{1}{2}(T_F-F))](조르단 분해)표현을 주로 활용한다.
- [math(F\in BV)]에 대하여 모든 [math(x\in\mathbb{R})]에서 좌극한과 우극한이 존재하며, [math(F(\pm\infty))]은 유한하다.
- [math(F\in BV)]에 대하여 [math(F)]의 불연속점 집합은 가산이다.
- [math(F\in BV)]와 [math(G(x)=F(x+))]에 대하여 거의 모든 점에서 [math(F^\prime,\ G^\prime)]이 존재하고 [math(F^\prime=G^\prime)]이다.
[math(F\in BV)]에 대하여 [math(G(x)=F(x+)-F(-\infty))]로 정의하면 [math(G\in BV)]는 우연속이고 [math(G(-\infty)=0)]이다. 이와 같은 함수를 유계 변동 함수의 정규화라고 하며, 정규 유계 변동 함수의 집합을 [math(N\, BV)]로 나타낸다. 즉,
[math(\{F\in BV:F\text{ is right continuous and }F(-\infty)=0\})]
이다. [math(\mathbb{R})]의 복소 보렐 측도는 [math(N\,BV)]의 함수를 결정하며 그 역 또한 성립한다.
|
정리 [math(\mathbb{R})] 위의 복소 보렐 측도 [math(\mu)]에 대하여 [math(F(x)=\mu((-\infty,\ x])]로 정의된 함수 [math(F)]는 정규 유계 변동 함수이다. 반대로 [math(F\in N\,BV)]에 대하여 [math(F(x)=\mu_F((-\infty,\ x]))]를 만족시키는 유일한 보렐 측도 [math(\mu_F)]가 존재하며, [math(|\mu_F|=\mu_{T_F})]이다. |
위 정리에 따라 복소 보렐 측도와 정규 유계 변동 함수는 일대일 대응하므로 복소 보렐 측도와 르베그 측도 사이의 상호 특이성과 절대 연속성 또한 해당 측도에 대응하는 정규 유계 변동 함수에 관하여 표현 가능하다. [math(F\in N\, BV)]에 대하여 [math(F^\prime \in L^1(m))]이고, 다음이 성립한다.
[math(\begin{aligned}\mu_F\perp m &\Longleftrightarrow F^\prime=0\\
\mu_F\ll m &\Longleftrightarrow \displaystyle \int_{-\infty}^x F^\prime (t)\, dt\end{aligned})]
\mu_F\ll m &\Longleftrightarrow \displaystyle \int_{-\infty}^x F^\prime (t)\, dt\end{aligned})]
2.4.1. 절대 연속 함수
함수 [math(F:\mathbb{R\to C})]가 임의의 [math(\epsilon>0)]과 임의의 유한개 서로소 구간 [math((a_1,\ b_1),\ \ldots\ ,\ (a_n,\ b_n))]에 대하여 다음을 만족시키는 [math(\delta>0)]가 존재하면 절대 연속이라고 한다.[math(\displaystyle \sum_{k=1}^n (b_k-a_k)<\delta\Longrightarrow \sum_{k=1}^n |F(b_k)-F(a_k)|<\epsilon)]
위 정의는 [math(n=1)]일 때 균등 연속의 정의와 같으므로, 절대 연속 함수는 균등 연속이다. 정규 유계 변동 함수의 절대 연속성은 그에 대응하는 보렐 측도의 절대 연속성과 일치한다. 즉, [math(F\in N\, BV)]에 대하여 [math(F)]가 절대 연속 함수일 필요 충분 조건은 [math(\mu_F\ll m)]이다. 따라서 유계 변동 함수에 대하여 절대 연속성은 [math(\text{a.e.})]-미분 가능성과 동치이고 다음이 성립한다.
|
정리 [math(f\in L^1(m))]에 대하여 [math(F(x)=\int_{-\infty}^x f(t)\, dt)]라고 하면 [math(F)]는 정규 유계 변동 함수이고 절대 연속이다. 또한 [math(f=F^\prime)]이다. 반대로, 정규 유계 변동 함수 [math(F)]가 절대 연속이면 [math(F^\prime\in L^1(m))]이고 [math(F(x)=\int_{-\infty}^x F^\prime (t)\, dt)]이다. |
3. 적용
3.1. 미적분의 기본정리의 확장
미적분학의 기본정리는 다음과 같다.|
미적분의 기본정리 (제1 기본정리) 리만 적분 가능 함수 [math(f:[a,\ b]\to\mathbb{R})]에 대하여 함수 [math(F(x)=\int_a^x f(t)\,dt)]는 립시츠 연속이다. [math(f)]가 연속이면 [math(F)]는 미분 가능하고 [math(F^\prime =f)]이다. (제2 기본정리) 리만 적분 가능 함수 [math(f:[a,\ b]\to\mathbb{R})]에 대하여 미분 가능 함수 [math(F:[a,\ b]\to\mathbb{R})]가 [math(F^\prime=f)]를 만족시키면 [math(\int_a^b f(x)\,dx=F(b)-F(a))]이다. |
3.1.1. 제1 기본정리의 확장
제1 기본정리에서 함수 [math(f)]의 연속성이 가정되지 않은 경우 함수 [math(F)]의 [math([a,\ b])]에서 미분 불가능한 점이 존재할 수 있어 [math(F)]의 [math([a,\ b])]에서 미분 가능성은 보장되지 않는다. 그러나 르베그 적분과 측도론의 관점에서 [math(F)]는 [math([a,\ b])]의 거의 모든 점에서 미분 가능하다. 또한, 정리의 적용 범위를 [math(\mathbb{R}^n)] 위의 복소 함수로 확장 가능하다. 따라서 이 문단에서는 르베그 측도 공간 [math((\mathbb{R^n},\ \mathcal{L^n},\ m))]에서의 적분을 다룬다.제1 기본정리를 르베그 적분으로 확장하는 과정에서 함수의 리만 적분 가능성은 국소적 적분 가능성으로 대체된다. 가측 함수 [math(f:\mathbb{R^n\to C})]가 임의의 유계 가측함수 [math(K\subset\mathbb{R^n})] 위에서 적분 가능할 때, [math(f)]는 국소적 적분 가능 함수라고 하며 국소적 적분 가능 함수 공간을 [math(L_{\rm loc}^1)]로 나타낸다.
먼저, 대표적인 유계 가측 집합 열린 구 [math(B(r,\ x)\ (x\in\mathbb{R^n},\ r>0))] 위에서의 적분에 대하여 논한다. 함수 [math(f\in L_{\rm loc}^1)]의 [math(B(r,\ x))] 위에서의 적분으로 정의된 함수 [math(\int_{B(r,\ x)}f(t)\,dt)]의 미분은
[math(\displaystyle A_rf(x)=\frac{1}{m(B(r,\ x))}\int_{B(r,\ x)}f(t)\,dt)]
의 극한값이다. 실제로, [math(f\in L_{\rm loc}^1)]에 대하여 [math(\text{a.e.})]-모든 점에서 [math(\lim_{r\to0}A_rf(x)=f(x))]이다. 이와 같이 확장된 미적분의 기본정리는 보다 일반적인 집합에서 더 강한 조건으로 성립한다. 이를 표현하기 위해 두 가지 새로운 정의를 도입한다.
첫째, 다음 조건을 만족시키는 [math(\mathbb{R^n})]의 집합족 [math(\{E_r\}_{r>0})]은 [math(x)]로 알맞게 축소한다(shrink necely)고 한다.
- 각 [math(r)]에 대하여 [math(E_r \subseteq B(r,\ x))].
- [math(r)]과 무관하게 [math(m(E_r)>\alpha m(B(r,\ x)))]를 만족시키는 [math(\alpha>0)]가 존재한다.
둘째, 극한 [math(\lim_{r\to 0}A_rf(x)=f(x))]는 [math(r\to 0)]에 따라
[math(\displaystyle\frac{1}{B(r,\ x)}\int_{B(r,\ x)}{\left[f(t)-f(x)\right] \, dt}\to0)]
를 뜻한다. 여기서 피적분 함수 [math(f(t)-f(x))]의 절댓값을 취해도 극한은 [math(0)]으로 수렴한다. 다음 집합을 [math(f)]의 르베그 집합 [math(L_f)] 라고한다.
[math(\displaystyle\left\{x:\lim_{r\to0}\frac{1}{m(B(r,\ x))}\int_{B(r,\ x)}|f(t)-f(x)|\,dt=0\right\})]
실제로 함수 [math(f\in L_{loc}^1)]에 대하여 [math(m((L_f)^c)=0)]이다.
이상을 종합하여 다음을 얻는다.
|
르베그 미분 정리(The Lebesgue Differentiation Theorem) 함수 [math(f\in L_{\rm loc}^1)]와 임의의 [math(x\in L_f)]에 대하여 [math(\{E_r\}_{r>0})]가 [math(x)]로 알맞게 축소하는 집합렬이면 다음이 성립한다. [math(\displaystyle\begin{aligned}\lim_{r\to 0}\frac{1}{m(E_r)}&\int_{E_r}|f(t)-f(x)|\,dt=0,\\ \lim_{r\to 0}\frac{1}{m(E_r)}&\int_{E_r}f(t)\, dt=f(x)\end{aligned})] |
3.1.2. 제2 기본정리의 확장
미분 가능 함수 [math(G)]의 도함수 [math(g=G^{\,\prime})]에 미적분의 제2 기본정리를 적용하기 위해선 [math(g)]에 대한 추가 가정이 필요하다. 도함수는 일반적으로 연속성이 보장되지 않음이 잘 알려져 있다. 연속성보다 약한 개념인 리만 적분 가능성 역시 도함수에선 보장되지 않는다. 볼테라 함수는 리만 적분 불가능한 도함수를 갖는 대표적인 예시이다. 이와 같이 함수 [math(G)]의 도함수가 리만 적분 불가능하면 도함수의 정적분을 논할 수 없다.[math(g)]에 리만 적분 가능성을 추가로 가정하더라도 칸토어 함수와 같이 도함수가 적분 가능하나, [math(G(b)-G(a)\ne \int_a^b g(x)\, dx)]인 함수가 존재한다. 칸토어 함수는 [math([0,\ 1])]에서 정의되어 거의 어디에서나 미분 가능하고 그 도함수가 거의 어디에서나 [math(0)]이지만 함숫값이 [math(0)]에서 [math(1)]까지 증가하는 연속함수이다. 이와 같은 경우, [math(G(1)-G(0)=1)]이지만, [math(\int_0^1 g(x)\,dx=0)]이다.
따라서 측도론이 도입되지 않은 미적분학에서 도함수의 적분을 원래의 함수를 이용해 계산하기 위해서는 도함수의 연속성이 추가로 가정되어야 한다. 측도를 도입함으로써 위와 같은 상황에서 도함수의 연속성을 배제할 수 있는 조건을 찾을 수 있다.
|
르베그 적분의 미적분 기본정리 함수 [math(F:[a,\ b]\to\mathbb{C}\ (-\infty<a<b<\infty))]에 대하여 다음은 동치이다.
|
절대 연속이 아닌 증가함수 [math(f)]의 경우 위 정리는 일반적으로 참이 아니지만, 부등식 [math(\int_a^b f^\prime(x)\, dx\le f(b)-f(a))]가 성립한다.
3.2. Lp 공간의 쌍대성
[math((p,q)(1<p,q<\infty))]가 횔더 켤레일 때, 각 [math(T\in (L^p)^*)]는 [math(g\in L^q)]에 대하여 [math(T(f)=\int fg)]이고, 따라서 [math((L^p)^*)]와 [math(L^q)] 사이에 전단사 거리 동형 사상이 존재한다. 이 때 [math(T)]에 대응하는 [math(g)]의 존재는 라돈-니코딤 정리에 의하여 보장된다. 자세한 내용은 [math(L^p)] 공간 문서의 [math(L^p)] 공간의 쌍대공간 문단 참고.3.3. 조건부 기댓값
라돈-니코딤 도함수는 조건부 기댓값의 존재를 보장한다. 확률 공간 [math((\Omega,\ \mathcal{F},\ P))]와 [math(\mathcal{F})]의 부분 [math(\sigma)]-체 [math(\mathcal{G})]에 대하여 [math(X\in L^1(\Omega))]일 때, 조건부 기댓값 [math(E(X|\mathcal{G}))]는 다음 조건을 [math(\text{a.e.})]-유일하게 만족시키는 확률변수이다.- [math(E(X|\Omega))]는 [math(\mathcal{G})]-가측 함수이다.
- 모든 [math(G\in\mathcal{G})]에 대하여 [math(\displaystyle\int_G E(X|\mathcal{G})\,dP=\int_G X\,dP)].
[math(\displaystyle\lambda(E)=\rho(E)=\int_E g\,d\nu=\int_E g\, d\mu)]
이고, 라돈-니코딤 정리와 [math(\nu=\mu|_{\mathcal{N}})]에 의하여 [math(g)]는 [math(\mu\text{-a.e.})] 유일하게 존재한다. 위 증명 과정에서 [math((X,\ \mathcal{M},\ \mu)=(\Omega,\ \mathcal{F},\ P))], [math(\mathcal{N}=\mathcal{G})], [math(f=X)], [math(g=E(X|\mathcal{G}))]라 하면 조건부 기댓값의 존재성을 얻을 수 있다.