조합론의 다양한 해석적 관찰

레온하르트 오일러는 1741년 발표한 논문 “Observationes analyticae variae de combinatiis”에서 조합론의 기본 구조를 해석적 방법으로 체계화한다. 논문은 크게 네 부분으로 나뉜다. 첫 번째 부분(§1‑§4)에서는 임의의 변수 a, b, c, … 를 가정하고, 이를 세 가지 방식으로 정리한다. 첫 번째 방식은 각 변수의 거듭제곱을 모두 더한 급수 A, B, C, … 로, 이는 현재 우리가 사용하는 파워‑시그마 Σ a_i^k 와 동일하다. 두 번째 방식은 서로 다른 변수들의 곱을 모두 더한 급수 α, β, γ, … 로, 이는 기본 대칭함수(e₁, e₂, e₃, …)에 해당한다. 세 번째 방식은 중복을 허용하면서 n개의 변수 곱을 전부 나열한 𝔄, 𝔅, 𝔠, … 로, 이는 완전 대칭다항식의 전개와 일치한다. 오일러는 각각의 급수가 유한한 경우와 무한한 경우를 모두 고려하고, 항의 개수가 어떻게 증가하는지를 상세히 기술한다. 두 번째 부분(§5‑§10)에서는 세 급수 사이에 존재하는 변환 관계를 발견한다. 그는 직접적인 계산과 귀납법을 통해 α = A, β = αA – B, γ = βA – αB + C, … 와 같은 일련의 식을 얻으며, 이는 오늘날의 푸아송(포아송) 관계와 유사하다. 또한, 역변환도 제시하여 A, B, C … 를 α, β, γ … 로 표현한다. 이러한 상호 변환은 로그 미분을 이용한 무한곱 전개와 연결된다. 세 번째 부분(§6‑§14)에서는 두 개의 무한곱을 정의한다. R(z) = ∏_{i}(1 + a_i z), S(z) = ∏_{i}(1 – a_i z). 로그를 취하고 미분하면 z·dR/R = A z + B z² + C z³ + … , z·dS/S = –(A z + B z² + C z³ + …). 따라서 R과 S의 전개계수는 앞서 정의한 α, β, γ … 와 직접 대응한다. 오일러는 이 과정을 통해 “생성함수”라는 개념을 암묵적으로 도입하고, 급수와 곱 사이의 교환법칙을 정리한다. 또한 R·S = 1, 1/R·1/S = 1 등 역함수 관계를 이용해 A, B, C … 와 α, β, γ … 사이의 동일한 연립식들을 재도출한다. 네 번째 부분(§15‑§18)에서는 구체적인 예시와 파티션 이론으로의 적용을 제시한다. 그는 a=n, b=n², c=n³ … 로 두어 기하급수의 특수 경우를 다룬다. 이때 A = n + n² + n³ + … = n/(1–n), B = n² + n⁴ + n⁶ + … = n²/(1–n²), 등으로 전개된다. α, β, γ … 은 각각 n의 거듭제곱을 서로 다른 양의 정수들의 합으로 나타낼 수 있는 경우의 수와 일치한다. 예를 들어 β의 계수는 n^k 가 두 개의 서로 다른 정수의 합으로 나타나는 방법의 수와 동일하고, γ는 세 개, δ는 네 개의 서로 다른 정수 합으로 나타나는 방법의 수와 대응한다. 이는 오늘날 파티션 함수 p(k) 를 “서로 다른 부품의 개수” 로 세는 초기 형태이며, 오일러는 이를 통해 μ개의 부품으로 구성된 파티션 수를 구하는 재귀식을 도출한다. 마지막으로 §19에서는 나우데(Naudé)의 제안을 인용해 “정해진 개수 μ의 부품으로 정수를 분할하는 경우의 수”를 연구한다. 그는 반복을 허용한 경우와 허용하지 않은 경우를 구분하고, 각각에 대해 다음과 같은 재귀 관계를 제시한다. p_μ(k) = p_μ(k–μ) + p_{μ–1}(k–1) – … , q_μ(k) = q_μ(k–μ) + q_{μ–1}(k–1) – … , 여기서 p는 중복 허용, q는 중복 금지 경우이다. 논문의 마지막 절에서는 유명한 “오일러의 페네트리 정리” ∏_{m=1}^∞ (1 – z^m) = Σ_{k∈ℤ} (–1)^k z^{k(3k–1)/2} 를 제시하지만, 엄밀한 증명은 제공하지 않는다. 그는 이를 “관찰에 의한” 결과라며, 이후 수학자들이 복소해석적 방법으로 증명하게 되는 기반을 마련한다. 전체적으로 이 논문은 무한급수·무한곱·대칭함수 사이의 깊은 관계를 탐구함으로써 현대 조합론, 파티션 이론, 그리고 생성함수 기법의 토대를 마련한 선구적 작업이다.