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

From Vigyanwiki
No edit summary
No edit summary
Line 16: Line 16:
[[डीएफटी मैट्रिक्स|असतत फूरियर रूपांतरण आव्यूह]]  वैंडरमोंड  आव्यूह  का एक बहुत ही महत्वपूर्ण उदाहरण के रूप में है।<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> रुट के रूप में होता है।


== प्रमाण ==
== प्रमाण ==
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> इससे यह सिद्ध होता है
Line 56: Line 56:
वेंडरमोंड  आव्यूह <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>.के रूप में होता है  


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


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


इसलिए, प्रत्येक कॉलम को घटाकर - पहले वाले को छोड़कर - पूर्ववर्ती कॉलम को गुणा करके <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 84: Line 84:
1&x_n-x_0&x_n(x_n-x_0)&x_n^2(x_n-x_0)&\cdots&x_n^{n-1}(x_n-x_0)\\
1&x_n-x_0&x_n(x_n-x_0)&x_n^2(x_n-x_0)&\cdots&x_n^{n-1}(x_n-x_0)\\
\end{bmatrix}</math>
\end{bmatrix}</math>
लाप्लास विस्तार को पहली पंक्ति के साथ लागू करने पर, हम प्राप्त करते हैं <math>\det(V)=\det(B)</math>, साथ
लाप्लास विस्तार को पहली पंक्ति के साथ लागू करने पर <math>\det(V)=\det(B)</math> के रूप में प्राप्त करते हैं
:<math>B = \begin{bmatrix}
:<math>B = \begin{bmatrix}
x_1-x_0&x_1(x_1-x_0)&x_1^2(x_1-x_0)&\cdots&x_1^{n-1}(x_1-x_0)\\
x_1-x_0&x_1(x_1-x_0)&x_1^2(x_1-x_0)&\cdots&x_1^{n-1}(x_1-x_0)\\
Line 91: Line 91:
x_n-x_0&x_n(x_n-x_0)&x_n^2(x_n-x_0)&\cdots&x_n^{n-1}(x_n-x_0)\\
x_n-x_0&x_n(x_n-x_0)&x_n^2(x_n-x_0)&\cdots&x_n^{n-1}(x_n-x_0)\\
\end{bmatrix}</math>
\end{bmatrix}</math>
में सभी प्रविष्टियों के रूप में <math>i</math>-वीं पंक्ति <math>B</math> का कारक है <math>x_{i+1}-x_0</math>, कोई इन कारकों को निकाल सकता है और प्राप्त कर सकता है
सभी प्रविष्टियों के रूप में <math>i</math>-वीं पंक्ति <math>B</math> का कारक है <math>x_{i+1}-x_0</math>, कोई इन कारकों को निकाल सकता है और प्राप्त कर सकता है
:<math>\det(V)=(x_1-x_0)(x_2-x_0)\cdots(x_n-x_0)\begin{vmatrix}
:<math>\det(V)=(x_1-x_0)(x_2-x_0)\cdots(x_n-x_0)\begin{vmatrix}
1&x_1&x_1^2&\cdots&x_1^{n-1}\\
1&x_1&x_1^2&\cdots&x_1^{n-1}\\
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> एक [[परिमित क्षेत्र]] से संबंधित है, तो वैंडरमोंडे निर्धारक को a भी कहा जाता है
 
[[मूर मैट्रिक्स|मूर आव्यूह]]  और विशिष्ट गुण हैं जिनका उपयोग किया जाता है, उदाहरण के लिए, BCH कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में।
जब मान <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>
वेंडरमोंड निर्धारक के सूत्र के अनुसार फिलिंग फैक्टर वन ([[क्वांटम हॉल प्रभाव]] में प्रकट होने वाला) के साथ [[लाफलिन वेवफंक्शन]] को [[स्लेटर निर्धारक]] के रूप में देखा जा सकता है। यह अब एक से भिन्न कारकों को भरने के लिए सत्य नहीं है, अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में।
 
वेंडरमोंड सारणिक  के सूत्र के अनुसार फिलिंग फैक्टर वन ([[क्वांटम हॉल प्रभाव]] में प्रकट होने वाला) के साथ [[लाफलिन वेवफंक्शन]] को [[स्लेटर निर्धारक|स्लेटर सारणिक]] के रूप में देखा जा सकता है। यह अब एक से भिन्न कारकों को भरने के लिए सत्य नहीं है, अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में।


यह [[बहुपद प्रतिगमन]] का [[डिजाइन मैट्रिक्स|डिजाइन  आव्यूह]]  है।
यह [[बहुपद प्रतिगमन]] का [[डिजाइन मैट्रिक्स|डिजाइन  आव्यूह]]  है।
Line 190: Line 192:
   \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> बहुत छोटी है।
Line 201: Line 203:
* [[Wronskian]]
* [[Wronskian]]
* [[मैट्रिसेस की सूची]]
* [[मैट्रिसेस की सूची]]
* [[एक परिमित क्षेत्र पर मूर निर्धारक]]
* [[एक परिमित क्षेत्र पर मूर निर्धारक|एक परिमित क्षेत्र पर मूर सारणिक]]  
* वीटा के सूत्र
* वीटा के सूत्र



Revision as of 19:58, 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).


अग्रिम पठन


बाहरी संबंध