미적분학 30단계 · 16단계 · 적분론의 기초

16. 리만 적분의 정의 (Riemann Integral)

적분은 단순히 미분의 역연산이 아닙니다. 본질적으로 적분은 '무한한 미세량들의 합'입니다. 베르나르트 리만은 구간의 분할과 상합/하합의 개념을 도입하여 곡선 아래의 넓이를 논리적 모순 없이 정의했습니다. 이 단계에서는 적분 가능한 함수가 되기 위한 엄밀한 조건을 학습합니다.

1. 개념 기반 목표 지향 수업 지도안

수업 목표 1
구간의 분할(Partition)과 리만 합의 구조를 설명할 수 있다.

수업 목표 2
다르부 상합(Upper Sum)과 하합(Lower Sum)의 정의를 익힌다.

수업 목표 3
리만 적분 가능성(Integrability)의 필요충분조건을 이해한다.

수업 목표 4
연속함수가 폐구간에서 항상 적분 가능함을 파악한다.

수업 흐름

도입 : 정형화되지 않은 곡선 아래의 넓이를 어떻게 '숫자 하나'로 확정할 수 있을지 논의.
탐구 1 : 분할 $P$와 각 소구간에서의 최댓값($M_i$), 최솟값($m_i$)을 이용한 상합 $U(f, P)$와 하합 $L(f, P)$ 정의.
탐구 2 : 분할을 잘게 할수록(Refinement) 상합은 감소하고 하합은 증가하는 성질 관찰.
정리 : 상적분과 하적분이 일치할 때 '리만 적분 가능하다'고 정의하고 기호 $\int_a^b f(x)dx$ 도입.
확장 : 디리클레 함수(Dirichlet function)와 같이 리만 적분이 불가능한 사례 분석.

2. 개념 상세 설명

개념 1. 분할(Partition)과 태그(Tag)

구간 $[a, b]$의 분할 $P$는 $a = x_0 < x_1 < \dots < x_n = b$ 인 점들의 집합이다. 각 소구간 $[x_{i-1}, x_i]$에서 임의의 점 $t_i$를 선택하면 이를 태그된 분할이라 하며, 리만 합은 다음과 같다.

$$S(f, P) = \sum_{i=1}^{n} f(t_i) \Delta x_i \quad (\Delta x_i = x_i - x_{i-1})$$

개념 2. 다르부 상합과 하합 (Darboux Sums)

함수 $f$가 $[a, b]$에서 유계일 때:

하합 $L(f, P)$: $\sum m_i \Delta x_i$ (소구간의 하한 사용)
상합 $U(f, P)$: $\sum M_i \Delta x_i$ (소구간의 상한 사용)

$$L(f, P) \le \int_a^b f(x)dx \le U(f, P)$$

개념 3. 리만 적분 가능성

모든 분할 $P$에 대하여 다음이 성립하면 $f$는 $[a, b]$에서 리만 적분 가능하다고 한다.

$$\sup \{ L(f, P) \} = \inf \{ U(f, P) \}$$

또는 코시 판정법에 의해, 임의의 $\epsilon > 0$에 대해 $U(f, P) - L(f, P) < \epsilon$을 만족하는 분할 $P$가 존재해야 합니다.

3. Graph 및 시각적 이해

시각화 1. 상합과 하합의 기하학적 의미

분할이 세밀해질수록 파란 영역(하합)은 넓어지고 빨간 외곽(상합)은 좁아지며 하나의 값으로 수렴합니다.

시각화 2. 적분 불가능한 사례: 디리클레 함수

$f(x) = 1$ (유리수), $0$ (무리수)인 경우, 아무리 잘게 나누어도 상합은 항상 구간 길이고 하합은 0입니다. 따라서 적분값이 존재하지 않습니다.

4. 적분 가능성 판정

함수의 특징	적분 가능 여부	이유
폐구간 $[a, b]$에서 연속	가능	균등 연속성에 의해 상합-하합 차이 조절 가능
폐구간에서 단조(Monotone)	가능	양 끝값의 차이로 오차 항 유계 가능
유한 개의 불연속점 존재	가능	불연속점 주변의 넓이를 임의로 작게 조정 가능
무수히 많은 불연속점(디리클레 등)	불가능	상적분과 하적분이 불일치

5. 기초 5문항

1. 리만 적분의 정의에서 구간의 분할 $P$의 '메시(Mesh)' 또는 '노름(Norm)' $\|P\|$의 의미는?

정답 : 소구간들 중 가장 긴 구간의 길이.

2. 상적분(Upper Integral)의 정의를 기술하시오.

정답 : 모든 가능한 분할에 대한 상합들의 하한 (Infimum of Upper Sums).

3. 함수 $f(x)=c$ (상수)를 $[a, b]$에서 적분하면 그 값은 무엇인가?

정답 : $c(b-a)$

4. 분할 $P$를 더 세분화한 분할을 $Q$라고 할 때, $L(f, P)$와 $L(f, Q)$의 크기 관계는?

정답 : $L(f, P) \le L(f, Q)$ (하합은 더 커지거나 같아짐)

5. 리만 합에서 표본점 $t_i$를 각 소구간의 오른쪽 끝점으로 잡는 방식의 이름은?

정답 : 우국합 (Right Riemann Sum)

6. 응용 5문항

1. 정의를 이용하여 $\int_0^1 x dx = 1/2$ 임을 보이시오. (등분할 사용)

$\Delta x = 1/n, x_i = i/n$. 우국합 $S_n = \sum (i/n)(1/n) = \frac{1}{n^2} \frac{n(n+1)}{2}$. $n \to \infty$ 일 때 $1/2$.

2. $[0, 1]$에서 $f(x) = \begin{cases} 1 & x = 0.5 \\ 0 & x \ne 0.5 \end{cases}$ 일 때 이 함수의 리만 적분값을 구하시오.

정답 : 0 (한 점에서의 함숫값 변화는 전체 넓이에 영향을 주지 않음)

3. "모든 유계인 함수는 리만 적분 가능하다"는 명제가 거짓인 이유를 설명하시오.

디리클레 함수는 유계(0과 1 사이)이지만 적분 불가능하다.

4. $f$가 적분 가능하면 $|f|$도 적분 가능함을 보이시오.

5. 정적분의 선형성 $\int (af+bg) = a\int f + b\int g$ 를 리만 합의 성질을 통해 설명하시오.

7. 심화 5문항

1. 르베그의 가측성 판정법: 유계인 함수 $f$가 리만 적분 가능할 필요충분조건은 불연속점들의 집합의 측도(Measure)가 0인 것임을 논하시오.

2. 토메 함수(Thomae's function)가 $[0, 1]$에서 리만 적분 가능함을 증명하고 그 값을 구하시오.

정답 : 적분 가능하며 값은 0임.

3. 리만 적분의 정의를 사용하여 미적분학의 제1 기본정리를 증명하는 논리적 연결 고리를 서술하시오.

4. 상적분과 하적분의 정의를 이용하여 중적분(Double Integral)으로의 확장을 시도하시오.

5. 리만 적분과 리만-스틸체스 적분(Riemann-Stieltjes Integral)의 차이점과 일반화된 의미를 고찰하시오.