द्विक भाज्य: Difference between revisions
(Created page with "{{Short description|Mathematical function}} {{hatnote|The double factorial should not be confused with the factorial function iterated twice {{OEIS|id=A000197}}, which is...") |
No edit summary |
||
| Line 7: | Line 7: | ||
जबकि विषम के लिए {{mvar|n}} यह है | जबकि विषम के लिए {{mvar|n}} यह है | ||
<math display="block">n!! = \prod_{k=1}^\frac{n+1}{2} (2k-1) = n(n-2)(n-4)\cdots 3\cdot 1 \,.</math> | <math display="block">n!! = \prod_{k=1}^\frac{n+1}{2} (2k-1) = n(n-2)(n-4)\cdots 3\cdot 1 \,.</math> | ||
उदाहरण के लिए, {{math|9‼ {{=}} 9 × 7 × 5 × 3 × 1 {{=}} 945}}. शून्य डबल फैक्टोरियल {{math|0‼ {{=}} 1}} | उदाहरण के लिए, {{math|9‼ {{=}} 9 × 7 × 5 × 3 × 1 {{=}} 945}}. शून्य डबल फैक्टोरियल {{math|0‼ {{=}} 1}} [[खाली उत्पाद]] के रूप में।<ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=डबल फैक्टोरियल|url=https://mathworld.wolfram.com/DoubleFactorial.html|access-date=2020-09-10|website=mathworld.wolfram.com|language=en}}</ref><ref>{{Cite web|title=Double Factorials and Multifactorials {{!}} Brilliant Math & Science Wiki|url=https://brilliant.org/wiki/double-factorials-and-multifactorials/|access-date=2020-09-10|website=brilliant.org|language=en-us}}</ref> | ||
सम के लिए दोहरे भाज्यों का क्रम {{mvar|n}} = {{math|0, 2, 4, 6, 8,...}} के रूप में प्रारंभ होता है | सम के लिए दोहरे भाज्यों का क्रम {{mvar|n}} = {{math|0, 2, 4, 6, 8,...}} के रूप में प्रारंभ होता है | ||
{{block indent|{{math|1, 2, 8, 48, 384, 3840, 46080, 645120, ...}} {{OEIS|id=A000165}} }} | {{block indent|{{math|1, 2, 8, 48, 384, 3840, 46080, 645120, ...}} {{OEIS|id=A000165}} }} | ||
| Line 33: | Line 33: | ||
| volume = 86 | | volume = 86 | ||
| year = 1999}}</ref> | | year = 1999}}</ref> | ||
==इतिहास और उपयोग== | ==इतिहास और उपयोग== | ||
1902 के | 1902 के पेपर में, भौतिक विज्ञानी [[आर्थर शूस्टर]] ने लिखा:<ref>{{cite journal | ||
| last = Schuster | first = Arthur | | last = Schuster | first = Arthur | ||
| doi = 10.1098/rspl.1902.0068 | doi-access = free | | doi = 10.1098/rspl.1902.0068 | doi-access = free | ||
| Line 63: | Line 61: | ||
}}</ref> बताता है कि डबल फैक्टोरियल को मूल रूप से [[वालिस उत्पाद]] की व्युत्पत्ति में उत्पन्न होने वाले त्रिकोणमितीय कार्यों के अभिन्न अंग की कुछ सूची की अभिव्यक्ति को सरल बनाने के लिए पेश किया गया था। एन-गोले के आयतन को व्यक्त करने में डबल फैक्टोरियल भी उत्पन्न होते हैं, और गणनात्मक कॉम्बिनेटरिक्स में उनके कई अनुप्रयोग हैं।<ref name="callan"/><ref name="dm93"/>वे विद्यार्थी के t-वितरण|छात्र में होते हैं {{mvar|t}}-वितरण (1908), हालांकि [[विलियम सीली गॉसेट]] ने दोहरे विस्मयादिबोधक बिंदु संकेतन का उपयोग नहीं किया। | }}</ref> बताता है कि डबल फैक्टोरियल को मूल रूप से [[वालिस उत्पाद]] की व्युत्पत्ति में उत्पन्न होने वाले त्रिकोणमितीय कार्यों के अभिन्न अंग की कुछ सूची की अभिव्यक्ति को सरल बनाने के लिए पेश किया गया था। एन-गोले के आयतन को व्यक्त करने में डबल फैक्टोरियल भी उत्पन्न होते हैं, और गणनात्मक कॉम्बिनेटरिक्स में उनके कई अनुप्रयोग हैं।<ref name="callan"/><ref name="dm93"/>वे विद्यार्थी के t-वितरण|छात्र में होते हैं {{mvar|t}}-वितरण (1908), हालांकि [[विलियम सीली गॉसेट]] ने दोहरे विस्मयादिबोधक बिंदु संकेतन का उपयोग नहीं किया। | ||
==[[ कारख़ाने का ]] से संबंध== | ==[[ कारख़ाने का | कारख़ाने का]] से संबंध== | ||
क्योंकि डबल फैक्टोरियल में साधारण फैक्टोरियल के केवल आधे कारक शामिल होते हैं, इसका मूल्य फैक्टोरियल के वर्गमूल से काफी बड़ा नहीं होता है {{math|''n''!}}, और यह पुनरावृत्त फैक्टोरियल से बहुत छोटा है {{math|(''n''!)!}}. | क्योंकि डबल फैक्टोरियल में साधारण फैक्टोरियल के केवल आधे कारक शामिल होते हैं, इसका मूल्य फैक्टोरियल के वर्गमूल से काफी बड़ा नहीं होता है {{math|''n''!}}, और यह पुनरावृत्त फैक्टोरियल से बहुत छोटा है {{math|(''n''!)!}}. | ||
| Line 93: | Line 91: | ||
==गणनात्मक संयोजन विज्ञान में अनुप्रयोग== | ==गणनात्मक संयोजन विज्ञान में अनुप्रयोग== | ||
[[File:Unordered binary trees with 4 leaves.svg|thumb|300px|चार लेबल वाली पत्तियों के सेट पर पंद्रह अलग-अलग जड़ वाले बाइनरी पेड़ (अव्यवस्थित बच्चों के साथ), सचित्र {{math|15 {{=}} (2 × 4 − 3)‼}} (लेख पाठ देखें)।]]डबल फैक्टोरियल इस तथ्य से प्रेरित होते हैं कि वे गणनात्मक कॉम्बिनेटरिक्स और अन्य सेटिंग्स में अक्सर होते हैं। उदाहरण के लिए, {{math|''n''‼}} के विषम मानों के लिए {{mvar|n}} मायने रखता है | [[File:Unordered binary trees with 4 leaves.svg|thumb|300px|चार लेबल वाली पत्तियों के सेट पर पंद्रह अलग-अलग जड़ वाले बाइनरी पेड़ (अव्यवस्थित बच्चों के साथ), सचित्र {{math|15 {{=}} (2 × 4 − 3)‼}} (लेख पाठ देखें)।]]डबल फैक्टोरियल इस तथ्य से प्रेरित होते हैं कि वे गणनात्मक कॉम्बिनेटरिक्स और अन्य सेटिंग्स में अक्सर होते हैं। उदाहरण के लिए, {{math|''n''‼}} के विषम मानों के लिए {{mvar|n}} मायने रखता है | ||
*संपूर्ण ग्राफ़ का उत्तम मिलान {{math|''K''<sub>''n'' + 1</sub>}} विषम के लिए {{mvar|n}}. ऐसे ग्राफ़ में, किसी | *संपूर्ण ग्राफ़ का उत्तम मिलान {{math|''K''<sub>''n'' + 1</sub>}} विषम के लिए {{mvar|n}}. ऐसे ग्राफ़ में, किसी शीर्ष पर v होता है {{mvar|n}} शीर्ष के संभावित विकल्प जिनसे इसका मिलान किया जा सकता है, और बार यह विकल्प बन जाने के बाद शेष समस्या दो कम शीर्षों के साथ पूर्ण ग्राफ़ में पूर्ण मिलान का चयन करने में से है। उदाहरण के लिए, चार शीर्षों ए, बी, सी और डी वाले पूर्ण ग्राफ में तीन पूर्ण मिलान होते हैं: एबी और सीडी, एसी और बीडी, और विज्ञापन और बीसी।<ref name="callan"/>पूर्ण मिलान को कई अन्य समकक्ष तरीकों से वर्णित किया जा सकता है, जिसमें सेट पर निश्चित बिंदुओं के बिना इनवोल्यूशन (गणित) शामिल है {{math|''n'' + 1}} आइटम ([[क्रमपरिवर्तन]] जिसमें प्रत्येक चक्र जोड़ी है)<ref name="callan"/>या कॉर्ड आरेख (गणित) (एक सेट की जीवा के सेट {{math|''n'' + 1}} बिंदु वृत्त पर समान रूप से इस प्रकार स्थित होते हैं कि प्रत्येक बिंदु ठीक जीवा का अंतिम बिंदु होता है, जिसे [[रिचर्ड ब्रौएर]] आरेख भी कहा जाता है)।<ref name="dm93"/><ref>{{cite book|title=क्रमपरिवर्तन और शब्दों में पैटर्न|series=EATCS Monographs in Theoretical Computer Science |first=Sergey|last=Kitaev|publisher=Springer|year=2011|isbn=9783642173332|page=96|url=https://books.google.com/books?id=JgQHtgR5N60C&pg=PA96}}</ref><ref>{{cite journal | ||
| last1 = Dale | first1 = M. R. T. | | last1 = Dale | first1 = M. R. T. | ||
| last2 = Narayana | first2 = T. V. | | last2 = Narayana | first2 = T. V. | ||
| Line 114: | Line 112: | ||
| volume = 12 | | volume = 12 | ||
| year = 2005| pmid = 16201918}}</ref> | | year = 2005| pmid = 16201918}}</ref> | ||
*[[स्टर्लिंग क्रमपरिवर्तन]], संख्याओं के बहुसमूह का क्रमपरिवर्तन {{math|1, 1, 2, 2, ..., {{mvar|k}}, {{mvar|k}}}} जिसमें समान संख्याओं के प्रत्येक जोड़े को केवल बड़ी संख्याओं द्वारा अलग किया जाता है, जहां {{math|''k'' {{=}} {{sfrac|''n'' + 1|2}}}}. की दो प्रतियाँ {{mvar|k}} आसन्न होना चाहिए; उन्हें क्रमपरिवर्तन से हटाने पर | *[[स्टर्लिंग क्रमपरिवर्तन]], संख्याओं के बहुसमूह का क्रमपरिवर्तन {{math|1, 1, 2, 2, ..., {{mvar|k}}, {{mvar|k}}}} जिसमें समान संख्याओं के प्रत्येक जोड़े को केवल बड़ी संख्याओं द्वारा अलग किया जाता है, जहां {{math|''k'' {{=}} {{sfrac|''n'' + 1|2}}}}. की दो प्रतियाँ {{mvar|k}} आसन्न होना चाहिए; उन्हें क्रमपरिवर्तन से हटाने पर क्रमपरिवर्तन निकलता है जिसमें अधिकतम तत्व होता है {{math|''k'' − 1}}, साथ {{mvar|n}} वह स्थिति जिसमें आसन्न जोड़ी {{mvar|k}} मान रखे जा सकते हैं. इस पुनरावर्ती निर्माण से, प्रमाण मिलता है कि स्टर्लिंग क्रमपरिवर्तन को प्रेरण के बाद दोहरे क्रमपरिवर्तन द्वारा गिना जाता है।<ref name="callan"/>वैकल्पिक रूप से, इस प्रतिबंध के बजाय कि किसी जोड़ी के बीच का मान इससे बड़ा हो सकता है, कोई इस मल्टीसेट के क्रमपरिवर्तन पर भी विचार कर सकता है जिसमें प्रत्येक जोड़ी की पहली प्रतियां क्रमबद्ध क्रम में दिखाई देती हैं; ऐसा क्रमपरिवर्तन मिलान को परिभाषित करता है {{math|2''k''}} क्रमपरिवर्तन की स्थिति, इसलिए फिर से क्रमपरिवर्तन की संख्या को दोहरे क्रमपरिवर्तन द्वारा गिना जा सकता है।<ref name="dm93">{{cite journal | ||
| last1 = Dale | first1 = M. R. T. | | last1 = Dale | first1 = M. R. T. | ||
| last2 = Moon | first2 = J. W. | | last2 = Moon | first2 = J. W. | ||
| Line 125: | Line 123: | ||
| volume = 34 | | volume = 34 | ||
| year = 1993}}</ref> | | year = 1993}}</ref> | ||
*[[ढेर (डेटा संरचना)]]|ढेर-आदेशित पेड़, पेड़ {{math|''k'' + 1}} नोड्स लेबल किए गए {{math|0, 1, 2, ... {{mvar|k}}}}, जैसे कि पेड़ की जड़ में लेबल 0 है, प्रत्येक दूसरे नोड में उसके मूल से बड़ा लेबल होता है, और इस तरह कि प्रत्येक नोड के बच्चों के पास | *[[ढेर (डेटा संरचना)]]|ढेर-आदेशित पेड़, पेड़ {{math|''k'' + 1}} नोड्स लेबल किए गए {{math|0, 1, 2, ... {{mvar|k}}}}, जैसे कि पेड़ की जड़ में लेबल 0 है, प्रत्येक दूसरे नोड में उसके मूल से बड़ा लेबल होता है, और इस तरह कि प्रत्येक नोड के बच्चों के पास निश्चित क्रम होता है। पेड़ की [[यूलर तकनीकी टावर]] (दोगुने किनारों के साथ) स्टर्लिंग क्रमपरिवर्तन देती है, और प्रत्येक स्टर्लिंग क्रमपरिवर्तन इस तरह से पेड़ का प्रतिनिधित्व करता है।<ref name="callan"/><ref>{{cite conference | ||
| last = Janson | first = Svante | author-link = Svante Janson | | last = Janson | first = Svante | author-link = Svante Janson | ||
| arxiv = 0803.1129 | | arxiv = 0803.1129 | ||
| Line 135: | Line 133: | ||
| title = Fifth Colloquium on Mathematics and Computer Science | | title = Fifth Colloquium on Mathematics and Computer Science | ||
| year = 2008| bibcode = 2008arXiv0803.1129J}}</ref> | | year = 2008| bibcode = 2008arXiv0803.1129J}}</ref> | ||
*बिना जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 5|2}}}} लेबल वाली पत्तियाँ। ऐसे प्रत्येक पेड़ को | *बिना जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 5|2}}}} लेबल वाली पत्तियाँ। ऐसे प्रत्येक पेड़ को कम पत्ती वाले पेड़ से, किसी को उप-विभाजित करके बनाया जा सकता है {{mvar|n}} पेड़ के किनारे और नए शीर्ष को नए पत्ते का जनक बनाना। | ||
*जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 3|2}}}} लेबल वाली पत्तियाँ। यह मामला बिना जड़ वाले मामले के समान है, लेकिन किनारों को उप-विभाजित करने की संख्या सम है, और | *जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 3|2}}}} लेबल वाली पत्तियाँ। यह मामला बिना जड़ वाले मामले के समान है, लेकिन किनारों को उप-विभाजित करने की संख्या सम है, और किनारे को उप-विभाजित करने के अलावा कम पत्ती वाले पेड़ में नई जड़ जोड़कर नोड जोड़ना संभव है, जिसके दो बच्चे हैं छोटे पेड़ और नए पत्ते हैं।<ref name="callan"/><ref name="dm93"/> | ||
{{harvtxt|Callan|2009}} और {{harvtxt|Dale|Moon|1993}} समान संयोजन वर्ग के साथ कई अतिरिक्त वस्तुओं की सूची बनाएं, जिनमें ट्रैपेज़ॉइडल शब्द (बढ़ते हुए विषम मूलांक के साथ [[मिश्रित मूलांक]] प्रणाली में [[अंक प्रणाली]]), ऊंचाई-लेबल वाले [[डाइक पथ]], ऊंचाई-लेबल वाले आदेशित पेड़, ओवरहैंग पथ, और निम्नतम का वर्णन करने वाले कुछ वैक्टर शामिल हैं- जड़ वाले बाइनरी ट्री में प्रत्येक नोड का क्रमांकित पत्ता वंशज। [[विशेषण प्रमाण]] के लिए कि इनमें से कुछ वस्तुएँ समसंख्य हैं, देखें {{harvtxt|Rubey|2008}} और {{harvtxt|Marsh|Martin|2011}}.<ref>{{cite conference | {{harvtxt|Callan|2009}} और {{harvtxt|Dale|Moon|1993}} समान संयोजन वर्ग के साथ कई अतिरिक्त वस्तुओं की सूची बनाएं, जिनमें ट्रैपेज़ॉइडल शब्द (बढ़ते हुए विषम मूलांक के साथ [[मिश्रित मूलांक]] प्रणाली में [[अंक प्रणाली]]), ऊंचाई-लेबल वाले [[डाइक पथ]], ऊंचाई-लेबल वाले आदेशित पेड़, ओवरहैंग पथ, और निम्नतम का वर्णन करने वाले कुछ वैक्टर शामिल हैं- जड़ वाले बाइनरी ट्री में प्रत्येक नोड का क्रमांकित पत्ता वंशज। [[विशेषण प्रमाण]] के लिए कि इनमें से कुछ वस्तुएँ समसंख्य हैं, देखें {{harvtxt|Rubey|2008}} और {{harvtxt|Marsh|Martin|2011}}.<ref>{{cite conference | ||
| Line 159: | Line 157: | ||
| year = 2011| s2cid = 7264692 | | year = 2011| s2cid = 7264692 | ||
}}</ref> | }}</ref> | ||
सम दोहरे फैक्टोरियल [[हाइपरऑक्टाहेड्रल समूह]]ों के तत्वों की संख्या देते हैं ([[ अतिविम ]] के हस्ताक्षरित क्रमपरिवर्तन या समरूपता) | सम दोहरे फैक्टोरियल [[हाइपरऑक्टाहेड्रल समूह]]ों के तत्वों की संख्या देते हैं ([[ अतिविम | अतिविम]] के हस्ताक्षरित क्रमपरिवर्तन या समरूपता) | ||
==असिम्प्टोटिक्स== | ==असिम्प्टोटिक्स== | ||
फैक्टोरियल के लिए स्टर्लिंग के सन्निकटन का उपयोग डबल फैक्टोरियल के लिए एसिम्प्टोटिक विश्लेषण प्राप्त करने के लिए किया जा सकता है। विशेषकर, तब से <math>n! \sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^n,</math> | फैक्टोरियल के लिए स्टर्लिंग के सन्निकटन का उपयोग डबल फैक्टोरियल के लिए एसिम्प्टोटिक विश्लेषण प्राप्त करने के लिए किया जा सकता है। विशेषकर, तब से <math>n! \sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^n,</math> के पास जैसा है <math>n</math> उस अनन्त की ओर प्रवृत्त होता है | ||
<math display=block>n!! \sim \begin{cases} | <math display=block>n!! \sim \begin{cases} | ||
| Line 173: | Line 171: | ||
===नकारात्मक तर्क=== | ===नकारात्मक तर्क=== | ||
सामान्य फैक्टोरियल, जब [[गामा फ़ंक्शन]] तक बढ़ाया जाता है, तो प्रत्येक नकारात्मक पूर्णांक पर | सामान्य फैक्टोरियल, जब [[गामा फ़ंक्शन]] तक बढ़ाया जाता है, तो प्रत्येक नकारात्मक पूर्णांक पर [[ध्रुव (जटिल विश्लेषण)]] होता है, जो इन संख्याओं पर फैक्टोरियल को परिभाषित होने से रोकता है। हालाँकि, विषम संख्याओं के दोहरे भाज्य को उसके [[पुनरावृत्ति संबंध]] को उल्टा करके किसी भी नकारात्मक विषम पूर्णांक तर्क तक बढ़ाया जा सकता है | ||
<math display="block">n!! = n \times (n-2)!!</math> | <math display="block">n!! = n \times (n-2)!!</math> | ||
दे देना | दे देना | ||
<math display="block">n!! = \frac{(n+2)!!}{n+2}\,.</math> | <math display="block">n!! = \frac{(n+2)!!}{n+2}\,.</math> | ||
इस उलटे पुनरावृत्ति का उपयोग करते हुए, (−1)!! = 1, (−3)!! = −1, और (−5)!! ={{sfrac|1|3}}; अधिक परिमाण वाली ऋणात्मक विषम संख्याओं में भिन्नात्मक दोहरे भाज्य होते हैं।<ref name="callan"/> | इस उलटे पुनरावृत्ति का उपयोग करते हुए, (−1)!! = 1, (−3)!! = −1, और (−5)!! ={{sfrac|1|3}}; अधिक परिमाण वाली ऋणात्मक विषम संख्याओं में भिन्नात्मक दोहरे भाज्य होते हैं।<ref name="callan"/> विशेषकर, जब {{mvar|n}} विषम संख्या है, इससे पता चलता है | ||
<math display="block">(-n)!! \times n!! = (-1)^\frac{n-1}{2} \times n\,.</math> | <math display="block">(-n)!! \times n!! = (-1)^\frac{n-1}{2} \times n\,.</math> | ||
===जटिल तर्क=== | ===जटिल तर्क=== | ||
की उपरोक्त परिभाषा की अवहेलना करते हुए {{math|''n''!!}} के सम मानों के लिए{{mvar|n}}, विषम पूर्णांकों के लिए दोहरे भाज्य को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{mvar|z}} यह नोट करके कि कब {{mvar|z}} तो | की उपरोक्त परिभाषा की अवहेलना करते हुए {{math|''n''!!}} के सम मानों के लिए{{mvar|n}}, विषम पूर्णांकों के लिए दोहरे भाज्य को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{mvar|z}} यह नोट करके कि कब {{mvar|z}} तो धनात्मक विषम पूर्णांक है<ref>{{cite book|title=Mathematical Methods: For Students of Physics and Related Fields|series=[[Undergraduate Texts in Mathematics]]|first=Sadri|last=Hassani|publisher=Springer|year=2000|isbn=9780387989587|page=266|url=https://books.google.com/books?id=dxSOzeLMij4C&pg=PA266}}</ref><ref>{{cite web|title=Double factorial: Specific values (formula 06.02.03.0005) |publisher=Wolfram Research|date=2001-10-29 |url=http://functions.wolfram.com/06.02.03.0005 |access-date=2013-03-23}}</ref> | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
| Line 200: | Line 198: | ||
{{endplainlist}} | {{endplainlist}} | ||
परिभाषा के रूप में इस सामान्यीकृत सूत्र का उपयोग करते हुए, | परिभाषा के रूप में इस सामान्यीकृत सूत्र का उपयोग करते हुए, [[एन-बॉल का आयतन]] {{mvar|n}}-त्रिज्या का [[आयाम]]ी [[अति क्षेत्र]] {{mvar|R}} के रूप में व्यक्त किया जा सकता है<ref>{{cite journal|title=आणविक डेटाबेस में कुछ आयाम समस्याएं|first=Paul G.|last=Mezey|year=2009|journal=Journal of Mathematical Chemistry|volume=45|issue=1|pages=1–6|doi=10.1007/s10910-008-9365-8|s2cid=120103389}}</ref> | ||
<math display="block">V_n=\frac{2 \left(2\pi\right)^\frac{n-1}{2}}{n!!} R^n\,.</math> | <math display="block">V_n=\frac{2 \left(2\pi\right)^\frac{n-1}{2}}{n!!} R^n\,.</math> | ||
| Line 207: | Line 205: | ||
==अतिरिक्त पहचान== | ==अतिरिक्त पहचान== | ||
के पूर्णांक मानों के लिए {{mvar|n}}, | के पूर्णांक मानों के लिए {{mvar|n}}, | ||
<math display="block">\int_{0}^\frac{\pi}{2}\sin^n x\,dx=\int_{0}^\frac{\pi}{2}\cos^n x\,dx=\frac{(n-1)!!}{n!!}\times | <math display="block">\int_{0}^\frac{\pi}{2}\sin^n x\,dx=\int_{0}^\frac{\pi}{2}\cos^n x\,dx=\frac{(n-1)!!}{n!!}\times | ||
\begin{cases}1 & \text{if } n \text{ is odd} \\ \frac{\pi}{2} & \text{if } n \text{ is even.}\end{cases}</math> | \begin{cases}1 & \text{if } n \text{ is odd} \\ \frac{\pi}{2} & \text{if } n \text{ is even.}\end{cases}</math> | ||
| Line 233: | Line 230: | ||
&= \sum_{k=1}^{n} \frac{(n-1)!}{(k-1)!} k(2k-3)!!\,. | &= \sum_{k=1}^{n} \frac{(n-1)!}{(k-1)!} k(2k-3)!!\,. | ||
\end{align}</math> | \end{align}</math> | ||
दो क्रमागत पूर्णांकों के दोहरे भाज्य के अनुपात का | दो क्रमागत पूर्णांकों के दोहरे भाज्य के अनुपात का अनुमान है | ||
<math display="block"> \frac{(2n)!!}{(2n-1)!!} \approx \sqrt{\pi n}. </math> | <math display="block"> \frac{(2n)!!}{(2n-1)!!} \approx \sqrt{\pi n}. </math> | ||
यह अनुमान और अधिक सटीक हो जाता है {{mvar|n}} बढ़ता है, जिसे वालिस%27_इंटेग्रल्स#डबल फैक्टोरियल अनुपात को कम करने के परिणामस्वरूप देखा जा सकता है। | यह अनुमान और अधिक सटीक हो जाता है {{mvar|n}} बढ़ता है, जिसे वालिस%27_इंटेग्रल्स#डबल फैक्टोरियल अनुपात को कम करने के परिणामस्वरूप देखा जा सकता है। | ||
| Line 252: | Line 249: | ||
===बहुक्रियात्मक का वैकल्पिक विस्तार=== | ===बहुक्रियात्मक का वैकल्पिक विस्तार=== | ||
वैकल्पिक रूप से, बहुघटकीय {{math|''z''!<sub>(''α'')</sub>}} को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{math|''z''}} यह नोट करके कि कब {{math|''z''}} धनात्मक पूर्णांक के धनात्मक गुणज से | वैकल्पिक रूप से, बहुघटकीय {{math|''z''!<sub>(''α'')</sub>}} को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{math|''z''}} यह नोट करके कि कब {{math|''z''}} धनात्मक पूर्णांक के धनात्मक गुणज से अधिक है {{math|''α''}} तब | ||
<math display="block">\begin{align} z!_{(\alpha)} &= z(z-\alpha)\cdots (\alpha+1) \\ | <math display="block">\begin{align} z!_{(\alpha)} &= z(z-\alpha)\cdots (\alpha+1) \\ | ||
| Line 264: | Line 261: | ||
===सामान्यीकृत स्टर्लिंग संख्याएँ बहुक्रियात्मक कार्यों का विस्तार करती हैं=== | ===सामान्यीकृत स्टर्लिंग संख्याएँ बहुक्रियात्मक कार्यों का विस्तार करती हैं=== | ||
प्रथम प्रकार की सामान्यीकृत स्टर्लिंग संख्याओं का | प्रथम प्रकार की सामान्यीकृत स्टर्लिंग संख्याओं का वर्ग परिभाषित किया गया है {{math|''α'' > 0}} निम्नलिखित त्रिकोणीय पुनरावृत्ति संबंध द्वारा: | ||
<math display="block">\left[\begin{matrix} n \\ k \end{matrix} \right]_{\alpha} | <math display="block">\left[\begin{matrix} n \\ k \end{matrix} \right]_{\alpha} | ||
| Line 284: | Line 281: | ||
<math display="block">\sigma_n^{(\alpha)}(x) := \left[\begin{matrix} x \\ x-n \end{matrix} \right]_{(\alpha)} \frac{(x-n-1)!}{x!}</math> | <math display="block">\sigma_n^{(\alpha)}(x) := \left[\begin{matrix} x \\ x-n \end{matrix} \right]_{(\alpha)} \frac{(x-n-1)!}{x!}</math> | ||
के लिए {{math|0 ≤ ''n'' ≤ ''x''}}. इन बहुपदों में | के लिए {{math|0 ≤ ''n'' ≤ ''x''}}. इन बहुपदों में विशेष रूप से अच्छा बंद-रूप वाला साधारण जनरेटिंग फ़ंक्शन दिया गया है | ||
<math display="block">\sum_{n \geq 0} x \cdot \sigma_n^{(\alpha)}(x) z^n = e^{(1-\alpha)z} \left(\frac{\alpha z e^{\alpha z}}{e^{\alpha z}-1}\right)^x\,. </math> | <math display="block">\sum_{n \geq 0} x \cdot \sigma_n^{(\alpha)}(x) z^n = e^{(1-\alpha)z} \left(\frac{\alpha z e^{\alpha z}}{e^{\alpha z}-1}\right)^x\,. </math> | ||
Revision as of 12:10, 8 July 2023
गणित में, किसी संख्या का दोहरा भाज्य n, द्वारा चिह्नित n‼, तक के सभी धनात्मक पूर्णांकों का गुणनफल है n जिसमें समान समता (गणित) (विषम या सम) हो n.[1] वह है,
विषम के लिए दोहरे भाज्यों का क्रम n = 1, 3, 5, 7, 9,... के रूप में प्रारंभ होता है
विषम भाज्य शब्द का प्रयोग कभी-कभी किसी विषम संख्या के दोहरे भाज्य के लिए किया जाता है।[4][5]
इतिहास और उपयोग
1902 के पेपर में, भौतिक विज्ञानी आर्थर शूस्टर ने लिखा:[6]
The symbolical representation of the results of this paper is much facilitated by the introduction of a separate symbol for the product of alternate factors, , if be odd, or if be odd [sic]. I propose to write for such products, and if a name be required for the product to call it the "alternate factorial" or the "double factorial."
Meserve (1948)[7] बताता है कि डबल फैक्टोरियल को मूल रूप से वालिस उत्पाद की व्युत्पत्ति में उत्पन्न होने वाले त्रिकोणमितीय कार्यों के अभिन्न अंग की कुछ सूची की अभिव्यक्ति को सरल बनाने के लिए पेश किया गया था। एन-गोले के आयतन को व्यक्त करने में डबल फैक्टोरियल भी उत्पन्न होते हैं, और गणनात्मक कॉम्बिनेटरिक्स में उनके कई अनुप्रयोग हैं।[1][8]वे विद्यार्थी के t-वितरण|छात्र में होते हैं t-वितरण (1908), हालांकि विलियम सीली गॉसेट ने दोहरे विस्मयादिबोधक बिंदु संकेतन का उपयोग नहीं किया।
कारख़ाने का से संबंध
क्योंकि डबल फैक्टोरियल में साधारण फैक्टोरियल के केवल आधे कारक शामिल होते हैं, इसका मूल्य फैक्टोरियल के वर्गमूल से काफी बड़ा नहीं होता है n!, और यह पुनरावृत्त फैक्टोरियल से बहुत छोटा है (n!)!.
एक सकारात्मक का भाज्य n को दो दोहरे फैक्टोरियल के उत्पाद के रूप में लिखा जा सकता है:[2]
सम गैर-ऋणात्मक पूर्णांक के लिए n = 2k साथ k ≥ 0, दोहरे भाज्य को इस प्रकार व्यक्त किया जा सकता है
गणनात्मक संयोजन विज्ञान में अनुप्रयोग
डबल फैक्टोरियल इस तथ्य से प्रेरित होते हैं कि वे गणनात्मक कॉम्बिनेटरिक्स और अन्य सेटिंग्स में अक्सर होते हैं। उदाहरण के लिए, n‼ के विषम मानों के लिए n मायने रखता है
- संपूर्ण ग्राफ़ का उत्तम मिलान Kn + 1 विषम के लिए n. ऐसे ग्राफ़ में, किसी शीर्ष पर v होता है n शीर्ष के संभावित विकल्प जिनसे इसका मिलान किया जा सकता है, और बार यह विकल्प बन जाने के बाद शेष समस्या दो कम शीर्षों के साथ पूर्ण ग्राफ़ में पूर्ण मिलान का चयन करने में से है। उदाहरण के लिए, चार शीर्षों ए, बी, सी और डी वाले पूर्ण ग्राफ में तीन पूर्ण मिलान होते हैं: एबी और सीडी, एसी और बीडी, और विज्ञापन और बीसी।[1]पूर्ण मिलान को कई अन्य समकक्ष तरीकों से वर्णित किया जा सकता है, जिसमें सेट पर निश्चित बिंदुओं के बिना इनवोल्यूशन (गणित) शामिल है n + 1 आइटम (क्रमपरिवर्तन जिसमें प्रत्येक चक्र जोड़ी है)[1]या कॉर्ड आरेख (गणित) (एक सेट की जीवा के सेट n + 1 बिंदु वृत्त पर समान रूप से इस प्रकार स्थित होते हैं कि प्रत्येक बिंदु ठीक जीवा का अंतिम बिंदु होता है, जिसे रिचर्ड ब्रौएर आरेख भी कहा जाता है)।[8][10][11] पूर्ण ग्राफ़ में मिलान की संख्या, मिलान को पूर्ण होने से रोके बिना, इसके बजाय टेलीफोन नंबर (गणित) द्वारा दी जाती है, जिसे दोहरे फैक्टोरियल वाले योग के रूप में व्यक्त किया जा सकता है।[12]
- स्टर्लिंग क्रमपरिवर्तन, संख्याओं के बहुसमूह का क्रमपरिवर्तन 1, 1, 2, 2, ..., k, k जिसमें समान संख्याओं के प्रत्येक जोड़े को केवल बड़ी संख्याओं द्वारा अलग किया जाता है, जहां k = n + 1/2. की दो प्रतियाँ k आसन्न होना चाहिए; उन्हें क्रमपरिवर्तन से हटाने पर क्रमपरिवर्तन निकलता है जिसमें अधिकतम तत्व होता है k − 1, साथ n वह स्थिति जिसमें आसन्न जोड़ी k मान रखे जा सकते हैं. इस पुनरावर्ती निर्माण से, प्रमाण मिलता है कि स्टर्लिंग क्रमपरिवर्तन को प्रेरण के बाद दोहरे क्रमपरिवर्तन द्वारा गिना जाता है।[1]वैकल्पिक रूप से, इस प्रतिबंध के बजाय कि किसी जोड़ी के बीच का मान इससे बड़ा हो सकता है, कोई इस मल्टीसेट के क्रमपरिवर्तन पर भी विचार कर सकता है जिसमें प्रत्येक जोड़ी की पहली प्रतियां क्रमबद्ध क्रम में दिखाई देती हैं; ऐसा क्रमपरिवर्तन मिलान को परिभाषित करता है 2k क्रमपरिवर्तन की स्थिति, इसलिए फिर से क्रमपरिवर्तन की संख्या को दोहरे क्रमपरिवर्तन द्वारा गिना जा सकता है।[8]
- ढेर (डेटा संरचना)|ढेर-आदेशित पेड़, पेड़ k + 1 नोड्स लेबल किए गए 0, 1, 2, ... k, जैसे कि पेड़ की जड़ में लेबल 0 है, प्रत्येक दूसरे नोड में उसके मूल से बड़ा लेबल होता है, और इस तरह कि प्रत्येक नोड के बच्चों के पास निश्चित क्रम होता है। पेड़ की यूलर तकनीकी टावर (दोगुने किनारों के साथ) स्टर्लिंग क्रमपरिवर्तन देती है, और प्रत्येक स्टर्लिंग क्रमपरिवर्तन इस तरह से पेड़ का प्रतिनिधित्व करता है।[1][13]
- बिना जड़ वाले बाइनरी पेड़ n + 5/2 लेबल वाली पत्तियाँ। ऐसे प्रत्येक पेड़ को कम पत्ती वाले पेड़ से, किसी को उप-विभाजित करके बनाया जा सकता है n पेड़ के किनारे और नए शीर्ष को नए पत्ते का जनक बनाना।
- जड़ वाले बाइनरी पेड़ n + 3/2 लेबल वाली पत्तियाँ। यह मामला बिना जड़ वाले मामले के समान है, लेकिन किनारों को उप-विभाजित करने की संख्या सम है, और किनारे को उप-विभाजित करने के अलावा कम पत्ती वाले पेड़ में नई जड़ जोड़कर नोड जोड़ना संभव है, जिसके दो बच्चे हैं छोटे पेड़ और नए पत्ते हैं।[1][8]
Callan (2009) और Dale & Moon (1993) समान संयोजन वर्ग के साथ कई अतिरिक्त वस्तुओं की सूची बनाएं, जिनमें ट्रैपेज़ॉइडल शब्द (बढ़ते हुए विषम मूलांक के साथ मिश्रित मूलांक प्रणाली में अंक प्रणाली), ऊंचाई-लेबल वाले डाइक पथ, ऊंचाई-लेबल वाले आदेशित पेड़, ओवरहैंग पथ, और निम्नतम का वर्णन करने वाले कुछ वैक्टर शामिल हैं- जड़ वाले बाइनरी ट्री में प्रत्येक नोड का क्रमांकित पत्ता वंशज। विशेषण प्रमाण के लिए कि इनमें से कुछ वस्तुएँ समसंख्य हैं, देखें Rubey (2008) और Marsh & Martin (2011).[14][15] सम दोहरे फैक्टोरियल हाइपरऑक्टाहेड्रल समूहों के तत्वों की संख्या देते हैं ( अतिविम के हस्ताक्षरित क्रमपरिवर्तन या समरूपता)
असिम्प्टोटिक्स
फैक्टोरियल के लिए स्टर्लिंग के सन्निकटन का उपयोग डबल फैक्टोरियल के लिए एसिम्प्टोटिक विश्लेषण प्राप्त करने के लिए किया जा सकता है। विशेषकर, तब से के पास जैसा है उस अनन्त की ओर प्रवृत्त होता है
एक्सटेंशन
नकारात्मक तर्क
सामान्य फैक्टोरियल, जब गामा फ़ंक्शन तक बढ़ाया जाता है, तो प्रत्येक नकारात्मक पूर्णांक पर ध्रुव (जटिल विश्लेषण) होता है, जो इन संख्याओं पर फैक्टोरियल को परिभाषित होने से रोकता है। हालाँकि, विषम संख्याओं के दोहरे भाज्य को उसके पुनरावृत्ति संबंध को उल्टा करके किसी भी नकारात्मक विषम पूर्णांक तर्क तक बढ़ाया जा सकता है
जटिल तर्क
की उपरोक्त परिभाषा की अवहेलना करते हुए n!! के सम मानों के लिएn, विषम पूर्णांकों के लिए दोहरे भाज्य को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है z यह नोट करके कि कब z तो धनात्मक विषम पूर्णांक है[16][17]
अंतिम अभिव्यक्ति ऋणात्मक सम पूर्णांकों को छोड़कर सभी जटिल संख्याओं के लिए परिभाषित की गई है और संतुष्ट करती है (z + 2)!! = (z + 2) · z!!हर जगह इसे परिभाषित किया गया है। गामा फ़ंक्शन के साथ जो सामान्य फैक्टोरियल फ़ंक्शन का विस्तार करता है, यह डबल फैक्टोरियल फ़ंक्शन बोह्र-मोलेरुप प्रमेय के अर्थ में लघुगणकीय रूप से उत्तल है। स्पर्शोन्मुख रूप से, सामान्यीकृत सूत्र के लिए पिछले उत्पाद फ़ॉर्मूले से सहमत नहीं है z!! के गैर-नकारात्मक सम पूर्णांक मानों के लिएz. इसके बजाय, यह सामान्यीकृत सूत्र निम्नलिखित विकल्प का तात्पर्य करता है:
परिभाषा के रूप में इस सामान्यीकृत सूत्र का उपयोग करते हुए, एन-बॉल का आयतन n-त्रिज्या का आयामी अति क्षेत्र R के रूप में व्यक्त किया जा सकता है[18]
अतिरिक्त पहचान
के पूर्णांक मानों के लिए n,
सामान्यीकरण
परिभाषाएँ
उसी प्रकार जिस प्रकार डबल फैक्टोरियल फैक्टोरियल की धारणा को सामान्यीकृत करता है, पूर्णांक-मूल्य वाले एकाधिक फैक्टोरियल फ़ंक्शन (मल्टीफैक्टोरियल) की निम्नलिखित परिभाषा, या α-फैक्टोरियल फ़ंक्शन, सकारात्मक पूर्णांकों के लिए डबल फैक्टरियल फ़ंक्शन की धारणा का विस्तार करता है :
बहुक्रियात्मक का वैकल्पिक विस्तार
वैकल्पिक रूप से, बहुघटकीय z!(α) को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है z यह नोट करके कि कब z धनात्मक पूर्णांक के धनात्मक गुणज से अधिक है α तब
विस्तार के अलावा z!(α) सबसे जटिल संख्याओं के लिएz, इस परिभाषा में सभी सकारात्मक वास्तविक मूल्यों के लिए काम करने की सुविधा हैα. इसके अलावा, जब α = 1, यह परिभाषा गणितीय रूप से समतुल्य है Π(z) फ़ंक्शन, ऊपर वर्णित है। इसके अलावा, कब α = 2, यह परिभाषा गणितीय रूप से #Complex तर्कों के समतुल्य है।
सामान्यीकृत स्टर्लिंग संख्याएँ बहुक्रियात्मक कार्यों का विस्तार करती हैं
प्रथम प्रकार की सामान्यीकृत स्टर्लिंग संख्याओं का वर्ग परिभाषित किया गया है α > 0 निम्नलिखित त्रिकोणीय पुनरावृत्ति संबंध द्वारा:
सामान्यीकृत α-कारकीय बहुपद, σ(α)
n(x) कहाँ σ(1)
n(x) ≡ σn(x), जो स्टर्लिंग बहुपद#स्टर्लिंग कनवल्शन बहुपदों को एकल तथ्यात्मक मामले से बहुकारकीय मामलों तक सामान्यीकृत करता है, द्वारा परिभाषित किया गया है
एकाधिक भाज्य फलनों से युक्त सटीक परिमित योग
लगता है कि n ≥ 1 और α ≥ 2 पूर्णांक-मूल्यवान हैं। फिर हम बहुघटकीय, या को शामिल करते हुए अगले एकल परिमित योगों का विस्तार कर सकते हैं α-फैक्टोरियल फ़ंक्शन, (αn − 1)!(α), पोचहैमर प्रतीक और सामान्यीकृत, तर्कसंगत-मूल्यवान द्विपद गुणांक के संदर्भ में
संदर्भ
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 Callan, David (2009). "डबल फैक्टोरियल के लिए पहचानों का एक संयुक्त सर्वेक्षण". arXiv:0906.1317 [math.CO].
- ↑ 2.0 2.1 Weisstein, Eric W. "डबल फैक्टोरियल". mathworld.wolfram.com (in English). Retrieved 2020-09-10.
- ↑ "Double Factorials and Multifactorials | Brilliant Math & Science Wiki". brilliant.org (in English). Retrieved 2020-09-10.
- ↑ Henderson, Daniel J.; Parmeter, Christopher F. (2012). "Canonical higher-order kernels for density derivative estimation". Statistics & Probability Letters. 82 (7): 1383–1387. doi:10.1016/j.spl.2012.03.013. MR 2929790.
- ↑ Nielsen, B. (1999). "The likelihood-ratio test for rank in bivariate canonical correlation analysis". Biometrika. 86 (2): 279–288. doi:10.1093/biomet/86.2.279. MR 1705359.
- ↑ Schuster, Arthur (1902). "On some definite integrals and a new method of reducing a function of spherical co-ordinates to a series of spherical harmonics". Proceedings of the Royal Society of London. 71 (467–476): 97–101. doi:10.1098/rspl.1902.0068. JSTOR 116355. See in particular p. 99.
- ↑ 7.0 7.1 Meserve, B. E. (1948). "Classroom Notes: Double Factorials". The American Mathematical Monthly. 55 (7): 425–426. doi:10.2307/2306136. JSTOR 2306136. MR 1527019.
- ↑ 8.0 8.1 8.2 8.3 Dale, M. R. T.; Moon, J. W. (1993). "The permuted analogues of three Catalan sets". Journal of Statistical Planning and Inference. 34 (1): 75–87. doi:10.1016/0378-3758(93)90035-5. MR 1209991.
- ↑ Gould, Henry; Quaintance, Jocelyn (2012). "Double fun with double factorials". Mathematics Magazine. 85 (3): 177–192. doi:10.4169/math.mag.85.3.177. MR 2924154. S2CID 117120280.
- ↑ Kitaev, Sergey (2011). क्रमपरिवर्तन और शब्दों में पैटर्न. EATCS Monographs in Theoretical Computer Science. Springer. p. 96. ISBN 9783642173332.
- ↑ Dale, M. R. T.; Narayana, T. V. (1986). "A partition of Catalan permuted sequences with applications". Journal of Statistical Planning and Inference. 14 (2): 245–249. doi:10.1016/0378-3758(86)90161-8. MR 0852528.
- ↑ Tichy, Robert F.; Wagner, Stephan (2005). "Extremal problems for topological indices in combinatorial chemistry" (PDF). Journal of Computational Biology. 12 (7): 1004–1013. doi:10.1089/cmb.2005.12.1004. PMID 16201918.
- ↑ Janson, Svante (2008). "Plane recursive trees, Stirling permutations and an urn model". Fifth Colloquium on Mathematics and Computer Science. Discrete Math. Theor. Comput. Sci. Proc., AI. Assoc. Discrete Math. Theor. Comput. Sci., Nancy. pp. 541–547. arXiv:0803.1129. Bibcode:2008arXiv0803.1129J. MR 2508813.
- ↑ Rubey, Martin (2008). "Nestings of matchings and permutations and north steps in PDSAWs". 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008). Discrete Math. Theor. Comput. Sci. Proc., AJ. Assoc. Discrete Math. Theor. Comput. Sci., Nancy. pp. 691–704. MR 2721495.
- ↑ Marsh, Robert J.; Martin, Paul (2011). "Tiling bijections between paths and Brauer diagrams". Journal of Algebraic Combinatorics. 33 (3): 427–453. arXiv:0906.0912. doi:10.1007/s10801-010-0252-6. MR 2772541. S2CID 7264692.
- ↑ Hassani, Sadri (2000). Mathematical Methods: For Students of Physics and Related Fields. Undergraduate Texts in Mathematics. Springer. p. 266. ISBN 9780387989587.
- ↑ "Double factorial: Specific values (formula 06.02.03.0005)". Wolfram Research. 2001-10-29. Retrieved 2013-03-23.
- ↑ Mezey, Paul G. (2009). "आणविक डेटाबेस में कुछ आयाम समस्याएं". Journal of Mathematical Chemistry. 45 (1): 1–6. doi:10.1007/s10910-008-9365-8. S2CID 120103389.
- ↑ Dassios, George; Kiriaki, Kiriakie (1987). "A useful application of Gauss theorem". Bulletin de la Société Mathématique de Grèce. 28 (A): 40–43. MR 0935868.
- ↑ Schmidt, Maxie D. (2010). "सामान्यीकृत जे-फैक्टोरियल फ़ंक्शंस, बहुपद और अनुप्रयोग". J. Integer Seq. 13.
- ↑ Triana, Juan; De Castro, Rodrigo (2019). "औपचारिक व्युत्पन्न ऑपरेटर और बहुक्रियात्मक संख्याएँ". Revista Colombiana de Matemáticas. 53 (2): 125–137. doi:10.15446/recolma.v53n2.85522. ISSN 0034-7426.
- ↑ Schmidt, Maxie D. (2018). "सामान्यीकृत तथ्यात्मक कार्यों के लिए नई सर्वांगसमताएँ और परिमित अंतर समीकरण" (PDF). Integers. 18: A78:1–A78:34. arXiv:1701.04741. MR 3862591.