वैंडरमोंड मैट्रिक्स: Difference between revisions
(Created page with "{{Short description|Mathematical concept}} रेखीय बीजगणित में, एलेक्जेंडर-थियोफाइल वेंडरमोंड...") |
No edit summary |
||
Line 17: | Line 17: | ||
एक [[स्क्वायर मैट्रिक्स]] वैंडरमोंड मैट्रिक्स के निर्धारक को वैंडरमोंड [[बहुपद]] या वैंडरमोंड निर्धारक कहा जाता है। इसका मान बहुपद है | एक [[स्क्वायर मैट्रिक्स]] वैंडरमोंड मैट्रिक्स के निर्धारक को वैंडरमोंड [[बहुपद]] या वैंडरमोंड निर्धारक कहा जाता है। इसका मान बहुपद है | ||
:<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>x_i</math> विशिष्ट हैं। | ||
वैंडरमोंड निर्धारक को कभी-कभी विवेचक कहा जाता था, | वैंडरमोंड निर्धारक को कभी-कभी विवेचक कहा जाता था, चूंकि , वर्तमान में, बहुपद का विवेचक, बहुपद के एक फलन के मूल के वैंडरमोंड निर्धारक का वर्ग है। वैंडरमोंड निर्धारक एक [[वैकल्पिक रूप]] है <math>x_i</math>, जिसका अर्थ है कि दो का आदान-प्रदान <math>x_i</math> अनुमति देते समय, चिह्न बदलता है <math>x_i</math> सम क्रमचय द्वारा सारणिक का मान नहीं बदलता है। यह इस प्रकार के लिए एक आदेश की पसंद पर निर्भर करता है <math>x_i</math>, जबकि इसका वर्ग, विवेचक, किसी भी क्रम पर निर्भर नहीं करता है, और इसका तात्पर्य गैलोइस सिद्धांत से है, कि विवेचक बहुपद के गुणांकों का एक बहुपद फलन है जिसमें <math>x_i</math> जड़ों के रूप में। | ||
== प्रमाण == | == प्रमाण == | ||
Line 32: | Line 32: | ||
यह है कि इसके निर्धारक का सरल रूप है | यह है कि इसके निर्धारक का सरल रूप है | ||
:<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> | ||
इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है, विशेष रूप से [[बहुभिन्नरूपी बहुपद]]ों के [[अद्वितीय गुणनखंड डोमेन]] का। | इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है, विशेष रूप से [[बहुभिन्नरूपी बहुपद]]ों के [[अद्वितीय गुणनखंड डोमेन]] का। चूंकि वैचारिक रूप से सरल, इसमें [[सार बीजगणित]] की गैर-प्रारंभिक अवधारणाएं सम्मलित हैं। दूसरे प्रमाण के लिए किसी स्पष्ट संगणना की आवश्यकता नहीं है, लेकिन इसमें एक रेखीय मानचित्र के निर्धारक और आधार के परिवर्तन की अवधारणा सम्मलित है। यह वैंडरमोंड मैट्रिक्स के LU अपघटन की संरचना भी प्रदान करता है। मात्र [[प्राथमिक मैट्रिक्स]] का उपयोग करते हुए तीसरा एक अधिक प्राथमिक और अधिक जटिल है। | ||
=== बहुपद गुणों का प्रयोग === | === बहुपद गुणों का प्रयोग === | ||
Line 38: | Line 38: | ||
[[लीबनिज सूत्र (निर्धारक)]] द्वारा, <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>\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 67: | Line 67: | ||
इस प्रकार वैंडरमोंड निर्धारक इस मैट्रिक्स के निर्धारक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद है। | इस प्रकार वैंडरमोंड निर्धारक इस मैट्रिक्स के निर्धारक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद है। | ||
यह वांछित समानता | यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त , किसी को LU का अपघटन मिलता है {{mvar|V}} जैसा <math>V=LU^{-1}</math>. | ||
=== पंक्ति और स्तंभ संचालन द्वारा === | === पंक्ति और स्तंभ संचालन द्वारा === | ||
Line 73: | Line 73: | ||
यह तीसरा प्रमाण इस तथ्य पर आधारित है कि यदि कोई आव्यूह के एक स्तंभ में गुणनफल को दूसरे स्तंभ के अदिश द्वारा जोड़ता है तो सारणिक अपरिवर्तित रहता है। | यह तीसरा प्रमाण इस तथ्य पर आधारित है कि यदि कोई आव्यूह के एक स्तंभ में गुणनफल को दूसरे स्तंभ के अदिश द्वारा जोड़ता है तो सारणिक अपरिवर्तित रहता है। | ||
इसलिए, प्रत्येक कॉलम को घटाकर - पहले वाले को छोड़कर - पूर्ववर्ती कॉलम को गुणा करके <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 99: | Line 99: | ||
=== परिणामी गुण === | === परिणामी गुण === | ||
एक {{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''}} | एक {{math|''m'' × ''n''}} आयताकार वेंडरमोंड मैट्रिक्स जैसे कि {{math|''m'' ≥ ''n''}} में मैट्रिक्स की अधिकतम रैंक है {{math|''n''}} यदि और मात्र यदि हैं {{mvar|n}} की {{math|''x''<sub>''i''</sub>}} जो भिन्न हैं। | ||
एक वर्ग वेंडरमोंड मैट्रिक्स [[उलटा मैट्रिक्स]] है | एक वर्ग वेंडरमोंड मैट्रिक्स [[उलटा मैट्रिक्स]] है यदि और मात्र यदि {{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 128: | Line 128: | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
वैंडरमोंड मैट्रिक्स <math>V</math> एक बहुपद का मूल्यांकन करता है <math>p(x) = a_0 + a_1 x + a_2 x^2 + \dots + a_n x^n</math> बिंदुओं के एक सेट पर ( | वैंडरमोंड मैट्रिक्स <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\\ | ||
Line 140: | Line 140: | ||
\end{bmatrix}</math>. | \end{bmatrix}</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>). | ||
Line 148: | Line 148: | ||
[[मूर मैट्रिक्स]] और विशिष्ट गुण हैं जिनका उपयोग किया जाता है, उदाहरण के लिए, BCH कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में। | [[मूर मैट्रिक्स]] और विशिष्ट गुण हैं जिनका उपयोग किया जाता है, उदाहरण के लिए, BCH कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में। | ||
समीकरण को हल करना <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>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 154: | Line 154: | ||
यह [[बहुपद प्रतिगमन]] का [[डिजाइन मैट्रिक्स]] है। | यह [[बहुपद प्रतिगमन]] का [[डिजाइन मैट्रिक्स]] है। | ||
यह मनमानी की सामान्यीकृत मात्रा है <math>k</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>p(x)</math> डिग्री का <math>n - 1</math> मूल्यों के आधार पर <math> p(\alpha_1),\, ...,\, p(\alpha_n)</math>, कहाँ <math>\alpha_1,\, ...,\, \alpha_n</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 165: | Line 165: | ||
p(1) = c | p(1) = c | ||
\end{cases}</math> | \end{cases}</math> | ||
कहाँ <math>p</math> डिग्री ≤ 2 का बहुपद है, सभी के लिए एक अनूठा समाधान है <math>a, b, c</math>. | कहाँ <math>p</math> डिग्री ≤ 2 का बहुपद है, सभी के लिए एक अनूठा समाधान है <math>a, b, c</math>. सामान्यतः , मान लीजिए <math>\alpha_1, \alpha_2, ..., \alpha_n</math> (आवश्यक नहीं कि भिन्न -भिन्न हों) संख्याएं हैं, और अंकन में आसानी के लिए मान लें कि समान मान सूची में निरंतर क्रम में आते हैं। वह है | ||
:<math> | :<math> | ||
Line 181: | Line 181: | ||
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>V_{i,j} = \begin{cases} | :<math>V_{i,j} = \begin{cases} | ||
Line 187: | Line 187: | ||
\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> बहुत छोटी है। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 12:09, 29 April 2023
रेखीय बीजगणित में, एलेक्जेंडर-थियोफाइल वेंडरमोंड के नाम पर एक वैंडरमोंड मैट्रिक्स, प्रत्येक पंक्ति में एक ज्यामितीय प्रगति की शर्तों के साथ एक मैट्रिक्स (गणित) है: एक आव्यूह
या
सभी शून्य-आधारित नंबरिंग के लिए | शून्य-आधारित सूचकांक और .[1] अधिकांश लेखक वैंडरमोंड मैट्रिक्स को उपरोक्त मैट्रिक्स के स्थानान्तरण के रूप में परिभाषित करते हैं।[2][3]
डीएफटी मैट्रिक्स वैंडरमोंड मैट्रिक्स का एक बहुत ही खास उदाहरण है।[2]
एक स्क्वायर मैट्रिक्स वैंडरमोंड मैट्रिक्स के निर्धारक को वैंडरमोंड बहुपद या वैंडरमोंड निर्धारक कहा जाता है। इसका मान बहुपद है
जो अशून्य है यदि और मात्र यदि सभी विशिष्ट हैं।
वैंडरमोंड निर्धारक को कभी-कभी विवेचक कहा जाता था, चूंकि , वर्तमान में, बहुपद का विवेचक, बहुपद के एक फलन के मूल के वैंडरमोंड निर्धारक का वर्ग है। वैंडरमोंड निर्धारक एक वैकल्पिक रूप है , जिसका अर्थ है कि दो का आदान-प्रदान अनुमति देते समय, चिह्न बदलता है सम क्रमचय द्वारा सारणिक का मान नहीं बदलता है। यह इस प्रकार के लिए एक आदेश की पसंद पर निर्भर करता है , जबकि इसका वर्ग, विवेचक, किसी भी क्रम पर निर्भर नहीं करता है, और इसका तात्पर्य गैलोइस सिद्धांत से है, कि विवेचक बहुपद के गुणांकों का एक बहुपद फलन है जिसमें जड़ों के रूप में।
प्रमाण
एक वर्ग वेंडरमोंड मैट्रिक्स की मुख्य संपत्ति
यह है कि इसके निर्धारक का सरल रूप है
इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है, विशेष रूप से बहुभिन्नरूपी बहुपदों के अद्वितीय गुणनखंड डोमेन का। चूंकि वैचारिक रूप से सरल, इसमें सार बीजगणित की गैर-प्रारंभिक अवधारणाएं सम्मलित हैं। दूसरे प्रमाण के लिए किसी स्पष्ट संगणना की आवश्यकता नहीं है, लेकिन इसमें एक रेखीय मानचित्र के निर्धारक और आधार के परिवर्तन की अवधारणा सम्मलित है। यह वैंडरमोंड मैट्रिक्स के LU अपघटन की संरचना भी प्रदान करता है। मात्र प्राथमिक मैट्रिक्स का उपयोग करते हुए तीसरा एक अधिक प्राथमिक और अधिक जटिल है।
बहुपद गुणों का प्रयोग
लीबनिज सूत्र (निर्धारक) द्वारा, में एक बहुपद है , पूर्णांक गुणांक के साथ। की सभी प्रविष्टियाँ वें कॉलम (शून्य-आधारित) में कुल डिग्री है . इस प्रकार, फिर से लीबनिज सूत्र द्वारा, सारणिक के सभी पदों की कुल डिग्री होती है
(अर्थात निर्धारक इस डिग्री का एक सजातीय बहुपद है)।
यदि , के लिए , एक स्थानापन्न के लिए , हमें दो समान पंक्तियों वाला एक मैट्रिक्स मिलता है, जिसमें एक शून्य निर्धारक होता है। इस प्रकार, कारक प्रमेय द्वारा, का भाजक है . बहुभिन्नरूपी बहुपदों के अद्वितीय गुणनखंड डोमेन द्वारा, सभी का गुणनफल विभाजित , वह है
कहाँ एक बहुपद है। सभी के उत्पाद के रूप में और एक ही डिग्री हो , बहुपद वस्तुत: एक स्थिरांक है। यह स्थिरांक एक है, क्योंकि की विकर्ण प्रविष्टियों का गुणनफल है , जो एकपदी भी है जो सभी गुणनखंडों के प्रथम पद को लेकर प्राप्त किया जाता है इससे यह सिद्ध होता है
रेखीय नक्शों का प्रयोग
होने देना F एक क्षेत्र (गणित) हो जिसमें सभी हों और F से कम डिग्री वाले बहुपदों की सदिश जगह n में गुणांक के साथ F. होने देना
द्वारा परिभाषित रैखिक नक्शा हो
- .
वेंडरमोंड मैट्रिक्स का मैट्रिक्स है के विहित आधार के संबंध में और के आधार में परिवर्तन वैंडरमोंड मैट्रिक्स को चेंज-ऑफ़-बेस मैट्रिक्स से गुणा करने के बराबर है M (दाएं से)। यह निर्धारक नहीं बदलता है, यदि निर्धारक M है 1.
बहुपद , , , …, संबंधित डिग्री के मोनिक बहुपद हैं 0, 1, …, n. मोनोमियल आधार पर उनका मैट्रिक्स एक ऊपरी-त्रिकोणीय मैट्रिक्स है U (यदि मोनोमियल्स को बढ़ती डिग्री में आदेश दिया जाता है), सभी विकर्ण प्रविष्टियाँ एक के बराबर होती हैं। इस प्रकार यह मैट्रिक्स निर्धारक एक का परिवर्तन-आधार मैट्रिक्स है। का मैट्रिक्स इस नए आधार पर है
- .
इस प्रकार वैंडरमोंड निर्धारक इस मैट्रिक्स के निर्धारक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद है।
यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त , किसी को LU का अपघटन मिलता है V जैसा .
पंक्ति और स्तंभ संचालन द्वारा
यह तीसरा प्रमाण इस तथ्य पर आधारित है कि यदि कोई आव्यूह के एक स्तंभ में गुणनफल को दूसरे स्तंभ के अदिश द्वारा जोड़ता है तो सारणिक अपरिवर्तित रहता है।
इसलिए, प्रत्येक कॉलम को घटाकर - पहले वाले को छोड़कर - पूर्ववर्ती कॉलम को गुणा करके , निर्धारक नहीं बदला है। (ये घटाव अंतिम कॉलम से प्रारंभ करके किया जाना चाहिए, एक कॉलम घटाना जो अभी तक नहीं बदला गया है)। यह मैट्रिक्स देता है
लाप्लास विस्तार को पहली पंक्ति के साथ लागू करने पर, हम प्राप्त करते हैं , साथ
में सभी प्रविष्टियों के रूप में -वीं पंक्ति का कारक है , कोई इन कारकों को निकाल सकता है और प्राप्त कर सकता है
- ,
कहाँ में वैंडरमोंड मैट्रिक्स है . इस प्रक्रिया को इस छोटे वेंडरमोंड मैट्रिक्स पर दोहराते हुए, अंततः वांछित अभिव्यक्ति प्राप्त होती है सभी के उत्पाद के रूप में ऐसा है कि .
परिणामी गुण
एक m × n आयताकार वेंडरमोंड मैट्रिक्स जैसे कि m ≤ n में मैट्रिक्स की अधिकतम रैंक है m यदि और मात्र यदि सभी xi भिन्न हैं।
एक m × n आयताकार वेंडरमोंड मैट्रिक्स जैसे कि m ≥ n में मैट्रिक्स की अधिकतम रैंक है n यदि और मात्र यदि हैं n की xi जो भिन्न हैं।
एक वर्ग वेंडरमोंड मैट्रिक्स उलटा मैट्रिक्स है यदि और मात्र यदि xi भिन्न हैं। व्युत्क्रम के लिए एक स्पष्ट सूत्र ज्ञात है।[4][3][5]
अनुप्रयोग
वैंडरमोंड मैट्रिक्स एक बहुपद का मूल्यांकन करता है बिंदुओं के एक सेट पर (अर्थात ) वंडरमोंड प्रणाली में ; औपचारिक रूप से, रेखीय मानचित्र का मैट्रिक्स है जो एक बहुपद के गुणांकों के वेक्टर को मैप करता है वेंडरमोंड मैट्रिक्स में दिखाई देने वाले मूल्यों पर बहुपद के मूल्यों के वेक्टर के लिए .
भिन्न -भिन्न बिंदुओं के लिए वैंडरमोंड निर्धारक का गैर-गायब होना दिखाता है कि, भिन्न -भिन्न बिंदुओं के लिए, उन बिंदुओं पर गुणांक से मान तक का नक्शा एक-से-एक पत्राचार है, और इस प्रकार बहुपद प्रक्षेप समस्या एक अद्वितीय समाधान के साथ हल करने योग्य है; इस परिणाम को एकरूपता प्रमेय कहा जाता है, और चीनी शेष प्रमेय का एक विशेष स्थिति है।
यह बहुपद इंटरपोलेशन में उपयोगी हो सकता है, क्योंकि वेंडरमोंड मैट्रिक्स को बदलने से बहुपद के गुणांक को व्यक्त करने की अनुमति मिलती है [6] और पर बहुपद के मान (अर्थात। ).
वैंडरमोंड निर्धारक का उपयोग सममित समूह के प्रतिनिधित्व सिद्धांत में किया जाता है।[7] जब मान एक परिमित क्षेत्र से संबंधित है, तो वैंडरमोंडे निर्धारक को a भी कहा जाता है मूर मैट्रिक्स और विशिष्ट गुण हैं जिनका उपयोग किया जाता है, उदाहरण के लिए, BCH कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में।
समीकरण को हल करना (अर्थात् प्रक्षेपित बहुपद की गणना) रैखिक समीकरणों की प्रणाली#एक रैखिक प्रणाली को हल करना|भोलेपन से एक एल्गोरिथ्म में परिणाम समय जटिलता। वैंडरमोंड मैट्रिक्स की संरचना का उपयोग करते हुए, न्यूटन बहुपद | न्यूटन की विभाजित अंतर विधि का उपयोग किया जा सकता है[8] (या लैग्रेंज बहुपद[9][10]) में समीकरण को हल करने के लिए समय, मौन रूप से लू के अपघटन की गणना . परिणामी एल्गोरिदम बेहद सटीक समाधान उत्पन्न करता है, यदि हालत संख्या है | बीमार हालत।[2] असतत फूरियर रूपांतरण एक विशिष्ट वेंडरमोंड मैट्रिक्स, डीएफटी मैट्रिक्स द्वारा परिभाषित किया गया है, जहां संख्याएं एकता के मूल के रूप में चुने गए हैं। फास्ट फूरियर ट्रांसफॉर्म का उपयोग करके वैंडरमोंड मैट्रिक्स के उत्पाद को एक वेक्टर के साथ गणना करना संभव है समय।[11] वेंडरमोंड निर्धारक के सूत्र के अनुसार फिलिंग फैक्टर वन (क्वांटम हॉल प्रभाव में प्रकट होने वाला) के साथ लाफलिन वेवफंक्शन को स्लेटर निर्धारक के रूप में देखा जा सकता है। यह अब एक से भिन्न कारकों को भरने के लिए सत्य नहीं है, अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में।
यह बहुपद प्रतिगमन का डिजाइन मैट्रिक्स है।
यह मनमानी की सामान्यीकृत मात्रा है चक्रीय पॉलीटॉप के चेहरे। विशेष रूप से, यदि एक है -चक्रीय पॉलीटॉप का चेहरा (कहाँ ), तब
कंफ्लुएंट वैंडरमोंड मेट्रिसेस
जैसा कि पहले बताया गया है, वैंडरमोंड मैट्रिक्स एक बहुपद के गुणांकों को खोजने के रैखिक बीजगणित बहुपद प्रक्षेप का वर्णन करता है डिग्री का मूल्यों के आधार पर , कहाँ पृथक बिंदु हैं। यदि भिन्न नहीं हैं, तो इस समस्या का कोई अनूठा समाधान नहीं है (जो इस तथ्य से परिलक्षित होता है कि संबंधित वैंडरमोंड मैट्रिक्स एकवचन है)। चूंकि , यदि हम दोहराए गए बिंदुओं पर डेरिवेटिव का मान देते हैं, तो समस्या का एक अनूठा समाधान हो सकता है। उदाहरण के लिए, समस्या
कहाँ डिग्री ≤ 2 का बहुपद है, सभी के लिए एक अनूठा समाधान है . सामान्यतः , मान लीजिए (आवश्यक नहीं कि भिन्न -भिन्न हों) संख्याएं हैं, और अंकन में आसानी के लिए मान लें कि समान मान सूची में निरंतर क्रम में आते हैं। वह है
कहाँ और विशिष्ट हैं। तब संबंधित प्रक्षेप समस्या है
और इस समस्या के लिए संबंधित मैट्रिक्स को कंफ्लुएंट वैंडरमोंड मैट्रिसेस कहा जाता है। हमारे स्थिति में (जो सामान्य स्थिति है, मैट्रिक्स की पंक्तियों को अनुमति देने तक) इसके लिए सूत्र निम्नानुसार दिया गया है: यदि , तब कुछ के लिए (अद्वितीय) (हमें विचार विमर्श करना है ). तो हमारे पास हैं
वैंडरमोंड मैट्रिक्स का यह सामान्यीकरण इसे उलटा मैट्रिक्स बनाता है | गैर-एकवचन (जैसे कि समीकरणों की प्रणाली के लिए एक अनूठा समाधान उपस्थित है) जबकि वेंडरमोंड मैट्रिक्स के अधिकांश गुणों को बनाए रखते हैं। इसकी पंक्तियाँ मूल वेंडरमोंड पंक्तियों के डेरिवेटिव (कुछ क्रम के) हैं।
इस सूत्र को प्राप्त करने का दूसरा विधि ा यह है कि कुछ को जाने दिया जाए मनमाने ढंग से एक दूसरे के निकट जाना। उदाहरण के लिए, यदि , फिर दे रहा है मूल वैंडरमोंड मैट्रिक्स में, पहली और दूसरी पंक्तियों के बीच का अंतर कंफ्लुएंट वेंडरमोंड मैट्रिक्स में संबंधित पंक्ति उत्पन्न करता है। यह हमें सामान्यीकृत इंटरपोलेशन समस्या (दिए गए मूल्य और डेरिवेटिव को एक बिंदु पर) को मूल स्थिति से जोड़ने की अनुमति देता है जहां सभी बिंदु भिन्न हैं: दिया जा रहा है दिए जाने के समान है कहाँ बहुत छोटी है।
यह भी देखें
- Companion matrix § Diagonalizability
- शुर बहुपद - एक सामान्यीकरण
- वैकल्पिक मैट्रिक्स
- लैग्रेंज बहुपद
- Wronskian
- मैट्रिसेस की सूची
- एक परिमित क्षेत्र पर मूर निर्धारक
- वीटा के सूत्र
संदर्भ
- ↑ Roger A. Horn and Charles R. Johnson (1991), Topics in matrix analysis, Cambridge University Press. See Section 6.1.
- ↑ 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.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.
- ↑ Turner, L. Richard (August 1966). Inverse of the Vandermonde matrix with applications (PDF).
- ↑ "Inverse of Vandermonde Matrix". 2018.
- ↑ François Viète (1540-1603), Vieta's formulas, https://en.wikipedia.org/wiki/Vieta%27s_formulas
- ↑ 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.
- ↑ Björck, Å.; Pereyra, V. (1970). "समीकरणों के वैंडरमोंड सिस्टम का समाधान". American Mathematical Society. doi:10.1090/S0025-5718-1970-0290541-1.
- ↑ 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.
- ↑ Inverse of Vandermonde Matrix (2018), https://proofwiki.org/wiki/Inverse_of_Vandermonde_Matrix
- ↑ Gauthier, J. "Fast Multipoint Evaluation On n Arbitrary Points." Simon Fraser University, Tech. Rep (2017).
अग्रिम पठन
- Ycart, Bernard (2013), "A case of mathematical eponymy: the Vandermonde determinant", Revue d'Histoire des Mathématiques, 13, arXiv:1204.4716, Bibcode:2012arXiv1204.4716Y.
बाहरी संबंध
- वैंडरमोंड मैट्रिक्स at ProofWiki