리만 적분

실해석학에서 리만 적분(Riemann積分, 영어: Riemann integral)은 닫힌구간에 정의된 실숫값 함수의 적분의 종류이다. 베른하르트 리만이 정의하였다. 대략, 정의역 구간을 작은 구간으로 잘게 나눠, 각각의 작은 구간 위의 넓이를 직사각형의 넓이를 통해 근사한다. 구간을 잘게 나눌수록 실제 넓이와의 오차가 줄어드는데, 이 과정에 극한을 취하면 실제 넓이를 얻는다. 다르부 적분(Darboux積分, 영어: Darboux integral)은 리만 적분과 동치이면서 더 단순한 기법을 사용하는 적분이다. 대략, 각각의 직사각형을 임의로 취하는 대신, 각각의 극대 및 극소 넓이의 직사각형을 취하여, 상계와 하계의 차이를 좁혀가며 근사한다.

정의

구간의 분할

닫힌구간 $[a,b]$의 분할(分割, 영어: partition)은 유한 집합 $\{a,b\}\subseteq P\subseteq [a,b]$이다. 편의상 그 원소들을 다음과 같이 표기한다.

$a=x_0^P<x_1^P<x_2^P<\cdots <x_{n_P}^P=b$

이는 닫힌구간 $[a,b]$를 내부가 쌍마다 서로소인 닫힌구간 $[x_i^P,x_{i+1}^P]$들로 분할하는 방법에 대응한다. 닫힌구간 $[a,b]$의 분할 $P$의 태그(영어: tag)는 분할된 각 구간의 대표 원소들로 구성된 튜플 $(t_i\in [x_i^P,x_{i+1}^P]{)}_{i=0}^{n_P-1}$이다. 또한, $P$의 메시(영어: mesh) $\lambda (P)$는 분할된 구간들의 최대 길이이다. 즉, 다음과 같다.

$\lambda (P)=\underset{0\le i\le n_P-1}{\max }(x_{i+1}^P-x_i^P)$

닫힌구간 $[a,b]$의 두 분할 $P,Q$가 $P\subseteq Q$를 만족시키면, $Q$가 $P$의 세분(細分, 영어: refinement)이라고 한다. 즉, 이는 $Q$가 $P$를 더 잘게 분할하여 얻을 수 있는지를 나타낸다. 또한, $P$와 $Q$의 공통 세분 $P\cup Q$은 두 분할 모두의 세분인 분할 가운데 가장 잘지 않은 하나이다.

예를 들어, 닫힌구간 $[0,1]$을 3등분하는 분할 0 < 1/3 < 2/3 < 1은 각 구간의 길이가 1/3이므로 메시가 1/3이며, 2등분 분할 0 < 1/2 < 1과의 공통 세분은 0 < 1/3 < 1/2 < 2/3 < 1이다. (1/6, 1/2, 5/6)은 3등분 분할의 한 가지 태그이다.

리만 합

파일:Icons8 flat search.svg 이 부분의 본문은 리만 합입니다.

다음 대상들이 주어졌다고 하자.

• 함수 $f:[a,b]\to ℝ$
• 분할 $a=x_0^P<x_1^P<x_2^P<\cdots <x_{n_P}^P=b$
• 태그 $(t_i\in [x_i^P,x_{i+1}^P]{)}_{i=0}^{n_P-1}$

그렇다면, 함수 $f$의 분할 $P$ 및 태그 $t$에 대한 리만 합은 다음과 같다.

$\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)=f(t_0)(x_1^P-x_0^P)+f(t_1)(x_2^P-x_1^P)+\cdots +f(t_{n_P-1})(x_{n_P}^P-x_{n_P-1}^P)$

주어진 함수의 주어진 분할에 대한 리만 합은 (태그가 유일하지 않으므로) 유일하지 않다.

예를 들어, 다음과 같은 리만 합을 정의할 수 있다.

• $\sum _{i=0}^{n_P-1}f(x_i^P)(x_{i+1}^P-x_i^P)$. 이를 왼쪽 리만 합(왼쪽Riemann合, 영어: left Riemann sum)이라고 한다. 즉, 이는 각 구간의 왼쪽 끝점을 취하는 태그에 대한 리만 합이다.
• $\sum _{i=0}^{n_P-1}f(x_{i+1}^P)(x_{i+1}^P-x_i^P)$. 이를 오른쪽 리만 합(오른쪽Riemann合, 영어: right Riemann sum)이라고 한다. 즉, 이는 각 구간의 오른쪽 끝점을 취하는 태그에 대한 리만 합이다.
• $\sum _{i=0}^{n_P-1}f\left(\frac{x_i^P+x_{i+1}^P}{2}\right)(x_{i+1}^P-x_i^P)$. 이를 가운데 리만 합(가운데Riemann合, 영어: middle Riemann sum)이라고 한다. 즉, 이는 각 구간의 중간점을 취하는 태그에 대한 리만 합이다.
• $\frac{b-a}{n}\sum _{i=0}^{n-1}f(t_i)$. 여기서 $t_i\in [a+i\frac{b-a}{n},a+(i+1)\frac{b-a}{n}]$. 즉, 이는 $n$등분 분할에 대한 리만 합이다.

리만 적분

함수 $f:[a,b]\to ℝ$에 대하여, 만약 다음 조건을 만족시키는 실수 $I\in ℝ$가 존재한다면, $f$를 $[a,b]$ 위의 리만 적분 가능 함수라고 하고, $I$를 $f$의 $[a,b]$ 위의 리만 적분이라고 한다.

• $\underset{\lambda (P)\to 0}{\lim }\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)=I$

이는 통상적인 의미의 극한이 아니다. $\lambda (P)$의 하나의 값에 여러 가지 리만 합이 대응하기 때문이다. 즉, 이 극한은 다음 조건과 동치이다.

• 임의의 $ϵ>0$에 대하여, $\delta (ϵ)>0$이 존재하여, 임의의 분할 $a=x_0^P<x_1^P<x_2^P<\cdots <x_{n_P}^P=b$ 및 태그 $(t_i\in [x_i^P,x_{i+1}^P]{)}_{i=0}^{n_P-1}$에 대하여, $\lambda (P)<\delta (ϵ)$이면 $|\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)-I|<ϵ$이다.

리만 적분 값 $I$를

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x$

와 같이 표기하며, 리만 적분 가능 함수의 집합을 $ℛ([a,b];ℝ)$와 같이 표기한다. 적분 상한이 적분 하한보다 작지 않은 경우의 리만 적분을 다음과 같이 추가 정의한다.

$\underset{a}{\overset{a}{\int }}f(x)\mathrm{d}x=0(a\in ℝ,f:\{a\}\to ℝ)$

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x=-\underset{b}{\overset{a}{\int }}f(x)\mathrm{d}x(a>b,f\in ℛ([b,a];ℝ))$

다르부 적분

다르부 상합과 다르부 하합

다음 대상들이 주어졌다고 하자.

• 함수 $f:[a,b]\to ℝ$
• 분할 $a=x_0^P<x_1^P<x_2^P<\cdots <x_{n_P}^P=b$

그렇다면, 함수 $f$의 분할 $P$에 대한 (다르부) 상합((Darboux)上合, 영어: upper (Darboux) sum) $U(f,P)$은 다음과 같다. (여기서 $\sup$와 $\inf$는 각각 상한과 하한의 기호이다.)

$U(f,P)=\sum _{i=0}^{n_P-1}\underset{x\in [x_{i+1}^P,x_i^P]}{\sup }f(x)(x_{i+1}^P-x_i^P)$

마찬가지로, 함수 $f$의 분할 $P$에 대한 (다르부) 하합((Darboux)下合, 영어: lower (Darboux) sum) $L(f,P)$은 다음과 같다.

$L(f,P)=\sum _{i=0}^{n_P-1}\underset{x\in [x_{i+1}^P,x_i^P]}{\inf }f(x)(x_{i+1}^P-x_i^P)$

또한, 함수 $f$의 분할 $P$에 대한 (다르부) 진폭은 다음과 같다.

$w(f,P)=U(f,P)-L(f,P)=\sum _{i=0}^{n_P-1}\underset{x,y\in [x_{i+1}^P,x_i^P]}{\sup }|f(x)-f(y)|(x_{i+1}^P-x_i^P)$

다르부 상합과 다르부 하합은 리만 합의 상계와 하계를 제시한다. 즉, 항상 다음이 성립한다.

$L(f,P)\le \sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)\le U(f,P)$

다르부 상합은 항상 다르부 하합 이상이며, 둘의 차이는 세분을 취할수록 좁혀진다. 즉, 항상 다음이 성립한다.

$L(f,P)\le U(f,Q)$

$P\subseteq Q⟹L(f,P)\le L(f,Q)\le U(f,Q)\le U(f,P)$

증명:

둘째 명제는 $Q$가 다음과 같은 꼴인 경우를 보이는 것으로 족하다.

$a=x_0^P<\cdots <x_j^P<y<x_{j+1}^P<\cdots <x_{n_P}^P=b$

이 경우,

$\begin{array}{cc}U(f,Q)& =\sum _{0\le i\le n_P-1}^{i\ne j}\underset{x\in [x_i^P,x_{i+1}^P]}{\sup }f(x)(x_{i+1}^P-x_i^P)+\underset{x\in [x_j^P,y]}{\sup }f(x)(y-x_j^P)+\underset{x\in [y,x_{j+1}^P]}{\sup }f(x)(x_j^P-y)\\ & \le \sum _{0\le i\le n_P-1}^{i\ne j}\underset{x\in [x_i^P,x_{i+1}^P]}{\sup }f(x)(x_{i+1}^P-x_i^P)+\underset{x\in [x_j^P,x_{j+1}^P]}{\sup }f(x)(y-x_j^P)+\underset{x\in [x_j^P,x_{j+1}^P]}{\sup }f(x)(x_{j+1}^P-y)\\ & =U(f,P)\end{array}$

첫째 명제는 둘째 명제를 사용하여 다음과 같이 보일 수 있다.

$L(f,P)\le L(f,P\cup Q)\le U(f,P\cup Q)\le U(f,Q)$

다르부 상적분과 다르부 하적분

함수 $f:[a,b]\to ℝ$의 $[a,b]$ 위의 (다르부) 상적분((Darboux)上積分, 영어: upper (Darboux) integral)은 다음과 같이 두 가지 값으로 정의될 수 있으며, 이 두 값은 서로 같다.

$\overline{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x={\inf }_{\{a,b\}\subseteq P\subseteq [a,b]}^{|P|<{\mathrm{\aleph }}_0}U(f,P)=\underset{\lambda (P)\to 0}{\lim }U(f,P)$

마찬가지로, $f$의 $[a,b]$ 위의 (다르부) 하적분((Darboux)下積分, 영어: lower (Darboux) integral)은 다음과 같이 두 가지 값으로 정의될 수 있으며, 이 두 값은 서로 같다.

$\underset{\_}{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x={\sup }_{\{a,b\}\subseteq P\subseteq [a,b]}^{|P|<{\mathrm{\aleph }}_0}L(f,P)=\underset{\lambda (P)\to 0}{\lim }L(f,P)$

증명:

임의의 $ϵ>0$을 취하자. 그러면, 다음을 만족시키는 분할 $Q$가 존재한다.

$U(f,Q)<{\inf }_{\{a,b\}\subseteq R\subseteq [a,b]}^{|R|<{\mathrm{\aleph }}_0}U(f,R)+\frac{ϵ}{2}$

따라서, 임의의

$\{a,b\}\subseteq P_{|P|<{\mathrm{\aleph }}_0}\subseteq [a,b]$

$\lambda (P)<\frac{ϵ}{1+4n_Q\underset{x\in [a,b]}{\sup }|f(x)|}$

에 대하여,

$\begin{array}{cc}U(f,P)& \le U(f,P)-U(f,P\cup Q)+U(f,Q)\\ & \le U(f,Q)+n_Q\cdot 2\underset{x\in [a,b]}{\sup }|f(x)|\cdot \lambda (P)\\ & <{\inf }_{\{a,b\}\subseteq R\subseteq [a,b]}^{|R|<{\mathrm{\aleph }}_0}U(f,R)+ϵ\end{array}$

따라서,

$\underset{\lambda (P)\to 0}{\lim }U(f,P)={\inf }_{\{a,b\}\subseteq R\subseteq [a,b]}^{|R|<{\mathrm{\aleph }}_0}U(f,R)$

(유계 함수의) 다르부 상적분과 다르부 하적분은 항상 존재한다. 다르부 상적분과 다르부 하적분이 일치한다면, $f$를 다르부 적분 가능 함수라고 하고, 그 다르부 상적분과 다르부 하적분을 $f$의 다르부 적분이라고 한다. 다르부 적분 가능성 및 다르부 적분 값은 리만 적분 가능성 및 리만 적분 값과 완전히 일치한다.

성질

리만 적분 가능성

리만 적분 가능 함수는 항상 유계 함수이다.

증명:

함수 $f:[a,b]\to ℝ$가 무계 함수라고 하자. 그렇다면, 임의의 분할 $P$에 대하여, 다음을 만족시키는 $0\le j\le n_P-1$이 존재한다.

$\underset{x\in [x_j^P,x_{j+1}^P]}{\sup }|f(x)|=\mathrm{\infty }$

따라서,

$\underset{t_i\in [x_i^P,x_{i+1}^P]}{\sup }|\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)|\ge \underset{t_j\in [x_{j-1}^P,x_j^P]}{\sup }|f(t_j)(x_{j+1}^P-x_j^P)|-|\sum _{0\le i\le n_P-1}^{i\ne j}f(x_i^P)(x_{i+1}^P-x_i^P)|=\mathrm{\infty }$

이며, $f$는 리만 적분 가능 함수일 수 없다.

유계 함수 $f:[a,b]\to ℝ$에 대하여, 다음 조건들이 서로 동치이다. (여기서 ${\lambda }^{*}$는 르베그 외측도, $\mathrm{lim\; sup}$는 상극한, $\mathrm{lim\; inf}$는 하극한이다.)

• (리만 적분 가능 함수) $\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x\in ℝ$가 존재한다.
• (다르부 적분 가능 함수) $\overline{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x=\underset{\_}{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x$
• (다르부 진폭의 영 집적) 임의의 $ϵ>0$에 대하여, 분할 $P$가 존재하여, $w(f,P)<ϵ$
• (조르당 거의 어디서나 연속 함수) 임의의 $ϵ>0$ 및 $\eta >0$에 대하여, 분할 $P$가 존재하여, $\sum _{0\le i\le n_P-1}^{w(f,P,i)>ϵ}(x_{i+1}^P-x_i^P)<\eta$
• (르베그 거의 어디서나 연속 함수) ${\lambda }^{*}(\{c\in (a,b):\underset{x\to c}{\mathrm{lim\; sup}}f(x)\ne \underset{x\to c}{\mathrm{lim\; inf}}f(x)\})=0$

증명 (리만 적분 가능 함수 ⇔ 다르부 적분 가능 함수):

필요 조건: $f:[a,b]\to ℝ$가 리만 적분 가능 함수라고 하자. 그렇다면, 임의의 $ϵ>0$에 대하여, 리만 적분의 정의에서의 $\delta (ϵ/4)>0$가 존재한다. 또한, 다음을 만족시키는 분할 $P$와 두 태그 $(s_i,t_i\in [x_i^P,x_{i+1}^P]{)}_{i=0}^{n_P-1}$를 취할 수 있다.

$\lambda (P)<\delta \left(\frac{ϵ}{4}\right)$

$\sum _{i=0}^{n_P-1}f(s_i)(x_{i+1}^P-x_i^P)<L(f,P)+\frac{ϵ}{4}$

$\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)>U(f,P)-\frac{ϵ}{4}$

따라서,

$\begin{array}{cc}\overline{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x-\underset{\_}{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x& \le U(f,P)-L(f,P)\\ & <\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)-\sum _{i=0}^{n_P-1}f(s_i)(x_{i+1}^P-x_i^P)+\frac{ϵ}{2}\\ & <ϵ\end{array}$

충분 조건: $f:[a,b]\to ℝ$가 다르부 적분 가능 함수라고 하자. 그렇다면, 임의의 $ϵ>0$에 대하여, 다르부 적분의 정의에서의 $\delta (ϵ/2)>0$가 존재한다. 따라서, 임의의

$\{a,b\}\subseteq P_{|P|<{\mathrm{\aleph }}_0}\subseteq [a,b]$

$(t_i\in [x_{i+1}^P,x_i^P]{)}_{i=0}^{n_P-1}$

$\lambda (P)<\delta (ϵ/2)$

에 대하여,

$\begin{array}{cc}|\sum _{i=0}^{n_P-1}f(t_i)(x_{i+1}^P-x_i^P)-\overline{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x|& \le U(f,P)-L(f,P)\\ & <ϵ\end{array}$

증명 (다르부 적분 가능 함수 ⇔ 다르부 진폭의 영 집적):

다음 항등식에 의하여 성립한다.

$\overline{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x-\underset{\_}{\underset{a}{\overset{b}{\int }}}f(x)\mathrm{d}x={\inf }_{\{a,b\}\subseteq P\subseteq [a,b]}^{|P|<{\mathrm{\aleph }}_0}w(f,P)$

증명 (다르부 진폭의 영 집적 ⇔ 조르당 거의 어디서나 연속 함수):

다음 부등식에 의하여 성립한다.

$ϵ\sum _{0\le i\le n_P-1}^{w(f,P,i)>ϵ}(x_{i+1}^P-x_i^P)\le w(f,P)\le ϵ(b-a)+2\underset{x\in [a,b]}{\sup }|f(x)|\sum _{0\le i\le n_P-1}^{w(f,P,i)>ϵ}(x_{i+1}^P-x_i^P)$

증명 (조르당 거의 어디서나 연속 함수 ⇔ 르베그 거의 어디서나 연속 함수):

$f$의 불연속점 집합을 $E\subseteq [a,b]$라고 하자.

필요조건: 임의의 $n\in {\mathbb{Z}}^{+}$ 및 $\eta >0$에 대하여, 다음을 만족시키는 분할 $P$가 존재한다.

$\sum _{0\le i\le n_P-1}^{w(f,P,i)>1/n}(x_{i+1}^P-x_i^P)<\eta$

따라서,

${\lambda }^{*}(\{c\in (a,b):\underset{x\to c}{\mathrm{lim\; sup}}f(x)-\underset{x\to c}{\mathrm{lim\; inf}}f(x)>1/n\})\le \sum _{0\le i\le n_P-1}^{w(f,P,i)>1/n}(x_{i+1}^P-x_i^P)<\eta$

즉,

${\lambda }^{*}(E)=0$

충분조건: 임의의 $ϵ>0$ 및 $\eta >0$을 취하자. 그렇다면, 다음을 만족시키는, $E$의 열린구간 가산 덮개 $\{I_k{\}}_{k=1}^{\mathrm{\infty }}$가 존재한다.

$\sum _{k=1}^{\mathrm{\infty }}|I_k|<\eta$

또한, 임의의 연속점 $x\in [a,b]\setminus E$에 대하여, 다음을 만족시키는 ${\delta }_x>0$이 존재한다.

$\underset{s,t\in (x-{\delta }_x,x+{\delta }_x)}{\sup }|f(s)-f(t)|<ϵ$

이로부터, $[a,b]$의 열린 덮개

$\{(x-{\delta }_x,x+{\delta }_x){\}}_{x\in [a,b]\setminus E}\cup \{I_k{\}}_{k=1}^{\mathrm{\infty }}$

를 얻으며, 이는 르베그 수 $\delta >0$을 갖는다. $\lambda (P)<\delta$인 분할 $P$를 취하자. 그렇다면, 각 $[x_i^P,x_{i+1}^P]$은 덮개의 어떤 원소에 포함되는데, $w(f,P,i)>ϵ$일 경우, 이 덮개 원소는 $(x-{\delta }_x,x+{\delta }_x)$ 꼴일 수 없다. 즉, 이 경우 반드시 $I_k$ 꼴의 원소에 포함된다. 따라서,

$\sum _{0\le i\le n_P-1}^{w(f,P,i)>ϵ}(x_{i+1}^P-x_i^P)\le \sum _{k=1}^{\mathrm{\infty }}|I_k|<\eta$

특히, 연속 함수는 항상 리만 적분 가능 함수이다. 불연속점 집합이 유한 집합이거나 가산 무한 집합인 함수 역시 거의 어디서나 연속 함수에 속하므로 리만 적분 가능 함수이다. 단조 함수 역시 많아야 가산 개의 불연속점을 가지므로 리만 적분 가능 함수이다.

연산에 대한 닫힘

리만 적분 가능 함수는 다음과 같은 연산들에 대하여 닫혀있다.

• (합) $f,g\in ℛ([a,b];ℝ)⟹f+g\in ℛ([a,b];ℝ)$
• (곱) $f,g\in ℛ([a,b];ℝ)⟹fg\in ℛ([a,b];ℝ)$
• (함수의 제한) $f\in ℛ([a,b];ℝ),[c,d]\subseteq [a,b]⟹f{|}_{[c,d]}\in ℛ([c,d];ℝ)$
• (균등 극한)

또한, 일부 경우 자연스러운 공식이 성립한다. 즉, 닫힌구간 $I$ 위의 리만 적분 가능 함수 $f,g:I\to ℝ$ 및 정의역 속 점들 $a,b,c\in I$에 대하여, 다음이 성립한다.

$\underset{a}{\overset{b}{\int }}f(x)+g(x)\mathrm{d}x=\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x+\underset{a}{\overset{b}{\int }}g(x)\mathrm{d}x$

$\underset{a}{\overset{b}{\int }}kf(x)\mathrm{d}x=k\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x(k\in ℝ)$

$\underset{a}{\overset{c}{\int }}f(x)\mathrm{d}x=\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x+\underset{b}{\overset{c}{\int }}f(x)\mathrm{d}x$

그러나, 리만 적분 함수는 몫과 함수의 합성에 대하여 닫혀있지 않다. 예를 들어, 두 리만 적분 가능 함수의 몫은 무계 함수일 수 있다. 또한, $[0,1]$ 위의 리만 적분 가능 함수

$f(x)=\{\begin{array}{cc}1& x=0\\ 0& x\in (0,1]\end{array}$

를, 역시 $[0,1]$ 위의 리만 적분 가능 함수인 토메 함수의 왼쪽에 합성하면, 디리클레 함수를 얻는데, 이는 $[0,1]$ 위의 리만 적분 가능 함수가 아니다. 하지만 왼쪽의 함수가 연속 함수라면 합성된 함수는 리만 적분 가능 함수이다. 즉,

• $f\in 𝒞([c,d];ℝ),g\in ℛ([a,b];[c,d])⟹f\circ g\in ℛ([a,b]\to ℝ)$

리만 적분 가능 함수는 균등 극한이 아닐 수 있는 극한에 대하여 닫혀있지 않다. 또한, 코시 열 극한에 대하여 닫혀있지 않다. 즉, 리만 적분 가능 함수의 공간은 완비 L^p 공간이 아니다.

미적분학의 기본 정리

파일:Icons8 flat search.svg 이 부분의 본문은 미적분학의 기본 정리입니다.

리만 적분에 대한 미적분학의 제1 기본 정리는 다음과 같다. 리만 적분 가능 함수 $f:[a,b]\to ℝ$에 대한 다음 함수를 생각하자.

$F:[a,b]\to ℝ$

$F(x)=\underset{a}{\overset{x}{\int }}f(t)\mathrm{d}t$

그렇다면, $F$는 립시츠 연속 함수이다. 따라서, $F$는 거의 어디서나 미분 가능 함수이며, 모든 미분 가능점에서 $F^{\prime }(x)=f(x)$이다. 만약 추가로 $f$가 연속 함수라면, $F$는 연속 미분 가능 함수이며, 임의의 $x\in [a,b]$에 대하여 $F^{\prime }(x)=f(x)$를 만족시킨다, 즉, $f$의 원함수이다.

리만 적분에 대한 미적분학의 제2 기본 정리는 다음과 같다. 함수 $f:[a,b]\to ℝ$가 다음 두 조건을 만족시킨다고 하자.

• (부정적분 가능 함수) $F^{\prime }(x)=f(x)\mathrm{\forall }x\in [a,b]$
• (리만 적분 가능 함수) $\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x\in ℝ$

그렇다면, 다음이 성립한다.

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x=F(b)-F(a)=F(x){|}_a^b$

리만 적분에 대한 미적분학 제2 기본 정리는 적분 가능 함수를 전제하여야 한다. 즉, 부정적분 가능 함수는 리만 적분 가능 함수일 필요가 없다.

예

제곱 함수 $x^2$의 0에서 1까지의 리만 적분은 $n$등분 분할에 대한 오른쪽 리만 합을 통해 다음과 같이 구할 수 있다.

$\underset{0}{\overset{1}{\int }}{x}^2\mathrm{d}x=\underset{n\to \mathrm{\infty }}{\lim }\frac{1}{n}\sum _{i=1}^n{\left(\frac{i}{n}\right)}^2=\underset{n\to \mathrm{\infty }}{\lim }\frac{(n+1)(2n+1)}{6n^2}=\frac{1}{3}$

제곱 함수 $x^2$는 연속 함수이므로, 부정적분 가능 함수이자 리만 적분 가능 함수이다. 따라서, 그 리만 적분을 미적분학의 기본 정리를 통해 다음과 같이 구할 수 있다.

$\underset{0}{\overset{1}{\int }}{x}^2\mathrm{d}x={\frac{1}{3}{x}^3|}_0^1=\frac{1}{3}$

리만 적분 가능 함수가 아닌 함수

디리클레 함수

$D(x)=\{\begin{array}{cc}1& x\in \mathbb{Q}\\ 0& x\in ℝ\setminus \mathbb{Q}\end{array}$

는 $[0,1]$ 위의 리만 적분 가능 함수가 아니다. 구간을 아무리 잘게 분할해도, 각각의 구간 안에는 유리수가 존재하며, 또한 각각의 구간 안에는 무리수가 존재한다. 따라서 다음과 같은 두 가지 리만 합을 취할 수 있다.

$\sum _{i=0}^{n_P-1}D(s_i)(x_{i+1}^P-x_i^P)=1(s_i\in [x_i^P,x_{i+1}^P]\cap \mathbb{Q})$

$\sum _{i=0}^{n_P-1}D(t_i)(x_{i+1}^P-x_i^P)=0(t_i\in [x_i^P,x_{i+1}^P]\setminus \mathbb{Q})$

리만 합의 극한이 존재할 수 없으므로, 리만 적분 가능 함수가 아니다. 사실, $[0,1]$ 위의 다르부 상적분과 다르부 하적분은 다음과 같다.

$\overline{\underset{0}{\overset{1}{\int }}}D(x)\mathrm{d}x=1$

$\underset{\_}{\underset{0}{\overset{1}{\int }}}D(x)\mathrm{d}x=0$

부정적분 가능 함수 ⇏ 리만 적분 가능 함수

다음과 같은 함수를 생각하자.

$f(x)=\{\begin{array}{cc}2x\sin \frac{1}{x^2}-\frac{2}{x}\cos \frac{1}{x^2}& x\ne 0\\ 0& x=0\end{array}$

그렇다면,

$\int f(x)\mathrm{d}x=\{\begin{array}{cc}{x}^2\sin \frac{1}{x^2}& x\ne 0\\ 0& x=0\end{array}+C$

이므로, $f$는 $[-1,1]$ 위의 부정적분 가능 함수이다. 그러나, $f$는 $[-1,1]$ 위의 무계 함수이므로, $[-1,1]$ 위의 리만 적분 가능 함수가 아니다.

부정적분 가능 유계 함수 ⇏ 리만 적분 가능 함수

볼테라 함수의 도함수는 유계 함수이지만, 리만 적분 가능 함수가 아니다.

관련 개념

이상 적분

리만 적분이 정의되려면, 유계 함수와 유계 구간이 전제되어야 하는데, 이상 적분은 이러한 전제를 완화시켜 무계 함수와 무계 구간에 대한 적분을 일부 허용한다.

차원의 일반화

실수선에 정의된 함수 대신 높은 차원의 유클리드 공간에 정의된 함수를 사용하면, 리만 중적분을 얻는다.

측도의 일반화

항등 함수의 미분 대신 임의의 증가 함수의 미분소를 사용하면, 리만-스틸티어스 적분을 얻는다. 조르당 측도 대신 르베그 측도를 사용하면, 르베그 적분을 얻는다. 실수 함수의 예를 들면, 함수가 나타내는 영역을 '세로로' 잘게 쪼개 적분을 구하는 리만 적분과는 달리, 르베그 적분은 함수가 나타내는 영역을 '가로로' 잘개 쪼개 적분을 구한다.

같이 보기

• 넓이
• 부정적분
• 르베그 적분

외부 링크

• “Riemann integral” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
  • “Cauchy integral” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
  • “Darboux sum” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Riemann integral” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Darboux integral” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Lower integral” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Upper integral” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Riemann sum” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Lower sum” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Upper sum” (영어). 《Wolfram MathWorld》. Wolfram Research. 
  • Weisstein, Eric Wolfgang. “Mesh size” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• “Riemann integration” (영어). 《nLab》. 
• “Riemann integral” (영어). 《PlanetMath》. 
  • “Example of estimating a Riemann integral” (영어). 《PlanetMath》. 
  • “Riemann sum” (영어). 《PlanetMath》. 
  • “Generalised n-dimensional Riemann sum” (영어). 《PlanetMath》. 
• “Definition:Definite integral/Riemann” (영어). 《ProofWiki》. 
  • “Definition:Definite integral/Darboux” (영어). 《ProofWiki》. 
  • “Definition:Upper integral” (영어). 《ProofWiki》. 
  • “Definition:Lower integral” (영어). 《ProofWiki》. 
  • “Definition:Upper sum” (영어). 《ProofWiki》. 
  • “Definition:Lower sum” (영어). 《ProofWiki》. 
  • “Definition:Subdivision (real analysis)” (영어). 《ProofWiki》. 
  • “Definition:Norm of subdivision” (영어). 《ProofWiki》. 
  • “Condition for Riemann integrability” (영어). 《ProofWiki》. 
  • “Continuous function is Riemann integrable” (영어). 《ProofWiki》. 
  • “Monotone function is Riemann integrable” (영어). 《ProofWiki》. 
  • “Riemann-Lebesgue theorem” (영어). 《ProofWiki》.