दूसरे प्रकार की स्टर्लिंग संख्याएँ: Difference between revisions
No edit summary |
|||
Line 17: | Line 17: | ||
== संकेतन == | == संकेतन == | ||
द्वितीय प्रकार की स्टर्लिंग संख्याओं के लिए विभिन्न संकेतन का उपयोग किया गया है। वर्ष 1962 में इन संख्याओं के परिवर्त्य के लिए ब्रेस नोटेशन <math>\textstyle \lbrace{n\atop k}\rbrace</math> का प्रयोग इमानुएल मार्क्स और एंटोनियो सालमेरी द्वारा किया गया था।<ref>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}}.</ref><ref>Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, ''Giornale di Matematiche di Battaglini '''90''' (1962), pp. 44–54.</ref> इसने [[डोनाल्ड एर्विन नुथ]] को इसका उपयोग करने के लिए प्रेरित किया, जैसा कि [[कंप्यूटर प्रोग्रामिंग की कला|द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग]] (वर्ष 1968) के प्रथम खंड में दिखाया गया है।<ref name=tnn>{{citation |author-link=Donald Knuth|first=D.E.|last=Knuth| journal = Amer. Math. Monthly | title=Two notes on notation| year=1992 | volume=99 |issue=5| pages=403–422 | arxiv=math/9205211 | doi=10.2307/2325085 | jstor= 2325085|bibcode=1992math......5211K|s2cid=119584305 }}</ref><ref>Donald E. Knuth, ''Fundamental Algorithms'', Reading, Mass.: Addison–Wesley, 1968.</ref> द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग के तृतीय संस्करण के अनुसार इस संकेतन का प्रथम उपयोग वर्ष 1935 में [[जोवन करामाता]] द्वारा भी किया गया था।<ref>p. 66, Donald E. Knuth, ''Fundamental Algorithms'', 3rd ed., Reading, Mass.: Addison–Wesley, 1997.</ref><ref>Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, ''Mathematica'' (Cluj) '''9''' (1935), pp, 164–178.</ref> संकेतन S(n, k) का उपयोग रिचर्ड पी. स्टेनली ने अपनी पुस्तक [[गणनात्मक कॉम्बिनेटरिक्स]] में और बहुत पहले, कई अन्य लेखकों द्वारा भी किया था।<ref name=tnn /> | |||
स्टर्लिंग नंबरों के लिए इस पृष्ठ पर उपयोग किए गए अंकन सार्वभौमिक नहीं हैं, और अन्य स्रोतों में संकेतन के साथ विरोध कर सकते हैं। | स्टर्लिंग नंबरों के लिए इस पृष्ठ पर उपयोग किए गए अंकन सार्वभौमिक नहीं हैं, और अन्य स्रोतों में संकेतन के साथ विरोध कर सकते हैं। |
Revision as of 19:39, 31 May 2023
गणित में, विशेष रूप से साहचर्य में, दूसरी प्रकार की स्टर्लिंग संख्या (या स्टर्लिंग विभाजन संख्या) n ऑब्जेक्ट के एक समुच्चय को k अरिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या है और इसे या द्वारा निरूपित किया जाता है।[1] दूसरी प्रकार की स्टर्लिंग संख्या गणितीय क्षेत्र में होती है जिसे साहचर्य कहा जाता है तथा जो विभाजन (संख्या सिद्धांत) का अध्ययन करता है। इनका नाम जेम्स स्टर्लिंग (गणितज्ञ) के नाम पर रखा गया है।
त्रिकोणीय मैट्रिक्स के रूप में देखे जाने पर प्रथम और द्वितीय प्रकार की स्टर्लिंग संख्या को एक दूसरे के व्युत्क्रम के रूप में समझा जा सकता है। यह लेख द्वितीय प्रकार की स्टर्लिंग संख्याओं की विशेषताओं के लिए समर्पित है। यह लेख स्टर्लिंग संख्याओं के दो प्रकारों को जोड़ने वाली सर्वसमिका प्रतीत होती है।
परिभाषा
दूसरे प्रकार की लिखी गईं या या अन्य अंकन के साथ स्टर्लिंग संख्या चिह्नित ऑब्जेक्ट्स के एक समुच्चय(गणित) को अरिक्त तथा अचिह्नित उपसमुच्चय में विभाजित करने के तरीकों की संख्या की गणना करती है। तुल्यांकतः वे विभिन्न तुल्यता संबंधों की संख्या की गणना शुद्ध रुप से समकक्ष वर्गों के साथ करते हैं जिन्हें मूल समुच्चय पर परिभाषित किया जा सकता है। वस्तुतः विभाजन के समुच्चय और दिए गए समुच्चय पर तुल्यता संबंधों के समुच्चय के मध्य एक द्विअंतथक्षेपण है। स्पष्ट रुप से,
- के लिए n ≥ 0, और के लिए n ≥ 1
n-तत्व समुच्चय को n भागों में विभाजित करने का एकमात्र तरीका समुच्चय के प्रत्येक तत्व को अपने क्षेत्र में रखना है और एक अरिक्त समुच्चय को एक क्षेत्र में विभाजित करने का एकमात्र तरीका सभी तत्वों को एक ही क्षेत्र में रखना है। निम्नलिखित स्पष्ट सूत्र का उपयोग करके उनकी गणना की जा सकती है:[2]
दूसरे प्रकार की स्टर्लिंग संख्याओं को उन संख्याओं के रूप में भी चित्रित किया जा सकता है जो तब उत्पन्न होती हैं जब कोई अनिश्चित x की शक्तियों को घटते क्रमगुणों के संदर्भ में व्यक्त करता है।[3]
(विशेष रूप से, (एक्स)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 के अधिकतम दो लगातार मानों के लिए प्राप्त किया जाता है। यानी एक पूर्णांक है ऐसा है कि
कब बड़ी है
और दूसरी तरह की स्टर्लिंग संख्या का अधिकतम मूल्य है
समता
दूसरे प्रकार की स्टर्लिंग संख्या की समता (गणित) संबंधित द्विपद गुणांक की समता के बराबर होती है:
- कहाँ
यह संबंध Sierpinski Triangle|Sierpinski Triangle पर n और k निर्देशांक मैप करके निर्दिष्ट किया गया है।
अधिक सीधे तौर पर, दो सेटों में संबंधित भावों के परिणामों के द्विआधारी प्रतिनिधित्व में 1 की स्थिति होती है:
इन दो सेटों को इंटरसेक्ट करके एक बिटवाइज़ AND ऑपरेशन की नकल की जा सकती है:
बिग ओ नोटेशन | ओ (1) समय में दूसरी तरह की स्टर्लिंग संख्या की समानता प्राप्त करने के लिए। स्यूडोकोड में:
कहाँ आइवरसन ब्रैकेट है।
दूसरी तरह की केंद्रीय स्टर्लिंग संख्या की समता विषम है अगर और केवल अगर एक फाइबिनरी संख्या है, एक संख्या जिसका बाइनरी प्रतिनिधित्व में लगातार दो 1s नहीं होते हैं।[12]
सरल पहचान
कुछ साधारण पहचान शामिल हैं
ऐसा इसलिए है क्योंकि n तत्वों को विभाजित करना n − 1 सेट का अर्थ आवश्यक रूप से इसे आकार 2 के एक सेट में विभाजित करना है और n − 2 आकार 1 के सेट। इसलिए हमें केवल उन दो तत्वों को चुनने की आवश्यकता है;
और
इसे देखने के लिए, पहले ध्यान दें कि 2 हैंn पूरक उपसमुच्चय A और B के आदेशित जोड़े। एक मामले में, 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) कहीं और वार्ड संख्या के रूप में और Mahler बहुपदों के गुणांकों के परिमाण के रूप में दिखाई देते हैं।
दूसरी तरह की घटी हुई स्टर्लिंग संख्या
एन ऑब्जेक्ट्स को पूर्णांक 1, 2, ..., एन द्वारा विभाजित करने के लिए निरूपित करें। दूसरी तरह की घटी हुई स्टर्लिंग संख्या को निरूपित करें , पूर्णांक 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.