[미적분학 - 적분편 3] 정적분의 정의: 합의 극한이 하나의 값이 될 때

이 글에서 다루는 내용

이 글에서는 앞선 글의 리만합 아이디어가 극한에서 하나의 값으로 모일 때, 그 값을 정적분이라고 정의하는 과정을 설명합니다. 정적분을 넓이로만 보지 않고, 구간 전체에 걸친 누적량으로 읽는 관점도 함께 정리합니다.

핵심 아이디어

리만합은 아직 근사입니다. 구간을 잘게 나누고, 각 조각의 넓이나 변화량을 더해 전체를 짐작하는 단계에 머물러 있습니다.

하지만 조각을 점점 더 잘게 나눌수록 서로 다른 근사값들이 하나의 값으로 모인다면, 우리는 그 값을 단순한 근사가 아니라 실제 누적량으로 받아들일 수 있습니다.

바로 그 값이 정적분입니다.

즉,

리만합 - 잘게 나누어 더한 근사
정적분 - 그 근사들이 극한에서 도달하는 값

이라는 관계가 성립합니다.

정의는 왜 극한으로 주어지나

함수값이 계속 변하는 상황에서는 전체를 한 번에 계산하는 곱셈 공식이 없습니다. 그래서 작은 직사각형들을 더하는 방식으로 접근했고, 그 합을 계속 정교하게 만들기 위해 극한을 도입합니다.

이 점이 중요합니다. 정적분은 처음부터 완성된 공식이 아니라, 근사를 끝까지 밀어붙였을 때 도달하는 정의입니다.

즉, 적분의 정의에는 처음부터

구간 분할
대표점 선택
합의 계산
조각 너비를 0으로 보내는 극한

이 모두 들어 있습니다.

정적분의 정의

함수 $f(x)$ 가 구간 $[a,b]$ 에서 주어져 있다고 합시다. 이 구간을 잘게 나누고, 각 조각에서 대표점 $x_i^*$ 를 잡아 만든 리만합

\sum_{i=1}^{n} f(x_i^*)\,\Delta x

에서 균등분할을 생각하면 $\Delta x=(b-a)/n$ 입니다. 더 일반적으로는 각 조각의 길이가 서로 달라도 되며, 중요한 것은 가장 긴 조각의 길이까지 0에 가까워지는지입니다.

이 조각을 무한히 잘게 나눌 때 대표점 선택 방식과 무관하게 하나의 값 $L$ 로 모이면, 그 값을 함수의 정적분이라고 하고

\int_a^b f(x)\,dx = L

처럼 씁니다.

이 기호는 낯설어 보여도 뜻은 분명합니다.

아래의 $a$ - 시작점
위의 $b$ - 끝점
$f(x)$ - 누적하려는 함수값
$dx$ - 아주 작은 구간 조각의 길이

즉, 정적분은 $a$ 에서 $b$ 까지 함수값을 작은 조각으로 나누어 전부 누적한 결과입니다.

넓이와는 어떻게 다른가

정적분을 흔히 그래프 아래의 넓이라고 배웁니다. 이 말은 많은 경우에 맞지만, 항상 그대로 맞는 것은 아닙니다.

함수값이 x축 위에 있을 때는 정적분이 넓이와 비슷하게 읽히지만, 함수가 x축 아래에 있으면 정적분값은 음수가 될 수도 있습니다.

따라서 정적분은 엄밀하게 말하면 "부호를 가진 누적량"입니다.

x축 위의 부분 - 양의 방향으로 누적
x축 아래의 부분 - 음의 방향으로 누적

그래서 정적분은 단순한 도형 넓이보다 더 넓은 개념입니다.

예를 들어 속도 함수를 적분하면 이동거리의 총합이 아니라 변위가 될 수 있습니다. 즉, 정적분은 넓이뿐 아니라 부호를 가진 누적량 전체를 설명하는 언어입니다.

예제로 감각 잡기

예제 1. 상수함수의 정적분

함수 $f(x)=3$ 을 구간 $[1,4]$ 에서 생각해 봅시다. 이 경우 그래프 아래의 모양은 높이 3, 밑변 3인 직사각형입니다.

따라서 정적분은

\int_1^4 3\,dx = 3 \times (4-1) = 9

입니다.

이 예제는 정적분이 복잡한 정의를 갖더라도, 가장 단순한 경우에는 익숙한 넓이 계산과 일치함을 보여 줍니다.

예제 2. x축 아래의 함수

함수 $f(x)=-2$ 를 구간 $[0,3]$ 에서 생각하면 그래프는 x축 아래에 있습니다.

이때 정적분은

\int_0^3 (-2)\,dx = -6

입니다.

도형의 넓이만 생각하면 6처럼 보일 수 있지만, 정적분은 음의 방향 누적까지 포함하므로 $-6$ 이 됩니다.

이 예제를 통해 정적분은 넓이와 닮았지만, 넓이 그 자체와 항상 같은 개념은 아니라는 점을 볼 수 있습니다.

정적분이 존재한다는 말

모든 함수가 아무 구간에서나 정적분을 갖는 것은 아닙니다. 하지만 학교 수준에서 자주 다루는 연속함수나 다항함수, 많은 기본 함수들은 보통 정적분이 잘 정의됩니다.

특히 함수가 닫힌구간 $[a,b]$ 에서 연속이면 정적분이 존재한다고 생각해도 좋습니다. 실제로는 이보다 조금 더 약한 조건에서도 적분이 가능하지만, 지금 단계에서는 연속함수를 기준으로 이해해도 충분합니다.

여기서 중요한 것은 너무 이론적으로 깊이 들어가는 것이 아니라, 다음 감각을 잡는 것입니다.

함수가 심하게 흔들리거나 너무 거칠지 않으면
리만합이 점점 하나의 값으로 안정될 수 있고
그때 우리는 그 값을 정적분이라고 부른다

이 정도의 관점이면 다음 단계로 가기에 충분합니다.

예를 들어 다항함수, 절댓값함수, 삼각함수처럼 우리가 자주 만나는 연속함수들은 이런 의미에서 정적분이 잘 정의됩니다.

정적분 기호를 읽는 법

초반에는 $\int_a^b f(x)\,dx$ 를 한 덩어리 기호로 읽는 연습이 필요합니다.

이 기호를 보면 다음을 함께 떠올리면 좋습니다.

구간 $[a,b]$ 전체를 본다.
함수값을 작은 조각으로 나눈다.
그 조각들을 모두 더한다.
조각 너비를 0으로 보내는 극한을 생각한다.

즉, 정적분 기호는 단순한 계산 명령이 아니라 하나의 긴 사고 과정을 압축한 기호입니다.

자주 하는 실수

정적분을 처음부터 넓이 공식으로만 읽는 경우 - 본질은 합의 극한으로 정의된 누적량입니다.
x축 아래의 부분도 무조건 양수 넓이처럼 처리하는 경우 - 정적분은 부호를 가집니다.
리만합과 정적분을 같은 단계의 개념으로 보는 경우 - 하나는 근사, 다른 하나는 그 극한값입니다.
$dx$ 를 단순 장식처럼 보는 경우 - 작은 구간 조각의 누적이라는 의미를 함께 읽어야 합니다.

마무리

정적분은 작은 조각들의 합이 극한에서 하나의 값으로 모일 때 얻어지는 누적량입니다. 그래서 적분은 계산 공식보다 먼저, 근사와 극한의 결합으로 이해해야 합니다.

다음 글에서는 이렇게 정의된 정적분이 어떤 기본 성질을 가지는지 정리합니다. 구간을 나누어도 되고, 상수를 밖으로 꺼낼 수도 있고, 함수들의 합을 나누어 볼 수도 있다는 사실이 계산과 해석의 바탕이 됩니다.