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

From Vigyanwiki
No edit summary
No edit summary
 
(15 intermediate revisions by 4 users not shown)
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) =
\begin{bmatrix}
\begin{bmatrix}
Line 11: 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" />  


एक [[स्क्वायर मैट्रिक्स]] वैंडरमोंड मैट्रिक्स के निर्धारक को वैंडरमोंड [[बहुपद]] या वैंडरमोंड निर्धारक कहा जाता है। इसका मान बहुपद है
एक [[स्क्वायर मैट्रिक्स|वर्ग]] वैंडरमोंड [[आव्यूह]] के सारणिक को वैंडरमोंड [[बहुपद]] या वैंडरमोंड सारणिक कहा जाता है। इसका मान बहुपद के रूप में इस प्रकार दिखाया जाता
:<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> जड़ों के रूप में।
है
:<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> रुट के रूप में होता है।


== प्रमाण ==
== प्रमाण ==
एक वर्ग वेंडरमोंड मैट्रिक्स की मुख्य संपत्ति
एक वर्ग वेंडरमोंड आव्यूह की मुख्य गुणधर्म के रूप होते है
:<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 30: 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>
इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है, विशेष रूप से [[बहुभिन्नरूपी बहुपद]]ों के [[अद्वितीय गुणनखंड डोमेन]] का। चूंकि वैचारिक रूप से सरल, इसमें [[सार बीजगणित]] की गैर-प्रारंभिक अवधारणाएं सम्मलित हैं। दूसरे प्रमाण के लिए किसी स्पष्ट संगणना की आवश्यकता नहीं है, लेकिन इसमें एक रेखीय मानचित्र के निर्धारक और आधार के परिवर्तन की अवधारणा सम्मलित है। यह वैंडरमोंड मैट्रिक्स के LU अपघटन की संरचना भी प्रदान करता है। मात्र [[प्राथमिक मैट्रिक्स]] का उपयोग करते हुए तीसरा एक अधिक प्राथमिक और अधिक जटिल है।
इस समानता के तीन प्रमाण नीचे दिए गए हैं। पहला वाला बहुपद गुणों का उपयोग करता है और इस प्रकार विशेष रूप से [[बहुभिन्नरूपी बहुपद|बहुभिन्नरूपी बहुपदो]] के [[अद्वितीय गुणनखंड डोमेन]] के रूप में होता है। चूंकि वैचारिक रूप से इसमें [[सार बीजगणित]] की गैर-प्रारंभिक अवधारणाओ के रूप में सम्मलित हैं। और इसके दूसरे प्रमाण के लिए किसी स्पष्ट कम्प्यूटेशन की आवश्यकता नहीं होती है, लेकिन इसमें एक रेखीय मानचित्र के सारणिक और आधार के परिवर्तन की अवधारणा के रूप में सम्मलित होता है। यह वैंडरमोंड आव्यूह के लू अपघटन की संरचना भी प्रदान करता है। मात्र [[प्राथमिक मैट्रिक्स|प्राथमिक आव्यूह]] का उपयोग करते हुए तीसरा एक अधिक प्राथमिक और अधिक जटिल रूप में है।


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


[[लीबनिज सूत्र (निर्धारक)]] द्वारा, <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}} से कम डिग्री वाले बहुपदों की सदिश जगह {{mvar|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>\varphi</math> के [[विहित आधार]] के संबंध में <math>P_n</math> और <math>F^n.</math>
वेंडरमोंड आव्यूह <math>P_n</math> और <math>F^n.</math>के [[विहित आधारों]] के संबंध में <math>\varphi</math> का मैट्रिक्स है।
के आधार में परिवर्तन <math>P_n</math> वैंडरमोंड मैट्रिक्स को चेंज-ऑफ़-बेस मैट्रिक्स से गुणा करने के बराबर है {{mvar|M}} (दाएं से)। यह निर्धारक नहीं बदलता है, यदि निर्धारक {{mvar|M}} है {{val|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>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>L=
:<math>L=
\begin{bmatrix}
\begin{bmatrix}
Line 65: 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>.
इस प्रकार वैंडरमोंड निर्धारक इस मैट्रिक्स के निर्धारक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद है।
इस प्रकार वैंडरमोंड सारणिक इस आव्यूह सारणिक के बराबर है, जो इसकी विकर्ण प्रविष्टियों का उत्पाद के रूप में है।


यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त , किसी को LU का अपघटन मिलता है {{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 81: 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 88: 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 95: 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 128: 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 140: 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>).के रूप में प्राप्त करते हैं
 
वैंडरमोंड सारणिक का उपयोग सममित समूह के प्रतिनिधित्व सिद्धांत में किया जाता है।<ref>{{Fulton-Harris}} ''Lecture 4 reviews the representation theory of symmetric groups, including the role of the Vandermonde determinant''.</ref>


यह बहुपद इंटरपोलेशन में उपयोगी हो सकता है, क्योंकि वेंडरमोंड मैट्रिक्स को बदलने से बहुपद के गुणांक को व्यक्त करने की अनुमति मिलती है <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>{{Fulton-Harris}} ''Lecture 4 reviews the representation theory of symmetric groups, including the role of the Vandermonde determinant''.</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> एक [[परिमित क्षेत्र]] से संबंधित है, तो वैंडरमोंडे निर्धारक को a भी कहा जाता है
[[मूर मैट्रिक्स]] और विशिष्ट गुण हैं जिनका उपयोग किया जाता है, उदाहरण के लिए, 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>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 display="block">\mathrm{nvol}(F) = \frac{1}{k!}\prod_{1 \leq m < n \leq k + 1}{(t_{i_{n}} - t_{i_{m}})}.</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>\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 165: Line 171:
   p(1) = c
   p(1) = c
\end{cases}</math>
\end{cases}</math>
कहाँ <math>p</math> डिग्री ≤ 2 का बहुपद है, सभी के लिए एक अनूठा समाधान है <math>a, b, c</math>. सामान्यतः , मान लीजिए <math>\alpha_1, \alpha_2, ..., \alpha_n</math> (आवश्यक नहीं कि भिन्न -भिन्न  हों) संख्याएं हैं, और अंकन में आसानी के लिए मान लें कि समान मान सूची में निरंतर क्रम में आते हैं। वह है
जहाँ <math>p</math> घात ≤ 2 का बहुपद है, तो इस स्थिति के लिए एक अनूठा समाधान है <math>a, b, c</math>. सामान्यतः मान लीजिए कि <math>\alpha_1, \alpha_2, ..., \alpha_n</math> आवश्यक रूप से विशिष्ट संख्याएँ नहीं हैं और अंकन में आसानी के लिए मान लीजिए कि समान मान सूची में निरंतर क्रम में आते हैं।


:<math>
:<math>
Line 173: Line 179:
   \alpha_{m_{k-1}+1} = \cdots = \alpha_{m_k}
   \alpha_{m_{k-1}+1} = \cdots = \alpha_{m_k}
</math>
</math>
कहाँ <math>m_k = n,</math> <math>m_1 < m_2 < \cdots < m_k,</math> और <math>\alpha_{m_1}, \ldots ,\alpha_{m_k}</math> विशिष्ट हैं। तब संबंधित प्रक्षेप समस्या है
जहाँ <math>m_k = n,</math> <math>m_1 < m_2 < \cdots < m_k,</math> और <math>\alpha_{m_1}, \ldots ,\alpha_{m_k}</math> विशिष्ट रूप में है, तब संबंधित प्रक्षेप स्थिति को इस रूप में दिखाया गया है,


:<math>\begin{cases}
:<math>\begin{cases}
Line 181: 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 187: 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|Companion matrix#Diagonalizability}}
* {{slink|सहयोगी आव्यूह विकर्णता के रूप में क्रियान्वित किया जाता है।}}
* शुर बहुपद - एक सामान्यीकरण
* शुर बहुपद - एक सामान्यीकरण रूप में है
* [[वैकल्पिक मैट्रिक्स]]
* [[वैकल्पिक आव्यूह]] के रूप में है
* [[लैग्रेंज बहुपद]]
* [[लैग्रेंज बहुपद]]
* [[Wronskian]]
* [[Wronskian|व्रोंस्कीअन]]
* [[मैट्रिसेस की सूची]]
* [[मैट्रिसेस की सूची]]
* [[एक परिमित क्षेत्र पर मूर निर्धारक]]
* [[एक परिमित क्षेत्र पर मूर निर्धारक|एक परिमित क्षेत्र पर मूर सारणिक]]  
* वीटा के सूत्र
* वीटा के सूत्र


Line 212: Line 218:
{{ProofWiki|id=Vandermonde_Determinant|title=Vandermonde Determinant}}
{{ProofWiki|id=Vandermonde_Determinant|title=Vandermonde Determinant}}


{{Matrix classes}}
[[Category:CS1 British English-language sources (en-gb)]]
[[Category: मैट्रिसेस]] [[Category: निर्धारकों]] [[Category: संख्यात्मक रैखिक बीजगणित]]  
[[Category:Collapse templates]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 27/04/2023]]
[[Category:Created On 27/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 21:33, 3 May 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).


अग्रिम पठन


बाहरी संबंध