미적분학의 기본 정리

**미적분학의 기본 정리**(微積分學의基本定理, )는 미분과 적분을 서로 연관시키는 정리이다. 미적분학의 기본 정리와 그 증명은 제임스 그레고리(1638–1675)가 발표하였으며, 아이작 베로우(1630–1677)는 더욱 일반적인 경우를 증명하였다. 이후 아이작 베로우의 제자인 아이작 뉴턴이 미적분학의 기본 정리를 완성시켰고, 이 정리의 제안과 증명으로부터 적분과 미분이 통합된 미적분학이 창시되었다. 독일의 라이프니츠 역시 뉴턴과는 독자적으로 미적분학의 기본 정리의 최종형태를 발견했고, dx와 dy와 같은 무한소를 나타내는 기호를 도입함으로써 미적분학의 발전에 크게 기여하였다.

미적분학의 기본 정리는 두 결과로 구성되며, 이 둘 가운데 하나를 뜻하기도 한다. **미적분학의 제1 기본 정리**는 미분과 적분이 서로 역연산 관계에 있다는 정리이다. 이 정리는 관련이 없어 보이는 두 수학이 아주 긴밀한 관계를 가지고 있음을 보여준다. **미적분학의 제2 기본 정리**는 정적분을 부정적분의 차로 간단히 계산할 수 있음을 의미한다. 이 정리가 있기에 계산이 힘든 리만 합의 극한을 매번 계산할 필요 없이 간단히 부정적분을 사용해 정적분의 값을 계산할 수 있다.

## 기하학적 직관
500px|섬네일|빨간색 영역의 넓이는 정확히 <math>A(x+h)-A(x)</math>이며, <math>h</math>가 충분히 작을 때 직사각형의 넓이 <math>f(x)h</math>로 근사할 수 있다.
연속 함수 f\colon\mathbb R\to\mathbb R는 (t,y)-데카르트 좌표계를 추가한 평면 위의 곡선으로 나타낼 수 있다. 만약 항상 f(t)\ge0이라면, 곡선과 t축, y축, 직선 t=x로 둘러싸인 영역의 넓이 A(x)는 리만 적분
:A(x)=\int_0^xf(t)\,dt
으로 주어진다. 작은 실수 h>0에 대하여, A(x+h)-A(x)은 직선 t=x와 직선 t=x+h 사이의 영역의 넓이이며, 직사각형의 넓이
:A(x+h)-A(x)\approx f(x)h
로 근사할 수 있다. 따라서, h가 충분히 작을 때
:\frac{A(x+h)-A(x)}h\approx f(x)
이다. 이 근사는 절댓값이 작은 h에 대해서도 성립한다. 좌변은 곡선과 직선 t=x, t=x+h의 교점을 잇는 직선의 기울기이며, A의 x에서의 미분 A'(x)은 이 기울기의 극한
:A'(x)=\lim_{h\to0}\frac{A(x+h)-A(x)}h
으로 주어진다. 따라서,
:A'(x)=f(x)
이다.

물론 직관적인 관찰에는 직사각형 넓이와 실제 넓이의 오차에 대한 고려가 빠져 있다. 사실, f가 연속 함수이므로, h가 작을 때 t\in[x,x+h]에서 f(t)가 변화하는 폭도 작다. f(t)의 t\in[x,x+h]에서의 최솟값을 m, 최댓값을 M이라고 했을 때, 실제 넓이와 근사 넓이 모두 같은 범위
:mh\le A(x+h)-A(x)\le Mh
:mh\le f(x)h\le Mh
에 속한다. 따라서, 기울기와 그 근삿값 f(x) 사이의 오차는 M-m 이하이다.
:\left|\frac{A(x+h)-A(x)}h-f(x)\right|\le M-m
h가 충분히 작을 때, f가 변화하는 폭 M-m 역시 아주 작으므로, 오차를 원하는 만큼 줄일 수 있다.

## 속도와 변위
어떤 물체가 직선 위에서 시간 t\in[t_0,t_1] 동안 속도 v(t)\ge 0로 운동했을 때 일어난 변위 \Delta s를 구하는 문제를 생각해 보자. 우선, 속도 함수가 충분히 좋은 성질을 가진다고 가정하였을 때 (예: 연속 함수), 시간 t\in[t_0,t_1] 동안의 변위는 리만 적분
:\Delta s=\int_{t_0}^{t_1}v(t)\,dt
과 같다. 또한, t_0와 t_1 사이의 변위는 두 시각의 변위의 차
:\Delta s=s(t_1)-s(t_0)
와 같다. 따라서, 다음이 성립한다.
:\int_{t_0}^{t_1}v(t)\,dt=s(t_1)-s(t_0)
즉, 상수를 더하는 차이를 무시하면, 변위는 속도의 적분과 같다. 다른 한편, 속도는 정의에 따라 변위의 미분이다.
:v(t)=s'(t)=\lim_{\Delta t\to0}\frac{s(t+\Delta t)-s(t)}{\Delta t}

## 정의
섬네일|미적분학의 기본 정리

### 제1 기본 정리
리만 적분 가능 함수 f\colon[a,b]\to\mathbb R가 주어졌다고 하자. 함수 F\colon[a,b]\to\mathbb R를 다음과 같이 정의하자.
:F(x)=\int_a^xf(t)\,dt\qquad(\forall x\in[a,b])
**미적분학의 제1 기본 정리**에 따르면, 다음이 성립한다.
* F는 립시츠 연속 함수이다. 따라서, F는 균등 연속 함수이며, 연속 함수이다.
* 만약 f가 연속 함수라면, F는 미분 가능 함수이며, 그 미분은 F'=f이다.

함수 f는 리만 적분 가능하므로, 유계 함수이다. 즉,
:M=\sup_{t\in[a,b]}|f(t)|
이다. 따라서, 임의의 a\le x\le y\le b에 대하여,
:|F(y)-F(x)|=\left|\int_a^yf(t)\,dt-\int_a^xf(t)\,dt\right|=\left|\int_x^yf(t)\,dt\right|\le\int_x^y|f(t)|\,dt\le M(y-x)
이다. 즉, F는 립시츠 연속 함수이다.

이제, f가 연속 함수라고 가정하고, 임의의 x\in[a,b] 및 \epsilon>0이 주어졌다고 하자. f의 연속성에 따라,
:|f(t)-f(x)|
인 \delta>0가 존재한다. 임의의 y\in((x-\delta,x)\cup(x+\delta))\cap[a,b]에 대하여,
:\left|\frac{F(y)-F(x)}{y-x}-f(x)\right|=\left|\frac 1{y-x}\int_x^yf(t)\,dt-\frac 1{y-x}\int_x^yf(x)\,dt\right|=\left|\frac 1{y-x}\int_x^y(f(t)-f(x))\,dt\right|
이다. 따라서, F는 x에서 미분 가능하며, F'(x)=f(x)이다.

### 제2 기본 정리
리만 적분 가능 함수 f\colon[a,b]\to\mathbb R가 주어졌고, F'=f인 미분 가능 함수 F\colon[a,b]\to\mathbb R가 존재한다고 하자 (즉, F는 f의 부정적분이다). **미적분학의 제2 기본 정리**에 따르면, 다음 등식이 성립한다.
:\int_a^bf(t)\,dt=F(b)-F(a)

폐구간 [a,b]의 임의의 분할
:P=(x^P_0,x^P_1,\dots,x^P_{n(P)})
:a=x^P_0
을 생각하자. 평균값 정리에 따라, 각 i=1,\dots,n(P)에 대하여
:F(x^P_i)-F(x^P_{i-1})=f(\xi^P_i)(x^P_i-x^P_{i-1})
인 \xi^P_i\in(x^P_{i-1},x^P_i)가 존재한다. 위 등식을 모든 i에 대하여 합하면
:F(b)-F(a)=\sum_{i=1}^{n(P)}f(\xi^P_i)(x^P_i-x^P_{i-1})
을 얻는다. 우변은 f의 P에 대한 리만 합이므로, 분할 P에 대한 극한을 취하면 리만 적분
:F(b)-F(a)=\int_a^bf(t)\,dt
을 얻는다.

## 일반화
### 르베그 적분
르베그 적분은 리만 적분을 효과적으로 일반화한다. 구체적으로, 모든 리만 적분 가능 함수는 르베그 적분을 가지며, 이는 리만 적분과 일치한다. 미적분학의 기본 정리의 르베그 적분 형태가 존재하며, 다음과 같다. 르베그 적분을 갖는 가측 함수 f\colon[a,b]\to\mathbb R에 대하여, 함수
:F\colon[a,b]\to\mathbb R
:F(x)=\int_a^xf(t)\,dt\qquad(\forall x\in[a,b])
는 절대 연속 함수이며, 거의 모든 x\in[a,b]에 대하여 F'(x)=f(x)를 만족시킨다. 또한, 임의의 미분 가능 함수 F\colon[a,b]\to\mathbb R에 대하여, 만약 도함수 F'=f가 르베그 적분을 갖는다면,
:\int_a^bf(t)\,dt=F(b)-F(a)
이다.

### 스토크스 정리

미적분학의 기본 정리는 폐구간 및 0-형식에 대한 스토크스 정리와 같다.

## 같이 보기
* 지배 수렴 정리: 르베그 적분을 이용할 경우 성립하는 이 정리를 이용해 미적분학의 기본 정리를 일반화할 수 있다.

## 참고 문헌
* 

## 외부 링크
* 
* 
* 
* 

분류:기본 정리
분류:미적분학 정리
분류:실해석학 정리