बेल बहुपद: Difference between revisions

From Vigyanwiki
(Created page with "{{for|a different family of polynomials B<sub>n</sub>''(''x'')'' occasionally called Bell polynomials|Touchard polynomials}} साहचर्य गणित में,...")
 
No edit summary
Line 1: Line 1:
{{for|a different family of polynomials B<sub>n</sub>''(''x'')'' occasionally called Bell polynomials|Touchard polynomials}}
{{for|बहुपदों का एक अलग परिवार B<sub>n</sub>''(''x'')'' जिसे कभी-कभी बेल बहुपद कहा जाता है|टचर्ड बहुपद}}
[[साहचर्य]] गणित में, [[एरिक टेम्पल बेल]] के सम्मान में नामित बेल बहुपद का उपयोग सेट विभाजन के अध्ययन में किया जाता है। वे [[स्टर्लिंग नंबर]] और [[बेल नंबर]] से संबंधित हैं। वे कई अनुप्रयोगों में भी होते हैं, जैसे कि फा डि ब्रूनो के सूत्र में।
[[साहचर्य]] गणित में, [[एरिक टेम्पल बेल]] के सम्मान में नामित बेल बहुपद का उपयोग सेट विभाजन के अध्ययन में किया जाता है। वे [[स्टर्लिंग नंबर]] और [[बेल नंबर]] से संबंधित हैं। वे कई अनुप्रयोगों में भी होते हैं, जैसे कि फा डि ब्रूनो के सूत्र में।


Line 9: Line 9:
:<math>B_{n,k}(x_1,x_2,\dots,x_{n-k+1}) = \sum{n! \over j_1!j_2!\cdots j_{n-k+1}!}
:<math>B_{n,k}(x_1,x_2,\dots,x_{n-k+1}) = \sum{n! \over j_1!j_2!\cdots j_{n-k+1}!}
\left({x_1\over 1!}\right)^{j_1}\left({x_2\over 2!}\right)^{j_2}\cdots\left({x_{n-k+1} \over (n-k+1)!}\right)^{j_{n-k+1}},</math>
\left({x_1\over 1!}\right)^{j_1}\left({x_2\over 2!}\right)^{j_2}\cdots\left({x_{n-k+1} \over (n-k+1)!}\right)^{j_{n-k+1}},</math>
जहां सभी अनुक्रमों पर योग लिया जाता है<sub>1</sub>, जे<sub>2</sub>, जे<sub>3</sub>, ..., जे<sub>''n''−''k''+1</sub> गैर-ऋणात्मक पूर्णांकों की, जैसे कि ये दो शर्तें पूरी होती हैं:
जहां गैर-ऋणात्मक पूर्णांकों के सभी अनुक्रम j<sub>1</sub>, j<sub>2</sub>, j<sub>3</sub>, ..., j<sub>''n''−''k''+1</sub> पर योग लिया जाता है, जैसे कि ये दो शर्तें पूरी होती हैं:


:<math>j_1 + j_2 + \cdots + j_{n-k+1} = k, </math> :<math>j_1 + 2 j_2 + 3 j_3 + \cdots + (n-k+1)j_{n-k+1} = n.</math>
:<math>j_1 + j_2 + \cdots + j_{n-k+1} = k, </math> :<math>j_1 + 2 j_2 + 3 j_3 + \cdots + (n-k+1)j_{n-k+1} = n.</math>
Line 18: Line 18:


=== साधारण बेल बहुपद ===
=== साधारण बेल बहुपद ===
इसी तरह, आंशिक साधारण बेल बहुपद द्वारा परिभाषित किया गया है
इसी प्रकार, आंशिक साधारण बेल बहुपद द्वारा परिभाषित किया गया है
:<math>\hat{B}_{n,k}(x_1,x_2,\ldots,x_{n-k+1}) = \sum \frac{k!}{j_1! j_2! \cdots j_{n-k+1}!} x_1^{j_1} x_2^{j_2} \cdots x_{n-k+1}^{j_{n-k+1}}, </math>
:<math>\hat{B}_{n,k}(x_1,x_2,\ldots,x_{n-k+1}) = \sum \frac{k!}{j_1! j_2! \cdots j_{n-k+1}!} x_1^{j_1} x_2^{j_2} \cdots x_{n-k+1}^{j_{n-k+1}}, </math>
जहां योग सभी अनुक्रमों पर चलता है j<sub>1</sub>, जे<sub>2</sub>, जे<sub>3</sub>, ..., जे<sub>''n''−''k''+1</sub> ऐसे गैर-नकारात्मक पूर्णांकों की
जहां योग गैर-ऋणात्मक पूर्णांकों के सभी अनुक्रम  j<sub>1</sub>, j<sub>2</sub>, j<sub>3</sub>, ..., j<sub>''n''−''k''+1</sub> पर चलता है जैसे कि
:<math>j_1 + j_2 + \cdots + j_{n-k+1} = k,</math>
:<math>j_1 + j_2 + \cdots + j_{n-k+1} = k,</math>
:<math>j_1 + 2 j_2 + \cdots + (n-k+1)j_{n-k+1} = n.</math>
:<math>j_1 + 2 j_2 + \cdots + (n-k+1)j_{n-k+1} = n.</math>
Line 29: Line 29:
== संयुक्त अर्थ ==
== संयुक्त अर्थ ==


घातीय बेल बहुपद एक सेट को विभाजित करने के तरीकों से संबंधित जानकारी को कूटबद्ध करता है। उदाहरण के लिए, यदि हम एक सेट {, बी, सी} पर विचार करते हैं, तो इसे दो गैर-खाली, गैर-अतिव्यापी उपसमुच्चय में विभाजित किया जा सकता है, जिसे 3 अलग-अलग तरीकों से भागों या ब्लॉकों के रूप में भी जाना जाता है:
घातीय बेल बहुपद एक सेट को विभाजित करने के तरीकों से संबंधित जानकारी को कूटबद्ध करता है। उदाहरण के लिए, यदि हम एक सेट {A, B, C} पर विचार करते हैं, तो इसे दो गैर-खाली, गैर-अतिव्यापी उपसमुच्चय में विभाजित किया जा सकता है, जिसे 3 अलग-अलग तरीकों से भागों या ब्लॉकों के रूप में भी जाना जाता है:


:{{A}, {B, C}}
:{{A}, {B, C}}
Line 37: Line 37:


:<math>B_{3,2}(x_1,x_2) = 3 x_1 x_2. </math>
:<math>B_{3,2}(x_1,x_2) = 3 x_1 x_2. </math>
यहाँ, बी की सदस्यताएँ<sub>3,2</sub> हमें बताता है कि हम 3 तत्वों के साथ सेट के विभाजन को 2 ब्लॉकों में विभाजित करने पर विचार कर रहे हैं। प्रत्येक एक्स की सबस्क्रिप्ट<sub>i</sub> किसी दिए गए विभाजन में i तत्वों (या आकार i के ब्लॉक) के साथ ब्लॉक की उपस्थिति को इंगित करता है। तो यहाँ, एक्स<sub>2</sub> दो तत्वों के साथ एक ब्लॉक की उपस्थिति को इंगित करता है। इसी प्रकार, एक्स<sub>1</sub> एकल तत्व वाले ब्लॉक की उपस्थिति को इंगित करता है। x का प्रतिपादक<sub>i</sub><sup>j</sup> इंगित करता है कि एकल विभाजन में आकार i के ऐसे j ब्लॉक हैं। यहाँ, चूँकि दोनों x<sub>1</sub> और एक्स<sub>2</sub> प्रतिपादक 1 है, यह इंगित करता है कि दिए गए विभाजन में केवल एक ऐसा ब्लॉक है। [[एकपद]] का गुणांक इंगित करता है कि ऐसे कितने विभाजन हैं। हमारे मामले के लिए, 3 तत्वों के साथ 2 ब्लॉकों में एक सेट के 3 विभाजन हैं, जहां प्रत्येक विभाजन में तत्वों को 1 और 2 के आकार के दो ब्लॉकों में विभाजित किया गया है।
यहाँ, बी की सदस्यताएँ<sub>3,2</sub> हमें बताता है कि हम 3 तत्वों के साथ सेट के विभाजन को 2 ब्लॉकों में विभाजित करने पर विचार कर रहे हैं। प्रत्येक एक्स की सबस्क्रिप्ट<sub>i</sub> किसी दिए गए विभाजन में i तत्वों (या आकार i के ब्लॉक) के साथ ब्लॉक की उपस्थिति को दर्शता है। तो यहाँ, एक्स<sub>2</sub> दो तत्वों के साथ एक ब्लॉक की उपस्थिति को दर्शता करता है। इसी प्रकार, एक्स<sub>1</sub> एकल तत्व वाले ब्लॉक की उपस्थिति को दर्शता है। x का प्रतिपादक<sub>i</sub><sup>j</sup> दर्शता है कि एकल विभाजन में आकार i के ऐसे j ब्लॉक हैं। यहाँ, चूँकि दोनों x<sub>1</sub> और एक्स<sub>2</sub> प्रतिपादक 1 है, यह दर्शता करता है कि दिए गए विभाजन में केवल एक ऐसा ब्लॉक है। [[एकपद]] का गुणांक दर्शता करता है कि ऐसे कितने विभाजन हैं। हमारे स्थितियों के लिए, 3 तत्वों के साथ 2 ब्लॉकों में एक सेट के 3 विभाजन हैं, जहां प्रत्येक विभाजन में तत्वों को 1 और 2 के आकार के दो ब्लॉकों में विभाजित किया गया है।


चूँकि किसी भी समुच्चय को एक ही ब्लॉक में केवल एक तरीके से विभाजित किया जा सकता है, उपरोक्त व्याख्या का अर्थ होगा कि B<sub>''n'',1</sub> = एक्स<sub>''n''</sub>. इसी तरह, चूंकि केवल एक ही तरीका है कि n तत्वों वाले एक सेट को n सिंगलटन में विभाजित किया जाए, B<sub>''n'',''n''</sub> = एक्स<sub>1</sub><sup>एन</sup>.
चूँकि किसी भी समुच्चय को एक ही ब्लॉक में केवल एक तरीके से विभाजित किया जा सकता है, उपरोक्त व्याख्या का अर्थ होगा कि B<sub>''n'',1</sub> = एक्स<sub>''n''</sub>. इसी प्रकार, चूंकि केवल एक ही विधि है कि n तत्वों वाले एक सेट को n सिंगलटन में विभाजित किया जाए, B<sub>''n'',''n''</sub> = एक्स<sub>1</sub><sup>एन</sup>.


अधिक जटिल उदाहरण के रूप में, विचार करें
अधिक जटिल उदाहरण के रूप में, विचार करें
Line 46: Line 46:
यह हमें बताता है कि यदि 6 तत्वों के एक सेट को 2 ब्लॉकों में विभाजित किया जाता है, तो हमारे पास आकार 1 और 5 के ब्लॉक के साथ 6 विभाजन, आकार 4 और 2 के ब्लॉक वाले 15 विभाजन और 3 आकार के 2 ब्लॉक वाले 10 विभाजन हो सकते हैं।
यह हमें बताता है कि यदि 6 तत्वों के एक सेट को 2 ब्लॉकों में विभाजित किया जाता है, तो हमारे पास आकार 1 और 5 के ब्लॉक के साथ 6 विभाजन, आकार 4 और 2 के ब्लॉक वाले 15 विभाजन और 3 आकार के 2 ब्लॉक वाले 10 विभाजन हो सकते हैं।


एकपदी में सबस्क्रिप्ट का योग तत्वों की कुल संख्या के बराबर है। इस प्रकार, आंशिक बेल बहुपद में दिखाई देने वाले मोनोमियल्स की संख्या उन तरीकों की संख्या के बराबर होती है, जिन्हें पूर्णांक n को k धनात्मक पूर्णांकों के योग के रूप में व्यक्त किया जा सकता है। यह n के k भागों में [[पूर्णांक विभाजन]] के समान है। उदाहरण के लिए, उपरोक्त उदाहरणों में, पूर्णांक 3 को केवल 2+1 के रूप में दो भागों में विभाजित किया जा सकता है। इस प्रकार, B में केवल एक एकपदी है<sub>3,2</sub>. हालाँकि, पूर्णांक 6 को 5+1, 4+2 और 3+3 के रूप में दो भागों में विभाजित किया जा सकता है। इस प्रकार, B में तीन एकपदी हैं<sub>6,2</sub>. वास्तव में, एक मोनोमियल में वेरिएबल्स के सबस्क्रिप्ट वही होते हैं जो पूर्णांक विभाजन द्वारा दिए गए होते हैं, जो विभिन्न ब्लॉकों के आकार को दर्शाते हैं। एक पूर्ण बेल बहुपद बी में दिखाई देने वाले एकपदों की कुल संख्या<sub>n</sub>इस प्रकार n के पूर्णांक विभाजनों की कुल संख्या के बराबर है।
एकपदी में सबस्क्रिप्ट का योग तत्वों की कुल संख्या के बराबर है। इस प्रकार, आंशिक बेल बहुपद में दिखाई देने वाले मोनोमियल्स की संख्या उन तरीकों की संख्या के बराबर होती है, जिन्हें पूर्णांक n को k धनात्मक पूर्णांकों के योग के रूप में व्यक्त किया जा सकता है। यह n के k भागों में [[पूर्णांक विभाजन]] के समान है। उदाहरण के लिए, उपरोक्त उदाहरणों में, पूर्णांक 3 को केवल 2+1 के रूप में दो भागों में विभाजित किया जा सकता है। इस प्रकार, B में केवल एक एकपदी है<sub>3,2</sub>. चूंकि, पूर्णांक 6 को 5+1, 4+2 और 3+3 के रूप में दो भागों में विभाजित किया जा सकता है। इस प्रकार, B में तीन एकपदी हैं<sub>6,2</sub>. वास्तव में, एक मोनोमियल में वेरिएबल्स के सबस्क्रिप्ट वही होते हैं जो पूर्णांक विभाजन द्वारा दिए गए होते हैं, जो विभिन्न ब्लॉकों के आकार को दर्शाते हैं। एक पूर्ण बेल बहुपद बी में दिखाई देने वाले एकपदों की कुल संख्या<sub>n</sub>इस प्रकार n के पूर्णांक विभाजनों की कुल संख्या के बराबर है।


साथ ही प्रत्येक मोनोमियल की डिग्री, जो मोनोमियल में प्रत्येक चर के घातांक का योग है, सेट में विभाजित ब्लॉकों की संख्या के बराबर है। यानी जे<sub>1</sub> + जे<sub>2</sub> + ... = के। इस प्रकार, एक पूर्ण बेल बहुपद बी दिया गया<sub>n</sub>, हम आंशिक बेल बहुपद बी को अलग कर सकते हैं<sub>n,k</sub>डिग्री k वाले उन सभी एकपदों को एकत्रित करके।
साथ ही प्रत्येक मोनोमियल की डिग्री, जो मोनोमियल में प्रत्येक चर के घातांक का योग है, सेट में विभाजित ब्लॉकों की संख्या के बराबर है। अर्थात जे<sub>1</sub> + जे<sub>2</sub> + ... = के। इस प्रकार, एक पूर्ण बेल बहुपद बी दिया गया<sub>n</sub>, हम आंशिक बेल बहुपद बी को अलग कर सकते हैं<sub>n,k</sub>डिग्री k वाले उन सभी एकपदों को एकत्रित करके।


अंत में, यदि हम ब्लॉक के आकार की उपेक्षा करते हैं और सभी x<sub>''i''</sub> = x, तो आंशिक बेल बहुपद बी के गुणांकों का योग<sub>''n'',''k''</sub> n तत्वों वाले एक सेट को k ब्लॉकों में विभाजित करने के तरीकों की कुल संख्या देगा, जो [[दूसरी तरह की स्टर्लिंग संख्या]]ओं के समान है। साथ ही, पूर्ण बेल बहुपद बी के सभी गुणांकों का योग<sub>n</sub>हमें n तत्वों के साथ एक सेट को गैर-अतिव्यापी उपसमुच्चय में विभाजित करने के तरीकों की कुल संख्या देगा, जो बेल संख्या के समान है।
अंत में, यदि हम ब्लॉक के आकार की उपेक्षा करते हैं और सभी x<sub>''i''</sub> = x, तो आंशिक बेल बहुपद बी के गुणांकों का योग<sub>''n'',''k''</sub> n तत्वों वाले एक सेट को k ब्लॉकों में विभाजित करने के तरीकों की कुल संख्या देगा, जो [[दूसरी तरह की स्टर्लिंग संख्या|दूसरी प्रकार की स्टर्लिंग संख्या]]ओं के समान है। साथ ही, पूर्ण बेल बहुपद बी के सभी गुणांकों का योग<sub>n</sub>हमें n तत्वों के साथ एक सेट को गैर-अतिव्यापी उपसमुच्चय में विभाजित करने के तरीकों की कुल संख्या देगा, जो बेल संख्या के समान है।


सामान्य तौर पर, यदि पूर्णांक n एक पूर्णांक विभाजन है जिसमें एक योग है जिसमें 1 j दिखाई देता है<sub>1</sub> बार, 2 प्रकट होता है जे<sub>2</sub> बार, और इसी तरह, फिर आकार n के एक सेट के विभाजन की संख्या जो पूर्णांक n के उस विभाजन के लिए ढह जाती है जब सेट के सदस्य अप्रभेद्य हो जाते हैं, बहुपद में संबंधित गुणांक होता है।
सामान्य तौर पर, यदि पूर्णांक n एक पूर्णांक विभाजन है जिसमें एक योग है जिसमें 1 j दिखाई देता है<sub>1</sub> बार, 2 प्रकट होता है जे<sub>2</sub> बार, और इसी प्रकार, फिर आकार n के एक सेट के विभाजन की संख्या जो पूर्णांक n के उस विभाजन के लिए ढह जाती है जब सेट के सदस्य अप्रभेद्य हो जाते हैं, बहुपद में संबंधित गुणांक होता है।


=== उदाहरण ===
=== उदाहरण ===
Line 90: Line 90:
इस प्रकार, n-वाँ पूर्ण बेल बहुपद दिया जाता है
इस प्रकार, n-वाँ पूर्ण बेल बहुपद दिया जाता है
:<math> B_n(x_1,\ldots, x_n) = \left. \left(\frac{\partial}{\partial t}\right)^n \exp\left( \sum_{j=1}^n x_j \frac{t^j}{j!} \right) \right|_{t=0}. </math>
:<math> B_n(x_1,\ldots, x_n) = \left. \left(\frac{\partial}{\partial t}\right)^n \exp\left( \sum_{j=1}^n x_j \frac{t^j}{j!} \right) \right|_{t=0}. </math>
इसी तरह, साधारण आंशिक बेल बहुपद को जनरेटिंग फ़ंक्शन द्वारा परिभाषित किया जा सकता है
इसी प्रकार, साधारण आंशिक बेल बहुपद को जनरेटिंग फ़ंक्शन द्वारा परिभाषित किया जा सकता है
:<math> \hat{\Phi}(t,u) = \exp \left( u \sum_{j=1}^\infty x_j t^j \right) = \sum_{n\geq k\geq 0} \hat{B}_{n,k}(x_1,\ldots,x_{n-k+1}) t^n \frac{u^k}{k!}.</math>
:<math> \hat{\Phi}(t,u) = \exp \left( u \sum_{j=1}^\infty x_j t^j \right) = \sum_{n\geq k\geq 0} \hat{B}_{n,k}(x_1,\ldots,x_{n-k+1}) t^n \frac{u^k}{k!}.</math>
या, समतुल्य, k-वें शक्ति के श्रृंखला विस्तार द्वारा:
या, समतुल्य, k-वें शक्ति के श्रृंखला विस्तार द्वारा:
Line 155: Line 155:
=== स्टर्लिंग नंबर और बेल नंबर ===
=== स्टर्लिंग नंबर और बेल नंबर ===


बेल बहुपद बी का मान<sub>''n'',''k''</sub>(एक्स<sub>1</sub>,एक्स<sub>2</sub>,...) [[कारख़ाने का]] के अनुक्रम पर पहली तरह की एक अहस्ताक्षरित स्टर्लिंग संख्या के बराबर होती है:
बेल बहुपद बी का मान<sub>''n'',''k''</sub>(एक्स<sub>1</sub>,एक्स<sub>2</sub>,...) [[कारख़ाने का]] के अनुक्रम पर पहली प्रकार की एक अहस्ताक्षरित स्टर्लिंग संख्या के बराबर होती है:
:<math>B_{n,k}(0!,1!,\dots,(n-k)!)=c(n,k)=|s(n,k)| = \left[{n\atop k}\right].</math>
:<math>B_{n,k}(0!,1!,\dots,(n-k)!)=c(n,k)=|s(n,k)| = \left[{n\atop k}\right].</math>
इन मानों का योग फैक्टोरियल के अनुक्रम पर पूर्ण बेल बहुपद का मान देता है:
इन मानों का योग फैक्टोरियल के अनुक्रम पर पूर्ण बेल बहुपद का मान देता है:
:<math>B_n(0!,1!,\dots,(n-1)!)=\sum_{k=1}^n B_{n,k}(0!,1!,\dots,(n-k)!) = \sum_{k=1}^n \left[{n\atop k}\right] = n!.</math>
:<math>B_n(0!,1!,\dots,(n-1)!)=\sum_{k=1}^n B_{n,k}(0!,1!,\dots,(n-k)!) = \sum_{k=1}^n \left[{n\atop k}\right] = n!.</math>
बेल बहुपद बी का मान<sub>''n'',''k''</sub>(एक्स<sub>1</sub>,एक्स<sub>2</sub>,...) एक के अनुक्रम पर [[दूसरी तरह की स्टर्लिंग संख्या]] के बराबर होती है:
बेल बहुपद बी का मान<sub>''n'',''k''</sub>(एक्स<sub>1</sub>,एक्स<sub>2</sub>,...) एक के अनुक्रम पर [[दूसरी तरह की स्टर्लिंग संख्या|दूसरी प्रकार की स्टर्लिंग संख्या]] के बराबर होती है:
:<math>B_{n,k}(1,1,\dots,1)=S(n,k)=\left\{{n\atop k}\right\}.</math>
:<math>B_{n,k}(1,1,\dots,1)=S(n,k)=\left\{{n\atop k}\right\}.</math>
इन मानों का योग एक के अनुक्रम पर पूर्ण बेल बहुपद का मान देता है:
इन मानों का योग एक के अनुक्रम पर पूर्ण बेल बहुपद का मान देता है:
Line 166: Line 166:


=== व्युत्क्रम संबंध ===
=== व्युत्क्रम संबंध ===
अगर हम परिभाषित करते हैं
यदि हम परिभाषित करते हैं


:<math>y_n = \sum_{k=1}^n B_{n,k}(x_1,\ldots,x_{n-k+1}),</math>
:<math>y_n = \sum_{k=1}^n B_{n,k}(x_1,\ldots,x_{n-k+1}),</math>
Line 198: Line 198:
:<math> x \mathbin{\diamondsuit} x = ( 0,\  2 x_1^2 \ ,\  6 x_1 x_2 \ , \  8 x_1 x_3 + 6 x_2^2 \ , \dots ) </math>
:<math> x \mathbin{\diamondsuit} x = ( 0,\  2 x_1^2 \ ,\  6 x_1 x_2 \ , \  8 x_1 x_3 + 6 x_2^2 \ , \dots ) </math>
:<math> x \mathbin{\diamondsuit} x \mathbin{\diamondsuit} x = (  0 \ ,\ 0 \  , \ 6 x_1^3 \ , \ 36 x_1^2 x_2 \ , \dots ) </math>
:<math> x \mathbin{\diamondsuit} x \mathbin{\diamondsuit} x = (  0 \ ,\ 0 \  , \ 6 x_1^3 \ , \ 36 x_1^2 x_2 \ , \dots ) </math>
और इस तरह,
और इस प्रकार,


:<math> B_{4,3}(x_1,x_2) = \frac{ ( x \mathbin{\diamondsuit} x \mathbin{\diamondsuit} x)_4 }{3!} = 6 x_1^2 x_2. </math>
:<math> B_{4,3}(x_1,x_2) = \frac{ ( x \mathbin{\diamondsuit} x \mathbin{\diamondsuit} x)_4 }{3!} = 6 x_1^2 x_2. </math>
Line 214: Line 214:
* कब <math>1 \le a < n</math>,
* कब <math>1 \le a < n</math>,
:<math>B_{n, n-a}(x_1, \ldots, x_{a+1}) = \sum_{j = a+1}^{2a}\frac{j!}{a!}\binom{n}{j}(x_1)^{n-j} B_{a, j-a}\Bigl(\frac{x_2}{2}, \frac{x_3}{3}, \ldots, \frac{x_{2(a+1)-j}}{2(a+1)-j}\Bigr).</math>
:<math>B_{n, n-a}(x_1, \ldots, x_{a+1}) = \sum_{j = a+1}^{2a}\frac{j!}{a!}\binom{n}{j}(x_1)^{n-j} B_{a, j-a}\Bigl(\frac{x_2}{2}, \frac{x_3}{3}, \ldots, \frac{x_{2(a+1)-j}}{2(a+1)-j}\Bigr).</math>
* आंशिक बेल बहुपद के विशेष मामले:
* आंशिक बेल बहुपद के विशेष स्थितियों:


:<math>
:<math>
Line 257: Line 257:


:<math>{d^n \over dx^n} f(g(x)) = \sum_{k=1}^n f^{(k)}(g(x)) B_{n,k} \left(g'(x),g''(x), \dots, g^{(n-k+1)}(x)\right).</math>
:<math>{d^n \over dx^n} f(g(x)) = \sum_{k=1}^n f^{(k)}(g(x)) B_{n,k} \left(g'(x),g''(x), \dots, g^{(n-k+1)}(x)\right).</math>
इसी तरह, Faà di Bruno के सूत्र का एक शक्ति-श्रृंखला संस्करण निम्नानुसार बेल बहुपदों का उपयोग करके कहा जा सकता है। कल्पना करना
इसी प्रकार, Faà di Bruno के सूत्र का एक शक्ति-श्रृंखला संस्करण निम्नानुसार बेल बहुपदों का उपयोग करके कहा जा सकता है। कल्पना करना


:<math>f(x)=\sum_{n=1}^\infty {a_n \over n!} x^n \qquad \text{and} \qquad g(x) = \sum_{n=1}^\infty {b_n \over n!} x^n.</math>
:<math>f(x)=\sum_{n=1}^\infty {a_n \over n!} x^n \qquad \text{and} \qquad g(x) = \sum_{n=1}^\infty {b_n \over n!} x^n.</math>
Line 275: Line 275:


:<math>f(w) = \sum_{k=0}^\infty f_k \frac{w^k}{k!}, \qquad \text{and}  \qquad  g(z) = \sum_{k=0}^\infty g_k \frac{z^k}{k!},</math>
:<math>f(w) = \sum_{k=0}^\infty f_k \frac{w^k}{k!}, \qquad \text{and}  \qquad  g(z) = \sum_{k=0}^\infty g_k \frac{z^k}{k!},</math>
ऐसा है कि g, g(f(w)) = w या f(g(z)) = z द्वारा परिभाषित f का संयोजनात्मक व्युत्क्रम है। अगर एफ<sub>0</sub> = 0 और एफ<sub>1</sub> ≠ 0, तो व्युत्क्रम के गुणांकों का एक स्पष्ट रूप बेल बहुपदों के रूप में दिया जा सकता है{{sfn|Charalambides|2002|p=437|loc=Eqn (11.43)}}
ऐसा है कि g, g(f(w)) = w या f(g(z)) = z द्वारा परिभाषित f का संयोजनात्मक व्युत्क्रम है। यदि एफ<sub>0</sub> = 0 और एफ<sub>1</sub> ≠ 0, तो व्युत्क्रम के गुणांकों का एक स्पष्ट रूप बेल बहुपदों के रूप में दिया जा सकता है{{sfn|Charalambides|2002|p=437|loc=Eqn (11.43)}}
:<math> g_n = \frac{1}{f_1^n} \sum_{k=1}^{n-1} (-1)^k n^{\bar{k}} B_{n-1,k}(\hat{f}_1,\hat{f}_2,\ldots,\hat{f}_{n-k}), \qquad n \geq 2, </math>
:<math> g_n = \frac{1}{f_1^n} \sum_{k=1}^{n-1} (-1)^k n^{\bar{k}} B_{n-1,k}(\hat{f}_1,\hat{f}_2,\ldots,\hat{f}_{n-k}), \qquad n \geq 2, </math>
साथ <math> \hat{f}_k = \frac{f_{k+1}}{(k+1)f_{1}},</math> और <math>n^{\bar{k}} = n(n+1)\cdots (n+k-1) </math> बढ़ती फैक्टोरियल है, और <math>g_1 = \frac{1}{f_{1}}. </math>
साथ <math> \hat{f}_k = \frac{f_{k+1}}{(k+1)f_{1}},</math> और <math>n^{\bar{k}} = n(n+1)\cdots (n+k-1) </math> बढ़ती फैक्टोरियल है, और <math>g_1 = \frac{1}{f_{1}}. </math>
Line 326: Line 326:


:<math>\mu_n' = B_n(\kappa_1,\dots,\kappa_n)=\sum_{k=1}^n B_{n,k}(\kappa_1,\dots,\kappa_{n-k+1})</math>
:<math>\mu_n' = B_n(\kappa_1,\dots,\kappa_n)=\sum_{k=1}^n B_{n,k}(\kappa_1,\dots,\kappa_{n-k+1})</math>
संभाव्यता बंटन का nवां कच्चा क्षण (गणित) है जिसके पहले n [[संचयी]] κ हैं<sub>1</sub>, ..., क<sub>''n''</sub>. दूसरे शब्दों में, nवाँ क्षण nवाँ पूर्ण बेल बहुपद है जिसका मूल्यांकन पहले n संचयी पर किया जाता है। इसी तरह, nवें संचयी को क्षणों के रूप में दिया जा सकता है
संभाव्यता बंटन का nवां कच्चा क्षण (गणित) है जिसके पहले n [[संचयी]] κ हैं<sub>1</sub>, ..., क<sub>''n''</sub>. दूसरे शब्दों में, nवाँ क्षण nवाँ पूर्ण बेल बहुपद है जिसका मूल्यांकन पहले n संचयी पर किया जाता है। इसी प्रकार, nवें संचयी को क्षणों के रूप में दिया जा सकता है


:<math>\kappa_n = \sum_{k=1}^n (-1)^{k-1} (k-1)! B_{n,k}(\mu'_1,\ldots,\mu'_{n-k+1}).</math>
:<math>\kappa_n = \sum_{k=1}^n (-1)^{k-1} (k-1)! B_{n,k}(\mu'_1,\ldots,\mu'_{n-k+1}).</math>
Line 365: Line 365:
== सॉफ्टवेयर ==
== सॉफ्टवेयर ==


बेल बहुपद लागू होते हैं:
बेल बहुपद प्रयुक्त होते हैं:
* गणित के रूप में [http://reference.wolfram.com/mathematica/ref/BellY.html BellY]
* गणित के रूप में [http://reference.wolfram.com/mathematica/ref/BellY.html BellY]
* [[मेपल (सॉफ्टवेयर)]] [http://www.maplesoft.com/support/help/Maple/view.aspx?path=BellB IncompleteBellB] के रूप में
* [[मेपल (सॉफ्टवेयर)]] [http://www.maplesoft.com/support/help/Maple/view.aspx?path=BellB IncompleteBellB] के रूप में

Revision as of 12:55, 16 February 2023

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

परिभाषाएँ

घातीय बेल बहुपद

आंशिक या अपूर्ण घातीय बेल बहुपद बहुपदों की एक त्रिकोणीय सरणी द्वारा दिए गए हैं

जहां गैर-ऋणात्मक पूर्णांकों के सभी अनुक्रम j1, j2, j3, ..., jnk+1 पर योग लिया जाता है, जैसे कि ये दो शर्तें पूरी होती हैं:

 :

योग

nवां पूर्ण चरघातांकी बेल बहुपद कहलाता है।

साधारण बेल बहुपद

इसी प्रकार, आंशिक साधारण बेल बहुपद द्वारा परिभाषित किया गया है

जहां योग गैर-ऋणात्मक पूर्णांकों के सभी अनुक्रम j1, j2, j3, ..., jnk+1 पर चलता है जैसे कि

साधारण बेल बहुपदों को घातीय बेल बहुपदों के रूप में व्यक्त किया जा सकता है:

सामान्य तौर पर, बेल बहुपद घातीय बेल बहुपद को संदर्भित करता है, जब तक कि अन्यथा स्पष्ट रूप से न कहा गया हो।

संयुक्त अर्थ

घातीय बेल बहुपद एक सेट को विभाजित करने के तरीकों से संबंधित जानकारी को कूटबद्ध करता है। उदाहरण के लिए, यदि हम एक सेट {A, B, C} पर विचार करते हैं, तो इसे दो गैर-खाली, गैर-अतिव्यापी उपसमुच्चय में विभाजित किया जा सकता है, जिसे 3 अलग-अलग तरीकों से भागों या ब्लॉकों के रूप में भी जाना जाता है:

{{A}, {B, C}}
{{B}, {A, C}}
{{C}, {B, A}}

इस प्रकार, हम इन विभाजनों के बारे में जानकारी को एन्कोड कर सकते हैं

यहाँ, बी की सदस्यताएँ3,2 हमें बताता है कि हम 3 तत्वों के साथ सेट के विभाजन को 2 ब्लॉकों में विभाजित करने पर विचार कर रहे हैं। प्रत्येक एक्स की सबस्क्रिप्टi किसी दिए गए विभाजन में i तत्वों (या आकार i के ब्लॉक) के साथ ब्लॉक की उपस्थिति को दर्शता है। तो यहाँ, एक्स2 दो तत्वों के साथ एक ब्लॉक की उपस्थिति को दर्शता करता है। इसी प्रकार, एक्स1 एकल तत्व वाले ब्लॉक की उपस्थिति को दर्शता है। x का प्रतिपादकij दर्शता है कि एकल विभाजन में आकार i के ऐसे j ब्लॉक हैं। यहाँ, चूँकि दोनों x1 और एक्स2 प्रतिपादक 1 है, यह दर्शता करता है कि दिए गए विभाजन में केवल एक ऐसा ब्लॉक है। एकपद का गुणांक दर्शता करता है कि ऐसे कितने विभाजन हैं। हमारे स्थितियों के लिए, 3 तत्वों के साथ 2 ब्लॉकों में एक सेट के 3 विभाजन हैं, जहां प्रत्येक विभाजन में तत्वों को 1 और 2 के आकार के दो ब्लॉकों में विभाजित किया गया है।

चूँकि किसी भी समुच्चय को एक ही ब्लॉक में केवल एक तरीके से विभाजित किया जा सकता है, उपरोक्त व्याख्या का अर्थ होगा कि Bn,1 = एक्सn. इसी प्रकार, चूंकि केवल एक ही विधि है कि n तत्वों वाले एक सेट को n सिंगलटन में विभाजित किया जाए, Bn,n = एक्स1एन.

अधिक जटिल उदाहरण के रूप में, विचार करें

यह हमें बताता है कि यदि 6 तत्वों के एक सेट को 2 ब्लॉकों में विभाजित किया जाता है, तो हमारे पास आकार 1 और 5 के ब्लॉक के साथ 6 विभाजन, आकार 4 और 2 के ब्लॉक वाले 15 विभाजन और 3 आकार के 2 ब्लॉक वाले 10 विभाजन हो सकते हैं।

एकपदी में सबस्क्रिप्ट का योग तत्वों की कुल संख्या के बराबर है। इस प्रकार, आंशिक बेल बहुपद में दिखाई देने वाले मोनोमियल्स की संख्या उन तरीकों की संख्या के बराबर होती है, जिन्हें पूर्णांक n को k धनात्मक पूर्णांकों के योग के रूप में व्यक्त किया जा सकता है। यह n के k भागों में पूर्णांक विभाजन के समान है। उदाहरण के लिए, उपरोक्त उदाहरणों में, पूर्णांक 3 को केवल 2+1 के रूप में दो भागों में विभाजित किया जा सकता है। इस प्रकार, B में केवल एक एकपदी है3,2. चूंकि, पूर्णांक 6 को 5+1, 4+2 और 3+3 के रूप में दो भागों में विभाजित किया जा सकता है। इस प्रकार, B में तीन एकपदी हैं6,2. वास्तव में, एक मोनोमियल में वेरिएबल्स के सबस्क्रिप्ट वही होते हैं जो पूर्णांक विभाजन द्वारा दिए गए होते हैं, जो विभिन्न ब्लॉकों के आकार को दर्शाते हैं। एक पूर्ण बेल बहुपद बी में दिखाई देने वाले एकपदों की कुल संख्याnइस प्रकार n के पूर्णांक विभाजनों की कुल संख्या के बराबर है।

साथ ही प्रत्येक मोनोमियल की डिग्री, जो मोनोमियल में प्रत्येक चर के घातांक का योग है, सेट में विभाजित ब्लॉकों की संख्या के बराबर है। अर्थात जे1 + जे2 + ... = के। इस प्रकार, एक पूर्ण बेल बहुपद बी दिया गयाn, हम आंशिक बेल बहुपद बी को अलग कर सकते हैंn,kडिग्री k वाले उन सभी एकपदों को एकत्रित करके।

अंत में, यदि हम ब्लॉक के आकार की उपेक्षा करते हैं और सभी xi = x, तो आंशिक बेल बहुपद बी के गुणांकों का योगn,k n तत्वों वाले एक सेट को k ब्लॉकों में विभाजित करने के तरीकों की कुल संख्या देगा, जो दूसरी प्रकार की स्टर्लिंग संख्याओं के समान है। साथ ही, पूर्ण बेल बहुपद बी के सभी गुणांकों का योगnहमें n तत्वों के साथ एक सेट को गैर-अतिव्यापी उपसमुच्चय में विभाजित करने के तरीकों की कुल संख्या देगा, जो बेल संख्या के समान है।

सामान्य तौर पर, यदि पूर्णांक n एक पूर्णांक विभाजन है जिसमें एक योग है जिसमें 1 j दिखाई देता है1 बार, 2 प्रकट होता है जे2 बार, और इसी प्रकार, फिर आकार n के एक सेट के विभाजन की संख्या जो पूर्णांक n के उस विभाजन के लिए ढह जाती है जब सेट के सदस्य अप्रभेद्य हो जाते हैं, बहुपद में संबंधित गुणांक होता है।

उदाहरण

उदाहरण के लिए, हमारे पास है

क्योंकि 6 तत्वों के सेट को 2 ब्लॉक के रूप में विभाजित करने के तरीके हैं

6 के सेट को 5 + 1 के रूप में विभाजित करने के 6 तरीके,
6 के सेट को 4 + 2 के रूप में विभाजित करने के 15 तरीके, और
6 के सेट को 3 + 3 के रूप में विभाजित करने के 10 तरीके।

इसी प्रकार,

क्योंकि 6 तत्वों के सेट को 3 ब्लॉक के रूप में विभाजित करने के तरीके हैं

6 के सेट को 4+1+1 के रूप में विभाजित करने के 15 तरीके,
60 6 के सेट को 3+2+1 के रूप में विभाजित करने के तरीके, और
6 के सेट को 2+2+2 के रूप में विभाजित करने के 15 तरीके।

गुण

जनरेटिंग फंक्शन

घातीय आंशिक बेल बहुपदों को इसके जनरेटिंग फ़ंक्शन के दोहरे श्रृंखला विस्तार द्वारा परिभाषित किया जा सकता है:

दूसरे शब्दों में, k-th शक्ति के श्रृंखला विस्तार द्वारा समान मात्रा में क्या है:

पूर्ण घातीय बेल बहुपद द्वारा परिभाषित किया गया है , या दूसरे शब्दों में:

इस प्रकार, n-वाँ पूर्ण बेल बहुपद दिया जाता है

इसी प्रकार, साधारण आंशिक बेल बहुपद को जनरेटिंग फ़ंक्शन द्वारा परिभाषित किया जा सकता है

या, समतुल्य, k-वें शक्ति के श्रृंखला विस्तार द्वारा:

यह भी देखें जनरेटिंग फंक्शन ट्रांसफॉर्मेशन#पॉवर ऑफ़ ओजीएफ एंड कंपोज़िशन विथ फंक्शन्स फॉर बेल पॉलीनॉमियल जनरेटिंग फंक्शन एक्सपेंशन ऑफ़ कंपोज़िशन ऑफ़ सीक्वेंस उत्पन्न करने वाले कार्य एंड एक्सपोनेंटिएशन, लॉगरिथम्स, एंड [[घातांक प्रकार्य]] ऑफ़ ए सीक्वेंस जनरेटिंग फंक्शन। इनमें से प्रत्येक सूत्र को कॉमेट के संबंधित अनुभागों में उद्धृत किया गया है।[1]


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

पूर्ण बेल बहुपद को पुनरावृत्ति संबंध के रूप में परिभाषित किया जा सकता है

प्रारंभिक मूल्य के साथ .

आंशिक बेल बहुपदों की भी पुनरावृत्ति संबंध द्वारा दक्षतापूर्वक गणना की जा सकती है:

कहाँ

पूर्ण बेल बहुपद निम्नलिखित पुनरावृत्ति अंतर सूत्र को भी संतुष्ट करते हैं:[2]


संजात

संपूर्ण बेल बहुपदों के आंशिक अवकलज निम्न द्वारा दिए गए हैं[3]

इसी प्रकार, आंशिक बेल बहुपदों के आंशिक डेरिवेटिव द्वारा दिए गए हैं

यदि बेल बहुपदों के तर्क एक आयामी कार्य हैं, तो श्रृंखला नियम का उपयोग प्राप्त करने के लिए किया जा सकता है


निर्धारक रूप

पूर्ण बेल बहुपद निर्धारकों के रूप में व्यक्त किया जा सकता है:

और


स्टर्लिंग नंबर और बेल नंबर

बेल बहुपद बी का मानn,k(एक्स1,एक्स2,...) कारख़ाने का के अनुक्रम पर पहली प्रकार की एक अहस्ताक्षरित स्टर्लिंग संख्या के बराबर होती है:

इन मानों का योग फैक्टोरियल के अनुक्रम पर पूर्ण बेल बहुपद का मान देता है:

बेल बहुपद बी का मानn,k(एक्स1,एक्स2,...) एक के अनुक्रम पर दूसरी प्रकार की स्टर्लिंग संख्या के बराबर होती है:

इन मानों का योग एक के अनुक्रम पर पूर्ण बेल बहुपद का मान देता है:

जो nth बेल नंबर है।

व्युत्क्रम संबंध

यदि हम परिभाषित करते हैं

तो हमारे पास उलटा संबंध है


टचर्ड बहुपद

बहुपद स्पर्श x होने वाले सभी तर्कों पर पूर्ण बेल बहुपद के मान के रूप में व्यक्त किया जा सकता है:


कनवल्शन आइडेंटिटी

अनुक्रमों के लिए एक्सn, औरn, n = 1, 2, ..., कनवल्शन को परिभाषित करें:

योग की सीमाएं 1 और n − 1 हैं, न कि 0 और n ।

होने देना अनुक्रम का nवाँ पद हो

तब[4]

उदाहरण के लिए, आइए गणना करें . अपने पास

और इस प्रकार,


अन्य पहचान

  • जो ये रही संख्या देता है।
  • जो इम्पोटेंस # इम्पोटेंट फंक्शन देता है।
  • और .
  • संपूर्ण बेल बहुपद द्विपद प्रकार के संबंध को संतुष्ट करते हैं:
यह कारक की चूक को ठीक करता है कॉमटेट की किताब में।[5]
  • कब ,
  • आंशिक बेल बहुपद के विशेष स्थितियों: