스털링 수

조합론에서 스털링 수(Stirling數, 영어: Stirling number)는 조합론에서 자주 등장하는 두 종의 정수열이다. 부호 없는 제1종 스털링 수(영어: unsigned Stirling numbers of the first kind)는 다음과 같다. x ( x − 1 ) ( x − 2 ) ⋯ ( x − n + 1 ) = ∑ m = 0 n ( − 1 ) n − m [ n m ] x m {\displaystyle x(x-1)(x-2)\cdots (x-n+1)=\sum _{m=0}^{n}(-1)^{n-m}\left[{n \atop m}\right]x^{m}} 부호 없는 제1종 스털링 수는 c ( n , m ) {\displaystyle c(n,m)} 으로 쓰기도 한다. 대괄호를 쓰는 표기는 도널드 커누스가 도입하였다. 부호 없는 제1종 스털링 수는 n개의 원소의 순열 가운데, 정확히 m개의 순환(cycle)들로 구성된 순열들의 수이다. (이 경우, 고정점은 길이 1의 순환으로 간주한다.) (부호 있는) 제1종 스털링 수(영어: (signed) Stirling numbers of the first kind)는 다음과 같다. s ( n , m ) = ( − 1 ) n − m [ n m ] {\displaystyle s(n,m)=(-1)^{n-m}\left[{n \atop m}\right]} 부호 없는 제1종 스털링 수의 값은 다음과 같다. (OEIS의 수열 A130534) 제2종 스털링 수(영어: Stirling numbers of the second kind)는 다음과 같다. x n = ∑ m = 0 n { n m } x ( x − 1 ) ⋯ ( x − m + 1 ) {\displaystyle x^{n}=\sum _{m=0}^{n}\left\{{n \atop m}\right\}x(x-1)\cdots (x-m+1)} 제2종 스털링 수는 S ( n , m ) {\displaystyle S(n,m)} 으로 쓰기도 한다. 중괄호를 쓰는 표기는 도널드 커누스가 도입하였다. 제2종 스털링 수는 n개의 원소의 집합을 m개의 공집합이 아닌 부분집합들로 나누는 방법의 수이다. 제2종 스털링 수의 점화식은 재귀적인 표현으로 나타낼 수 있다. S n , m = S n − 1 , m − 1 + m ⋅ S n − 1 , m {\displaystyle S_{n,m}=S_{n-1,m-1}+m\cdot S_{n-1,m}} 제2종 스털링 수의 값은 다음과 같다. (OEIS의 수열 A008277) 스털링 수는 다음과 같은 생성함수를 갖는다. ∑ n = 0 ∞ [ n m ] x n / n ! = ( − ln ⁡ ( 1 − x ) ) m m ! {\displaystyle \sum _{n=0}^{\infty }\left[{n \atop m}\right]x^{n}/n!={\frac {(-\ln(1-x))^{m}}{m!}}} ∑ n = 0 ∞ { n m } x n / n ! = ( exp ⁡ ( x ) − 1 ) m m ! {\displaystyle \sum _{n=0}^{\infty }\left\{{n \atop m}\right\}x^{n}/n!={\frac {(\exp(x)-1)^{m}}{m!}}} 스털링 수는 다음과 같은 점화식을 만족시킨다. [ n + 1 m ] = n [ n m ] + [ n m − 1 ] {\displaystyle \left[{n+1 \atop m}\right]=n\left[{n \atop m}\right]+\left[{n \atop m-1}\right]} { n + 1 m } = m { n m } + { n m − 1 } {\displaystyle \left\{{n+1 \atop m}\right\}=m\left\{{n \atop m}\right\}+\left\{{n \atop m-1}\right\}} 스털링 삼각형에서 각 열을 더하면 다음과 같다. ∑ m = 0 n [ n m ] = n ! {\displaystyle \sum _{m=0}^{n}\left[{n \atop m}\right]=n!} ∑ m = 0 n { n m } = B n {\displaystyle \sum _{m=0}^{n}\left\{{n \atop m}\right\}=B_{n}} 여기서 B n {\displaystyle B_{n}} 은 벨 수이다. 이는 n {\displaystyle n} 개의 원소에 대한 순열의 수가 n ! {\displaystyle n!} 이고, n {\displaystyle n} 개의 원소를 가진 집합의 분할은 벨 수 B n {\displaystyle B_{n}} 이기 때문이다. 또한, 다음과 같은 공식이 존재한다. ∑ p = k n [ n p ] ( p k ) = [ n + 1 k + 1 ] {\displaystyle \sum _{p=k}^{n}\left[{n \atop p}\right]{\binom {p}{k}}=\left[{n+1 \atop k+1}\right]} m > n {\displaystyle m>n} 이라면 스털링 수는 0으로 정의한다. [ n m ] = { n m } = 0 ( m > n ) {\displaystyle \left[{n \atop m}\right]=\left\{{n \atop m}\right\}=0\qquad (m>n)} 또한, m = 0 {\displaystyle m=0} 인 경우 스털링 수는 크로네커 델타 δ n , 0 {\displaystyle \delta _{n,0}} 이다. [ n 0 ] = { n 0 } = δ n , 0 = { 1 n = 0 0 n > 0 {\displaystyle \left[{n \atop 0}\right]=\left\{{n \atop 0}\right\}=\delta _{n,0}={\begin{cases}1&n=0\\0&n>0\end{cases}}} m = 1 {\displaystyle m=1} 인 경우는 다음과 같다. [ n 1 ] = ( n − 1 ) ! ( n ≥ 1 ) {\displaystyle \left[{n \atop 1}\right]=(n-1)!\qquad (n\geq 1)} { n 1 } = 1 ( n ≥ 1 ) {\displaystyle \left\{{n \atop 1}\right\}=1\qquad (n\geq 1)} m = 2 {\displaystyle m=2} 인 경우는 다음과 같다. 여기서 H k {\displaystyle H_{k}} 는 조화수이다. [ n 2 ] = ( n − 1 ) ! H n − 1 = ( n − 1 ) ! ∑ k = 1 n − 1 1 k {\displaystyle \left[{n \atop 2}\right]=(n-1)!H_{n-1}=(n-1)!\sum _{k=1}^{n-1}{\frac {1}{k}}} { n 2 } = 2 n − 1 − 1 {\displaystyle \left\{{n \atop 2}\right\}=2^{n-1}-1} m = n {\displaystyle m=n} 인 경우는 스털링 수는 항상 1이다. [ n n ] = { n n } = 1 ( n ≥ 0 ) {\displaystyle \left[{n \atop n}\right]=\left\{{n \atop n}\right\}=1\qquad (n\geq 0)} m = n − 1 {\displaystyle m=n-1} 인 경우는 다음과 같다. [ n n − 1 ] = { n n − 1 } = ( n 2 ) {\displaystyle \left[{n \atop n-1}\right]=\left\{{n \atop n-1}\right\}={\binom {n}{2}}} m = n − 2 {\displaystyle m=n-2} 인 경우는 다음과 같다. [ n n − 2 ] = 1 4 ( 3 n − 1 ) ( n 3 ) {\displaystyle \left[{n \atop n-2}\right]={\frac {1}{4}}(3n-1){\binom {n}{3}}} { n n − 2 } = 3 n − 5 4 ( n 3 ) {\displaystyle \left\{{n \atop n-2}\right\}={\frac {3n-5}{4}}{\binom {n}{3}}} 제임스 스털링(영어: James Stirling)이 1730년에 《미분법: 무한급수의 합과 보간에 대한 논문》(라틴어: Methodus differentialis, sive tractatus de summatione et interpolatione serierum infinitarum)이라는 책에서 도입하였다. 닐스 닐센(독일어: Niels Nielsen)이 1965년에 이 수들을 "스털링 수"라고 이름붙였다. Knuth, Donald (1992). “Two notes on notation”. 《American Mathematical Monthly》 (영어) 99 (5): 403–422. arXiv:math/9205211. Bibcode:1992math......5211K. Zbl 0785.05014.  Stirling, Jacobus. 《Methodus differentialis, sive tractatus de summatione et interpolatione serierum infinitarum》 (라틴어). London: William Bowyer.  Boyadzhiev, Khristo N. (2012). “Close encounters with the Stirling numbers of the second kind”. 《Mathematics Magazine》 (영어) 85 (4): 252–266. doi:10.4169/math.mag.85.4.252. Zbl 1260.11016.  Nielsen, Niels (1965). 《Die Gammafunktion》 (독일어).  Comtet, Louis (1974). 《Advanced combinatorics: The art of finite and infinite expansions》 (영어). Dordrecht: Reidel Publishing Company. Zbl 0283.05001.  Graham, Ronald L.; Donald E. Knuth, Oren Patashnik (1994). 《Concrete mathematics: a foundation for computer science》 (영어) 2판. Addison-Wesley Professional. ISBN 0-201-55802-5. MR 1397498. Zbl 0836.00001.  더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크) Benjamin, Arthur T.; Gregory O. Preston, Jennifer J. Quinn (2002). “A Stirling encounter with harmonic numbers” (PDF). 《Mathematics Magazine》 (영어) 75 (2): 95–103. Zbl 1063.05002. 2009년 6월 17일에 원본 문서 (PDF)에서 보존된 문서. 2014년 4월 12일에 확인함.  더 이상 지원되지 않는 변수를 사용함 (도움말) Griffiths, Martin (2012년 11월). “Close encounters with Stirling numbers of the second kind”. 《The Mathematics Teacher》 (영어) 106 (4): 313–317. doi:10.5951/mathteacher.106.4.0313. JSTOR 10.5951/mathteacher.106.4.0313.  벨 수 12정도 이철희. “스털링 수”. 《수학노트》.  Weisstein, Eric Wolfgang. “Stirling number of the first kind”. 《Wolfram MathWorld》 (영어). Wolfram Research.  Weisstein, Eric Wolfgang. “Stirling number of the second kind”. 《Wolfram MathWorld》 (영어). Wolfram Research.  Weisstein, Eric Wolfgang. “Associated Stirling number of the first kind”. 《Wolfram MathWorld》 (영어). Wolfram Research.