दूसरे प्रकार की स्टर्लिंग संख्याएँ

From Vigyanwiki

गणित में, विशेष रूप से साहचर्य में, दूसरी प्रकार की स्टर्लिंग संख्या (या स्टर्लिंग विभाजन संख्या) 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वें बेल संख्या के रूप में जाना जाता है।

तुलनात्मक रूप से, क्रमित बेल संख्याओं की गणना दूसरे प्रकार के स्टर्लिंग संख्याओं से की जा सकती है

[10]


तालिका मान

नीचे दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए मानों की त्रिकोणीय सारणी दी गई है :

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 होंगी।

गुणधर्म

पुनरावृत्ति संबंध

दूसरी प्रकार की स्टर्लिंग संख्याएँ पुनरावृत्ति संबंध का पालन करती हैं

प्रारंभिक शर्तों के साथ

उदाहरण के लिए संख्या 25 में कॉलम k=3 और 25 = 7 + (3×6) द्वारा पंक्ति n = 5 दी गई है जहां ऊपर की संख्या 7 है और 25 के बाईं ओर है तथा 25 से ऊपर की संख्या 6 है और जिसमें 6 है, वह कॉलम 3 है।

इस पुनरावृत्ति को सिद्ध करने के लिए देखें कि ऑब्जेक्ट्स के k अरिक्त उपसमुच्चय विभाजन में या तो -वें ऑब्जेक्ट एकल के रूप में होता है या नहीं। एकल उपसमुच्चयों में से एक होने के तरीकों की संख्या द्वारा दी गई है

चूँकि हमें शेष n ऑब्जेक्ट को उपलब्ध उपसमुच्चय में विभाजित करना होगा। दूसरी स्थिति में -वें ऑब्जेक्ट अन्य उपसमुच्चय के ऑब्जेक्ट्स से संबंधित है। तरीकों की संख्या द्वारा दिया गया है

चूंकि हम -वें के अतिरिक्त अन्य सभी ऑब्जेक्ट्स को k उपसमुच्चय में विभाजित करते हैं और फिर हमारे पास ऑब्जेक्ट प्रविष्ट करने के लिए k विकल्पों के साथ छोड़ दिया जाता है। इन दो मानों का योग वांछित परिणाम देता है।

विविक्त गणित के खंड 6.1 की तालिका स्टर्लिंग संख्याओं को सम्मिलित करने वाले परिमित योगों के सामान्यीकृत रूपों की अधिकता प्रदान करती है। इस लेख के लिए प्रासंगिक कई विशेष परिमित राशियों में सम्मिलित हैं।

निचला और ऊपरी सीमा

अगर और , तब

[11]

अधिकतम

निर्धारित , के लिए एकल अधिकतम है, जो k के अधिकतम दो निरंतर मानों के लिए प्राप्त किया जाता है। अर्थात् एक पूर्णांक ऐसा है कि

जब बड़ी है

और दूसरी तरह की स्टर्लिंग संख्या का अधिकतम मान है

[11]

समता

दूसरे प्रकार की स्टर्लिंग संख्या की समता (गणित) संबंधित द्विपद गुणांक की समता के समान होती है:

कहाँ

यह संबंध सियरपिंस्की त्रिभुज पर मानचित्रण n और k निर्देशांक द्वारा निर्दिष्ट किया गया है।

अधिकतम प्रत्यक्ष रूप से, दो समुच्चयों में संबंधित व्यंजकों के परिणामों के द्विआधारी प्रतिनिधित्व में 1 की स्थिति होती है:

इन दो समुच्चयों को प्रतिच्छेद करके एक बिटवाइज़ एंड ऑपरेशन की नकल की जा सकती है:

O(1) समय में दूसरी प्रकार की स्टर्लिंग संख्या की समता प्राप्त करने के लिए। स्यूडोकोड में:

जहाँ आइवरसन कोष्ठक है।

दूसरे प्रकार के की केंद्रीय स्टर्लिंग संख्या की समता विषम होती है यदि एक फ़िबिनरी संख्या है जिसका द्विआधारी प्रतिनिधित्व कोई दो निरंतर 1s नहीं हैं।[12]

सरल सर्वसमिका

कुछ साधारण सर्वसमिका सम्मिलित हैं

ऐसा इसलिए है क्योंकि n तत्वों को n − 1 समुच्चय में विभाजित करने का अर्थ है कि इसे आकार 2 के एक समुच्चय और आकार 1 के n − 2 समुच्चय में विभाजित करना। इसलिए हमें केवल उन दो तत्वों का चयन करने की आवश्यकता है;

और

इसे देखने के लिए, सर्वप्रथम ध्यान दें कि पूरक उपसमुच्चय A और B के 2n क्रमित युग्म हैं। प्रथम स्थिति में A रिक्त तथा द्वितीय स्थिति में B रिक्त है, इसलिए 2n − 2 उपसमुच्चय के क्रमित युग्म बने रहते हैं। अंत में, चूंकि हमें क्रमित युग्म के स्थान पर अव्यवस्थित युग्म आवश्यकता होती हैं, इसलिए हम ऊपर दिए गए परिणाम को देते हुए इस अंतिम संख्या को 2 से विभाजित करते हैं।

पुनरावृत्ति-संबंध का एक और स्पष्ट विस्तार उपर्युक्त उदाहरण की भावना में सर्वसमिका देता है।

अन्य पहचान

इन उदाहरणों को पुनरावृत्ति द्वारा संक्षेपित किया जा सकता है

स्पष्ट सूत्र

दूसरी प्रकार की स्टर्लिंग संख्याएँ स्पष्ट सूत्र द्वारा दी गई हैं:

इसे n से k तक के अनुमानों की संख्या की गणना करने के लिए समावेशन-निष्‍कासन तथा इस तथ्य का उपयोग करके प्राप्त किया जा सकता है कि ऐसे अनुमानों की संख्या है।

इसके अतिरिक्त यह सूत्र x = 0 पर मूल्यांकन किए गए एकपद के kवें अग्रगामी अंतर की एक विशेष स्थिति है:

क्योंकि बर्नौली बहुपदों को इन आगे के अंतरों के संदर्भ में लिखा जा सकता है, जिससे बर्नौली संख्याओं में तत्काल एक संबंध प्राप्त होता है:

गणितीय फलन की एनआईएसटी हैंडबुक में दिया गया एक और स्पष्ट सूत्र है

फलनों का निर्माण

एक निश्चित पूर्णांक n के लिए, दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए सामान्य फलनों का निर्माण द्वारा दिया गया है

जहाँ टचर्ड बहुपद हैं। यदि इसके स्थान पर घटते भाज्य के विरुद्ध स्टर्लिंग संख्याओं का योग किया जाए, तो अन्य सर्वसमिकाओं के मध्य निम्नलिखित सर्वसमिकाओं को प्रदर्शित किया जा सकता है:

और

एक निश्चित पूर्णांक k के लिए, दूसरी प्रकार की की स्टर्लिंग संख्या में एक परिमय साधारण जनरेटिंग फ़ंक्शन होता है

और इसके द्वारा दिया गया एक घातीय जनरेटिंग फ़ंक्शन है

दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए एक मिश्रित द्विभाजित जनरेटिंग फ़ंक्शन है

स्पर्शोन्मुख सन्निकटन

के निश्चित मान के लिए दूसरी प्रकार की स्टर्लिंग संख्याओं का स्पर्शोन्मुख मान द्वारा दिया गया है

दूसरी ओर, यदि (जहाँ o छोटे o संकेतन को दर्शाता है) तब

[13]

एक समान रूप से मान्य सन्निकटन भी उपस्थित है: सभी k के लिए जैसे कि 1 < k < n, किसी के पास

जहाँ , और , अद्वितीय हल है।[14] सापेक्ष त्रुटि लगभग से बंधी है।

अनुप्रयोग

प्वासों वितरण के क्षण

यदि X अपेक्षित मान λ के साथ प्वासों वितरण के साथ एक यादृच्छिक चर है, तो इसका n-वाँ क्षण (गणित) है

विशेष रूप से अपेक्षित मान 1 के साथ प्वासों वितरण का nवां क्षण आकार n के एक समुच्चय की विभाजन संख्या है, अर्थात, यह nवां बेल संख्या है (यह तथ्य डोबिन्स्की का सूत्र है)।

यादृच्छिक क्रमचय के निश्चित बिंदुओं के क्षण

बता दें कि यादृच्छिक चर X आकार m के परिमित समुच्चय के समान रूप से वितरित यादृच्छिक क्रमचय के निश्चित बिंदुओं की संख्या है। इस प्रकार X का nवां क्षण है

नोट: संकलन की ऊपरी सीमा m है।

दूसरे शब्दों में, इस प्रायिकता बंटन का nवाँ क्षण आकार n के समुच्चय विभाजनों की संख्या है जो m भागों से अधिक नहीं है। यह यादृच्छिक क्रमचय सांख्यिकी पर लेख में सिद्ध किया गया है, यद्यपि अंकन थोड़ा भिन्न है।

अंत्यानुप्रासवाला योजनाएँ

दूसरी प्रकार की स्टर्लिंग संख्याएँ n पंक्तियों की कविता के लिए तुकबंदी योजनाओं की कुल संख्या का प्रतिनिधित्व कर सकती हैं। k अद्वितीय अंत्यानुप्रासवाला शब्दांशों का उपयोग करके n पंक्तियों के लिए संभावित अंत्यानुप्रासवाला योजनाओं की संख्या देता है। एक उदाहरण के रूप में, 3 पंक्तियों की एक कविता के लिए, केवल एक कविता (एएए) का उपयोग करके 1 कविता योजना है तथा 3 तुकबंदी योजनाएँ दो तुकबंदी (एएबी, एबीए, एबीबी) और 1 कविता योजना तीन तुकबंदी (एबीसी) का उपयोग करती हैं।

परिवर्त्य

दूसरी प्रकार की संबद्ध स्टर्लिंग संख्याएँ

दूसरे प्रकार की एक r-संबद्ध स्टर्लिंग संख्या, n आब्जेक्ट के एक समुच्चय को k उपसमुच्चय में विभाजित करने के तरीकों की संख्या है, जिसमें प्रत्येक उपसमुच्चय में कम से कम r तत्व होते हैं।[15] इसे द्वारा निरूपित किया जाता है तथा यह पुनरावृत्ति संबंध का पालन करता है

2-संबद्ध संख्याएँ अन्यत्र वार्ड संख्या के रूप में और महलार बहुपदों के गुणांकों के परिमाण के रूप में दिखाई देती हैं।

दूसरी प्रकार की न्यूनीकृत स्टर्लिंग संख्या

पूर्णांक 1, 2, ..., n द्वारा विभाजन के लिए n ऑब्जेक्ट को निरूपित करें। पूर्णांक 1, 2, ..., n को k अरिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या होने के लिए दूसरे प्रकार की न्यूनीकृत स्टर्लिंग संख्या को के रूप में परिभाषित करें जिससे कि प्रत्येक उपसमुच्चय में सभी तत्वों की युग्मानूसार दूरी कम से कम d हो। अर्थात किसी दिए गए उपसमुच्चय में किसी भी पूर्णांक i और j के लिए यह . आवश्यक है।

(इसलिए नाम घटाया गया)।[16] यह दिखाया गया है कि ये संख्याएँ संतुष्ट करती हैं ।ध्यान दें (दोनों परिभाषा और न्यूनीकरण सूत्र द्वारा), कि दूसरी प्रकार की परिचित स्टर्लिंग संख्या है।

यह भी देखें

संदर्भ

  1. Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) Concrete Mathematics, Addison–Wesley, Reading MA. ISBN 0-201-14236-8, p. 244.
  2. "Stirling Numbers of the Second Kind, Theorem 3.4.1".
  3. Confusingly, the notation that combinatorialists use for falling factorials coincides with the notation used in special functions for rising factorials; see Pochhammer symbol.
  4. 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.
  5. Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, Giornale di Matematiche di Battaglini 90 (1962), pp. 44–54.
  6. 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
  7. Donald E. Knuth, Fundamental Algorithms, Reading, Mass.: Addison–Wesley, 1968.
  8. p. 66, Donald E. Knuth, Fundamental Algorithms, 3rd ed., Reading, Mass.: Addison–Wesley, 1997.
  9. Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, Mathematica (Cluj) 9 (1935), pp, 164–178.
  10. 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. 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.
  12. 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
  13. L. C. Hsu, Note on an Asymptotic Expansion of the nth Difference of Zero, AMS Vol.19 NO.2 1948, pp. 273--277
  14. N. M. Temme, Asymptotic Estimates of Stirling Numbers, STUDIES IN APPLIED MATHEMATICS 89:233-243 (1993), Elsevier Science Publishing.
  15. L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 222.
  16. A. Mohr and T.D. Porter, Applications of Chromatic Polynomials Involving Stirling Numbers, Journal of Combinatorial Mathematics and Combinatorial Computing 70 (2009), 57–64.