종 번호
Bell number조합 수학에서 벨 번호는 세트의 가능한 파티션을 계산한다. 이 숫자들은 19세기부터 수학자들에 의해 연구되어 왔으며, 그 뿌리는 중세 일본으로 거슬러 올라간다.[1] 스티글러의 에포니미 법칙의 예에서 1930년대에 이들에 대해 쓴 에릭 템플 벨의 이름을 따온 것이다.
벨 번호는 B로n 표시되며, 여기서 n은 0보다 크거나 같은 정수다. B0 = B1 = 1로 시작하여, 처음 몇 개의 벨 번호는
벨 번호 B는n 정확히 n개의 요소가 있는 세트를 분할하는 여러 가지 방법 또는 동등하게 동등한 관계 수를 계산한다. B는n 또한 n행시에 대한 다른 운율의 수를 계산한다.[2]
이 숫자들은 계산 문제에서 나타나는 것뿐만 아니라 확률 분포의 순간으로서 다른 해석을 가지고 있다. 특히 B는n 평균이 1인 포아송 분포의 n번째 모멘트다.
계산
파티션 설정
일반적으로 B는n n 크기 집합의 파티션 수입니다. 집합 S의 파티션은 결합이 S인 S의 비어 있지 않은 쌍으로 분리된 하위 집합으로 정의된다. 예를 들어, 3-element set {a, b, c}은(는) 5개의 고유한 방법으로 분할할 수 있기 때문에 B3 = 5:
- {a}, {b}, {c} }
- {a}, {b, c} }
- {b}, {a, c} }
- {c}, {a, b} }
- {a, b, c} }.
위의 정해진 표기법에서 제안된 바와 같이, 가족 내에서 하위 집합의 순서는 고려되지 않고, 순서 파티션은 순서된 벨 번호의 다른 순서에 의해 계수된다. 빈 세트의 파티션이 정확히 하나 있기 때문에 B는0 1이다. 이 파티션은 그 자체로 빈 집합이다. 0개의 하위 집합으로 구성된 빈 집합의 하위 집합으로 해석될 수 있다. 이 계열의 모든 하위 집합이 빈 집합의 비어 있지 않은 하위 집합이며, 이러한 있음직하지 않은 속성을 가질 하위 집합이 없기 때문에 빈 집합의 쌍으로 분리된 하위 집합이라는 것은 공허한 사실이다.
집합의 분할은 1 대 1과 동등성 관계에 대응한다. 이것들은 반사적이고, 대칭적이며, 전이적인 이항 관계다. 파티션에 해당하는 동등성 관계에서는 두 요소가 서로 동일한 파티션 하위 집합에 속할 때 두 요소가 동등하다고 정의한다. 반대로 모든 동등성 관계는 동등성 등급의 분할에 해당한다.[3] 따라서 벨 번호도 동등성 관계를 계산한다.
인자화
숫자 N이 제곱이 없는 양의 정수(일부 고유 소수 n의 산물이라는 의미)인 경우, B는n N의 서로 다른 승수 파티션 수를 제공한다. 이들은 N을 1보다 큰 숫자로 인자화한 것으로, 두 인자화가 서로 다른 순서로 동일한 인자를 갖는 경우 동일한 인자로 취급한다.[4] 예를 들어, 30은 세 개의 소수 2, 3, 5의 곱이며 B = 5 인자를3 가지고 있다.
운율 체계
벨 숫자들은 또한 n행시나 연자의 운율 체계도 세어준다. 운율 체계는 어떤 선들이 서로 운을 맞추는지 묘사하고 있으며, 따라서 선들의 집합이 운율 하위 집합으로 분할되는 것으로 해석될 수 있다. 운율 체계는 보통 로마자 서열로 쓰여지는데, 한 줄에 한 줄씩, 운율 선은 서로 같은 문자를 주고, 각 운율의 첫 번째 선은 알파벳순으로 라벨을 붙인다. 따라서 15개의 가능한 4행 운율 체계로는 AAAA, AAAB, AABA, AABB, AABB, ABA, ABA,[2] ABA, ABA, ABBB, ABC, ABC, ABCA, ABCA, ABCBBBB, ABC, ABCBBBBBB, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC
순열
벨 번호는 가드너 부록(1978년)에 언급된 카드 섞기 문제에서 나온다. 상단 카드를 제거하고 데크(데크 상단의 원래 위치를 포함)의 어느 곳에 재삽입하여 데크에 패를 반복하여 패를 끼우면 이 작업을 정확히 n번 반복하여 다른 패를n 끼울 수 있다. 이 중 갑판을 원래의 정렬된 순서로 되돌리는 숫자는 정확히 B이다n. 따라서 갑판을 이런 식으로 분리한 후 갑판이 원래 순서에 있을 확률은n B/n이며n, 갑판의 균일한 무작위 순열을 설명하는 1/n 확률보다 상당히 크다.
카드 섞기와 관련된 몇 가지 다른 문제들은 벨 번호로도 응답되는 특별한 종류의 순열들을 세는 것이다. 예를 들어, n번째 벨 번호는 정렬된 3개의 값이 이 3개의 항목 중 마지막 2개를 연속해서 가지지 않는 n개 항목의 순열 수와 같다. 연속해야 하는 값이 서로 인접해 있고 연속적이지 않게 보일 수 있는 값이 대시에 의해 분리되는 일반화된 순열 패턴에 대한 표기법에서 이러한 순열은 패턴 1-23을 피하는 순열로 설명할 수 있다. 일반화된 패턴 12-3, 32-1, 3-21, 1-32, 3-12, 21-3, 23-1을 피하는 순열도 벨 번호로 계산한다.[5] 321개 패턴(연속 값 제한 없음)마다 3241개 패턴으로 확장할 수 있는 순열도 벨 번호로 계산한다.[6] 그러나 벨 수는 너무 빨리 늘어나서 이런 식으로 일반화되지 않은 패턴을 피하는 순열 수를 셀 수 없다: (현재는 증명된) 스탠리-윌프 추측에 의해 그러한 순열의 수는 단독적으로 지수적이며, 벨 숫자는 그보다 더 높은 점증적 성장률을 보인다.
계산을 위한 삼각형 구조
벨 번호는 알렉산더 아이트켄과 찰스 샌더스 피르체 다음에 아이트켄의 배열 또는 페어체 삼각형이라고도 불리는 이른바 벨 삼각형을 만들어 쉽게 계산할 수 있다.[7]
- 1번부터. 이 항목을 직접 행에 놓으십시오. ( =1 {\}=1
- 이전 행에서 가장 오른쪽 요소를 가장 왼쪽 숫자로 새 행을 시작하십시오(, - , 왼쪽 여기서 r은 (i-1)-번째 행의 마지막 요소임
- Determine the numbers not on the left column by taking the sum of the number to the left and the number above the number to the left, that is, the number diagonally up and left of the number we are calculating
- 이전 행보다 숫자가 하나 더 많은 새 행이 있을 때까지 3단계를 반복하십시오(= + 까지 3단계 수행
- 지정된 행의 왼쪽에 있는 번호는 해당 행의 벨 번호 입니다 ( 1 화살표
다음은 이러한 규칙에 의해 구성된 삼각형의 처음 다섯 행이다.
1 1 2 2 3 5 5 7 10 15 15 20 27 37 52
벨 번호는 삼각형의 왼쪽과 오른쪽 양쪽에 나타난다.
특성.
합계 공식
벨 번호는 이항 계수와 관련된 반복 관계를 만족한다.[8]
n + 1 항목의 임의 파티션에서 첫 번째 항목이 포함된 세트를 제거하면 0에서 n까지의 범위가 될 수 있는 일부 숫자 k에 대해 더 작은 k 항목 집합의 파티션이 남는다는 것을 관찰함으로써 설명할 수 있다. 한 세트를 제거한 후에도 남아 있는 k 항목에 대한( ) 선택 사항과 파티션 분할 방법에 대한 B 선택k 항목이 있다.
다른 합계 공식은 두 번째 종류의 스털링 번호의 합으로 각 벨 번호를 나타낸다.
스털링 번호{ \n \ k은 일련의 카디널리티 n을 정확히 비어 있지 않은 하위 집합으로 분할하는 방법의 수입니다. 따라서 벨 번호와 스털링 숫자와 관련된 방정식에서, 방정식의 왼쪽에 계산된 각 칸막이는 오른쪽의 합계의 정확히 하나의 항으로 계산되며, k는 칸막이에 있는 집합의 수입니다.[9]
스피비(2008)는 이 두 가지 합계를 모두 합친 공식을 제공했다.
생성함수
벨 번호의 지수 생성 함수는
이 공식에서 가운데의 합계는 숫자의 모든 순서에 대한 지수 생성 함수를 정의하기 위해 사용되는 일반적인 형식이며, 오른쪽의 공식은 벨 번호의 특정 경우에 합계를 수행한 결과물이다.
이 결과를 도출하는 한 가지 방법은 분석 결합기법을 사용하는데, 수학 추론의 한 형태는 수학적 사물의 집합이 단순한 물체로부터 그 구조를 설명하는 공식에 의해 설명되고, 그 다음 그 공식들을 조작하여 물체의 결합기적 특성을 도출하는 것이다. 분석 조합 언어에서, 세트 파티션은 1에서 n까지 라벨이 표시된 요소들이 분포된 비어 있지 않은 항아리 집합으로 설명될 수 있으며, 모든 파티션의 조합 클래스는 (모든 n에 대해) 표기법으로 표현될 수 있다.
여기서 은 크기가 1인 단일 멤버만 있는 조합 클래스, 단지에 넣을 수 있는 요소다. 내부 1} 연산자는 하나 이상의 라벨로 표시된 요소를 포함하는 세트 또는 urn을 설명하며, S E 은 이러한 항아리 집합으로 전체 파티션을 설명한다. 그런 다음 S 연산자를 지수 함수로 변환하고 비빈도 제약 조건 11을 하나씩 뺄셈으로 변환하여 지수 생성 함수를 이 표기법에서 읽을 수 있다.[10]
동일한 생성함수를 도출하기 위한 다른 방법은 지수 생성함수가 미분 방정식 ( )= e (x ) 을 만족한다는 것을 보여주기 위해 이항계수 측면에서 벨 숫자에 대한 재발 관계를 사용한다 함수 자체는 이 방정식을 풀면 알 수 있다.[11][12][13]
확률 분포의 모멘트
벨 번호는 도빈스키의 공식을[14][11][13] 만족시킨다.
이 공식은 지수함수에 대해 Taylor 시리즈를 사용하여 지수 생성 함수를 확장한 다음 동일한 지수로 항을 수집하여 도출할 수 있다.[10] B를n 기대값 1을 갖는 포아송 분포의 n번째 모멘트로 해석할 수 있다.
n번째 벨 번호는 또한 n번째 완전한 벨 다항식의 계수의 합으로, 확률 분포의 n번째 모멘트를 첫 번째 적혈구의 함수로 표현한다.
모듈식 산술
벨 번호는 터치카드의 일치에 따른다. 만약[15] p가 어떤 프라임 숫자라면.
또는[16] 일반화
Touchard의 일치 때문에, 벨 번호는 모든 p 프라임 번호에 대해 주기적인 모듈로 p이다. 예를 들어, p = 2와 같이, 벨 번호는 3주기에도 홀수-오드 패턴을 반복한다. 이 반복의 기간은 임의의 소수 p에 대해, 반드시 divisor가 되어야 한다.
그리고 모든 프라임 p 101 101과 p = 113, 163, 163, 167 또는 173에 대해 정확히 이 숫자다(OEIS에서 순서 A001039).[17][18]
벨 번호에서 모듈로 n까지의 기간은
- 1, 3, 13, 12, 781, 39, 137257, 24, 39, 2343, 28531167061, 156, 25239592216021, 411771, 10153, 48, 51702516367896047761, 39, 109912203092239643840221, 9372, 1784341, 85593501183, 949112181811268728834319677753, 312, 3905, 75718776648063, 117, 1647084, 91703076898614683377208150526107718802981, 30459, 568972471024107865287021434301977158534824481, 96, 3709051793, 155107549103688143283, 107197717, 156, ...(OEIS에서 시퀀스 A054767)
적분표현
지수 생성 함수에 Cauchy의 적분 공식을 적용하여 복잡한 적분 표현을 산출한다.
일부 무증상 표현은 가장 가파른 하강 방법을 표준으로 적용함으로써 도출될 수 있다.[19]
로그 일치성
벨 번호는 대수적으로 볼록한 순서를 형성한다. 요인n B/n!으로 나누면 로그 오목한 순서가 나온다.[20][21][22]
성장률
벨 번호에 대한 몇 가지 점증적 공식은 알려져 있다. 베렌드&타사(2010)에서는 다음과 같은 한계가 설정되었다.
- 모든 양의 n n
더욱이 > 일 경우, 모든 > () 에 대해
where and \ln}{\ 로그와 동일한 증가율을 갖는 함수인 램버트 W 함수를 사용하여 벨 번호를 근사하게 추정할 수도 있다.
Moser & Wyman(1955)은 확장을 설립했다.
uniformly for as , where and each and are known expressions in .[24]
점증적 표현
드 브뤼옌(1981년)에 의해 설립되었다.
벨 프라임즈
가드너(1978)는 무한히 많은 벨 숫자도 소수인가 하는 문제를 제기했다. Bell의 주요 숫자는 다음과 같다.
- 2, 5,877, 276444437, 357425491988726171353508656626642567, 35933408596862283104196018980436610653899079837(OEIS의 후속 A051131)
지수 2, 3, 7, 13, 42 및 55에 해당된다(OEIS에서 순차 A051130).
다음 벨 프라임은 B이며, 대략 92841.30740105 × 10이다6538.[25] 2018년[update] 현재, 가장 큰 프라임 벨 번호로 알려져 있다. 이그나시오 라로사 카네스트로는 그것이 2002년에 일어날 가능성이 있는 전성기임을 보여주었다. 마르셀 마틴의 ECPP 프로그램 프리모를 17개월간 연산해 본 이그나시오 라로사 카네스트로는 2004년에 그것이 전성기임을 증명했다. 그는 Eric Weisstein에 의해 B까지30447 확장된 B 아래의6000 다른 가능한 모든 것을 배제했다.[26] 수색은 바츨라프 코테소베크(05/18/2021)에 의해 B까지50000 연장되었다.
역사
벨 번호는 에릭 템플 벨이 1938년에 벨 다항식들을 연구한 1934년 논문을 따라 쓴 글에서 따온 것이다.[27][28] 벨은 이 숫자들을 발견했다고 주장하지 않았다; 그는 1938년 논문에서 벨의 숫자가 "자주 조사되었고" "여러 번 재발견되었다"고 썼다. 벨은 이러한 숫자에 대해 몇 개의 초기 간행물을 인용하는데, 도비셰스키(1877년)는 도비셰스키의 벨 번호 공식을 제공한다. 벨은 이 숫자들을 "우수한 숫자"라고 불렀고, 이 숫자들의 이름인 "벨 번호"와 표기법n B는 베커와 리오르단 (1948)에 의해 그들에게 주어졌다.[29]
세트 칸막이의 첫 번째 철저한 열거는 중세 일본에서 일어난 것으로 보이는데, 그 곳에서 (겐지 이야기라는 책의 인기에 자극받아) 겐지코라는 응접실 게임이 등장했는데, 손님들에게 냄새 맡기기 위해 향 다섯 봉지를 주고, 어떤 것이 서로 같으며 어떤 것이 다른 것인지 추측해 보라는 것이었다. 벨 번호 B에5 의해 계수된 52개의 가능한 해결책은 52개의 다른 도표에 의해 기록되었는데, 그것은 <겐지 이야기> 일부 판의 제목 위에 인쇄되었다.[30][31]
스리니바사 라마누잔의 두 번째 수첩에서 그는 벨 다항식 번호와 벨 번호를 모두 조사했다.[32] 양쪽에 벨 번호가 있는 벨 삼각형의 초기 참고문헌에는 페어체(1880)와 아이트켄(1933)이 있다.
참고 항목
메모들
- ^ AnonMoos (2010), The 52 partitions of a 5-element set, retrieved 2021-09-24
- ^ a b 가드너 1978년
- ^ Halmos, Paul R. (1974). Naive set theory. Undergraduate Texts in Mathematics. Springer-Verlag, New York-Heidelberg. pp. 27–28. MR 0453532.
- ^ 윌리엄스는 1945년 이 관찰을 실비오 미네톨라의 공국(Principi di Antonisi Combinatoria, 1909년)에게 돌렸다.
- ^ Claesson(2001).
- ^ 캘런(2006년).
- ^ Sloane, N. J. A. (ed.). "Sequence A011971 (Aitken's array)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
- ^ 윌프 1994, 23페이지.
- ^ Conway & Guy (1996년).
- ^ a b Flajolet & Sedgewick 2009.
- ^ a b 로타 1964.
- ^ 윌프 1994, 페이지 20-23.
- ^ a b 벤더 & 윌리엄슨 2006.
- ^ 도비즈키 1877년
- ^ 베커 & 리오르단(1948년).
- ^ 허스트 & 슐츠(2009년).
- ^ 윌리엄스 1945.
- ^ 와그스타프 1996.
- ^ Simon, Barry (2010). "Example 15.4.6 (Asymptotics of Bell Numbers)". Complex Analysis (PDF). pp. 772–774. Archived from the original (PDF) on 2014-01-24. Retrieved 2012-09-02.
- ^ 엥겔 1994.
- ^ 캔필드 1995.
- ^ 아사이, 쿠보 & 쿠오 2000.
- ^ 로바스(1993년).
- ^ Canfield, Rod (July 1994). "The Moser-Wyman expansion of the Bell numbers" (PDF). Retrieved 2013-10-24.
- ^ "93074010508593618333...83885253703080601131". 5000 Largest Known Primes, The Prime Database. Retrieved 2013-10-24.
- ^ Weisstein, Eric W. "Integer Sequence Primes". MathWorld.
- ^ 1934년 벨
- ^ 1938년 벨
- ^ 로타 1964. 그러나 로타는 베커와 리오르단 1948년에 부정확한 날짜를 1934년에 제시한다.
- ^ 크누스 2013.
- ^ 가드너 1978년과 베른트 2011도 벨 번호와 겐지 이야기 사이의 연관성을 덜 자세하게 언급하고 있다.
- ^ 2011년 베른트
참조
- Asai, Nobuhiro; Kubo, Izumi; Kuo, Hui-Hsiung (2000). "Bell numbers, log-concavity, and log-convexity". Acta Applicandae Mathematicae. 63 (1–3): 79–87. arXiv:math/0104137. doi:10.1023/A:1010738827855. MR 1831247.
- Aitken, A. C. (1933). "A problem in combinations". Mathematical Notes. 28: 18–23. doi:10.1017/S1757748900002334.
- Becker, H. W.; Riordan, John (1948). "The arithmetic of Bell and Stirling numbers". American Journal of Mathematics. 70: 385–394. doi:10.2307/2372336. JSTOR 2372336..
- Bell, E. T. (1934). "Exponential polynomials". Annals of Mathematics. 35: 258–277. doi:10.2307/1968431. JSTOR 1968431..
- Bell, E. T. (1938). "The iterated exponential integers". Annals of Mathematics. 39: 539–557. doi:10.2307/1968633. JSTOR 1968633..
- Bender, Edward A.; Williamson, S. Gill (2006). "Example 11.7, Set Partitions". Foundations of Combinatorics with Applications (PDF). Dover. pp. 319–320. ISBN 0-486-44603-4.
- Berend, D.; Tassa, T. (2010). "Improved bounds on Bell numbers and on moments of sums of random variables". Probability and Mathematical Statistics. 30 (2): 185–205.
- Berndt, Bruce C. (2011). "Ramanujan Reaches His Hand From His Grave To Snatch Your Theorems From You" (PDF). Asia Pacific Mathematics Newsletter. 1 (2): 8–13.
- de Bruijn, N.G. (1981). Asymptotic methods in analysis (3rd ed.). Dover. p. 108.
- Callan, David (2006). "A combinatorial interpretation of the eigensequence for composition". Journal of Integer Sequences. 9 (1): 06.1.4. arXiv:math/0507169. Bibcode:2005math......7169C. MR 2193154.
- Canfield, E. Rodney (1995). "Engel's inequality for Bell numbers". Journal of Combinatorial Theory. Series A. 72 (1): 184–187. doi:10.1016/0097-3165(95)90033-0. MR 1354972.
- Claesson, Anders (2001). "Generalized pattern avoidance". European Journal of Combinatorics. 22 (7): 961–971. arXiv:math/0011235. doi:10.1006/eujc.2001.0515. MR 1857258.
- Conway, John Horton; Guy, Richard K. (1996). "Famous Families of Numbers: Bell Numbers and Stirling Numbers". The Book of Numbers. Copernicus Series. Springer. pp. 91–94. ISBN 9780387979939.
- Dobiński, G. (1877). "Summirung der Reihe für m = 1, 2, 3, 4, 5, …". Grunert's Archiv. 61: 333–336.
- Engel, Konrad (1994). "On the average rank of an element in a filter of the partition lattice". Journal of Combinatorial Theory. Series A. 65 (1): 67–78. doi:10.1016/0097-3165(94)90038-8. MR 1255264.
- Flajolet, Philippe; Sedgewick, Robert (2009). "II.3 Surjections, set partitions, and words". Analytic Combinatorics. Cambridge University Press. pp. 106–119.
- Gardner, Martin (1978). "The Bells: versatile numbers that can count partitions of a set, primes and even rhymes". Scientific American. 238: 24–30. Bibcode:1978SciAm.238e..24G. doi:10.1038/scientificamerican0578-24. 부록으로 "팅클리 템플 벨", 프랙탈 음악 제2장, 하이퍼카드 등... Scientific American, W. H. Freeman, 1992, 페이지 24–38의 수학 레크리에이션
- "Bell numbers". Encyclopedia of Mathematics. EMS Press. 2001 [1994].
- Hurst, Greg; Schultz, Andrew (2009). "An elementary (number theory) proof of Touchard's congruence". arXiv:0906.0696 [math.CO].
- Knuth, Donald E. (2013). "Two thousand years of combinatorics". In Wilson, Robin; Watkins, John J. (eds.). Combinatorics: Ancient and Modern. Oxford University Press. pp. 7–37.
- Lovász, L. (1993). "Section 1.14, Problem 9". Combinatorial Problems and Exercises (2nd ed.). Amsterdam, Netherlands: North-Holland. p. 17. Zbl 0785.05001.
- Moser, Leo; Wyman, Max (1955). "An asymptotic formula for the Bell numbers". Transactions of the Royal Society of Canada, Section III. 49: 49–54. MR 0078489.
- Peirce, C. S. (1880). "On the algebra of logic". American Journal of Mathematics. 3 (1): 15–57. doi:10.2307/2369442. JSTOR 2369442..
- Rota, Gian-Carlo (1964). "The number of partitions of a set". American Mathematical Monthly. 71 (5): 498–504. doi:10.2307/2312585. MR 0161805.
- Spivey, Michael Z. (2008). "A generalized recurrence for Bell numbers" (PDF). Journal of Integer Sequences. 11 (2): Article 08.2.5, 3. MR 2420912.
- Wagstaff, Samuel S. (1996). "Aurifeuillian factorizations and the period of the Bell numbers modulo a prime". Mathematics of Computation. 65 (213): 383–391. Bibcode:1996MaCom..65..383W. doi:10.1090/S0025-5718-96-00683-7. MR 1325876.
- Wilf, Herbert S. (1994). Generatingfunctionology (PDF) (2nd ed.). Boston, MA: Academic Press. ISBN 0-12-751956-4. Zbl 0831.05001.
- Williams, G. T. (1945). "Numbers generated by the function eex − 1". American Mathematical Monthly. 52: 323–327. doi:10.2307/2305292. JSTOR 2305292. MR 0012612.
외부 링크
- Robert Dickau. "Diagrams of Bell numbers".
- Weisstein, Eric W. "Bell Number". MathWorld.
- Gottfried Helms. "Further properties & Generalization of Bell-Numbers" (PDF).
