개념
"수열 전체를 하나의 함수로 묶기". 무한급수의 한 형태로 조합 문제·확률·정수론을 통합하는 강력한 도구. 오일러가 시작했고 윌프가 정리했다.
한 호흡으로 이해하기
"수열을 함수의 계수로 봉인해 함수의 도구로 다루기." 피보나치 수열, 카탈란 수, 분할수 — 직접 계산이 어려운 수열을 생성함수의 닫힌 식으로 풀어낸다. 18세기 드무아브르가 선구적으로 사용하고 1812년 라플라스가 Théorie analytique des probabilités에서 체계화한 트릭이 현대 조합론·확률론의 핵심 도구로.
한눈에 보기
수열 | 생성함수 (닫힌 식) | 곁다리 결과 |
|---|---|---|
1, 1, 1, 1, … | 1 / (1 − x) | 기하급수 |
1, 2, 3, 4, … | 1 / (1 − x)² | 미분 한 번 |
Fibonacci 0, 1, 1, 2, 3, 5, 8… | x / (1 − x − x²) | 비네 공식 = 닫힌 식 추출 |
Catalan 1, 1, 2, 5, 14, 42… | (1 − √(1 − 4x)) / 2x | 트리·괄호 매칭 개수 |
Bernoulli 수 | x / (eˣ − 1) | ζ(2k)와 연결 |
확률 분포의 모멘트 생성함수 | M(t) = E[eᵗˣ] | 분포의 모든 모멘트 한 식에 |
수열을 함수로 옮기는 트릭이 수열 사이의 관계를 함수 사이의 대수로 바꾼다 — 라플라스의 변환과 같은 정신.
핵심 식
수열 → 함수의 계수
핵심 순간
오일러 — 분배수의 생성함수
오일러가 p(n) = 자연수를 자연수의 합으로 표현하는 방법의 수를 생성함수로 분석. 정수론과 분석의 결혼.
디리클레 — 디리클레 급수
∑1/nˢ 형태의 디리클레 급수로 정수론 정리들을 증명. 리만 가설의 출발.
"생성함수학"
허버트 윌프가 《Generatingfunctionology》에서 생성함수를 조합론의 통일된 언어로 정립.
오늘날의 응용
알고리즘 분석(수열의 점근적 행동), 정수론의 분배수, 그래프 카운팅, 확률의 모멘트 생성함수.
MathVoyage 너머로
불러오는 중…