दूसरे प्रकार की स्टर्लिंग संख्याएँ
गणित में, विशेष रूप से साहचर्य में, दूसरी प्रकार की स्टर्लिंग संख्या (या स्टर्लिंग विभाजन संख्या) n ऑब्जेक्ट के एक समुच्चय को k अरिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या है और इसे या द्वारा निरूपित किया जाता है।[1] दूसरी प्रकार की स्टर्लिंग संख्या गणितीय क्षेत्र में होती है जिसे साहचर्य कहा जाता है तथा जो विभाजन (संख्या सिद्धांत) का अध्ययन करता है। इनका नाम जेम्स स्टर्लिंग (गणितज्ञ) के नाम पर रखा गया है।
त्रिकोणीय मैट्रिक्स के रूप में देखे जाने पर प्रथम और द्वितीय प्रकार की स्टर्लिंग संख्या को एक दूसरे के व्युत्क्रम के रूप में समझा जा सकता है। यह लेख द्वितीय प्रकार की स्टर्लिंग संख्याओं की विशेषताओं के लिए समर्पित है। यह लेख स्टर्लिंग संख्याओं के दो प्रकारों को जोड़ने वाली सर्वसमिका प्रतीत होती है।
परिभाषा
दूसरे प्रकार की लिखी गईं या या अन्य अंकन के साथ स्टर्लिंग संख्या चिह्नित ऑब्जेक्ट्स के एक समुच्चय(गणित) को अरिक्त तथा अचिह्नित उपसमुच्चय में विभाजित करने के तरीकों की संख्या की गणना करती है। तुल्यांकतः वे विभिन्न तुल्यता संबंधों की संख्या की गणना शुद्ध रुप से समकक्ष वर्गों के साथ करते हैं जिन्हें तत्व समुच्चय पर परिभाषित किया जा सकता है। वस्तुतः विभाजन के समुच्चय और दिए गए समुच्चय पर तुल्यता संबंधों के समुच्चय के मध्य एक द्विअंतथक्षेपण है। स्पष्ट रुप से,
- के लिए n ≥ 0, और के लिए n ≥ 1
n-तत्व समुच्चय को n भागों में विभाजित करने का एकमात्र तरीका समुच्चय के प्रत्येक तत्व को अपने क्षेत्र में रखना है और एक अरिक्त समुच्चय को एक क्षेत्र में विभाजित करने का एकमात्र तरीका सभी तत्वों को एक ही क्षेत्र में रखना है। निम्नलिखित स्पष्ट सूत्र का उपयोग करके उनकी गणना की जा सकती है:[2]
दूसरे प्रकार की स्टर्लिंग संख्याओं को उन संख्याओं के रूप में भी चित्रित किया जा सकता है जो तब उत्पन्न होती हैं जब कोई अनिश्चित x की शक्तियों को घटते क्रमगुणों के संदर्भ में व्यक्त करता है।[3]
(विशेष रूप से, (x)0 = 1 क्योंकि यह एक रिक्त परिणाम है।)सामान्यतः किसी के पास होता है
संकेतन
द्वितीय प्रकार की स्टर्लिंग संख्याओं के लिए विभिन्न संकेतन का उपयोग किया गया है। वर्ष 1962 में इन संख्याओं के परिवर्त्य के लिए ब्रेस नोटेशन का प्रयोग इमानुएल मार्क्स और एंटोनियो सालमेरी द्वारा किया गया था।[4][5] इसने डोनाल्ड एर्विन नुथ को इसका उपयोग करने के लिए प्रेरित किया, जैसा कि द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग (वर्ष 1968) के प्रथम खंड में दिखाया गया है।[6][7] द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग के तृतीय संस्करण के अनुसार इस संकेतन का प्रथम उपयोग वर्ष 1935 में जोवन करामाता द्वारा भी किया गया था।[8][9] संकेतन S(n, k) का उपयोग रिचर्ड पी. स्टेनली ने अपनी पुस्तक एन्युमरेटिव कॉम्बिनेटरिक्स में और बहुत पहले, कई अन्य लेखकों द्वारा भी किया था।[6]
स्टर्लिंग नंबरों के लिए इस पृष्ठ पर उपयोग किए गए अंकन सार्वभौमिक नहीं हैं और अन्य स्रोतों में संकेतन के साथ विरोध कर सकते हैं।
बेल संख्या से संबंध
चूँकि स्टर्लिंग संख्या किसी n-तत्व समुच्चय के विभाजन को k भागों में गिनता है, जिसका योग
k के सभी मानों में n सदस्यों वाले समुच्चय के विभाजनों की कुल संख्या है। इस संख्या को nवें बेल नंबर के रूप में जाना जाता है।
तुलनात्मक रूप से, क्रमित बेल संख्याओं की गणना दूसरे प्रकार के स्टर्लिंग संख्याओं से की जा सकती है
तालिका मान
नीचे दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए मानों की त्रिकोणीय सारणी दी गई है (sequence A008277 in the OEIS):
k n
|
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|---|
0 | 1 | ||||||||||
1 | 0 | 1 | |||||||||
2 | 0 | 1 | 1 | ||||||||
3 | 0 | 1 | 3 | 1 | |||||||
4 | 0 | 1 | 7 | 6 | 1 | ||||||
5 | 0 | 1 | 15 | 25 | 10 | 1 | |||||
6 | 0 | 1 | 31 | 90 | 65 | 15 | 1 | ||||
7 | 0 | 1 | 63 | 301 | 350 | 140 | 21 | 1 | |||
8 | 0 | 1 | 127 | 966 | 1701 | 1050 | 266 | 28 | 1 | ||
9 | 0 | 1 | 255 | 3025 | 7770 | 6951 | 2646 | 462 | 36 | 1 | |
10 | 0 | 1 | 511 | 9330 | 34105 | 42525 | 22827 | 5880 | 750 | 45 | 1 |
द्विपद गुणांकों के साथ इस तालिका को k > n तक बढ़ाया जा सकता है, किन्तु सभी प्रविष्टियां 0 होंगी।
गुणधर्म
पुनरावृत्ति संबंध
दूसरी प्रकार की स्टर्लिंग संख्याएँ पुनरावृत्ति संबंध का पालन करती हैं
प्रारंभिक शर्तों के साथ
उदाहरण के लिए, कॉलम k = 3 और पंक्ति n = 5 में संख्या 25 25 = 7 + (3×6) द्वारा दी गई है, जहां 7 ऊपर की संख्या है और 25 के बाईं ओर, 6 25 और 3 से ऊपर की संख्या है वह स्तंभ है जिसमें 6 है.
इस पुनरावृत्ति को सिद्ध करने के लिए, निरीक्षण करें कि का एक विभाजन ऑब्जेक्ट्स को k गैर-रिक्त उपसमुच्चय में या तो समाहित करता है -वें ऑब्जेक्ट को सिंगलटन के रूप में या नहीं। सिंगलटन उपसमुच्चयों में से एक होने के तरीकों की संख्या द्वारा दी गई है
चूंकि हमें शेष का विभाजन करना चाहिए n ऑब्जेक्ट उपलब्ध हैं सबसेट। दूसरे मामले में -थ ऑब्जेक्ट अन्य ऑब्जेक्ट्स वाले सबसेट से संबंधित है। तरीकों की संख्या द्वारा दिया गया है
चूंकि हम के अलावा अन्य सभी वस्तुओं का विभाजन करते हैं -th को k सबसेट में, और फिर हमारे पास ऑब्जेक्ट डालने के लिए k विकल्पों के साथ छोड़ दिया जाता है . इन दो मूल्यों का योग वांछित परिणाम देता है।
ठोस गणित के खंड 6.1 की तालिका स्टर्लिंग संख्याओं को शामिल करने वाले परिमित योगों के सामान्यीकृत रूपों की अधिकता प्रदान करती है। इस लेख के लिए प्रासंगिक कई विशेष परिमित राशियों में शामिल हैं।
निचला और ऊपरी सीमा
अगर और , तब
अधिकतम
निर्धारित , के लिए एकल अधिकतम है, जो k के अधिकतम दो निरंतर मानों के लिए प्राप्त किया जाता है। अर्थात् एक पूर्णांक ऐसा है कि
जब बड़ी है
और दूसरी तरह की स्टर्लिंग संख्या का अधिकतम मान है
समता
दूसरे प्रकार की स्टर्लिंग संख्या की समता (गणित) संबंधित द्विपद गुणांक की समता के समान होती है:
- कहाँ
यह संबंध सियरपिंस्की त्रिभुज पर मानचित्रण n और k निर्देशांक द्वारा निर्दिष्ट किया गया है।
अधिकतम प्रत्यक्ष रूप से, दो समुच्चयों में संबंधित व्यंजकों के परिणामों के द्विआधारी प्रतिनिधित्व में 1 की स्थिति होती है:
इन दो समुच्चयों को प्रतिच्छेद करके एक बिटवाइज़ एंड ऑपरेशन की नकल की जा सकती है:
O(1) समय में दूसरी प्रकार की स्टर्लिंग संख्या की समता प्राप्त करने के लिए। स्यूडोकोड में:
जहाँ आइवरसन कोष्ठक है।
दूसरे प्रकार के की केंद्रीय स्टर्लिंग संख्या की समता विषम होती है यदि एक फ़िबिनरी संख्या है जिसका द्विआधारी प्रतिनिधित्व कोई दो निरंतर 1s नहीं हैं।[12]
सरल सर्वसमिका
कुछ साधारण सर्वसमिका सम्मिलित हैं
ऐसा इसलिए है क्योंकि n तत्वों को n − 1 समुच्चय में विभाजित करने का अर्थ है कि इसे आकार 2 के एक समुच्चय और आकार 1 के n − 2 समुच्चय में विभाजित करना। इसलिए हमें केवल उन दो तत्वों का चयन करने की आवश्यकता है;
और
इसे देखने के लिए, सर्वप्रथम ध्यान दें कि पूरक उपसमुच्चय A और B के 2n क्रमित युग्म हैं। प्रथम स्थिति में A रिक्त तथा द्वितीय स्थिति में B रिक्त है, इसलिए 2n − 2 उपसमुच्चय के क्रमित युग्म बने रहते हैं। अंत में, चूंकि हमें क्रमित युग्म के स्थान पर अव्यवस्थित युग्म आवश्यकता होती हैं, इसलिए हम ऊपर दिए गए परिणाम को देते हुए इस अंतिम संख्या को 2 से विभाजित करते हैं।
पुनरावृत्ति-संबंध का एक और स्पष्ट विस्तार उपर्युक्त उदाहरण की भावना में सर्वसमिका देता है।
अन्य पहचान
इन उदाहरणों को पुनरावृत्ति द्वारा संक्षेपित किया जा सकता है
स्पष्ट सूत्र
दूसरी तरह की स्टर्लिंग संख्याएँ स्पष्ट सूत्र द्वारा दी गई हैं:
इसे n से k तक के अनुमानों की संख्या की गणना करने के लिए समावेश-बहिष्करण सिद्धांत | समावेशन-बहिष्करण का उपयोग करके और इस तथ्य का उपयोग करके प्राप्त किया जा सकता है कि ऐसे अनुमानों की संख्या है .
इसके अतिरिक्त, यह सूत्र एकपद के kवें आगे के अंतर का एक विशेष मामला है x = 0 पर मूल्यांकन किया गया:
क्योंकि बर्नौली बहुपदों को इन आगे के अंतरों के संदर्भ में लिखा जा सकता है, बर्नौली संख्याओं में तुरंत एक संबंध प्राप्त होता है:
गणितीय कार्यों की एनआईएसटी हैंडबुक में दिया गया एक और स्पष्ट सूत्र है
कार्यों का निर्माण
एक निश्चित पूर्णांक n के लिए, दूसरी तरह की स्टर्लिंग संख्याओं के लिए सामान्य जनरेटिंग फ़ंक्शन द्वारा दिया गया है
कहाँ टचर्ड बहुपद हैं। यदि इसके बजाय घटते भाज्य के विरुद्ध स्टर्लिंग संख्याओं का योग किया जाए, तो अन्य के साथ-साथ निम्नलिखित सर्वसमिकाओं को दिखाया जा सकता है:
और
एक निश्चित पूर्णांक k के लिए, दूसरी तरह की स्टर्लिंग संख्याएँ लीजिये तर्कसंगत साधारण जनरेटिंग फ़ंक्शन
और इसके द्वारा दिया गया एक घातीय जनरेटिंग फ़ंक्शन है
दूसरी तरह की स्टर्लिंग संख्याओं के लिए एक मिश्रित द्विभाजित जनक फलन है
स्पर्शोन्मुख सन्निकटन
के निश्चित मूल्य के लिए दूसरी तरह की स्टर्लिंग संख्याओं का स्पर्शोन्मुख मान द्वारा दिया गया है
दूसरी तरफ अगर (जहाँ o छोटे o संकेतन को दर्शाता है) तब
एक समान रूप से मान्य सन्निकटन भी मौजूद है: सभी के लिए k ऐसा है कि 1 < k < n, किसी के पास
कहाँ , और का अनूठा उपाय है .[14] सापेक्ष त्रुटि लगभग से बंधी है .
अनुप्रयोग
पोइसन वितरण के क्षण
यदि एक्स अपेक्षित मूल्य λ के साथ पॉसों वितरण के साथ एक यादृच्छिक चर है, तो इसका एन-वें पल (गणित) है
विशेष रूप से, अपेक्षित मान 1 के साथ पोइसन वितरण का nवां क्षण ठीक आकार n के सेट के विभाजन की संख्या है, अर्थात, यह nवां बेल नंबर है (यह तथ्य डोबिंस्की का सूत्र है)।
यादृच्छिक क्रमपरिवर्तन के निश्चित बिंदुओं के क्षण
बता दें कि रैंडम वेरिएबल X असतत समान वितरण के निश्चित बिंदुओं की संख्या है, आकार m के परिमित सेट का यादृच्छिक क्रमचय। तो X का nवां क्षण है
नोट: योग की ऊपरी सीमा m है, न कि n।
दूसरे शब्दों में, इस प्रायिकता बंटन का nवां क्षण n आकार के सेट के विभाजनों की संख्या है, जो m भागों से अधिक नहीं है। यह रैंडम परमुटेशन स्टैटिस्टिक्स # मोमेंट्स ऑफ फिक्स्ड पॉइंट्स पर लेख में साबित होता है, हालांकि नोटेशन थोड़ा अलग है।
अंत्यानुप्रासवाला योजनाएँ
दूसरी तरह की स्टर्लिंग संख्याएँ n पंक्तियों की कविता के लिए तुकबंदी योजनाओं की कुल संख्या का प्रतिनिधित्व कर सकती हैं। k अद्वितीय अंत्यानुप्रासवाला शब्दांशों का उपयोग करके n पंक्तियों के लिए संभावित अंत्यानुप्रासवाला योजनाओं की संख्या देता है। एक उदाहरण के रूप में, 3 पंक्तियों की एक कविता के लिए, केवल एक तुक (आआ) का उपयोग करके 1 तुकबंदी योजना है, दो तुकबंदी (आब, अबा, एबीबी) का उपयोग करते हुए 3 तुकबंदी योजना है, और तीन तुकबंदी (एबीसी) का उपयोग करते हुए 1 तुकबंदी योजना है।
वेरिएंट
दूसरी प्रकार की संबद्ध स्टर्लिंग संख्याएँ
दूसरे प्रकार की एक r-संबद्ध स्टर्लिंग संख्या, n आब्जेक्ट के एक समुच्चय को k उपसमुच्चय में विभाजित करने के तरीकों की संख्या है, जिसमें प्रत्येक उपसमुच्चय में कम से कम r तत्व होते हैं।[15] इसे द्वारा निरूपित किया जाता है तथा यह पुनरावृत्ति संबंध का पालन करता है
2-संबद्ध संख्याएँ (sequence A008299 in the OEIS) अन्यत्र वार्ड संख्या के रूप में और महलार बहुपदों के गुणांकों के परिमाण के रूप में दिखाई देती हैं।
दूसरी प्रकार की न्यूनीकृत स्टर्लिंग संख्या
पूर्णांक 1, 2, ..., n द्वारा विभाजन के लिए n ऑब्जेक्ट को निरूपित करें। पूर्णांक 1, 2, ..., n को k अरिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या होने के लिए दूसरे प्रकार की न्यूनीकृत स्टर्लिंग संख्या को के रूप में परिभाषित करें जिससे कि प्रत्येक उपसमुच्चय में सभी तत्वों की युग्मानूसार दूरी कम से कम d हो। अर्थात किसी दिए गए उपसमुच्चय में किसी भी पूर्णांक i और j के लिए यह . आवश्यक है।
(इसलिए नाम घटाया गया)।[16] निरीक्षण करें (दोनों परिभाषा और कमी सूत्र द्वारा), कि , दूसरी तरह की परिचित स्टर्लिंग संख्याएँ।
यह भी देखें
- स्टर्लिंग संख्या
- पहली तरह की स्टर्लिंग संख्याएँ
- बेल नंबर - n सदस्यों वाले सेट के विभाजनों की संख्या
- स्टर्लिंग बहुपद
- बारह मार्ग
- Learning materials related to Partition related number triangles at Wikiversity
संदर्भ
- ↑ Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) Concrete Mathematics, Addison–Wesley, Reading MA. ISBN 0-201-14236-8, p. 244.
- ↑ "Stirling Numbers of the Second Kind, Theorem 3.4.1".
- ↑ Confusingly, the notation that combinatorialists use for falling factorials coincides with the notation used in special functions for rising factorials; see Pochhammer symbol.
- ↑ Transformation of Series by a Variant of Stirling's Numbers, Imanuel Marx, The American Mathematical Monthly 69, #6 (June–July 1962), pp. 530–532, JSTOR 2311194.
- ↑ Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, Giornale di Matematiche di Battaglini 90 (1962), pp. 44–54.
- ↑ 6.0 6.1 Knuth, D.E. (1992), "Two notes on notation", Amer. Math. Monthly, 99 (5): 403–422, arXiv:math/9205211, Bibcode:1992math......5211K, doi:10.2307/2325085, JSTOR 2325085, S2CID 119584305
- ↑ Donald E. Knuth, Fundamental Algorithms, Reading, Mass.: Addison–Wesley, 1968.
- ↑ p. 66, Donald E. Knuth, Fundamental Algorithms, 3rd ed., Reading, Mass.: Addison–Wesley, 1997.
- ↑ Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, Mathematica (Cluj) 9 (1935), pp, 164–178.
- ↑ Sprugnoli, Renzo (1994), "Riordan arrays and combinatorial sums" (PDF), Discrete Mathematics, 132 (1–3): 267–290, doi:10.1016/0012-365X(92)00570-H, MR 1297386
- ↑ 11.0 11.1 Rennie, B.C.; Dobson, A.J. (1969). "दूसरी तरह की स्टर्लिंग संख्या पर". Journal of Combinatorial Theory. 7 (2): 116–121. doi:10.1016/S0021-9800(69)80045-1. ISSN 0021-9800.
- ↑ Chan, O-Yeat; Manna, Dante (2010), "Congruences for Stirling numbers of the second kind" (PDF), Gems in Experimental Mathematics, Contemporary Mathematics, vol. 517, Providence, Rhode Island: American Mathematical Society, pp. 97–111, doi:10.1090/conm/517/10135, MR 2731094
- ↑ L. C. Hsu, Note on an Asymptotic Expansion of the nth Difference of Zero, AMS Vol.19 NO.2 1948, pp. 273--277
- ↑ N. M. Temme, Asymptotic Estimates of Stirling Numbers, STUDIES IN APPLIED MATHEMATICS 89:233-243 (1993), Elsevier Science Publishing.
- ↑ L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 222.
- ↑ A. Mohr and T.D. Porter, Applications of Chromatic Polynomials Involving Stirling Numbers, Journal of Combinatorial Mathematics and Combinatorial Computing 70 (2009), 57–64.
- Boyadzhiev, Khristo (2012). "Close encounters with the Stirling numbers of the second kind". Mathematics Magazine. 85 (4): 252–266. arXiv:1806.09468. doi:10.4169/math.mag.85.4.252. S2CID 115176876..
- "Stirling numbers of the second kind". PlanetMath..
- Weisstein, Eric W. "Stirling Number of the Second Kind". MathWorld.
- Calculator for Stirling Numbers of the Second Kind
- Set Partitions: Stirling Numbers
- Jack van der Elsen (2005). Black and white transformations. Maastricht. ISBN 90-423-0263-1.