리만 적분

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

## 구간의 분할
닫힌구간 [a,b]의 **분할**(分割, partition)은 유한 집합 \\{a,b\\}\subseteq P\subseteq[a,b]이다. 편의상 그 원소들을 다음과 같이 표기한다. :a=x^P_0 이는 닫힌구간 [a,b]를 내부가 쌍마다 서로소인 닫힌구간 [x^P_i,x^P_{i+1}]들로 분할하는 방법에 대응한다. 닫힌구간 [a,b]의 분할 P의 **태그**(tag)는 분할된 각 구간의 대표 원소들로 구성된 튜플 (t_i\in[x^P_i,x^P_{i+1}])_{i=0}^{n_P-1}이다. 또한, P의 **메시**(mesh) \lambda(P)는 분할된 구간들의 최대 길이이다. 즉, 다음과 같다. :\lambda(P)=\max_{0\le i\le n_P-1}(x^P_{i+1}-x^P_i) 닫힌구간 [a,b]의 두 분할 P,Q가 P\subseteq Q를 만족시키면, Q가 P의 **세분**(細分, refinement)이라고 한다. 즉, 이는 Q가 P를 더 잘게 분할하여 얻을 수 있는지를 나타낸다. 또한, P와 Q의 **공통 세분** P\cup Q은 두 분할 모두의 세분인 분할 가운데 가장 잘지 않은 하나이다. 예를 들어, 닫힌구간 [0,1]을 3등분하는 분할 0 0에 대하여, \delta(\epsilon)>0이 존재하여, 임의의 분할 a=x^P_0 및 태그 (t_i\in[x^P_i,x^P_{i+1}])_{i=0}^{n_P-1}에 대하여, \lambda(P)b,\;f\in\mathcal R([b,a];\mathbb R))
# 다르부 적분

## 다르부 상합과 다르부 하합
다음 대상들이 주어졌다고 하자. * 함수 f\colon[a,b]\to\mathbb R * 분할 a=x^P_0 그렇다면, 함수 f의 분할 P에 대한 **(다르부) 상합**((Darboux)上合, upper (Darboux) sum) U(f,P)은 다음과 같다. (여기서 \sup와 \inf는 각각 상한과 하한의 기호이다.) :U(f,P)=\sum_{i=0}^{n_P-1}\sup_{x\in[x^P_{i+1},x^P_i]}f(x)(x^P_{i+1}-x^P_i) 마찬가지로, 함수 f의 분할 P에 대한 **(다르부) 하합**((Darboux)下合, lower (Darboux) sum) L(f,P)은 다음과 같다. :L(f,P)=\sum_{i=0}^{n_P-1}\inf_{x\in[x^P_{i+1},x^P_i]}f(x)(x^P_{i+1}-x^P_i) 또한, 함수 f의 분할 P에 대한 (다르부) 진폭은 다음과 같다. :w(f,P)=U(f,P)-L(f,P)=\sum_{i=0}^{n_P-1}\sup_{x,y\in[x^P_{i+1},x^P_i]}|f(x)-f(y)|(x^P_{i+1}-x^P_i) 다르부 상합과 다르부 하합은 리만 합의 상계와 하계를 제시한다. 즉, 항상 다음이 성립한다. :L(f,P)\le\sum_{i=0}^{n_P-1}f(t_i)(x^P_{i+1}-x^P_i)\le U(f,P) 다르부 상합은 항상 다르부 하합 이상이며, 둘의 차이는 세분을 취할수록 좁혀진다. 즉, 항상 다음이 성립한다. :L(f,P)\le U(f,Q) :P\subseteq Q\implies L(f,P)\le L(f,Q)\le U(f,Q)\le U(f,P) 증명 둘째 명제는 Q가 다음과 같은 꼴인 경우를 보이는 것으로 족하다. :a=x^P_00을 취하자. 그러면, 다음을 만족시키는 분할 Q가 존재한다. :U(f,Q)0에 대하여, 분할 P가 존재하여, w(f,P)0 및 \eta>0에 대하여, 분할 P가 존재하여, \sum_{0\le i\le n_P-1}^{w(f,P,i)>\epsilon}(x^P_{i+1}-x^P_i)0에 대하여, 리만 적분의 정의에서의 \delta(\epsilon/4)>0가 존재한다. 또한, 다음을 만족시키는 분할 P와 두 태그 (s_i,t_i\in[x^P_i,x^P_{i+1}])_{i=0}^{n_P-1}를 취할 수 있다. :\lambda(P)U(f,P)-\frac\epsilon4 따라서, :\begin{align}\overline{\int_a^b}f(x)\mathrm dx-\underline{\int_a^b}f(x)\mathrm dx &\le U(f,P)-L(f,P)\\\ &0에 대하여, 다르부 적분의 정의에서의 \delta(\epsilon/2)>0가 존재한다. 따라서, 임의의 :\\{a,b\\}\subseteq P_{|P|\epsilon}(x^P_{i+1}-x^P_i)\le w(f,P)\le \epsilon(b-a)+2\sup_{x\in[a,b]}|f(x)|\sum_{0\le i\le n_P-1}^{w(f,P,i)>\epsilon}(x^P_{i+1}-x^P_i) 증명 끝부제=조르당 거의 어디서나 연속 함수 ⇔ 르베그 거의 어디서나 연속 함수 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^P_{i+1}-x^P_i)1/n\\})\le\sum_{0\le i\le n_P-1}^{w(f,P,i)>1/n}(x^P_{i+1}-x^P_i)0 및 \eta>0을 취하자. 그렇다면, 다음을 만족시키는, E의 열린구간 가산 덮개 \\{I_k\\}_{k=1}^\infty가 존재한다. :\sum_{k=1}^\infty|I_k|0이 존재한다. :\sup_{s,t\in(x-\delta_x,x+\delta_x)}|f(s)-f(t)|0을 갖는다. \lambda(P)\epsilon일 경우, 이 덮개 원소는 (x-\delta_x,x+\delta_x) 꼴일 수 없다. 즉, 이 경우 반드시 I_k 꼴의 원소에 포함된다. 따라서, :\sum_{0\le i\le n_P-1}^{w(f,P,i)>\epsilon}(x^P_{i+1}-x^P_i)\le\sum_{k=1}^\infty|I_k|<\eta 증명 끝 특히, 연속 함수는 항상 리만 적분 가능 함수이다. 불연속점 집합이 유한 집합이거나 가산 무한 집합인 함수 역시 거의 어디서나 연속 함수에 속하므로 리만 적분 가능 함수이다. 단조 함수 역시 많아야 가산 개의 불연속점을 가지므로 리만 적분 가능 함수이다.
## 연산에 대한 닫힘
리만 적분 가능 함수는 다음과 같은 연산들에 대하여 닫혀있다. * (합) f,g\in\mathcal R([a,b];\mathbb R)\implies f+g\in\mathcal R([a,b];\mathbb R) * (곱) f,g\in\mathcal R([a,b];\mathbb R)\implies fg\in\mathcal R([a,b];\mathbb R) * (함수의 제한) f\in\mathcal R([a,b];\mathbb R),\;[c,d]\subseteq[a,b]\implies f|_{[c,d]}\in\mathcal R([c,d];\mathbb R) * (균등 극한) 또한, 일부 경우 자연스러운 공식이 성립한다. 즉, 닫힌구간 I 위의 리만 적분 가능 함수 f,g\colon I\to\mathbb R 및 정의역 속 점들 a,b,c\in I에 대하여, 다음이 성립한다. :\int_a^bf(x)+g(x)\mathrm dx=\int_a^bf(x)\mathrm dx+\int_a^bg(x)\mathrm dx :\int_a^bkf(x)\mathrm dx=k\int_a^bf(x)\mathrm dx\qquad(k\in\mathbb R) :\int_a^cf(x)\mathrm dx=\int_a^bf(x)\mathrm dx+\int_b^cf(x)\mathrm dx 그러나, 리만 적분 함수는 몫과 함수의 합성에 대하여 닫혀있지 않다. 예를 들어, 두 리만 적분 가능 함수의 몫은 무계 함수일 수 있다. 또한, [0,1] 위의 리만 적분 가능 함수 :f(x)=\begin{cases}1&x;=0\\\0&x;\in(0,1]\end{cases} 를, 역시 [0,1] 위의 리만 적분 가능 함수인 토메 함수의 왼쪽에 합성하면, 디리클레 함수를 얻는데, 이는 [0,1] 위의 리만 적분 가능 함수가 아니다. 하지만 왼쪽의 함수가 연속 함수라면 합성된 함수는 리만 적분 가능 함수이다. 즉, * f\in\mathcal C([c,d];\mathbb R),\;g\in\mathcal R([a,b];[c,d])\implies f\circ g\in\mathcal R([a,b]\to\mathbb R) 리만 적분 가능 함수는 균등 극한이 아닐 수 있는 극한에 대하여 닫혀있지 않다. 또한, 코시 열 극한에 대하여 닫혀있지 않다. 즉, 리만 적분 가능 함수의 공간은 완비 *L*p 공간이 아니다.
## 미적분학의 기본 정리
미적분학의 기본 정리 리만 적분에 대한 미적분학의 제1 기본 정리는 다음과 같다. 리만 적분 가능 함수 f\colon[a,b]\to\mathbb R에 대한 다음 함수를 생각하자. :F\colon[a,b]\to\mathbb R :F(x)=\int_a^xf(t)\mathrm dt 그렇다면, F는 립시츠 연속 함수이다. 따라서, F는 거의 어디서나 미분 가능 함수이며, 모든 미분 가능점에서 F'(x)=f(x)이다. 만약 추가로 f가 연속 함수라면, F는 연속 미분 가능 함수이며, 임의의 x\in[a,b]에 대하여 F'(x)=f(x)를 만족시킨다, 즉, f의 원함수이다. 리만 적분에 대한 미적분학의 제2 기본 정리는 다음과 같다. 함수 f\colon[a,b]\to\mathbb R가 다음 두 조건을 만족시킨다고 하자. * (부정적분 가능 함수) F'(x)=f(x)\forall x\in[a,b] * (리만 적분 가능 함수) \int_a^bf(x)\mathrm dx\in\mathbb R 그렇다면, 다음이 성립한다. :\int_a^bf(x)\mathrm dx=F(b)-F(a)=F(x)|_a^b 리만 적분에 대한 미적분학 제2 기본 정리는 적분 가능 함수를 전제하여야 한다. 즉, 부정적분 가능 함수는 리만 적분 가능 함수일 필요가 없다.
# 예
제곱 함수 x^2의 0에서 1까지의 리만 적분은 n등분 분할에 대한 오른쪽 리만 합을 통해 다음과 같이 구할 수 있다. :\int_0^1x^2\mathrm dx=\lim_{n\to\infty}\frac1n\sum_{i=1}^n\left(\frac in\right)^2=\lim_{n\to\infty}\frac{(n+1)(2n+1)}{6n^2}=\frac13 제곱 함수 x^2는 연속 함수이므로, 부정적분 가능 함수이자 리만 적분 가능 함수이다. 따라서, 그 리만 적분을 미적분학의 기본 정리를 통해 다음과 같이 구할 수 있다. :\int_0^1x^2\mathrm dx=\left.\frac13x^3\right|_0^1=\frac13
## 리만 적분 가능 함수가 아닌 함수
디리클레 함수 :D(x)=\begin{cases}1&x;\in\mathbb Q\\\0&x;\in\mathbb R\setminus\mathbb Q\end{cases} 는 [0,1] 위의 리만 적분 가능 함수가 아니다. 구간을 아무리 잘게 분할해도, 각각의 구간 안에는 유리수가 존재하며, 또한 각각의 구간 안에는 무리수가 존재한다. 따라서 다음과 같은 두 가지 리만 합을 취할 수 있다. :\sum_{i=0}^{n_P-1}D(s_i)(x^P_{i+1}-x^P_i)=1\qquad(s_i\in[x^P_i,x^P_{i+1}]\cap\mathbb Q) :\sum_{i=0}^{n_P-1}D(t_i)(x^P_{i+1}-x^P_i)=0\qquad(t_i\in[x^P_i,x^P_{i+1}]\setminus\mathbb Q) 리만 합의 극한이 존재할 수 없으므로, 리만 적분 가능 함수가 아니다. 사실, [0,1] 위의 다르부 상적분과 다르부 하적분은 다음과 같다. :\overline{\int_0^1}D(x)\mathrm dx=1 :\underline{\int_0^1}D(x)\mathrm dx=0
## 부정적분 가능 함수 ⇏ 리만 적분 가능 함수
다음과 같은 함수를 생각하자. :f(x)=\begin{cases}2x\sin\frac1{x^2}-\frac2x\cos\frac1{x^2}&x;\ne0\\\0&x;=0\end{cases} 그렇다면, :\int f(x)\mathrm dx=\begin{cases}x^2\sin\frac1{x^2}&x;\ne0\\\0&x;=0\end{cases}+C 이므로, f는 [-1,1] 위의 부정적분 가능 함수이다. 그러나, f는 [-1,1] 위의 무계 함수이므로, [-1,1] 위의 리만 적분 가능 함수가 아니다.
## 부정적분 가능 유계 함수 ⇏ 리만 적분 가능 함수
볼테라 함수의 도함수는 유계 함수이지만, 리만 적분 가능 함수가 아니다.
# 관련 개념

## 이상 적분
리만 적분이 정의되려면, 유계 함수와 유계 구간이 전제되어야 하는데, 이상 적분은 이러한 전제를 완화시켜 무계 함수와 무계 구간에 대한 적분을 일부 허용한다.
## 차원의 일반화
실수선에 정의된 함수 대신 높은 차원의 유클리드 공간에 정의된 함수를 사용하면, 리만 중적분을 얻는다.
## 측도의 일반화
항등 함수의 미분 대신 임의의 증가 함수의 미분소를 사용하면, 리만-스틸티어스 적분을 얻는다. 조르당 측도 대신 르베그 측도를 사용하면, 르베그 적분을 얻는다. 실수 함수의 예를 들면, 함수가 나타내는 영역을 '세로로' 잘게 쪼개 적분을 구하는 리만 적분과는 달리, 르베그 적분은 함수가 나타내는 영역을 '가로로' 잘개 쪼개 적분을 구한다.