वैंडरमोंड मैट्रिक्स: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Mathematical concept}}
{{Short description|Mathematical concept}}
रेखीय बीजगणित में, एक वेंडरमोंड आव्यूह जिसका नाम एलेक्जेंडर थियोफाइल वेंडरमोंड के नाम पर रखा गया है, इसमें एक आव्यूह होता है जिसमें प्रत्येक पंक्ति में गुणोत्तर अनुक्रम वाले <math>(m + 1) \times (n + 1)</math> के रूप में [[मैट्रिक्स (गणित)|आव्यूह]] होते है
रेखीय बीजगणित में, एक वेंडरमोंड आव्यूह जिसका नाम एलेक्जेंडर थियोफाइल वेंडरमोंड के नाम पर रखा गया है, इसमें एक आव्यूह होता है जिसमें प्रत्येक पंक्ति में गुणोत्तर अनुक्रम वाले <math>(m + 1) \times (n + 1)</math> के रूप में [[मैट्रिक्स (गणित)|आव्यूह]] होते है


:<math>V = V(x_0, x_1, \cdots, x_m) =
:<math>V = V(x_0, x_1, \cdots, x_m) =
Line 12: Line 12:
या
या
:<math>V_{i,j} = x_i^j </math>
:<math>V_{i,j} = x_i^j </math>
सभी शून्य-आधारित सूचकांक के लिए <math>i </math> और <math>j </math> के रूप में होते है.<ref>Roger A. Horn and Charles R. Johnson (1991), ''Topics in matrix analysis'', Cambridge University Press. ''See Section 6.1''.</ref> अधिकांश लेखक वैंडरमोंड आव्यूह को उपरोक्त आव्यूह के स्थानान्तरण के रूप में परिभाषित करते हैं।<ref name=":0" /><ref name=MS/>
सभी शून्य-आधारित सूचकांक के लिए <math>i </math> और <math>j </math> के रूप में होते है.<ref>Roger A. Horn and Charles R. Johnson (1991), ''Topics in matrix analysis'', Cambridge University Press. ''See Section 6.1''.</ref> और अधिकांश लेखक वैंडरमोंड आव्यूह को उपरोक्त आव्यूह के स्थानान्तरण के रूप में परिभाषित करते हैं।<ref name=":0" /><ref name=MS/>


[[डीएफटी मैट्रिक्स|असतत फूरियर रूपांतरण आव्यूह]] वैंडरमोंड आव्यूह का एक बहुत ही महत्वपूर्ण उदाहरण के रूप में है।<ref name=":0" />  
[[डीएफटी मैट्रिक्स|असतत फूरियर रूपांतरण आव्यूह]] वैंडरमोंड आव्यूह का एक बहुत ही महत्वपूर्ण उदाहरण के रूप में है।<ref name=":0" />  


एक [[स्क्वायर मैट्रिक्स|वर्ग]] वैंडरमोंड [[आव्यूह]] के सारणिक को वैंडरमोंड [[बहुपद]] या वैंडरमोंड सारणिक कहा जाता है। इसका मान बहुपद के रूप में इस प्रकार दिखाया जाता  
एक [[स्क्वायर मैट्रिक्स|वर्ग]] वैंडरमोंड [[आव्यूह]] के सारणिक को वैंडरमोंड [[बहुपद]] या वैंडरमोंड सारणिक कहा जाता है। इसका मान बहुपद के रूप में इस प्रकार दिखाया जाता  


है
है
Line 22: Line 22:
जो अशून्य रूप में होते है और यदि सभी <math>x_i</math> विशिष्ट रूप में हैं।
जो अशून्य रूप में होते है और यदि सभी <math>x_i</math> विशिष्ट रूप में हैं।


वैंडरमोंड सारणिक को कभी-कभी विवेचक कहा जाता था, चूंकि वर्तमान में बहुपद का विवेचक, बहुपद के रुट के वैंडरमोंड सारणिक का वर्ग होता है। और इस प्रकार वैंडरमोंड सारणिक <math>x_i</math> के[[वैकल्पिक रूप]] में होता है, जिसका अर्थ है कि <math>x_i</math> का आदान-प्रदान करने से चिह्न बदल जाता है जबकि <math>x_i</math> एक समान क्रमपरिवर्तन द्वारा क्रमबद्ध करने से सारणिक का मान नहीं बदलता है। यह इस प्रकार के लिए एक क्रमबद्ध की पसंद पर निर्भर करता है <math>x_i</math>, जबकि इसका वर्ग विवेचक किसी भी क्रम पर निर्भर नहीं करता है और इसका तात्पर्य गैलोइस सिद्धांत से है, जो कि विवेचक बहुपद के गुणांकों का एक बहुपद फलन के रूप में है जिसमें <math>x_i</math> रुट के रूप में होता है।
वैंडरमोंड सारणिक को कभी-कभी विवेचक कहा जाता था, चूंकि वर्तमान में बहुपद का विवेचक, बहुपद के रुट के वैंडरमोंड सारणिक का वर्ग होता है। और इस प्रकार वैंडरमोंड सारणिक <math>x_i</math> के[[वैकल्पिक रूप]] में होता है, जिसका अर्थ है कि <math>x_i</math> का आदान-प्रदान करने से चिह्न बदल जाता है जबकि <math>x_i</math> एक समान क्रमपरिवर्तन द्वारा क्रमबद्ध करने से सारणिक का मान नहीं बदलता है। यह इस प्रकार के लिए एक क्रमबद्ध की पसंद पर निर्भर करता है <math>x_i</math>, जबकि इसका वर्ग विवेचक किसी भी क्रम पर निर्भर नहीं करता है और इसका तात्पर्य गैलोइस सिद्धांत से है, जो कि विवेचक बहुपद के गुणांकों का एक बहुपद फलन के रूप में है जिसमें <math>x_i</math> रुट के रूप में होता है।


== प्रमाण ==
== प्रमाण ==
एक वर्ग वेंडरमोंड आव्यूह की मुख्य गुणधर्म के रूप होते है  
एक वर्ग वेंडरमोंड आव्यूह की मुख्य गुणधर्म के रूप होते है  
:<math>V=\begin{bmatrix}
:<math>V=\begin{bmatrix}
1 & x_0 & x_0^2 & \dots & x_0^n\\
1 & x_0 & x_0^2 & \dots & x_0^n\\
Line 33: Line 33:
1 & x_n & x_n^2 & \dots & x_n^n
1 & x_n & x_n^2 & \dots & x_n^n
\end{bmatrix}</math>
\end{bmatrix}</math>
यह इसके सारणिक का सरल रूप है, जिसे इस प्रकार दिखाया गया है  
यह इसके सारणिक का सरल रूप है, जिसे इस प्रकार दिखाया गया है  
:<math>\det(V)=\prod_{0\le i<j\le n} (x_j-x_i).</math>
:<math>\det(V)=\prod_{0\le i<j\le n} (x_j-x_i).</math>
इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है और इस प्रकार विशेष रूप से [[बहुभिन्नरूपी बहुपद|बहुभिन्नरूपी बहुपदो]] के [[अद्वितीय गुणनखंड डोमेन]] के रूप में होता है। चूंकि वैचारिक रूप से इसमें [[सार बीजगणित]] की गैर-प्रारंभिक अवधारणाओ के रूप में सम्मलित हैं। और इसके दूसरे प्रमाण के लिए किसी स्पष्ट कम्प्यूटेशन की आवश्यकता नहीं होती है, लेकिन इसमें एक रेखीय मानचित्र के सारणिक और आधार के परिवर्तन की अवधारणा के रूप में सम्मलित होता है। यह वैंडरमोंड आव्यूह के लू अपघटन की संरचना भी प्रदान करता है। मात्र [[प्राथमिक मैट्रिक्स|प्राथमिक आव्यूह]] का उपयोग करते हुए तीसरा एक अधिक प्राथमिक और अधिक जटिल रूप में है।
इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है और इस प्रकार विशेष रूप से [[बहुभिन्नरूपी बहुपद|बहुभिन्नरूपी बहुपदो]] के [[अद्वितीय गुणनखंड डोमेन]] के रूप में होता है। चूंकि वैचारिक रूप से इसमें [[सार बीजगणित]] की गैर-प्रारंभिक अवधारणाओ के रूप में सम्मलित हैं। और इसके दूसरे प्रमाण के लिए किसी स्पष्ट कम्प्यूटेशन की आवश्यकता नहीं होती है, लेकिन इसमें एक रेखीय मानचित्र के सारणिक और आधार के परिवर्तन की अवधारणा के रूप में सम्मलित होता है। यह वैंडरमोंड आव्यूह के लू अपघटन की संरचना भी प्रदान करता है। मात्र [[प्राथमिक मैट्रिक्स|प्राथमिक आव्यूह]] का उपयोग करते हुए तीसरा एक अधिक प्राथमिक और अधिक जटिल रूप में है।


=== बहुपद गुणों का प्रयोग ===
=== बहुपद गुणों का प्रयोग ===


[[लीबनिज सूत्र (निर्धारक)|लीबनिज सूत्र (सारणिक )]] द्वारा, <math>\det(V)</math> में एक बहुपद है <math>x_i</math>, पूर्णांक गुणांक के साथ सभी प्रविष्टियाँ <math>i</math>वें कॉलम शून्य के रूप में आधारित [[कुल घात]] के रूप में होती है <math>i</math>. इस प्रकार फिर से लीबनिज सूत्र द्वारा सारणिक के सभी पदों की कुल घात होती है
[[लीबनिज सूत्र (निर्धारक)|लीबनिज सूत्र (सारणिक )]] द्वारा, <math>\det(V)</math> में एक बहुपद है <math>x_i</math>, पूर्णांक गुणांक के साथ सभी प्रविष्टियाँ <math>i</math>वें कॉलम शून्य के रूप में आधारित [[कुल घात]] के रूप में होती है <math>i</math>. इस प्रकार फिर से लीबनिज सूत्र द्वारा सारणिक के सभी पदों की कुल घात होती है
:<math>0 + 1 + 2 + \cdots + n = \frac{n(n+1)}2;</math>
:<math>0 + 1 + 2 + \cdots + n = \frac{n(n+1)}2;</math>
अर्थात सारणिक इस घात का एक [[सजातीय बहुपद]] के रूप में है।
अर्थात सारणिक इस घात का एक [[सजातीय बहुपद]] के रूप में है।


यदि <math>i \neq j</math> , के लिए एक स्थानापन्न <math>x_i</math> के लिए <math>x_j</math> के रूप में होता है और इस प्रकार हमें दो समान पंक्तियों वाला एक आव्यूह मिलता है, जिसमें एक शून्य सारणिक होता है। इस प्रकार[[कारक प्रमेय|गुणनखंड प्रमेय]] द्वारा, <math>x_j-x_i</math> का भाजक <math>\det(V)</math>.के रूप में होता है और इस प्रकार बहुभिन्नरूपी बहुपदों के अद्वितीय गुणनखंड डोमेन द्वारा होता है और सभी का गुणनफल <math>x_j-x_i</math> का विभाजित <math>\det(V)</math> के रूप में है
यदि <math>i \neq j</math> , के लिए एक स्थानापन्न <math>x_i</math> के लिए <math>x_j</math> के रूप में होता है और इस प्रकार हमें दो समान पंक्तियों वाला एक आव्यूह मिलता है, जिसमें एक शून्य सारणिक होता है। इस प्रकार[[कारक प्रमेय|गुणनखंड प्रमेय]] द्वारा, <math>x_j-x_i</math> का भाजक <math>\det(V)</math>.के रूप में होता है और इस प्रकार बहुभिन्नरूपी बहुपदों के अद्वितीय गुणनखंड डोमेन द्वारा होता है और सभी का गुणनफल <math>x_j-x_i</math> का विभाजित <math>\det(V)</math> के रूप में है
:<math>\det(V)=Q\prod_{1\le i<j\le n} (x_j-x_i),</math>
:<math>\det(V)=Q\prod_{1\le i<j\le n} (x_j-x_i),</math>
जहाँ <math>Q</math> एक बहुपद के रूप में है और इस प्रकार सभी के गुणनफल के रूप में <math>x_j-x_i</math> और <math>\det(V)</math> की समान घात <math>n(n + 1)/2</math> के रूप में होती है और इस प्रकार बहुपद <math>Q</math> वस्तुत: एक स्थिरांक के रूप में है। यह स्थिरांक एक है, क्योंकि विकर्ण प्रविष्टियों का गुणनफल <math>V</math> का <math>x_1 x_2^2\cdots x_n^n</math>, के रूप में है, जो [[एकपद|एकपदी]] बहुपद के रूप में है, जो सभी गुणनखंडों के प्रथम पद को लेकर प्राप्त किया जाता है <math>\textstyle \prod_{0\le i<j\le n} (x_j-x_i).</math> इससे यह सिद्ध होता है
जहाँ <math>Q</math> एक बहुपद के रूप में है और इस प्रकार सभी के गुणनफल के रूप में <math>x_j-x_i</math> और <math>\det(V)</math> की समान घात <math>n(n + 1)/2</math> के रूप में होती है और इस प्रकार बहुपद <math>Q</math> वस्तुत: एक स्थिरांक के रूप में है। यह स्थिरांक एक है, क्योंकि विकर्ण प्रविष्टियों का गुणनफल <math>V</math> का <math>x_1 x_2^2\cdots x_n^n</math>, के रूप में है, जो [[एकपद|एकपदी]] बहुपद के रूप में है, जो सभी गुणनखंडों के प्रथम पद को लेकर प्राप्त किया जाता है <math>\textstyle \prod_{0\le i<j\le n} (x_j-x_i).</math> इससे यह सिद्ध होता है
:<math>\det(V)=\prod_{0\le i<j\le n} (x_j-x_i).</math>
:<math>\det(V)=\prod_{0\le i<j\le n} (x_j-x_i).</math>


===रेखीय नक्शों का प्रयोग ===
===रेखीय नक्शों का प्रयोग ===
मान लीजिए कि {{mvar|F}} एक ऐसा [[क्षेत्र (गणित)|गणित क्षेत्र]] है, जिसमें सभी <math>x_i,</math> हैं और <math>P_n</math> , {{mvar|F}} में गुणांक वाले n से कम घात वाले बहुपदों की {{mvar|F}} सदिश स्थान के रूप में है। और इस प्रकार इसे दिखाया जाता है,
मान लीजिए कि {{mvar|F}} एक ऐसा [[क्षेत्र (गणित)|गणित क्षेत्र]] है, जिसमें सभी <math>x_i,</math> हैं और <math>P_n</math> , {{mvar|F}} में गुणांक वाले n से कम घात वाले बहुपदों की {{mvar|F}} सदिश स्थान के रूप में है। और इस प्रकार इसे दिखाया जाता है,
:<math>\varphi:P_n\to F^n</math>
:<math>\varphi:P_n\to F^n</math>
रैखिक नक्शा द्वारा परिभाषित हैं  
रैखिक नक्शा द्वारा परिभाषित हैं  
:<math>p(x) \mapsto (p(x_1), \ldots, p(x_n))</math>.
:<math>p(x) \mapsto (p(x_1), \ldots, p(x_n))</math>.


वेंडरमोंड आव्यूह <math>P_n</math> और <math>F^n.</math>के [[विहित आधारों]] के संबंध में <math>\varphi</math> का मैट्रिक्स है।  
वेंडरमोंड आव्यूह <math>P_n</math> और <math>F^n.</math>के [[विहित आधारों]] के संबंध में <math>\varphi</math> का मैट्रिक्स है।  


<math>P_n</math> के आधार को बदलने से वैंडरमोंड आव्यूह को दाईं ओर से आधार आव्यूह {{mvar|M}} के परिवर्तन से गुणा किया जाता है। यदि M का सारणिक 1 है तो यह सारणिक नहीं बदलता है।
<math>P_n</math> के आधार को बदलने से वैंडरमोंड आव्यूह को दाईं ओर से आधार आव्यूह {{mvar|M}} के परिवर्तन से गुणा किया जाता है। यदि M का सारणिक 1 है तो यह सारणिक नहीं बदलता है।


बहुपद <math>1</math>, <math>x-x_0</math>, <math>(x-x_0)(x-x_1)</math>, …, <math>(x-x_0) (x-x_1) \cdots (x-x_n)</math> संबंधित घात के [[मोनिक बहुपद|एकपद बहुपद]] हैं {{math|0, 1, …, n}}. [[मोनोमियल आधार|एकपदी आधार]] पर उनका आव्यूह एक [[ऊपरी-त्रिकोणीय मैट्रिक्स|ऊपरी-त्रिकोणीय आव्यूह]] {{mvar|U}} के रूप में है यदि एकपदी को बढ़ती घात के रूप में क्रमबद्ध किया जाता है और इस प्रकार सभी विकर्ण प्रविष्टियाँ के बराबर होती हैं। इस प्रकार यह आव्यूह सारणिक का परिवर्तन आधार आव्यूह के रूप में होता है। इस नए आधार पर <math>\varphi</math> का मैट्रिक्स है
बहुपद <math>1</math>, <math>x-x_0</math>, <math>(x-x_0)(x-x_1)</math>, …, <math>(x-x_0) (x-x_1) \cdots (x-x_n)</math> संबंधित घात के [[मोनिक बहुपद|एकपद बहुपद]] हैं {{math|0, 1, …, n}}. [[मोनोमियल आधार|एकपदी आधार]] पर उनका आव्यूह एक [[ऊपरी-त्रिकोणीय मैट्रिक्स|ऊपरी-त्रिकोणीय आव्यूह]] {{mvar|U}} के रूप में है यदि एकपदी को बढ़ती घात के रूप में क्रमबद्ध किया जाता है और इस प्रकार सभी विकर्ण प्रविष्टियाँ के बराबर होती हैं। इस प्रकार यह आव्यूह सारणिक का परिवर्तन आधार आव्यूह के रूप में होता है। इस नए आधार पर <math>\varphi</math> का मैट्रिक्स है
:<math>L=
:<math>L=
\begin{bmatrix}
\begin{bmatrix}
Line 68: Line 68:
(x_n-x_0)(x_n-x_1)\cdots (x_n-x_n)
(x_n-x_0)(x_n-x_1)\cdots (x_n-x_n)
\end{bmatrix}</math>.
\end{bmatrix}</math>.
इस प्रकार वैंडरमोंड सारणिक इस आव्यूह सारणिक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद के रूप में है।
इस प्रकार वैंडरमोंड सारणिक इस आव्यूह सारणिक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद के रूप में है।


यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त किसी लू का अपघटन {{mvar|V}} की तरह <math>V=LU^{-1}</math>.के रूप में होता है  
यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त किसी लू का अपघटन {{mvar|V}} की तरह <math>V=LU^{-1}</math>.के रूप में होता है  


=== पंक्ति और स्तंभ संचालन द्वारा ===
=== पंक्ति और स्तंभ संचालन द्वारा ===
Line 76: Line 76:
यह तीसरा प्रमाण इस तथ्य पर आधारित है कि यदि कोई आव्यूह के एक स्तंभ में गुणनफल को दूसरे स्तंभ के अदिश गुणज को जोड़ता है तो सारणिक अपरिवर्तित रहता है।
यह तीसरा प्रमाण इस तथ्य पर आधारित है कि यदि कोई आव्यूह के एक स्तंभ में गुणनफल को दूसरे स्तंभ के अदिश गुणज को जोड़ता है तो सारणिक अपरिवर्तित रहता है।


इसलिए, प्रत्येक कॉलम को घटाकर पहले वाले को छोड़कर और पूर्ववर्ती कॉलम को गुणा करके <math>x_0</math>, सारणिक अपरिवर्तित रहता है। ये घटाव अंतिम कॉलम से प्रारंभ करके किया जाता है और इस प्रकार एक कॉलम घटाता जो अभी तक नहीं बदला गया है। यह इस रूप में आव्यूह को दिखाता है,
इसलिए, प्रत्येक कॉलम को घटाकर पहले वाले को छोड़कर और पूर्ववर्ती कॉलम को गुणा करके <math>x_0</math>, सारणिक अपरिवर्तित रहता है। ये घटाव अंतिम कॉलम से प्रारंभ करके किया जाता है और इस प्रकार एक कॉलम घटाता जो अभी तक नहीं बदला गया है। यह इस रूप में आव्यूह को दिखाता है,
:<math>\begin{bmatrix}
:<math>\begin{bmatrix}
1&0&0&0&\cdots&0\\
1&0&0&0&\cdots&0\\
Line 98: Line 98:
1&x_n&x_n^2&\cdots&x_n^{n-1}\\
1&x_n&x_n^2&\cdots&x_n^{n-1}\\
\end{vmatrix}=\prod_{1<i\leq n}(x_i-x_0)\det(V')</math>,
\end{vmatrix}=\prod_{1<i\leq n}(x_i-x_0)\det(V')</math>,
जहाँ <math>V'</math> में वैंडरमोंड आव्यूह <math>x_1,\ldots, x_n</math>.के रूप में है इस प्रक्रिया को इस छोटे वेंडरमोंड आव्यूह पर दोहराते हुए, अंततः वांछित अभिव्यक्ति प्राप्त होती है <math>\det(V)</math> सभी उत्पाद के रूप में है <math>x_j-x_i</math> ऐसा है कि <math>i<j</math>.के रूप में प्राप्त करते हैं
जहाँ <math>V'</math> में वैंडरमोंड आव्यूह <math>x_1,\ldots, x_n</math>.के रूप में है इस प्रक्रिया को इस छोटे वेंडरमोंड आव्यूह पर दोहराते हुए, अंततः वांछित अभिव्यक्ति प्राप्त होती है <math>\det(V)</math> सभी उत्पाद के रूप में है <math>x_j-x_i</math> ऐसा है कि <math>i<j</math>.के रूप में प्राप्त करते हैं


=== परिणामी गुण ===
=== परिणामी गुण ===


एक {{math|''m'' × ''n''}} आयताकार वेंडरमोंड आव्यूह जैसे कि {{math|''m'' ≤ ''n''}} में आव्यूह की अधिकतम क्रम है {{math|''m''}} [[अगर और केवल अगर|यदि और मात्र यदि]] सभी {{math|''x''<sub>''i''</sub>}} भिन्न के रूप में हैं।
एक {{math|''m'' × ''n''}} आयताकार वेंडरमोंड आव्यूह जैसे कि {{math|''m'' ≤ ''n''}} में आव्यूह की अधिकतम क्रम है {{math|''m''}} [[अगर और केवल अगर|यदि और मात्र यदि]] सभी {{math|''x''<sub>''i''</sub>}} भिन्न के रूप में हैं।


एक {{math|''m'' × ''n''}} आयताकार वेंडरमोंड आव्यूह जैसे कि {{math|''m'' ≥ ''n''}} में आव्यूह की अधिकतम क्रम है {{math|''n''}} यदि और मात्र यदि {{mvar|n}} की {{math|''x''<sub>''i''</sub>}} जो भिन्न के रूप में हैं।
एक {{math|''m'' × ''n''}} आयताकार वेंडरमोंड आव्यूह जैसे कि {{math|''m'' ≥ ''n''}} में आव्यूह की अधिकतम क्रम है {{math|''n''}} यदि और मात्र यदि {{mvar|n}} की {{math|''x''<sub>''i''</sub>}} जो भिन्न के रूप में हैं।


एक वर्ग वेंडरमोंड आव्यूह [[उलटा मैट्रिक्स|प्रतिलोम आव्यूह]] के रूप में हैं यदि और मात्र यदि {{math|''x''<sub>''i''</sub>}} भिन्न हैं। तो व्युत्क्रम के लिए एक स्पष्ट सूत्र ज्ञात है।<ref>{{Cite book
एक वर्ग वेंडरमोंड आव्यूह [[उलटा मैट्रिक्स|प्रतिलोम आव्यूह]] के रूप में हैं यदि और मात्र यदि {{math|''x''<sub>''i''</sub>}} भिन्न हैं। तो व्युत्क्रम के लिए एक स्पष्ट सूत्र ज्ञात है।<ref>{{Cite book
| title = Inverse of the Vandermonde matrix with applications
| title = Inverse of the Vandermonde matrix with applications
| last = Turner
| last = Turner
Line 131: Line 131:


== अनुप्रयोग ==
== अनुप्रयोग ==
वैंडरमोंड आव्यूह <math>V</math> एक बहुपद का मूल्यांकन करता है <math>p(x) = a_0 + a_1 x + a_2 x^2 + \dots + a_n x^n</math> बिंदुओं के एक समुच्चय पर अर्थात <math>x_0,\ x_1,\dots,\ x_m</math> वंडरमोंड प्रणाली के रूप में है, <math>Va = f</math>; औपचारिक रूप से <math>V</math> रेखीय मानचित्र का आव्यूह है जो एक बहुपद के गुणांकों के सदिश को मैप करता है <math>a=\begin{bmatrix}
वैंडरमोंड आव्यूह <math>V</math> एक बहुपद का मूल्यांकन करता है <math>p(x) = a_0 + a_1 x + a_2 x^2 + \dots + a_n x^n</math> बिंदुओं के एक समुच्चय पर अर्थात <math>x_0,\ x_1,\dots,\ x_m</math> वंडरमोंड प्रणाली के रूप में है, <math>Va = f</math>; औपचारिक रूप से <math>V</math> रेखीय मानचित्र का आव्यूह है जो एक बहुपद के गुणांकों के सदिश को मैप करता है <math>a=\begin{bmatrix}
a_0\\
a_0\\
a_1\\
a_1\\
\vdots\\
\vdots\\
a_n
a_n
\end{bmatrix}</math> और इस प्रकार वेंडरमोंड आव्यूह में दिखाई देने वाले बहुपद के मूल्यों के सदिश के लिए इस रूप में दिखता है, <math>f=\begin{bmatrix}
\end{bmatrix}</math> और इस प्रकार वेंडरमोंड आव्यूह में दिखाई देने वाले बहुपद के मूल्यों के सदिश के लिए इस रूप में दिखता है, <math>f=\begin{bmatrix}
p(x_0)\\
p(x_0)\\
p(x_1)\\
p(x_1)\\
Line 143: Line 143:
\end{bmatrix}</math>.
\end{bmatrix}</math>.


भिन्न -भिन्न बिंदुओं <math>x_i</math> के लिए वैंडरमोंड सारणिक का गैर लुप्त होना दर्शाता है कि, भिन्न -भिन्न बिंदुओं के लिए गुणांक से लेकर उन बिंदुओं पर मूल्यों तक का नक्शा एक से एक पत्राचार के रूप में है और इस प्रकार [[बहुपद प्रक्षेप]] समस्या एक अद्वितीय समाधान के साथ हल करने योग्य है; इस परिणाम को [[एकरूपता प्रमेय]] कहा जाता है और बहुपदों के लिए चाइनीस शेष प्रमेय एक विशेष स्थिति के रूप में है।
भिन्न -भिन्न बिंदुओं <math>x_i</math> के लिए वैंडरमोंड सारणिक का गैर लुप्त होना दर्शाता है कि, भिन्न -भिन्न बिंदुओं के लिए गुणांक से लेकर उन बिंदुओं पर मूल्यों तक का नक्शा एक से एक पत्राचार के रूप में है और इस प्रकार [[बहुपद प्रक्षेप]] समस्या एक अद्वितीय समाधान के साथ हल करने योग्य है; इस परिणाम को [[एकरूपता प्रमेय]] कहा जाता है और बहुपदों के लिए चाइनीस शेष प्रमेय एक विशेष स्थिति के रूप में है।


यह बहुपद इंटरपोलेशन में उपयोगी रूप में होता है, क्योंकि वेंडरमोंड आव्यूह को बदलने से बहुपद के गुणांक को व्यक्त करने की अनुमति मिलती है <math>x_i</math><ref>François Viète (1540-1603), Vieta's formulas, https://en.wikipedia.org/wiki/Vieta%27s_formulas</ref> और पर बहुपद के मान <math>x_i</math> अर्थात <math>a = V^{-1}f</math>).के रूप में प्राप्त करते हैं
यह बहुपद इंटरपोलेशन में उपयोगी रूप में होता है, क्योंकि वेंडरमोंड आव्यूह को बदलने से बहुपद के गुणांक को व्यक्त करने की अनुमति मिलती है <math>x_i</math><ref>François Viète (1540-1603), Vieta's formulas, https://en.wikipedia.org/wiki/Vieta%27s_formulas</ref> और पर बहुपद के मान <math>x_i</math> अर्थात <math>a = V^{-1}f</math>).के रूप में प्राप्त करते हैं


वैंडरमोंड सारणिक का उपयोग सममित समूह के प्रतिनिधित्व सिद्धांत में किया जाता है।<ref>{{Fulton-Harris}} ''Lecture 4 reviews the representation theory of symmetric groups, including the role of the Vandermonde determinant''.</ref>
वैंडरमोंड सारणिक का उपयोग सममित समूह के प्रतिनिधित्व सिद्धांत में किया जाता है।<ref>{{Fulton-Harris}} ''Lecture 4 reviews the representation theory of symmetric groups, including the role of the Vandermonde determinant''.</ref>


जब मान <math>x_i</math> एक [[परिमित क्षेत्र]] से संबंधित होता है, तो वैंडरमोंडे सारणिक को [[मूर मैट्रिक्स|मूर सारणिक]] भी कहा जाता है और इसमें विशिष्ट गुण होते है, जो उदाहरण के लिए बीसीएच कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में उपयोग किए जाते हैं।
जब मान <math>x_i</math> एक [[परिमित क्षेत्र]] से संबंधित होता है, तो वैंडरमोंडे सारणिक को [[मूर मैट्रिक्स|मूर सारणिक]] भी कहा जाता है और इसमें विशिष्ट गुण होते है, जो उदाहरण के लिए बीसीएच कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में उपयोग किए जाते हैं।


समीकरण को हल करना <math>Va = f</math> अर्थात् इंटरपोलेटिंग बहुपद की गणना करने से <math>\mathcal{O}(n^3)</math> रैखिक समीकरणों की प्रणाली को [[समय जटिलता]] के साथ हल करना एक कलन विधि का परिणाम होता है। वैंडरमोंड आव्यूह की संरचना का उपयोग करते हुए, कोई भी न्यूटन की विभाजित अंतर विधि का उपयोग किया जा सकता है<ref>{{Cite journal |last=Björck |first=Å. |last2=Pereyra |first2=V. |date=1970 |title=समीकरणों के वैंडरमोंड सिस्टम का समाधान|url=https://www.semanticscholar.org/paper/Solution-of-Vandermonde-Systems-of-Equations-Bj%C3%B6rck-Pereyra/45b121dc1166c4b89860bf9c2c1eef9523a3a41f |journal=[[American Mathematical Society]] |doi=10.1090/S0025-5718-1970-0290541-1}}</ref> या [[लैग्रेंज बहुपद|लैग्रेंज बहुपद इंटरपोलेशन फॉर्मूला]]<ref>{{Cite book |last1=Press |first1=WH |title=Numerical Recipes: The Art of Scientific Computing |last2=Teukolsky |first2=SA |last3=Vetterling |first3=WT |last4=Flannery |first4=BP |publisher=Cambridge University Press |year=2007 |isbn=978-0-521-88068-8 |edition=3rd |location=New York |chapter=Section 2.8.1. Vandermonde Matrices |chapter-url=http://apps.nrbook.com/empanel/index.html?pg=94}}</ref><ref>Inverse of Vandermonde Matrix (2018), https://proofwiki.org/wiki/Inverse_of_Vandermonde_Matrix</ref> का उपयोग <math>\mathcal{O}(n^2)</math> समीकरण को हल करने के लिए कर सकता है और इस प्रकार <math>V^{-1}</math>. के यूएल फैक्टराइजेशन की शांतिपूर्वक गणना कर सकता है। और इसमें परिणामी कलन विधि बेहद सटीक समाधान उत्पन्न करता है, यदि <math>V</math> खराब स्थिति में हो।<ref name=":0">{{Cite book |last=Golub |first=Gene H. |title=मैट्रिक्स संगणना|last2=Van Loan |first2=Charles F. |publisher=The Johns Hopkins University Press |year=2013 |isbn=978-1-4214-0859-0 |edition=4th |pages=203-207}}</ref>
समीकरण को हल करना <math>Va = f</math> अर्थात् इंटरपोलेटिंग बहुपद की गणना करने से <math>\mathcal{O}(n^3)</math> रैखिक समीकरणों की प्रणाली को [[समय जटिलता]] के साथ हल करना एक कलन विधि का परिणाम होता है। वैंडरमोंड आव्यूह की संरचना का उपयोग करते हुए, कोई भी न्यूटन की विभाजित अंतर विधि का उपयोग किया जा सकता है<ref>{{Cite journal |last=Björck |first=Å. |last2=Pereyra |first2=V. |date=1970 |title=समीकरणों के वैंडरमोंड सिस्टम का समाधान|url=https://www.semanticscholar.org/paper/Solution-of-Vandermonde-Systems-of-Equations-Bj%C3%B6rck-Pereyra/45b121dc1166c4b89860bf9c2c1eef9523a3a41f |journal=[[American Mathematical Society]] |doi=10.1090/S0025-5718-1970-0290541-1}}</ref> या [[लैग्रेंज बहुपद|लैग्रेंज बहुपद इंटरपोलेशन फॉर्मूला]]<ref>{{Cite book |last1=Press |first1=WH |title=Numerical Recipes: The Art of Scientific Computing |last2=Teukolsky |first2=SA |last3=Vetterling |first3=WT |last4=Flannery |first4=BP |publisher=Cambridge University Press |year=2007 |isbn=978-0-521-88068-8 |edition=3rd |location=New York |chapter=Section 2.8.1. Vandermonde Matrices |chapter-url=http://apps.nrbook.com/empanel/index.html?pg=94}}</ref><ref>Inverse of Vandermonde Matrix (2018), https://proofwiki.org/wiki/Inverse_of_Vandermonde_Matrix</ref> का उपयोग <math>\mathcal{O}(n^2)</math> समीकरण को हल करने के लिए कर सकता है और इस प्रकार <math>V^{-1}</math>. के यूएल फैक्टराइजेशन की शांतिपूर्वक गणना कर सकता है। और इसमें परिणामी कलन विधि बेहद सटीक समाधान उत्पन्न करता है, यदि <math>V</math> खराब स्थिति में हो।<ref name=":0">{{Cite book |last=Golub |first=Gene H. |title=मैट्रिक्स संगणना|last2=Van Loan |first2=Charles F. |publisher=The Johns Hopkins University Press |year=2013 |isbn=978-1-4214-0859-0 |edition=4th |pages=203-207}}</ref>


[[असतत फूरियर रूपांतरण]] एक विशिष्ट वेंडरमोंड आव्यूह , डीएफटी आव्यूह द्वारा परिभाषित किया जाता है, जहां संख्याएं <math>x_i</math> एकता के मूल सिद्धांत के रूप में चुने जाते है। और इस प्रकार [[फास्ट फूरियर ट्रांसफॉर्म|त्वरित फूरियर ट्रांसफॉर्म]] का उपयोग करके <math>O(n\log^2 n)</math> समय में वेक्टर के साथ वैंडरमोंड आव्यूह के उत्पाद को एक सदिश के साथ गणना करना संभव है।<ref>Gauthier, J. "Fast Multipoint Evaluation On n Arbitrary Points." ''Simon Fraser University, Tech. Rep'' (2017).</ref>
[[असतत फूरियर रूपांतरण]] एक विशिष्ट वेंडरमोंड आव्यूह , डीएफटी आव्यूह द्वारा परिभाषित किया जाता है, जहां संख्याएं <math>x_i</math> एकता के मूल सिद्धांत के रूप में चुने जाते है। और इस प्रकार [[फास्ट फूरियर ट्रांसफॉर्म|त्वरित फूरियर ट्रांसफॉर्म]] का उपयोग करके <math>O(n\log^2 n)</math> समय में वेक्टर के साथ वैंडरमोंड आव्यूह के उत्पाद को एक सदिश के साथ गणना करना संभव है।<ref>Gauthier, J. "Fast Multipoint Evaluation On n Arbitrary Points." ''Simon Fraser University, Tech. Rep'' (2017).</ref>


वेंडरमोंड सारणिक के सूत्र के अनुसार फिलिंग फैक्टर वन [[क्वांटम हॉल प्रभाव]] में प्रकट होने वाले [[लाफलिन वेवफंक्शन|लाफलिन तरंग फलन]] को [[स्लेटर निर्धारक|स्लेटर सारणिक]] के रूप में देखा जा सकता है। अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में यह अब एक भिन्न कारकों को भरने के लिए सत्य नहीं है।
वेंडरमोंड सारणिक के सूत्र के अनुसार फिलिंग फैक्टर वन [[क्वांटम हॉल प्रभाव]] में प्रकट होने वाले [[लाफलिन वेवफंक्शन|लाफलिन तरंग फलन]] को [[स्लेटर निर्धारक|स्लेटर सारणिक]] के रूप में देखा जा सकता है। अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में यह अब एक भिन्न कारकों को भरने के लिए सत्य नहीं है।


यह [[बहुपद प्रतिगमन]] का [[डिजाइन मैट्रिक्स|आव्यूह]] [[डिजाइन मैट्रिक्स|डिजाइन]] है।
यह [[बहुपद प्रतिगमन]] का [[डिजाइन मैट्रिक्स|आव्यूह]] [[डिजाइन मैट्रिक्स|डिजाइन]] है।


यह [[चक्रीय पॉलीटॉप्स]] के यादृच्छिक <math>k</math> फेसेस का सामान्यीकृत आयतन के रूप में है। विशेष रूप से, यदि <math>F = C_{d}(t_{i_{1}}, \dots, t_{i_{k + 1}})</math> एक चक्रीय बहुशीर्ष का <math>k</math>-फेसेस के रूप में है। <math>C_d(T) \subset \mathbb{R}^{d}</math> (जहाँ <math>T = \{t_{1}, \dots, t_{N}\}_{<} \subset \mathbb{Z}</math>), तब यह इस रूप में होता है  
यह [[चक्रीय पॉलीटॉप्स]] के यादृच्छिक <math>k</math> फेसेस का सामान्यीकृत आयतन के रूप में है। विशेष रूप से, यदि <math>F = C_{d}(t_{i_{1}}, \dots, t_{i_{k + 1}})</math> एक चक्रीय बहुशीर्ष का <math>k</math>-फेसेस के रूप में है। <math>C_d(T) \subset \mathbb{R}^{d}</math> (जहाँ <math>T = \{t_{1}, \dots, t_{N}\}_{<} \subset \mathbb{Z}</math>), तब यह इस रूप में होता है  


<math display="block">\mathrm{nvol}(F) = \frac{1}{k!}\prod_{1 \leq m < n \leq k + 1}{(t_{i_{n}} - t_{i_{m}})}.</math>  
<math display="block">\mathrm{nvol}(F) = \frac{1}{k!}\prod_{1 \leq m < n \leq k + 1}{(t_{i_{n}} - t_{i_{m}})}.</math>  


== कंफ्लुएंट वैंडरमोंड मेट्रिसेस ==
== कंफ्लुएंट वैंडरमोंड मेट्रिसेस ==
जैसा कि पहले बताया गया है, वैंडरमोंड आव्यूह बहुपद के गुणांकों परिणाम के रैखिक बीजगणित बहुपद प्रक्षेप का वर्णन करता है <math>p(x)</math> बहुपद घात <math>n - 1</math> मूल्यों के आधार पर होता है<math> p(\alpha_1),\, ...,\, p(\alpha_n)</math>, जहाँ <math>\alpha_1,\, ...,\, \alpha_n</math> पृथक बिंदु के रूप में है। यदि <math>\alpha_i</math> भिन्न नहीं हैं, तो इस स्थिति का कोई अनूठा समाधान नहीं है, जो इस तथ्य से परिलक्षित होता है और इस प्रकार संबंधित वैंडरमोंड आव्यूह अद्वितीय रूप में है। चूंकि, यदि हम दोहराए गए बिंदुओं पर व्युत्पन्न का मान देते हैं, तो इस स्थिति का एक अनूठा समाधान हो सकता है। उदाहरण के लिए इस स्थिति को इस रूप में दिखाया गया है,  
जैसा कि पहले बताया गया है, वैंडरमोंड आव्यूह बहुपद के गुणांकों परिणाम के रैखिक बीजगणित बहुपद प्रक्षेप का वर्णन करता है <math>p(x)</math> बहुपद घात <math>n - 1</math> मूल्यों के आधार पर होता है<math> p(\alpha_1),\, ...,\, p(\alpha_n)</math>, जहाँ <math>\alpha_1,\, ...,\, \alpha_n</math> पृथक बिंदु के रूप में है। यदि <math>\alpha_i</math> भिन्न नहीं हैं, तो इस स्थिति का कोई अनूठा समाधान नहीं है, जो इस तथ्य से परिलक्षित होता है और इस प्रकार संबंधित वैंडरमोंड आव्यूह अद्वितीय रूप में है। चूंकि, यदि हम दोहराए गए बिंदुओं पर व्युत्पन्न का मान देते हैं, तो इस स्थिति का एक अनूठा समाधान हो सकता है। उदाहरण के लिए इस स्थिति को इस रूप में दिखाया गया है,  


:<math>\begin{cases}
:<math>\begin{cases}
Line 187: Line 187:
   p(\alpha_{m_{k-1}+1}) = \beta_{m_{k-1}+1}, & p'(\alpha_{m_{k-1}+2}) = \beta_{m_{k-1}+2}, & \ldots, & p^{(m_k-m_{k-1}-1)}(\alpha_{m_k}) = \beta_{m_k}
   p(\alpha_{m_{k-1}+1}) = \beta_{m_{k-1}+1}, & p'(\alpha_{m_{k-1}+2}) = \beta_{m_{k-1}+2}, & \ldots, & p^{(m_k-m_{k-1}-1)}(\alpha_{m_k}) = \beta_{m_k}
\end{cases}</math>
\end{cases}</math>
और इस स्थिति के लिए संबंधित आव्यूह को कंफ्लुएंट वैंडरमोंड मैट्रिसेस कहा जाता है। जो मैट्रिक्स की पंक्तियों को अनुमति देने के लिए सामान्य स्थिति के रूप में है, इसके लिए निम्नानुसार सूत्र दिया गया है। यदि <math>1 \leq i,j \leq n</math>, तब <math>m_\ell < i \leq m_{\ell + 1} </math> कुछ के लिए अद्वितीय रूप में होते है <math>0 \leq \ell \leq k-1</math> हमें विचार विमर्श करना है <math>m_0 = 0</math>). तो हमारे पास इस रूप में हैं,
और इस स्थिति के लिए संबंधित आव्यूह को कंफ्लुएंट वैंडरमोंड मैट्रिसेस कहा जाता है। जो मैट्रिक्स की पंक्तियों को अनुमति देने के लिए सामान्य स्थिति के रूप में है, इसके लिए निम्नानुसार सूत्र दिया गया है। यदि <math>1 \leq i,j \leq n</math>, तब <math>m_\ell < i \leq m_{\ell + 1} </math> कुछ के लिए अद्वितीय रूप में होते है <math>0 \leq \ell \leq k-1</math> हमें विचार विमर्श करना है <math>m_0 = 0</math>). तो हमारे पास इस रूप में हैं,


:<math>V_{i,j} = \begin{cases}
:<math>V_{i,j} = \begin{cases}
Line 193: Line 193:
   \dfrac{(j-1)!}{(j - (i - m_\ell))!} \alpha_i^{j-(i-m_\ell)}, & \text{if } j \geq i - m_\ell.
   \dfrac{(j-1)!}{(j - (i - m_\ell))!} \alpha_i^{j-(i-m_\ell)}, & \text{if } j \geq i - m_\ell.
\end{cases}</math>
\end{cases}</math>
वैंडरमोंड आव्यूह का यह सामान्यीकरण इसे प्रतिलोम आव्यूह बनाता है, जैसे कि वेंडरमोंड मैट्रिक्स के अधिकांश गुणों को बनाए रखते हुए समीकरणों की प्रणाली का एक अनूठा समाधान के रूप में होता है। इसकी पंक्तियाँ मूल वेंडरमोंड पंक्तियों के क्रम अवकलज के रूप में होते है।
वैंडरमोंड आव्यूह का यह सामान्यीकरण इसे प्रतिलोम आव्यूह बनाता है, जैसे कि वेंडरमोंड मैट्रिक्स के अधिकांश गुणों को बनाए रखते हुए समीकरणों की प्रणाली का एक अनूठा समाधान के रूप में होता है। इसकी पंक्तियाँ मूल वेंडरमोंड पंक्तियों के क्रम अवकलज के रूप में होते है।


इस सूत्र को प्राप्त करने की दूसरी विधि यह है कि कुछ <math>\alpha_i</math> को यादृच्छिक ढंग से एक दूसरे के निकट जाने दिया जाता है। उदाहरण के लिए, यदि <math>\alpha_1 = \alpha_2</math>, तो <math>\alpha_2\to\alpha_1</math> फिर मूल वैंडरमोंड आव्यूह में पहली और दूसरी पंक्तियों के बीच का अंतर मिलाने वाले कंफ्लुएंट वेंडरमोंड आव्यूह में संबंधित पंक्ति के रूप में होता है। यह हमें सामान्यीकृत इंटरपोलेशन स्थिति के रूप में मान और अवकलज को एक बिंदु पर मूल स्थिति से जोड़ने की अनुमति देता है जहां सभी बिंदु भिन्न रूप में होते है, जहाँ <math>p(\alpha), p'(\alpha)</math>, <math>p(\alpha), p(\alpha + \varepsilon)</math> का मान दिया जा रहा है और इस प्रकार जहाँ <math>\varepsilon</math> बहुत छोटी है।
इस सूत्र को प्राप्त करने की दूसरी विधि यह है कि कुछ <math>\alpha_i</math> को यादृच्छिक ढंग से एक दूसरे के निकट जाने दिया जाता है। उदाहरण के लिए, यदि <math>\alpha_1 = \alpha_2</math>, तो <math>\alpha_2\to\alpha_1</math> फिर मूल वैंडरमोंड आव्यूह में पहली और दूसरी पंक्तियों के बीच का अंतर मिलाने वाले कंफ्लुएंट वेंडरमोंड आव्यूह में संबंधित पंक्ति के रूप में होता है। यह हमें सामान्यीकृत इंटरपोलेशन स्थिति के रूप में मान और अवकलज को एक बिंदु पर मूल स्थिति से जोड़ने की अनुमति देता है जहां सभी बिंदु भिन्न रूप में होते है, जहाँ <math>p(\alpha), p'(\alpha)</math>, <math>p(\alpha), p(\alpha + \varepsilon)</math> का मान दिया जा रहा है और इस प्रकार जहाँ <math>\varepsilon</math> बहुत छोटी है।


== यह भी देखें ==
== यह भी देखें ==
* {{slink|सहयोगी आव्यूह विकर्णता के रूप में क्रियान्वित किया जाता है।}}
* {{slink|सहयोगी आव्यूह विकर्णता के रूप में क्रियान्वित किया जाता है।}}
* शुर बहुपद - एक सामान्यीकरण
* शुर बहुपद - एक सामान्यीकरण रूप में है
* [[वैकल्पिक मैट्रिक्स|वैकल्पिक  आव्यूह]]  
* [[वैकल्पिक आव्यूह]] के रूप में है
* [[लैग्रेंज बहुपद]]
* [[लैग्रेंज बहुपद]]
* [[Wronskian]]
* [[Wronskian|व्रोंस्कीअन]]
* [[मैट्रिसेस की सूची]]
* [[मैट्रिसेस की सूची]]
* [[एक परिमित क्षेत्र पर मूर निर्धारक|एक परिमित क्षेत्र पर मूर सारणिक]]  
* [[एक परिमित क्षेत्र पर मूर निर्धारक|एक परिमित क्षेत्र पर मूर सारणिक]]  

Revision as of 21:38, 29 April 2023

रेखीय बीजगणित में, एक वेंडरमोंड आव्यूह जिसका नाम एलेक्जेंडर थियोफाइल वेंडरमोंड के नाम पर रखा गया है, इसमें एक आव्यूह होता है जिसमें प्रत्येक पंक्ति में गुणोत्तर अनुक्रम वाले के रूप में आव्यूह होते है

या

सभी शून्य-आधारित सूचकांक के लिए और के रूप में होते है.[1] और अधिकांश लेखक वैंडरमोंड आव्यूह को उपरोक्त आव्यूह के स्थानान्तरण के रूप में परिभाषित करते हैं।[2][3]

असतत फूरियर रूपांतरण आव्यूह वैंडरमोंड आव्यूह का एक बहुत ही महत्वपूर्ण उदाहरण के रूप में है।[2]

एक वर्ग वैंडरमोंड आव्यूह के सारणिक को वैंडरमोंड बहुपद या वैंडरमोंड सारणिक कहा जाता है। इसका मान बहुपद के रूप में इस प्रकार दिखाया जाता

है

के रूप में है

जो अशून्य रूप में होते है और यदि सभी विशिष्ट रूप में हैं।

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

प्रमाण

एक वर्ग वेंडरमोंड आव्यूह की मुख्य गुणधर्म के रूप होते है

यह इसके सारणिक का सरल रूप है, जिसे इस प्रकार दिखाया गया है

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

बहुपद गुणों का प्रयोग

लीबनिज सूत्र (सारणिक ) द्वारा, में एक बहुपद है , पूर्णांक गुणांक के साथ सभी प्रविष्टियाँ वें कॉलम शून्य के रूप में आधारित कुल घात के रूप में होती है . इस प्रकार फिर से लीबनिज सूत्र द्वारा सारणिक के सभी पदों की कुल घात होती है

अर्थात सारणिक इस घात का एक सजातीय बहुपद के रूप में है।

यदि , के लिए एक स्थानापन्न के लिए के रूप में होता है और इस प्रकार हमें दो समान पंक्तियों वाला एक आव्यूह मिलता है, जिसमें एक शून्य सारणिक होता है। इस प्रकारगुणनखंड प्रमेय द्वारा, का भाजक .के रूप में होता है और इस प्रकार बहुभिन्नरूपी बहुपदों के अद्वितीय गुणनखंड डोमेन द्वारा होता है और सभी का गुणनफल का विभाजित के रूप में है

जहाँ एक बहुपद के रूप में है और इस प्रकार सभी के गुणनफल के रूप में और की समान घात के रूप में होती है और इस प्रकार बहुपद वस्तुत: एक स्थिरांक के रूप में है। यह स्थिरांक एक है, क्योंकि विकर्ण प्रविष्टियों का गुणनफल का , के रूप में है, जो एकपदी बहुपद के रूप में है, जो सभी गुणनखंडों के प्रथम पद को लेकर प्राप्त किया जाता है इससे यह सिद्ध होता है

रेखीय नक्शों का प्रयोग

मान लीजिए कि F एक ऐसा गणित क्षेत्र है, जिसमें सभी हैं और , F में गुणांक वाले n से कम घात वाले बहुपदों की F सदिश स्थान के रूप में है। और इस प्रकार इसे दिखाया जाता है,

रैखिक नक्शा द्वारा परिभाषित हैं

.

वेंडरमोंड आव्यूह और के विहित आधारों के संबंध में का मैट्रिक्स है।

के आधार को बदलने से वैंडरमोंड आव्यूह को दाईं ओर से आधार आव्यूह M के परिवर्तन से गुणा किया जाता है। यदि M का सारणिक 1 है तो यह सारणिक नहीं बदलता है।

बहुपद , , , …, संबंधित घात के एकपद बहुपद हैं 0, 1, …, n. एकपदी आधार पर उनका आव्यूह एक ऊपरी-त्रिकोणीय आव्यूह U के रूप में है यदि एकपदी को बढ़ती घात के रूप में क्रमबद्ध किया जाता है और इस प्रकार सभी विकर्ण प्रविष्टियाँ के बराबर होती हैं। इस प्रकार यह आव्यूह सारणिक का परिवर्तन आधार आव्यूह के रूप में होता है। इस नए आधार पर का मैट्रिक्स है

.

इस प्रकार वैंडरमोंड सारणिक इस आव्यूह सारणिक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद के रूप में है।

यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त किसी लू का अपघटन V की तरह .के रूप में होता है

पंक्ति और स्तंभ संचालन द्वारा

यह तीसरा प्रमाण इस तथ्य पर आधारित है कि यदि कोई आव्यूह के एक स्तंभ में गुणनफल को दूसरे स्तंभ के अदिश गुणज को जोड़ता है तो सारणिक अपरिवर्तित रहता है।

इसलिए, प्रत्येक कॉलम को घटाकर पहले वाले को छोड़कर और पूर्ववर्ती कॉलम को गुणा करके , सारणिक अपरिवर्तित रहता है। ये घटाव अंतिम कॉलम से प्रारंभ करके किया जाता है और इस प्रकार एक कॉलम घटाता जो अभी तक नहीं बदला गया है। यह इस रूप में आव्यूह को दिखाता है,

लाप्लास विस्तार को पहली पंक्ति के साथ लागू करने पर के रूप में प्राप्त करते हैं

सभी प्रविष्टियों के रूप में -वीं पंक्ति का कारक है , कोई इन कारकों को निकाल सकता है और प्राप्त कर सकता है

,

जहाँ में वैंडरमोंड आव्यूह .के रूप में है इस प्रक्रिया को इस छोटे वेंडरमोंड आव्यूह पर दोहराते हुए, अंततः वांछित अभिव्यक्ति प्राप्त होती है सभी उत्पाद के रूप में है ऐसा है कि .के रूप में प्राप्त करते हैं

परिणामी गुण

एक m × n आयताकार वेंडरमोंड आव्यूह जैसे कि mn में आव्यूह की अधिकतम क्रम है m यदि और मात्र यदि सभी xi भिन्न के रूप में हैं।

एक m × n आयताकार वेंडरमोंड आव्यूह जैसे कि mn में आव्यूह की अधिकतम क्रम है n यदि और मात्र यदि n की xi जो भिन्न के रूप में हैं।

एक वर्ग वेंडरमोंड आव्यूह प्रतिलोम आव्यूह के रूप में हैं यदि और मात्र यदि xi भिन्न हैं। तो व्युत्क्रम के लिए एक स्पष्ट सूत्र ज्ञात है।[4][3][5]


अनुप्रयोग

वैंडरमोंड आव्यूह एक बहुपद का मूल्यांकन करता है बिंदुओं के एक समुच्चय पर अर्थात वंडरमोंड प्रणाली के रूप में है, ; औपचारिक रूप से रेखीय मानचित्र का आव्यूह है जो एक बहुपद के गुणांकों के सदिश को मैप करता है और इस प्रकार वेंडरमोंड आव्यूह में दिखाई देने वाले बहुपद के मूल्यों के सदिश के लिए इस रूप में दिखता है, .

भिन्न -भिन्न बिंदुओं के लिए वैंडरमोंड सारणिक का गैर लुप्त होना दर्शाता है कि, भिन्न -भिन्न बिंदुओं के लिए गुणांक से लेकर उन बिंदुओं पर मूल्यों तक का नक्शा एक से एक पत्राचार के रूप में है और इस प्रकार बहुपद प्रक्षेप समस्या एक अद्वितीय समाधान के साथ हल करने योग्य है; इस परिणाम को एकरूपता प्रमेय कहा जाता है और बहुपदों के लिए चाइनीस शेष प्रमेय एक विशेष स्थिति के रूप में है।

यह बहुपद इंटरपोलेशन में उपयोगी रूप में होता है, क्योंकि वेंडरमोंड आव्यूह को बदलने से बहुपद के गुणांक को व्यक्त करने की अनुमति मिलती है [6] और पर बहुपद के मान अर्थात ).के रूप में प्राप्त करते हैं

वैंडरमोंड सारणिक का उपयोग सममित समूह के प्रतिनिधित्व सिद्धांत में किया जाता है।[7]

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

समीकरण को हल करना अर्थात् इंटरपोलेटिंग बहुपद की गणना करने से रैखिक समीकरणों की प्रणाली को समय जटिलता के साथ हल करना एक कलन विधि का परिणाम होता है। वैंडरमोंड आव्यूह की संरचना का उपयोग करते हुए, कोई भी न्यूटन की विभाजित अंतर विधि का उपयोग किया जा सकता है[8] या लैग्रेंज बहुपद इंटरपोलेशन फॉर्मूला[9][10] का उपयोग समीकरण को हल करने के लिए कर सकता है और इस प्रकार . के यूएल फैक्टराइजेशन की शांतिपूर्वक गणना कर सकता है। और इसमें परिणामी कलन विधि बेहद सटीक समाधान उत्पन्न करता है, यदि खराब स्थिति में हो।[2]

असतत फूरियर रूपांतरण एक विशिष्ट वेंडरमोंड आव्यूह , डीएफटी आव्यूह द्वारा परिभाषित किया जाता है, जहां संख्याएं एकता के मूल सिद्धांत के रूप में चुने जाते है। और इस प्रकार त्वरित फूरियर ट्रांसफॉर्म का उपयोग करके समय में वेक्टर के साथ वैंडरमोंड आव्यूह के उत्पाद को एक सदिश के साथ गणना करना संभव है।[11]

वेंडरमोंड सारणिक के सूत्र के अनुसार फिलिंग फैक्टर वन क्वांटम हॉल प्रभाव में प्रकट होने वाले लाफलिन तरंग फलन को स्लेटर सारणिक के रूप में देखा जा सकता है। अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में यह अब एक भिन्न कारकों को भरने के लिए सत्य नहीं है।

यह बहुपद प्रतिगमन का आव्यूह डिजाइन है।

यह चक्रीय पॉलीटॉप्स के यादृच्छिक फेसेस का सामान्यीकृत आयतन के रूप में है। विशेष रूप से, यदि एक चक्रीय बहुशीर्ष का -फेसेस के रूप में है। (जहाँ ), तब यह इस रूप में होता है

कंफ्लुएंट वैंडरमोंड मेट्रिसेस

जैसा कि पहले बताया गया है, वैंडरमोंड आव्यूह बहुपद के गुणांकों परिणाम के रैखिक बीजगणित बहुपद प्रक्षेप का वर्णन करता है बहुपद घात मूल्यों के आधार पर होता है, जहाँ पृथक बिंदु के रूप में है। यदि भिन्न नहीं हैं, तो इस स्थिति का कोई अनूठा समाधान नहीं है, जो इस तथ्य से परिलक्षित होता है और इस प्रकार संबंधित वैंडरमोंड आव्यूह अद्वितीय रूप में है। चूंकि, यदि हम दोहराए गए बिंदुओं पर व्युत्पन्न का मान देते हैं, तो इस स्थिति का एक अनूठा समाधान हो सकता है। उदाहरण के लिए इस स्थिति को इस रूप में दिखाया गया है,

जहाँ घात ≤ 2 का बहुपद है, तो इस स्थिति के लिए एक अनूठा समाधान है . सामान्यतः मान लीजिए कि आवश्यक रूप से विशिष्ट संख्याएँ नहीं हैं और अंकन में आसानी के लिए मान लीजिए कि समान मान सूची में निरंतर क्रम में आते हैं।

जहाँ और विशिष्ट रूप में है, तब संबंधित प्रक्षेप स्थिति को इस रूप में दिखाया गया है,

और इस स्थिति के लिए संबंधित आव्यूह को कंफ्लुएंट वैंडरमोंड मैट्रिसेस कहा जाता है। जो मैट्रिक्स की पंक्तियों को अनुमति देने के लिए सामान्य स्थिति के रूप में है, इसके लिए निम्नानुसार सूत्र दिया गया है। यदि , तब कुछ के लिए अद्वितीय रूप में होते है हमें विचार विमर्श करना है ). तो हमारे पास इस रूप में हैं,

वैंडरमोंड आव्यूह का यह सामान्यीकरण इसे प्रतिलोम आव्यूह बनाता है, जैसे कि वेंडरमोंड मैट्रिक्स के अधिकांश गुणों को बनाए रखते हुए समीकरणों की प्रणाली का एक अनूठा समाधान के रूप में होता है। इसकी पंक्तियाँ मूल वेंडरमोंड पंक्तियों के क्रम अवकलज के रूप में होते है।

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

यह भी देखें

संदर्भ

  1. Roger A. Horn and Charles R. Johnson (1991), Topics in matrix analysis, Cambridge University Press. See Section 6.1.
  2. 2.0 2.1 2.2 Golub, Gene H.; Van Loan, Charles F. (2013). मैट्रिक्स संगणना (4th ed.). The Johns Hopkins University Press. pp. 203–207. ISBN 978-1-4214-0859-0.
  3. 3.0 3.1 Macon, N.; A. Spitzbart (February 1958). "Inverses of Vandermonde Matrices". The American Mathematical Monthly. 65 (2): 95–100. doi:10.2307/2308881. JSTOR 2308881.
  4. Turner, L. Richard (August 1966). Inverse of the Vandermonde matrix with applications (PDF).
  5. "Inverse of Vandermonde Matrix". 2018.
  6. François Viète (1540-1603), Vieta's formulas, https://en.wikipedia.org/wiki/Vieta%27s_formulas
  7. Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103. Lecture 4 reviews the representation theory of symmetric groups, including the role of the Vandermonde determinant.
  8. Björck, Å.; Pereyra, V. (1970). "समीकरणों के वैंडरमोंड सिस्टम का समाधान". American Mathematical Society. doi:10.1090/S0025-5718-1970-0290541-1.
  9. Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Section 2.8.1. Vandermonde Matrices". Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 978-0-521-88068-8.
  10. Inverse of Vandermonde Matrix (2018), https://proofwiki.org/wiki/Inverse_of_Vandermonde_Matrix
  11. Gauthier, J. "Fast Multipoint Evaluation On n Arbitrary Points." Simon Fraser University, Tech. Rep (2017).


अग्रिम पठन


बाहरी संबंध