वैंडरमोंड मैट्रिक्स

रेखीय बीजगणित में, एक वेंडरमोंड आव्यूह जिसका नाम एलेक्जेंडर थियोफाइल वेंडरमोंड के नाम पर रखा गया है, इसमें एक आव्यूह होता है जिसमें प्रत्येक पंक्ति में गुणोत्तर अनुक्रम वाले $(m+1)\times (n+1)$ के रूप में आव्यूह होते है

$V=V(x_{0},x_{1},\cdots ,x_{m})={\begin{bmatrix}1&x_{0}&x_{0}^{2}&\dots &x_{0}^{n}\\1&x_{1}&x_{1}^{2}&\dots &x_{1}^{n}\\1&x_{2}&x_{2}^{2}&\dots &x_{2}^{n}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{m}&x_{m}^{2}&\dots &x_{m}^{n}\end{bmatrix}}$

या

$V_{i,j}=x_{i}^{j}$

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

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

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

$\det(V)=\prod _{0\leq i<j\leq n}(x_{j}-x_{i})$ के रूप में है

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

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

प्रमाण

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

$V={\begin{bmatrix}1&x_{0}&x_{0}^{2}&\dots &x_{0}^{n}\\1&x_{1}&x_{1}^{2}&\dots &x_{1}^{n}\\1&x_{2}&x_{2}^{2}&\dots &x_{2}^{n}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{n}&x_{n}^{2}&\dots &x_{n}^{n}\end{bmatrix}}$

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

$\det(V)=\prod _{0\leq i<j\leq n}(x_{j}-x_{i}).$

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

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

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

$0+1+2+\cdots +n={\frac {n(n+1)}{2}};$

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

यदि $i\neq j$ , के लिए एक स्थानापन्न $x_{i}$ के लिए $x_{j}$ के रूप में होता है और इस प्रकार हमें दो समान पंक्तियों वाला एक आव्यूह मिलता है, जिसमें एक शून्य निर्धारक होता है। इस प्रकारगुणनखंड प्रमेय द्वारा, $x_{j}-x_{i}$ का भाजक $\det(V)$.के रूप में होता है और इस प्रकार बहुभिन्नरूपी बहुपदों के अद्वितीय गुणनखंड डोमेन द्वारा होता है और सभी का गुणनफल $x_{j}-x_{i}$ का विभाजित $\det(V)$ के रूप में है

$\det(V)=Q\prod _{1\leq i<j\leq n}(x_{j}-x_{i}),$

जहाँ $Q$ एक बहुपद के रूप में है और इस प्रकार सभी के गुणनफल के रूप में $x_{j}-x_{i}$ और $\det(V)$ की समान घात $n(n+1)/2$ के रूप में होती है और इस प्रकार बहुपद $Q$ वस्तुत: एक स्थिरांक के रूप में है। यह स्थिरांक एक है, क्योंकि विकर्ण प्रविष्टियों का गुणनफल $V$ का $x_{1}x_{2}^{2}\cdots x_{n}^{n}$, के रूप में है, जो एकपदी बहुपद के रूप में है, जो सभी गुणनखंडों के प्रथम पद को लेकर प्राप्त किया जाता है $\textstyle \prod _{0\leq i<j\leq n}(x_{j}-x_{i}).$ इससे यह सिद्ध होता है

$\det(V)=\prod _{0\leq i<j\leq n}(x_{j}-x_{i}).$

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

होने देना F एक क्षेत्र (गणित) हो जिसमें सभी हों $x_{i},$ और $P_{n}$ F से कम घात वाले बहुपदों की सदिश जगह n में गुणांक के साथ F. होने देना

$\varphi :P_{n}\to F^{n}$

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

$p(x)\mapsto (p(x_{1}),\ldots ,p(x_{n}))$.

वेंडरमोंड आव्यूह का आव्यूह है $\varphi$ के विहित आधार के संबंध में $P_{n}$ और $F^{n}.$ के आधार में परिवर्तन $P_{n}$ वैंडरमोंड आव्यूह को चेंज-ऑफ़-बेस आव्यूह से गुणा करने के बराबर है M (दाएं से)। यह निर्धारक नहीं बदलता है, यदि निर्धारक M है 1.

बहुपद $1$, $x-x_{0}$, $(x-x_{0})(x-x_{1})$, …, $(x-x_{0})(x-x_{1})\cdots (x-x_{n})$ संबंधित घात के मोनिक बहुपद हैं 0, 1, …, n. मोनोमियल आधार पर उनका आव्यूह एक ऊपरी-त्रिकोणीय आव्यूह है U (यदि मोनोमियल्स को बढ़ती घात में आदेश दिया जाता है), सभी विकर्ण प्रविष्टियाँ एक के बराबर होती हैं। इस प्रकार यह आव्यूह निर्धारक एक का परिवर्तन-आधार आव्यूह है। का आव्यूह $\varphi$ इस नए आधार पर है

$L={\begin{bmatrix}1&0&0&\ldots &0\\1&x_{1}-x_{0}&0&\ldots &0\\1&x_{2}-x_{0}&(x_{2}-x_{0})(x_{2}-x_{1})&\ldots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{n}-x_{0}&(x_{n}-x_{0})(x_{n}-x_{1})&\ldots &(x_{n}-x_{0})(x_{n}-x_{1})\cdots (x_{n}-x_{n})\end{bmatrix}}$.

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

यह वांछित समानता सिद्ध करता है। इसके अतिरिक्त , किसी को LU का अपघटन मिलता है V जैसा $V=LU^{-1}$.

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

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

इसलिए, प्रत्येक कॉलम को घटाकर - पहले वाले को छोड़कर - पूर्ववर्ती कॉलम को गुणा करके $x_{0}$, निर्धारक नहीं बदला है। (ये घटाव अंतिम कॉलम से प्रारंभ करके किया जाना चाहिए, एक कॉलम घटाना जो अभी तक नहीं बदला गया है)। यह आव्यूह देता है

${\begin{bmatrix}1&0&0&0&\cdots &0\\1&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})\\1&x_{2}-x_{0}&x_{2}(x_{2}-x_{0})&x_{2}^{2}(x_{2}-x_{0})&\cdots &x_{2}^{n-1}(x_{2}-x_{0})\\\vdots &\vdots &\vdots &\vdots &\ddots &\vdots \\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}}$

लाप्लास विस्तार को पहली पंक्ति के साथ लागू करने पर, हम प्राप्त करते हैं $\det(V)=\det(B)$, साथ

$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_{2}-x_{0}&x_{2}(x_{2}-x_{0})&x_{2}^{2}(x_{2}-x_{0})&\cdots &x_{2}^{n-1}(x_{2}-x_{0})\\\vdots &\vdots &\vdots &\ddots &\vdots \\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}}$

में सभी प्रविष्टियों के रूप में $i$-वीं पंक्ति $B$ का कारक है $x_{i+1}-x_{0}$, कोई इन कारकों को निकाल सकता है और प्राप्त कर सकता है

$\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_{2}&x_{2}^{2}&\cdots &x_{2}^{n-1}\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&x_{n}&x_{n}^{2}&\cdots &x_{n}^{n-1}\\\end{vmatrix}}=\prod _{1<i\leq n}(x_{i}-x_{0})\det(V')$,

जहाँ $V'$ में वैंडरमोंड आव्यूह है $x_{1},\ldots ,x_{n}$. इस प्रक्रिया को इस छोटे वेंडरमोंड आव्यूह पर दोहराते हुए, अंततः वांछित अभिव्यक्ति प्राप्त होती है $\det(V)$ सभी के उत्पाद के रूप में $x_{j}-x_{i}$ ऐसा है कि $i<j$.

परिणामी गुण

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

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

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

अनुप्रयोग

वैंडरमोंड आव्यूह $V$ एक बहुपद का मूल्यांकन करता है $p(x)=a_{0}+a_{1}x+a_{2}x^{2}+\dots +a_{n}x^{n}$ बिंदुओं के एक सेट पर (अर्थात $x_{0},\ x_{1},\dots ,\ x_{m}$) वंडरमोंड प्रणाली में $Va=f$; औपचारिक रूप से, $V$ रेखीय मानचित्र का आव्यूह है जो एक बहुपद के गुणांकों के वेक्टर को मैप करता है $a={\begin{bmatrix}a_{0}\\a_{1}\\\vdots \\a_{n}\end{bmatrix}}$ वेंडरमोंड आव्यूह में दिखाई देने वाले मूल्यों पर बहुपद के मूल्यों के वेक्टर के लिए $f={\begin{bmatrix}p(x_{0})\\p(x_{1})\\\vdots \\p(x_{m})\end{bmatrix}}$.

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

यह बहुपद इंटरपोलेशन में उपयोगी हो सकता है, क्योंकि वेंडरमोंड आव्यूह को बदलने से बहुपद के गुणांक को व्यक्त करने की अनुमति मिलती है $x_{i}$ और पर बहुपद के मान $x_{i}$ (अर्थात। $a=V^{-1}f$).

वैंडरमोंड निर्धारक का उपयोग सममित समूह के प्रतिनिधित्व सिद्धांत में किया जाता है। जब मान $x_{i}$ एक परिमित क्षेत्र से संबंधित है, तो वैंडरमोंडे निर्धारक को a भी कहा जाता है मूर आव्यूह और विशिष्ट गुण हैं जिनका उपयोग किया जाता है, उदाहरण के लिए, BCH कोड और रीड-सोलोमन त्रुटि सुधार कोड के सिद्धांत में।

समीकरण को हल करना $Va=f$ (अर्थात् प्रक्षेपित बहुपद की गणना) रैखिक समीकरणों की प्रणाली#एक रैखिक प्रणाली को हल करना|भोलेपन से एक एल्गोरिथ्म में परिणाम ${\mathcal {O}}(n^{3})$ समय जटिलता। वैंडरमोंड आव्यूह की संरचना का उपयोग करते हुए, न्यूटन बहुपद | न्यूटन की विभाजित अंतर विधि का उपयोग किया जा सकता है (या लैग्रेंज बहुपद) में समीकरण को हल करने के लिए ${\mathcal {O}}(n^{2})$ समय, मौन रूप से लू के अपघटन की गणना $V^{-1}$. परिणामी एल्गोरिदम बेहद सटीक समाधान उत्पन्न करता है, यदि $V$ हालत संख्या है | बीमार हालत। असतत फूरियर रूपांतरण एक विशिष्ट वेंडरमोंड आव्यूह , डीएफटी आव्यूह द्वारा परिभाषित किया गया है, जहां संख्याएं $x_{i}$ एकता के मूल के रूप में चुने गए हैं। फास्ट फूरियर ट्रांसफॉर्म का उपयोग करके वैंडरमोंड आव्यूह के उत्पाद को एक वेक्टर के साथ गणना करना संभव है $O(n\log ^{2}n)$ समय। वेंडरमोंड निर्धारक के सूत्र के अनुसार फिलिंग फैक्टर वन (क्वांटम हॉल प्रभाव में प्रकट होने वाला) के साथ लाफलिन वेवफंक्शन को स्लेटर निर्धारक के रूप में देखा जा सकता है। यह अब एक से भिन्न कारकों को भरने के लिए सत्य नहीं है, अर्थात भिन्नात्मक क्वांटम हॉल प्रभाव में।

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

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

$$\mathrm {nvol} (F)={\frac {1}{k!}}\prod _{1\leq m<n\leq k+1}{(t_{i_{n}}-t_{i_{m}})}.$$

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

जैसा कि पहले बताया गया है, वैंडरमोंड आव्यूह एक बहुपद के गुणांकों को खोजने के रैखिक बीजगणित बहुपद प्रक्षेप का वर्णन करता है $p(x)$ घात का $n-1$ मूल्यों के आधार पर $p(\alpha _{1}),\,...,\,p(\alpha _{n})$, जहाँ $\alpha _{1},\,...,\,\alpha _{n}$ पृथक बिंदु हैं। यदि $\alpha _{i}$ भिन्न नहीं हैं, तो इस समस्या का कोई अनूठा समाधान नहीं है (जो इस तथ्य से परिलक्षित होता है कि संबंधित वैंडरमोंड आव्यूह एकवचन है)। चूंकि , यदि हम दोहराए गए बिंदुओं पर डेरिवेटिव का मान देते हैं, तो समस्या का एक अनूठा समाधान हो सकता है। उदाहरण के लिए, समस्या

${\begin{cases}p(0)=a\\p'(0)=b\\p(1)=c\end{cases}}$

जहाँ $p$ घात ≤ 2 का बहुपद है, सभी के लिए एक अनूठा समाधान है $a,b,c$. सामान्यतः , मान लीजिए $\alpha _{1},\alpha _{2},...,\alpha _{n}$ (आवश्यक नहीं कि भिन्न -भिन्न हों) संख्याएं हैं, और अंकन में आसानी के लिए मान लें कि समान मान सूची में निरंतर क्रम में आते हैं। वह है

$\alpha _{1}=\cdots =\alpha _{m_{1}},\ \alpha _{m_{1}+1}=\cdots =\alpha _{m_{2}},\ \ldots ,\ \alpha _{m_{k-1}+1}=\cdots =\alpha _{m_{k}}$

जहाँ $m_{k}=n,$ $m_{1}<m_{2}<\cdots <m_{k},$ और $\alpha _{m_{1}},\ldots ,\alpha _{m_{k}}$ विशिष्ट हैं। तब संबंधित प्रक्षेप समस्या है

${\begin{cases}p(\alpha _{1})=\beta _{1},&p'(\alpha _{1})=\beta _{2},&\ldots ,&p^{(m_{1}-1)}(\alpha _{1})=\beta _{m_{1}}\\p(\alpha _{m_{1}+1})=\beta _{m_{1}+1},&p'(\alpha _{m_{1}+1})=\beta _{m_{1}+2},&\ldots ,&p^{(m_{2}-m_{1}-1)}(\alpha _{m_{2}})=\beta _{m_{2}}\\\qquad \vdots \\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}}$

और इस समस्या के लिए संबंधित आव्यूह को कंफ्लुएंट वैंडरमोंड मैट्रिसेस कहा जाता है। हमारे स्थिति में (जो सामान्य स्थिति है, आव्यूह की पंक्तियों को अनुमति देने तक) इसके लिए सूत्र निम्नानुसार दिया गया है: यदि $1\leq i,j\leq n$, तब $m_{\ell }<i\leq m_{\ell +1}$ कुछ के लिए (अद्वितीय) $0\leq \ell \leq k-1$ (हमें विचार विमर्श करना है $m_{0}=0$). तो हमारे पास हैं

$V_{i,j}={\begin{cases}0,&{\text{if }}j<i-m_{\ell };\\[6pt]{\dfrac {(j-1)!}{(j-(i-m_{\ell }))!}}\alpha _{i}^{j-(i-m_{\ell })},&{\text{if }}j\geq i-m_{\ell }.\end{cases}}$

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

इस सूत्र को प्राप्त करने का दूसरा विधि ा यह है कि कुछ को जाने दिया जाए $\alpha _{i}$मनमाने ढंग से एक दूसरे के निकट जाना। उदाहरण के लिए, यदि $\alpha _{1}=\alpha _{2}$, फिर दे रहा है $\alpha _{2}\to \alpha _{1}$ मूल वैंडरमोंड आव्यूह में, पहली और दूसरी पंक्तियों के बीच का अंतर कंफ्लुएंट वेंडरमोंड आव्यूह में संबंधित पंक्ति उत्पन्न करता है। यह हमें सामान्यीकृत इंटरपोलेशन समस्या (दिए गए मूल्य और डेरिवेटिव को एक बिंदु पर) को मूल स्थिति से जोड़ने की अनुमति देता है जहां सभी बिंदु भिन्न हैं: दिया जा रहा है $p(\alpha ),p'(\alpha )$ दिए जाने के समान है $p(\alpha ),p(\alpha +\varepsilon )$ जहाँ $\varepsilon$ बहुत छोटी है।

यह भी देखें

• Companion matrix § Diagonalizability
• शुर बहुपद - एक सामान्यीकरण
• वैकल्पिक आव्यूह
• लैग्रेंज बहुपद
• Wronskian
• मैट्रिसेस की सूची
• एक परिमित क्षेत्र पर मूर निर्धारक
• वीटा के सूत्र

अग्रिम पठन

• 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