스털링 수

조합론에서 스털링 수(Stirling數, )는 조합론에서 자주 등장하는 두 종의 정수열이다.

 정의 
 제1종 스털링 수 
섬네일|435px|right|2개의 순환을 갖는, 4개의 원소의 순열은 총 11개가 있다. 따라서 이다.
부호 없는 제1종 스털링 수()는 다음과 같다.

부호 없는 제1종 스털링 수는 으로 쓰기도 한다. 대괄호를 쓰는 표기는 도널드 커누스가 도입하였다. 부호 없는 제1종 스털링 수는 n개의 원소의 순열 가운데, 정확히 m개의 순환(cycle)들로 구성된 순열들의 수이다. (이 경우, 고정점은 길이 1의 순환으로 간주한다.)

(부호 있는) 제1종 스털링 수()는 다음과 같다.

부호 없는 제1종 스털링 수의 값은 다음과 같다. 
 n ＼ m 0 1 2 3 4 5 6 7 8 9 10 0 1 1 0 1 2 0 1 1 3 0 2 3 14 0 6 11 6 15 0 24 50 35 10 16 0 120 274 225 85 15 17 0 720 1764 1624 735 175 21 18 0 5040 13068 13132 6769 1960 322 28 19 0 40320 109584 118124 67284 22449 4536 546 36 110036288010265761172700723680269325632739450870451


 제2종 스털링 수 
섬네일|315px|right|4개의 원소의 집합의 분할의 개수는 벨 수 개이다. 이 가운데, 분할된 부분집합들의 수가 m개인 경우는 제2종 스털링 수 에 의해 주어진다. 그림에 따라, ,  ,  ,  이다.
제2종 스털링 수()는 다음과 같다.

제2종 스털링 수는 으로 쓰기도 한다. 중괄호를 쓰는 표기는 도널드 커누스가 도입하였다.

제2종 스털링 수는 n개의 원소의 집합을 m개의 공집합이 아닌 부분집합들로 나누는 방법의 수이다.

제2종 스털링 수의 점화식은 재귀적인 표현으로 나타낼 수 있다.

제2종 스털링 수의 값은 다음과 같다. 
 n ＼ m 0 1 2 3 4 5 6 7 8 9 100 11 0 12 0 1 13 0 1 3 14 0 1 7 6 15 0 1 15 25 10 16 0 1 31 90 65 15 17 0 1 63 301 350 140 21 18 0 1 127 966 1701 1050 266 28 19 0 1 255 3025 7770 6951 2646 462 36 110 0 1 511 9330 34105 42525 22827 5880 750 45 1 

 성질 
 생성함수 
스털링 수는 다음과 같은 생성함수를 갖는다.

 점화식 
스털링 수는 다음과 같은 점화식을 만족시킨다.


 합 공식 
스털링 삼각형에서 각 열을 더하면 다음과 같다.

여기서 은 벨 수이다. 이는 개의 원소에 대한 순열의 수가 이고, 개의 원소를 가진 집합의 분할은 벨 수 이기 때문이다.

또한, 다음과 같은 공식이 존재한다.

 특별한 값 
이라면 스털링 수는 0으로 정의한다.

또한, 인 경우 스털링 수는 크로네커 델타 이다.

인 경우는 다음과 같다.

인 경우는 다음과 같다. 여기서 는 조화수이다.

인 경우는 스털링 수는 항상 1이다.

인 경우는 다음과 같다.

인 경우는 다음과 같다.

 역사 
제임스 스털링()이 1730년에 《미분법: 무한급수의 합과 보간에 대한 논문》()이라는 책에서 도입하였다. 닐스 닐센()이 1965년에 이 수들을 "스털링 수"라고 이름붙였다.

 각주 






 같이 보기 
 벨 수
 12정도

 외부 링크 





분류:순열
분류:계승과 이항식 주제
분류:정수열