अवरोही और आरोही भाज्य: Difference between revisions

From Vigyanwiki
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 38: Line 38:
</ref>
</ref>


इस लेख में प्रतीक {{math|(''x''){{sub|''n''}}}} का उपयोग अवरोही फैक्टोरियल और प्रतीक को दर्शाने के लिए किया जाता है {{math|''x''{{sup|(''n'')}}}} का उपयोग बढ़ते फैक्टोरियल के लिए किया जाता है। इन सम्मेलनों का उपयोग [[साहचर्य]] में किया जाता है,<ref>
इस लेख में प्रतीक {{math|(''x''){{sub|''n''}}}} का उपयोग अवरोही भाज्य और प्रतीक को दर्शाने के लिए किया जाता है {{math|''x''{{sup|(''n'')}}}} का उपयोग बढ़ते भाज्य के लिए किया जाता है। इन सम्मेलनों का उपयोग [[साहचर्य]] में किया जाता है,<ref>
{{cite book
{{cite book
  |last=Olver |first=P.J. |author-link=Peter J. Olver
  |last=Olver |first=P.J. |author-link=Peter J. Olver
Line 60: Line 60:
</ref>
</ref>


[[विशेष कार्य]] के सिद्धांत में (विशेष रूप से [[हाइपरजियोमेट्रिक फ़ंक्शन|हाइपरजियोमेट्रिक फलन]]) और मानक संदर्भ कार्य [[अब्रामोविट्ज़ और स्टेगन]] में, पोचहैमर प्रतीक {{math|(''x''){{sub|''n''}}}} का उपयोग बढ़ते फैक्टोरियल को दर्शाने के लिए किया जाता है।<ref>
[[विशेष कार्य]] के सिद्धांत में (विशेष रूप से [[हाइपरजियोमेट्रिक फ़ंक्शन|हाइपरजियोमेट्रिक फलन]]) और मानक संदर्भ कार्य [[अब्रामोविट्ज़ और स्टेगन]] में, पोचहैमर प्रतीक {{math|(''x''){{sub|''n''}}}} का उपयोग बढ़ते भाज्य को दर्शाने के लिए किया जाता है।<ref>
{{cite book
{{cite book
  |editor1=Abramowitz, Milton
  |editor1=Abramowitz, Milton
Line 84: Line 84:
</ref>                                                                                                                                                                                                                             
</ref>                                                                                                                                                                                                                             


जब {{mvar|x}} धनात्मक पूर्णांक है, {{math|(''x''){{sub|''n''}}}} k-क्रमपरिवर्तन की संख्या देता है | {{mvar|n}}-एक से क्रमपरिवर्तन (विभिन्न तत्वों का अनुक्रम) {{mvar|x}}-तत्व समुच्चय, या समकक्ष आकार के समुच्चय से इंजेक्शन कार्यों की संख्या {{mvar|n}} आकार के समुच्चय {{mvar|x}} के लिए. बढ़ती फैक्टोरियल {{math|''x''{{sup|(''n'')}}}} समुच्चय के विभाजन {{mvar|n}}-तत्व में समुच्चय {{mvar|x}} आदेशित अनुक्रम की संख्या देता है।{{efn|Here the parts are distinct; for example, when {{math|1=''x'' = ''n'' = 2}}, the {{math|1=(2){{sup|(2)}} = 6}} partitions are <math>(12, -)</math>, <math>(21, -)</math>, <math>(1, 2)</math>, <math>(2, 1)</math>, <math>(-, 12)</math>, and <math>(-, 21)</math>, where − denotes an empty part.}}                                                     
जब {{mvar|x}} धनात्मक पूर्णांक है, {{math|(''x''){{sub|''n''}}}} k-क्रमपरिवर्तन की संख्या देता है | {{mvar|n}}-एक से क्रमपरिवर्तन (विभिन्न तत्वों का अनुक्रम) {{mvar|x}}-तत्व समुच्चय, या समकक्ष आकार के समुच्चय से इंजेक्शन कार्यों की संख्या {{mvar|n}} आकार के समुच्चय {{mvar|x}} के लिए. बढ़ती भाज्य {{math|''x''{{sup|(''n'')}}}} समुच्चय के विभाजन {{mvar|n}}-तत्व में समुच्चय {{mvar|x}} आदेशित अनुक्रम की संख्या देता है।{{efn|Here the parts are distinct; for example, when {{math|1=''x'' = ''n'' = 2}}, the {{math|1=(2){{sup|(2)}} = 6}} partitions are <math>(12, -)</math>, <math>(21, -)</math>, <math>(1, 2)</math>, <math>(2, 1)</math>, <math>(-, 12)</math>, and <math>(-, 21)</math>, where − denotes an empty part.}}                                                     


==उदाहरण और संयुक्त व्याख्या                                                                                                                                                        ==
==उदाहरण और संयुक्त व्याख्या                                                                                                                                                        ==
Line 117: Line 117:
==गुण==
==गुण==


बढ़ते और अवरोही फैक्टोरियल बस दूसरे से संबंधित हैं:
बढ़ते और अवरोही भाज्य बस दूसरे से संबंधित हैं:
<math display="block">
<math display="block">
\begin{array}{rll}
\begin{array}{rll}
Line 123: Line 123:
x^{(n)} &= {(x+n-1)}_{n} &= (-1)^n (-x)_n.
x^{(n)} &= {(x+n-1)}_{n} &= (-1)^n (-x)_n.
\end{array}</math>
\end{array}</math>
पूर्णांकों के घटते और बढ़ते [[ कारख़ाने का |फैक्टोरियल]] सीधे सामान्य फैक्टोरियल से संबंधित होते हैं:
पूर्णांकों के घटते और बढ़ते [[ कारख़ाने का |भाज्य]] सीधे सामान्य भाज्य से संबंधित होते हैं:
<math display="block">
<math display="block">
\begin{align}
\begin{align}
Line 136: Line 136:
\left[\frac{2m+1}{2}\right]^{(n)} = \frac{(2(n+m)-1)!!}{2^n(2m-1)!!}.
\left[\frac{2m+1}{2}\right]^{(n)} = \frac{(2(n+m)-1)!!}{2^n(2m-1)!!}.
\end{align}</math>
\end{align}</math>
द्विपद गुणांक को व्यक्त करने के लिए अवरोही और बढ़ते फैक्टोरियल का उपयोग किया जा सकता है:
द्विपद गुणांक को व्यक्त करने के लिए अवरोही और बढ़ते भाज्य का उपयोग किया जा सकता है:
<math display="block">
<math display="block">
\begin{align}
\begin{align}
Line 144: Line 144:
इस प्रकार द्विपद गुणांकों पर कई सर्वसमिकाएँ घटते और बढ़ते हुए भाज्यों को आगे बढ़ाती हैं।                 
इस प्रकार द्विपद गुणांकों पर कई सर्वसमिकाएँ घटते और बढ़ते हुए भाज्यों को आगे बढ़ाती हैं।                 


बढ़ते और अवरोही फैक्टोरियल को किसी भी [[यूनिटल रिंग]] रिंग (गणित) में अच्छी तरह से परिभाषित किया गया है, और इसलिए {{mvar|x}} को, उदाहरण के लिए, ऋणात्मक पूर्णांकों सहित [[जटिल संख्या]], या जटिल गुणांकों वाला [[बहुपद]], या कोई [[जटिल-मूल्यवान फ़ंक्शन|जटिल-मूल्यवान फलन]] माना जा सकता है।
बढ़ते और अवरोही भाज्य को किसी भी [[यूनिटल रिंग]] रिंग (गणित) में अच्छी तरह से परिभाषित किया गया है, और इसलिए {{mvar|x}} को, उदाहरण के लिए, ऋणात्मक पूर्णांकों सहित [[जटिल संख्या]], या जटिल गुणांकों वाला [[बहुपद]], या कोई [[जटिल-मूल्यवान फ़ंक्शन|जटिल-मूल्यवान फलन]] माना जा सकता है।


अवरोही फैक्टोरियल को [[वास्तविक संख्या]] मानों तक बढ़ाया जा सकता है {{mvar|x}} प्रदान किए गए [[गामा फ़ंक्शन|गामा फलन]] का उपयोग करना {{mvar|x}} और {{math|''x'' + ''n''}} वास्तविक संख्याएँ हैं जो ऋणात्मक पूर्णांक नहीं हैं:
अवरोही भाज्य को [[वास्तविक संख्या]] मानों तक बढ़ाया जा सकता है {{mvar|x}} प्रदान किए गए [[गामा फ़ंक्शन|गामा फलन]] का उपयोग करना {{mvar|x}} और {{math|''x'' + ''n''}} वास्तविक संख्याएँ हैं जो ऋणात्मक पूर्णांक नहीं हैं:
<math display="block">
<math display="block">
(x)_n = \frac{\Gamma(x+1)}{\Gamma(x-n+1)}\ ,
(x)_n = \frac{\Gamma(x+1)}{\Gamma(x-n+1)}\ ,
</math>
</math>
और इसी तरह बढ़ती फैक्टोरियल भी हो सकती है:
और इसी तरह बढ़ती भाज्य भी हो सकती है:
<math display="block">
<math display="block">
x^{(n)} = \frac{\Gamma(x+n)}{\Gamma(x)}\ .
x^{(n)} = \frac{\Gamma(x+n)}{\Gamma(x)}\ .
</math>
</math>
अवरोही फैक्टोरियल सरल पॉवर कार्यों के एकाधिक व्युत्पन्न में दिखाई देते हैं:
अवरोही भाज्य सरल पॉवर कार्यों के एकाधिक व्युत्पन्न में दिखाई देते हैं:
<math display="block">
<math display="block">
\left(\frac{\mathrm{d}}{\mathrm{d}x}\right)^n x^a = (a)_n \cdot x^{a-n}.
\left(\frac{\mathrm{d}}{\mathrm{d}x}\right)^n x^a = (a)_n \cdot x^{a-n}.
</math>
</math>
बढ़ती फैक्टोरियल भी हाइपरजियोमेट्रिक फलन की परिभाषा का अभिन्न अंग है: हाइपरजियोमेट्रिक फलन को इसके लिए परिभाषित किया गया है {{math|{{abs|''z''}} < 1}} पॉवर श्रृंखला द्वारा किया जाता है
बढ़ती भाज्य भी हाइपरजियोमेट्रिक फलन की परिभाषा का अभिन्न अंग है: हाइपरजियोमेट्रिक फलन को इसके लिए परिभाषित किया गया है {{math|{{abs|''z''}} < 1}} पॉवर श्रृंखला द्वारा किया जाता है
<math display="block">
<math display="block">
{}_2F_1(a,b;c;z) = \sum_{n=0}^\infty \frac{a^{(n)} b^{(n)}}{c^{(n)}}  \frac{z^n}{n!}
{}_2F_1(a,b;c;z) = \sum_{n=0}^\infty \frac{a^{(n)} b^{(n)}}{c^{(n)}}  \frac{z^n}{n!}
Line 165: Line 165:


==अंब्रल कैलकुलस से संबंध==
==अंब्रल कैलकुलस से संबंध==
अवरोही फैक्टोरियल सूत्र में होता है जो फॉरवर्ड [[ अंतर ऑपरेटर |अंतर ऑपरेटर]] का उपयोग करके बहुपदों <math>\Delta f(x)\stackrel{\mathrm{def}}{=} f(x{+}1)-f(x),</math> का प्रतिनिधित्व करता है और जो औपचारिक रूप से टेलर के प्रमेय के समान है:
अवरोही भाज्य सूत्र में होता है जो फॉरवर्ड [[ अंतर ऑपरेटर |अंतर ऑपरेटर]] का उपयोग करके बहुपदों <math>\Delta f(x)\stackrel{\mathrm{def}}{=} f(x{+}1)-f(x),</math> का प्रतिनिधित्व करता है और जो औपचारिक रूप से टेलर के प्रमेय के समान है:
<math display="block">
<math display="block">
f(x) = \sum_{n=0}^\infty \frac{\Delta^n f(0)}{n!} (x)_n.
f(x) = \sum_{n=0}^\infty \frac{\Delta^n f(0)}{n!} (x)_n.
</math> इस सूत्र में और कई अन्य स्थानों पर, अवरोही भाज्य {{math|(''x''){{sub|''n''}}}}[[परिमित अंतर]] की गणना में भूमिका निभाता है डिफरेंशियल कैलकुलस {{math|''x''{{sup|''n''}}}} में उदाहरण के लिए समानता पर ध्यान दें {{nobr| {{math|Δ (''x''){{sub|''n''}} {{=}} ''n'' (''x''){{sub|''n''−1}}}} }} को {{nobr| {{math|{{sfrac| d |d ''x''}} ''x''{{sup|''n''}} {{=}} ''n x''{{sup|''n''−1}}}} .}}
</math> इस सूत्र में और कई अन्य स्थानों पर, अवरोही भाज्य {{math|(''x''){{sub|''n''}}}}[[परिमित अंतर]] की गणना में भूमिका निभाता है डिफरेंशियल कैलकुलस {{math|''x''{{sup|''n''}}}} में उदाहरण के लिए समानता पर ध्यान दें {{nobr| {{math|Δ (''x''){{sub|''n''}} {{=}} ''n'' (''x''){{sub|''n''−1}}}} }} को {{nobr| {{math|{{sfrac| d |d ''x''}} ''x''{{sup|''n''}} {{=}} ''n x''{{sup|''n''−1}}}} .}}


एक समान परिणाम बढ़ते फैक्टोरियल और पिछड़े अंतर ऑपरेटर के लिए है।
एक समान परिणाम बढ़ते भाज्य और पश्चांतर ऑपरेटर के लिए है।


इस प्रकार की उपमाओं के अध्ययन को [[अम्ब्रल कैलकुलस]] के रूप में जाना जाता है। ऐसे संबंधों को कवर करने वाला सामान्य सिद्धांत, जिसमें घटते और बढ़ते तथ्यात्मक कार्य सम्मिलित हैं, [[द्विपद प्रकार]] और [[शेफ़र अनुक्रम]] के सिद्धांत द्वारा दिया गया है। अवरोही और बढ़ते फैक्टोरियल द्विपद प्रकार के शेफ़र अनुक्रम हैं, जैसा कि संबंधों द्वारा दिखाया गया है:
इस प्रकार की उपमाओं के अध्ययन को [[अम्ब्रल कैलकुलस]] के रूप में जाना जाता है। ऐसे संबंधों को कवर करने वाला सामान्य सिद्धांत, जिसमें घटते और बढ़ते तथ्यात्मक कार्य सम्मिलित हैं, [[द्विपद प्रकार]] और [[शेफ़र अनुक्रम]] के सिद्धांत द्वारा दिया गया है। अवरोही और बढ़ते भाज्य द्विपद प्रकार के शेफ़र अनुक्रम हैं, जैसा कि संबंधों द्वारा दिखाया गया है:


<math display="block">
<math display="block">
Line 188: Line 188:
<math display="block"> \operatorname \Delta_x \left( 1 + t \right)^x = t \cdot \left( 1 + t \right)^x .</math>
<math display="block"> \operatorname \Delta_x \left( 1 + t \right)^x = t \cdot \left( 1 + t \right)^x .</math>
== संबंध गुणांक और पहचान ==
== संबंध गुणांक और पहचान ==
अवरोही और बढ़ते फैक्टोरियल [[लाह संख्या]]ओं के माध्यम से दूसरे से संबंधित हैं:<ref name=Wolfram_functions>
अवरोही और बढ़ते भाज्य [[लाह संख्या]]ओं के माध्यम से दूसरे से संबंधित हैं:<ref name=Wolfram_functions>
{{cite web
{{cite web
  |title=भाज्य और द्विपद का परिचय|url=http://functions.wolfram.com/GammaBetaErf/Factorial/introductions/FactorialBinomials/05/
  |title=भाज्य और द्विपद का परिचय|url=http://functions.wolfram.com/GammaBetaErf/Factorial/introductions/FactorialBinomials/05/
Line 215: Line 215:
गुणांक <math>\tbinom{m}{k} \tbinom{n}{k} k! </math> संबंध गुणांक कहा जाता है, और पहचानने के विधियों की संख्या के रूप में संयुक्त व्याख्या होती है {{mvar|k}} आकार के समुच्चय से प्रत्येक तत्व {{mvar|m}} और {{mvar|n}} आकार का समुच्चय होता है .
गुणांक <math>\tbinom{m}{k} \tbinom{n}{k} k! </math> संबंध गुणांक कहा जाता है, और पहचानने के विधियों की संख्या के रूप में संयुक्त व्याख्या होती है {{mvar|k}} आकार के समुच्चय से प्रत्येक तत्व {{mvar|m}} और {{mvar|n}} आकार का समुच्चय होता है .


दो बढ़ते फैक्टोरियल के अनुपात के लिए संबंध सूत्र भी दिया गया है
दो बढ़ते भाज्य के अनुपात के लिए संबंध सूत्र भी दिया गया है
<math display="block">
<math display="block">
\frac{x^{(n)}}{x^{(i)}} = (x+i)^{(n-i)} ,\quad \text{for }n \geq i .</math>
\frac{x^{(n)}}{x^{(i)}} = (x+i)^{(n-i)} ,\quad \text{for }n \geq i .</math>
Line 241: Line 241:
\end{align}  
\end{align}  
</math>
</math>
अंत में, घटते और बढ़ते फैक्टोरियल के लिए [[दोहराव सूत्र]] और [[गुणन सूत्र]] अगले संबंध प्रदान करते हैं:
अंत में, घटते और बढ़ते भाज्य के लिए [[दोहराव सूत्र]] और [[गुणन सूत्र]] अगले संबंध प्रदान करते हैं:
<math display="block">
<math display="block">
\begin{align}
\begin{align}
Line 250: Line 250:
\end{align}</math>
\end{align}</math>
==वैकल्पिक संकेतन==
==वैकल्पिक संकेतन==
बढ़ते फैक्टोरियल के लिए वैकल्पिक संकेतन
बढ़ते भाज्य के लिए वैकल्पिक संकेतन
<math display="block">
<math display="block">
x^\overline{m} \equiv (x)_{+m} \equiv (x)_m = \overbrace{x(x+1)\ldots(x+m-1)}^{m \text{ factors}} \quad \text{for integer } m\ge0 </math>
x^\overline{m} \equiv (x)_{+m} \equiv (x)_m = \overbrace{x(x+1)\ldots(x+m-1)}^{m \text{ factors}} \quad \text{for integer } m\ge0 </math>
और अवरोही फैक्टोरियल के लिए
और अवरोही भाज्य के लिए
<math display="block">
<math display="block">
x^\underline{m} \equiv (x)_{-m} = \overbrace{x(x-1)\ldots(x-m+1)}^{m \text{ factors}} \quad \text{for integer } m \ge 0</math>
x^\underline{m} \equiv (x)_{-m} = \overbrace{x(x-1)\ldots(x-m+1)}^{m \text{ factors}} \quad \text{for integer } m \ge 0</math>
क्रमशः ए. कैपेली (1893) और एल. टोस्कानो (1939) तक जाता है।<ref name="The Art of Computer Programming"/> ग्रैहम, क्नुथ, एंड पाताशनिक <ref name=Graham-Knuth-Patashnik-1988/>{{rp|style=ama|pp= 47, 48}} इन भावों को इस प्रकार उच्चारित {{mvar|x}} करने का प्रस्ताव करें {{mvar|m}} बढ़ रहा है और {{mvar|x}} तक {{mvar|m}} क्रमशः अवरोही है।
क्रमशः ए. कैपेली (1893) और एल. टोस्कानो (1939) तक जाता है।<ref name="The Art of Computer Programming"/> ग्रैहम, क्नुथ, एंड पाताशनिक <ref name=Graham-Knuth-Patashnik-1988/>{{rp|style=ama|pp= 47, 48}} इन भावों को इस प्रकार उच्चारित {{mvar|x}} करने का प्रस्ताव करें {{mvar|m}} बढ़ रहा है और {{mvar|x}} तक {{mvar|m}} क्रमशः अवरोही है।


अवरोही फैक्टोरियल के लिए अन्य संकेतन में {{math|''P''(''x'',''n'')}}, {{math|{{sup|''x''}}''P''{{sub|''n''}}}}, {{math|''P''{{sub|''x'',''n''}}}}, {{math|''P''{{sub|''n''}}{{sup|''x''}}}}, या {{math|{{sub|''x''}}''P''{{sub|''n''}}}} सम्मिलित हैं (क्रम[[परिवर्तन]] और [[संयोजन]] देखें।)
अवरोही भाज्य के लिए अन्य संकेतन में {{math|''P''(''x'',''n'')}}, {{math|{{sup|''x''}}''P''{{sub|''n''}}}}, {{math|''P''{{sub|''x'',''n''}}}}, {{math|''P''{{sub|''n''}}{{sup|''x''}}}}, या {{math|{{sub|''x''}}''P''{{sub|''n''}}}} सम्मिलित हैं (क्रम[[परिवर्तन]] और [[संयोजन]] देखें।)


बढ़ते फैक्टोरियल के लिए वैकल्पिक संकेतन {{math|''x''{{sup|(''n'')}} }} कम समानीय {{math|(''x''){{su|p=+|b=''n''}} }} है . जब {{math|(''x''){{su|p=+|b=''n''}}}} का उपयोग बढ़ते फैक्टोरियल, {{math|(''x''){{su|p=&minus;|b=''n''}}}} अंकन को दर्शाने के लिए किया जाता है सामान्यतः सामान्य अवरोही वाले फैक्टोरियल के लिए उपयोग किया जाता है।<ref name=Knuth/>
बढ़ते भाज्य के लिए वैकल्पिक संकेतन {{math|''x''{{sup|(''n'')}} }} कम समानीय {{math|(''x''){{su|p=+|b=''n''}} }} है . जब {{math|(''x''){{su|p=+|b=''n''}}}} का उपयोग बढ़ते भाज्य, {{math|(''x''){{su|p=&minus;|b=''n''}}}} अंकन को दर्शाने के लिए किया जाता है सामान्यतः सामान्य अवरोही वाले भाज्य के लिए उपयोग किया जाता है।<ref name=Knuth/>


==सामान्यीकरण                                                                                                                                                                                ==
==सामान्यीकरण                                                                                                                                                                                ==
पोचहैमर प्रतीक का सामान्यीकृत संस्करण है जिसे सामान्यीकृत पोचहैमर प्रतीक कहा जाता है, जिसका उपयोग बहुभिन्नरूपी [[गणितीय विश्लेषण]] में किया जाता है।  
पोचहैमर प्रतीक का सामान्यीकृत संस्करण है जिसे सामान्यीकृत पोचहैमर प्रतीक कहा जाता है, जिसका उपयोग बहुभिन्नरूपी [[गणितीय विश्लेषण]] में किया जाता है।  


अवरोही फैक्टोरियल का सामान्यीकरण जिसमें पूर्णांकों के अवरोही अंकगणितीय अनुक्रम पर फलन का मूल्यांकन किया जाता है और मानों को गुणा किया जाता है:
अवरोही भाज्य का सामान्यीकरण जिसमें पूर्णांकों के अवरोही अंकगणितीय अनुक्रम पर फलन का मूल्यांकन किया जाता है और मानों को गुणा किया जाता है:
<math display="block">
<math display="block">
\bigl[f(x)\bigr]^{k/-h}=f(x)\cdot f(x-h)\cdot f(x-2h)\cdots f\bigl(x-(k-1)h\bigr),</math>
\bigl[f(x)\bigr]^{k/-h}=f(x)\cdot f(x-h)\cdot f(x-2h)\cdots f\bigl(x-(k-1)h\bigr),</math>
जहाँ {{math|&minus;''h''}} वेतन वृद्धि है और {{math|''k''}} कारकों की संख्या है. बढ़ते फैक्टोरियल का संगत सामान्यीकरण है
जहाँ {{math|&minus;''h''}} वेतन वृद्धि है और {{math|''k''}} कारकों की संख्या है. बढ़ते भाज्य का संगत सामान्यीकरण है
<math display="block">
<math display="block">
\bigl[f(x)\bigr]^{k/h}=f(x)\cdot f(x+h)\cdot f(x+2h)\cdots f\bigl(x+(k-1)h\bigr).</math>
\bigl[f(x)\bigr]^{k/h}=f(x)\cdot f(x+h)\cdot f(x+2h)\cdots f\bigl(x+(k-1)h\bigr).</math>
यह अंकन बढ़ते और अवरोही फैक्टोरियल को एकीकृत करता है, जो क्रमश {{math|[''x'']{{sup|''k''/+1}}}} और {{math|[''x'']{{sup|''k''/&minus;1}}}} हैं।
यह अंकन बढ़ते और अवरोही भाज्य को एकीकृत करता है, जो क्रमश {{math|[''x'']{{sup|''k''/+1}}}} और {{math|[''x'']{{sup|''k''/&minus;1}}}} हैं।


किसी भी निश्चित अंकगणितीय फलन <math>f: \mathbb{N} \rarr \mathbb{C}</math> के लिए और प्रतीकात्मक मापदंड {{mvar|x}}, {{mvar|t}}, प्रपत्र के संबंधित सामान्यीकृत तथ्यात्मक उत्पाद है
किसी भी निश्चित अंकगणितीय फलन <math>f: \mathbb{N} \rarr \mathbb{C}</math> के लिए और प्रतीकात्मक मापदंड {{mvar|x}}, {{mvar|t}}, प्रपत्र के संबंधित सामान्यीकृत तथ्यात्मक उत्पाद है
Line 302: Line 302:
* {{cite web |title=A Compilation of mathematical demonstrations |website=scribd.com |url=https://www.scribd.com/doc/288367437/A-Compilation-of-Mathematical-Demonstrations  |url-status=dead <!-- presumed --> |archive-url=https://web.archive.org/web/20160214031616/https://www.scribd.com/doc/288367437/A-Compilation-of-Mathematical-Demonstrations |archive-date=2016-02-14}} — Elementary proofs
* {{cite web |title=A Compilation of mathematical demonstrations |website=scribd.com |url=https://www.scribd.com/doc/288367437/A-Compilation-of-Mathematical-Demonstrations  |url-status=dead <!-- presumed --> |archive-url=https://web.archive.org/web/20160214031616/https://www.scribd.com/doc/288367437/A-Compilation-of-Mathematical-Demonstrations |archive-date=2016-02-14}} — Elementary proofs


{{DEFAULTSORT:Pochhammer Symbol}}[[Category: गामा और संबंधित कार्य]] [[Category: भाज्य और द्विपद विषय]] [[Category: परिमित अंतर]] [[Category: संख्याओं पर परिचालन]]
{{DEFAULTSORT:Pochhammer Symbol}}


 
[[Category:Created On 04/07/2023|Pochhammer Symbol]]
 
[[Category:Lua-based templates|Pochhammer Symbol]]
[[Category: Machine Translated Page]]
[[Category:Machine Translated Page|Pochhammer Symbol]]
[[Category:Created On 04/07/2023]]
[[Category:Pages with script errors|Pochhammer Symbol]]
[[Category:Vigyan Ready]]
[[Category:Short description with empty Wikidata description|Pochhammer Symbol]]
[[Category:Templates Vigyan Ready|Pochhammer Symbol]]
[[Category:Templates that add a tracking category|Pochhammer Symbol]]
[[Category:Templates that generate short descriptions|Pochhammer Symbol]]
[[Category:Templates using TemplateData|Pochhammer Symbol]]
[[Category:गामा और संबंधित कार्य|Pochhammer Symbol]]
[[Category:परिमित अंतर|Pochhammer Symbol]]
[[Category:भाज्य और द्विपद विषय|Pochhammer Symbol]]
[[Category:संख्याओं पर परिचालन|Pochhammer Symbol]]

Latest revision as of 16:13, 29 August 2023

गणित में, अवरोही भाज्य (कभी-कभी अवरोही भाज्य भी कहा जाता है,[1] अवरोही अनुक्रमिक उत्पाद, या निम्न भाज्य) को बहुपद के रूप में परिभाषित किया गया है

उभरता हुआ भाज्य (कभी-कभी पोचाम्मर फलन, पोचामर बहुपद, आरोही भाज्य, कहा जाता है) [1] बढ़ते अनुक्रमिक उत्पाद, या ऊपरी भाज्य के रूप में परिभाषित किया गया है
प्रत्येक का मान 1 (एक खाली उत्पाद) माना जाता है n = 0 . इन प्रतीकों को सामूहिक रूप से भाज्य पॉवर कहा जाता है।[2] लियो अगस्त पोचहैमर द्वारा प्रस्तुत पोचहैमर प्रतीक, संकेतन है (x)n , जहाँ n गैर-ऋणात्मक पूर्णांक है। यह अलग-अलग लेखों और लेखकों द्वारा अलग-अलग परंपराओं का उपयोग करते हुए बढ़ते या अवरोही तथ्य का प्रतिनिधित्व कर सकता है। पोचहैमर ने वास्तव में स्वयं इसका उपयोग (x)n किया था और अर्थ के साथ, अर्थात् द्विपद गुणांक को निरूपित करने के लिए [3]

इस लेख में प्रतीक (x)n का उपयोग अवरोही भाज्य और प्रतीक को दर्शाने के लिए किया जाता है x(n) का उपयोग बढ़ते भाज्य के लिए किया जाता है। इन सम्मेलनों का उपयोग साहचर्य में किया जाता है,[4] चूँकि डोनाल्ड नुथ की अंडरलाइन और ओवरलाइन नोटेशन और तेजी से लोकप्रिय हो रहे हैं.[2][5]

विशेष कार्य के सिद्धांत में (विशेष रूप से हाइपरजियोमेट्रिक फलन) और मानक संदर्भ कार्य अब्रामोविट्ज़ और स्टेगन में, पोचहैमर प्रतीक (x)n का उपयोग बढ़ते भाज्य को दर्शाने के लिए किया जाता है।[6][7]

जब x धनात्मक पूर्णांक है, (x)n k-क्रमपरिवर्तन की संख्या देता है | n-एक से क्रमपरिवर्तन (विभिन्न तत्वों का अनुक्रम) x-तत्व समुच्चय, या समकक्ष आकार के समुच्चय से इंजेक्शन कार्यों की संख्या n आकार के समुच्चय x के लिए. बढ़ती भाज्य x(n) समुच्चय के विभाजन n-तत्व में समुच्चय x आदेशित अनुक्रम की संख्या देता है।[lower-alpha 1]

उदाहरण और संयुक्त व्याख्या

पहले कुछ अवरोही तथ्य इस प्रकार हैं:

पहले कुछ उभरते तथ्य इस प्रकार हैं:
विस्तार में दिखाई देने वाले गुणांक पहली तरह की स्टर्लिंग संख्याएँ हैं।

जब चर x धनात्मक पूर्णांक, संख्या है (x)n k-क्रमपरिवर्तन की संख्या के सामान्य है n-के समुच्चय से क्रमपरिवर्तन x आइटम, अर्थात, लंबाई की क्रमबद्ध सूची चुनने के विधियों की संख्या n आकार के संग्रह से निकाले गए अलग-अलग तत्वों x से मिलकर बना है . उदाहरण के लिए, (8)3 = 8 × 7 × 6 = 336 आठ व्यक्तियों की दौड़ में संभव विभिन्न पोडियमों की संख्या - स्वर्ण, रजत और कांस्य पदक संभव है। इस सन्दर्भ में अन्य नोटेशन जैसे xPn, xPn, Pnx, या P(x, n) का प्रयोग भी कभी-कभी किया जाता है। वहीं दूसरी ओर, x(n) व्यवस्था करने के विधियों की संख्या है n झंडे चालू x ध्वजदंड ,[8] जहां सभी झंडों का उपयोग किया जाना चाहिए और प्रत्येक ध्वजस्तंभ में किसी भी संख्या में झंडे हो सकते हैं। समान रूप से, यह आकार के समुच्चय को विभाजित करने के विधियों की संख्या है n (झंडे) में x अलग-अलग भाग (ध्रुव), प्रत्येक भाग को निर्दिष्ट तत्वों पर रैखिक क्रम (किसी दिए गए ध्रुव पर झंडे का क्रम) के साथ किया जाता है।

गुण

बढ़ते और अवरोही भाज्य बस दूसरे से संबंधित हैं:

पूर्णांकों के घटते और बढ़ते भाज्य सीधे सामान्य भाज्य से संबंधित होते हैं:
आधे पूर्णांकों के बढ़ते भाज्य सामान्यतः दोहरे भाज्य से संबंधित हैं:
द्विपद गुणांक को व्यक्त करने के लिए अवरोही और बढ़ते भाज्य का उपयोग किया जा सकता है:
इस प्रकार द्विपद गुणांकों पर कई सर्वसमिकाएँ घटते और बढ़ते हुए भाज्यों को आगे बढ़ाती हैं।

बढ़ते और अवरोही भाज्य को किसी भी यूनिटल रिंग रिंग (गणित) में अच्छी तरह से परिभाषित किया गया है, और इसलिए x को, उदाहरण के लिए, ऋणात्मक पूर्णांकों सहित जटिल संख्या, या जटिल गुणांकों वाला बहुपद, या कोई जटिल-मूल्यवान फलन माना जा सकता है।

अवरोही भाज्य को वास्तविक संख्या मानों तक बढ़ाया जा सकता है x प्रदान किए गए गामा फलन का उपयोग करना x और x + n वास्तविक संख्याएँ हैं जो ऋणात्मक पूर्णांक नहीं हैं:

और इसी तरह बढ़ती भाज्य भी हो सकती है:
अवरोही भाज्य सरल पॉवर कार्यों के एकाधिक व्युत्पन्न में दिखाई देते हैं:
बढ़ती भाज्य भी हाइपरजियोमेट्रिक फलन की परिभाषा का अभिन्न अंग है: हाइपरजियोमेट्रिक फलन को इसके लिए परिभाषित किया गया है |z| < 1 पॉवर श्रृंखला द्वारा किया जाता है
उसे उपलब्ध कराया c ≠ 0, −1, −2, ... . चूँकि, ध्यान दें कि हाइपरजियोमेट्रिक फलन साहित्य सामान्यतः नोटेशन (a)n का उपयोग करता है।

अंब्रल कैलकुलस से संबंध

अवरोही भाज्य सूत्र में होता है जो फॉरवर्ड अंतर ऑपरेटर का उपयोग करके बहुपदों का प्रतिनिधित्व करता है और जो औपचारिक रूप से टेलर के प्रमेय के समान है:

इस सूत्र में और कई अन्य स्थानों पर, अवरोही भाज्य (x)nपरिमित अंतर की गणना में भूमिका निभाता है डिफरेंशियल कैलकुलस xn में उदाहरण के लिए समानता पर ध्यान दें Δ (x)n = n (x)n−1 को d/d x xn = n xn−1 .

एक समान परिणाम बढ़ते भाज्य और पश्चांतर ऑपरेटर के लिए है।

इस प्रकार की उपमाओं के अध्ययन को अम्ब्रल कैलकुलस के रूप में जाना जाता है। ऐसे संबंधों को कवर करने वाला सामान्य सिद्धांत, जिसमें घटते और बढ़ते तथ्यात्मक कार्य सम्मिलित हैं, द्विपद प्रकार और शेफ़र अनुक्रम के सिद्धांत द्वारा दिया गया है। अवरोही और बढ़ते भाज्य द्विपद प्रकार के शेफ़र अनुक्रम हैं, जैसा कि संबंधों द्वारा दिखाया गया है:

जहां गुणांक द्विपद प्रमेय के समान हैं।

इसी प्रकार, पोचहैमर बहुपदों का जनक फलन तब अम्ब्रल घातांक के सामान्य होता है,

तब से

संबंध गुणांक और पहचान

अवरोही और बढ़ते भाज्य लाह संख्याओं के माध्यम से दूसरे से संबंधित हैं:[9]

निम्नलिखित सूत्र चर की अभिन्न पॉवर्स x से संबंधित हैं दूसरे प्रकार के स्टर्लिंग संख्याओं का उपयोग करके योगों के माध्यम से, तरंगित कोष्ठक {n
k
}
द्वारा अंकित है :[9]
चूँकि अवरोही हुए भाज्य बहुपद वलय का आधार हैं, इसलिए उनमें से दो के गुणनफल को अवरोही हुए भाज्यों के रैखिक संयोजन के रूप में व्यक्त किया जा सकता है।[10]:
गुणांक संबंध गुणांक कहा जाता है, और पहचानने के विधियों की संख्या के रूप में संयुक्त व्याख्या होती है k आकार के समुच्चय से प्रत्येक तत्व m और n आकार का समुच्चय होता है .

दो बढ़ते भाज्य के अनुपात के लिए संबंध सूत्र भी दिया गया है

इसके अतिरिक्त, हम निम्नलिखित पहचानों के माध्यम से सामान्यीकृत प्रतिपादक नियमो और ऋणात्मक बढ़ती और गिरती पॉवर्स का विस्तार कर सकते हैं:[11](p 52)