수학 개념 지도
미적분(Calculus)

정적분(Definite integral)

곡선과 x축 사이의 부호 있는 넓이⁠(area)⁠. 리만 합⁠(Riemann sum)⁠에서 조각을 무한히 잘게 한 극한⁠(limit)⁠.

∫abf(x) dx=lim⁡n→∞∑k=1nf(xk∗) Δx\int_a^b f(x)\,dx = \lim_{n\to\infty} \sum_{k=1}^{n} f(x_k^*)\,\Delta x
먼저 보면 좋은 개념리만 합극한

리만 합에서 조각의 폭을 모두 0으로 줄여 갈 때의 극한이 정적분입니다. 막대 높이를 어느 점에서 재든 합이 같은 값으로 모일 때만 이 극한이 있다고 봅니다. 닫힌 구간에서 연속인 함수라면 언제나 그렇습니다. 구간의 양 끝 a=a = , b=b = 를 바꿔 보세요. 지금 넓이는 입니다.

x축 위의 넓이는 더하고(보라) 아래의 넓이는 뺍니다(빨강). 흰검은 점을 끌어 구간을 바꿀 수 있습니다.

"부호 있는" 넓이라는 점이 중요합니다. 속도⁠(velocity)⁠ 그래프의 정적분은 달린 거리가 아니라 위치의 변화입니다. 뒤로 간 구간은 빼야 하니까요. b<ab < a면 ∫ab=−∫ba\int_a^b = -\int_b^a로 약속하므로, 같은 넓이라도 부호가 뒤집힙니다.

넓이를 매번 극한으로 구하는 건 고됩니다. 끝점 bb를 움직이며 넓이의 변화를 보면 미적분의 기본정리⁠(fundamental theorem of calculus)⁠가 나오고, 적분⁠(integral)⁠을 도함수⁠(derivative function)⁠의 역연산으로 계산할 수 있게 됩니다.

넓이가 몇 배로 바뀌는지는 선형대수⁠(linear algebra)⁠에서도 중요합니다. 평면을 늘이거나 기울이는 선형변환⁠(linear transformation)⁠은 모든 도형의 넓이를 같은 비율로 바꾸는데, 그 비율(뒤집히면 음수)이 행렬식⁠(determinant)⁠입니다. 적분에서 변수를 바꿔 계산할 때 넓이가 얼마나 늘었는지 보정하는 데도 이 수가 쓰입니다.

정적분은 확률⁠(probability)⁠의 언어이기도 합니다. 키나 대기 시간처럼 값이 한 구간 안의 어떤 실수든 될 수 있는 확률변수⁠(random variable)⁠는 확률을 곡선(확률밀도⁠, probability density⁠)으로 나타냅니다. 이때 값이 a와 b 사이에 들 확률은 그 곡선 아래 a부터 b까지의 넓이입니다. 값에 확률밀도를 곱해 쌓은 적분은 기댓값⁠(expected value)⁠입니다.

유명한 넓이도 몇 있습니다. 곡선 1/t 아래 1부터 x까지의 넓이(x > 0)는 자연로그⁠(natural logarithm)⁠ ln⁡x\ln x입니다. 종 모양 곡선 e−x2e^{-x^2} 아래 전체 넓이는 √π입니다. 이 곡선을 가로로 늘이고 높이를 맞춰 전체 넓이가 1이 되게 한 것이 표준 정규분포⁠(normal distribution)⁠입니다.

확률을 넓이로 셀 수 있다는 사실은 뜻밖의 곳에서 π를 불러냅니다. 바늘 길이와 같은 간격의 평행선 위에 바늘을 떨어뜨립니다. 떨어진 위치와 각도가 고르게 무작위라면, 바늘이 선에 걸칠 확률을 적분으로 구해 2/π를 얻습니다(뷔퐁의 바늘⁠, Buffon's needle⁠).

리만 합으로는 넓이를 정할 수 없는 함수⁠(function)⁠도 있습니다. 구간 [0, 1]에서 유리수⁠(rational number)⁠에서는 1, 무리수⁠(irrational number)⁠에서는 0인 함수를 봅시다. 아무리 좁은 조각에도 두 값이 섞여 있어서, 막대 높이를 어느 점에서 재느냐에 따라 합이 0도 되고 1도 됩니다. 1902년 프랑스의 앙리 르베그는 가로축 대신 함숫값 쪽을 잘게 나누고, 각 값이 나오는 점들의 '길이'를 재어 더하는 새 적분을 만들었습니다. 이 적분으로는 위 함수의 넓이도 정해지고, 그 값은 0입니다(르베그 적분⁠, Lebesgue integral⁠). 유리수는 셀 수 있을 만큼만 있어서 그 '길이'를 모두 합해도 0이기 때문입니다(측도 0⁠, measure zero⁠).

이 개념이 나오는 긴 글

미분에서 회전까지 · 1편 · 미분 순간의 속도 속도계는 '지금 이 순간'의 속도를 보여 준다. 순간에는 시간이 흐르지 않는데, 무엇을 재는 걸까? 미분에서 회전까지 · 2편 · 적분 거리를 되찾기 속도계 기록만 남았다. 차가 어디까지 갔는지 되찾을 수 있을까? 확률 도박판에서 온 편지 1654년, 도중에 멈춘 내기의 판돈을 어떻게 나눌까? 두 수학자가 주고받은 편지에서 확률론이 태어났다. 소수 소수를 세는 사람들 소수는 제멋대로 흩어져 있는 것 같다. 그런데 멀리서 세어 보면 로그가 보인다. 집합론 무한에도 크기가 있다 자연수와 짝수는 어느 쪽이 많을까? 칸토어는 무한을 세는 법을 찾았고, 무한이 하나가 아님을 보였다. 삼각함수 원에서 파동으로 별의 위치를 재던 현의 표가 사인이 되고, 열의 흐름을 풀던 푸리에가 모든 파동을 사인으로 쪼갰다. 비유클리드 기하 평행선의 반란 유클리드의 다섯 번째 공준은 2,000년 동안 증명되지 않았다. 증명을 포기한 사람들이 찾은 것은 새로운 우주였다. 거리와 유사도 까마귀와 택시 까마귀는 곧장 날고 택시는 블록을 돌아간다. '얼마나 먼가'에는 답이 하나가 아니고, 어떤 거리를 고르느냐가 통계와 기계 학습의 답을 바꾼다. 알고리즘과 복잡도 줄 세우기의 한계 카드 천 장을 가장 빨리 줄 세우는 방법은? 인구조사의 천공 카드에서 퀵정렬까지, 그리고 어떤 방법도 넘을 수 없는 n log n의 벽. 수학의 오류 틀린 증명이 만든 수학 틀린 증명은 흔하다. 드물게, "정확히 어디가 틀렸는가"라는 물음이 새 분야를 낳는다. 코시의 합 정리와 균등 수렴, 라메의 증명과 아이디얼, 켐프의 사슬, 푸앵카레의 회수된 논문과 혼돈, 프레게의 법칙과 러셀의 편지, 보예보츠키와 증명 보조기까지. 오류는 대개 서로 다른 두 가지를 하나로 여긴 자리에 있었다.

이 개념 위에 세워진 것

이 개념을 언급하는 페이지

이 페이지가 가리키는 개념