सिल्वेस्टर आव्युह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, सिल्वेस्टर मैट्रिक्स [[मैट्रिक्स (गणित)]] है जो क्षेत्र (गणित) या क्रमविनिमेय रिंग में गुणांक वाले दो [[अविभाज्य बहुपद]] से जुड़ा होता है। दो बहुपदों के सिल्वेस्टर मैट्रिक्स की प्रविष्टियाँ बहुपदों के गुणांक हैं। दो बहुपदों के सिल्वेस्टर मैट्रिक्स का निर्धारक उनका [[परिणामी]] होता है, जो शून्य होता है जब दो बहुपदों का सामान्य मूल होता है (किसी क्षेत्र में गुणांक के मामले में) या गैर-स्थिर सामान्य भाजक (एक [[अभिन्न डोमेन]] में गुणांक के मामले में)
गणित में, '''सिल्वेस्टर [[मैट्रिक्स (गणित)|आव्युह (गणित)]]''' क्षेत्र या क्रमविनिमेय वलय  में गुणांक वाले दो [[अविभाज्य बहुपद]] से जुड़ा आव्यूह होता है। जो की दो बहुपदों के सिल्वेस्टर आव्युह की प्रविष्टियाँ बहुपदों के गुणांक हैं। अर्थात दो बहुपदों के सिल्वेस्टर आव्युह का निर्धारक उनका [[परिणामी]] होता है, जो शून्य होता है जब दो बहुपदों का सामान्य मूल (किसी क्षेत्र में गुणांक के स्तिथि में) या गैर-स्थिर सामान्य भाजक (एक [[अभिन्न डोमेन|अभिन्न कार्यक्षेत्र]] में गुणांक के स्तिथि में) होता है।


सिल्वेस्टर मैट्रिसेस का नाम [[जेम्स जोसेफ सिल्वेस्टर]] के नाम पर रखा गया है।
इस प्रकार से सिल्वेस्टर मैट्रिसेस का नाम [[जेम्स जोसेफ सिल्वेस्टर]] के नाम पर रखा गया है।


==परिभाषा==
==परिभाषा==
औपचारिक रूप से, मान लीजिए कि p और q बहुपद m और n की घात वाले क्रमशः दो अशून्य बहुपद हैं। इस प्रकार:
औपचारिक रूप से, मान लीजिए कि p और q क्रमशः घात m और n के दो अशून्य बहुपद हैं। इस प्रकार:
:<math>p(z)=p_0+p_1 z+p_2 z^2+\cdots+p_m z^m,\;q(z)=q_0+q_1 z+q_2 z^2+\cdots+q_n z^n.</math>
:<math>p(z)=p_0+p_1 z+p_2 z^2+\cdots+p_m z^m,\;q(z)=q_0+q_1 z+q_2 z^2+\cdots+q_n z^n.</math>
''पी'' और ''क्यू'' से जुड़ा सिल्वेस्टर मैट्रिक्स तब है <math>(n+m)\times(n+m)</math> मैट्रिक्स का निर्माण इस प्रकार किया गया है:
''p'' और ''q'' से जुड़ा सिल्वेस्टर आव्युह फिर <math>(n+m)\times(n+m)</math> आव्युह है जिसका निर्माण निम्नानुसार किया गया है:
* यदि n > 0, पहली पंक्ति है:
* यदि n > 0, प्रथम पंक्ति है:
:<math>\begin{pmatrix} p_m & p_{m-1} & \cdots & p_1 & p_0 & 0 & \cdots & 0 \end{pmatrix}.</math>
:<math>\begin{pmatrix} p_m & p_{m-1} & \cdots & p_1 & p_0 & 0 & \cdots & 0 \end{pmatrix}.</math>
* दूसरी पंक्ति पहली पंक्ति है, कॉलम को दाईं ओर स्थानांतरित कर दिया गया है; पंक्ति का पहला तत्व शून्य है.
* द्वतीय पंक्ति प्रथम पंक्ति है, यदि स्तंभ  को दाईं ओर स्थानांतरित कर दिया गया है; तब पंक्ति का प्रथम अवयव  शून्य दर्शाता है.
* निम्नलिखित n − 2 पंक्तियों को उसी तरह से प्राप्त किया जाता है, हर बार गुणांक को कॉलम में दाईं ओर स्थानांतरित किया जाता है और पंक्ति में अन्य प्रविष्टियों को 0 पर सेट किया जाता है।
* निम्नलिखित n − 2 पंक्तियों को उसी तरह से प्राप्त किया जाता है, जैसे गुणांक को हर बार स्तंभ  में दाईं ओर स्थानांतरित किया जाता है और पंक्ति में अन्य प्रविष्टियों को 0 पर समुच्चय  किया जाता है।
* यदि m > 0 तो (n+1)वीं पंक्ति है:
* यदि m > 0 तो (n+1)th पंक्ति है:
:<math>\begin{pmatrix} q_n & q_{n-1} & \cdots & q_1 & q_0 & 0 & \cdots & 0 \end{pmatrix}.</math>
:<math>\begin{pmatrix} q_n & q_{n-1} & \cdots & q_1 & q_0 & 0 & \cdots & 0 \end{pmatrix}.</math>
* निम्नलिखित पंक्तियाँ पहले की तरह ही प्राप्त की जाती हैं।
* निम्नलिखित पंक्तियाँ पहले की तरह ही प्राप्त की जाती हैं।


इस प्रकार, यदि m = 4 और n = 3, मैट्रिक्स है:
इस प्रकार, यदि m = 4 और n = 3, आव्युह है:
:<math>S_{p,q}=\begin{pmatrix}  
:<math>S_{p,q}=\begin{pmatrix}  
p_4 & p_3 & p_2 & p_1 & p_0 & 0 & 0 \\
p_4 & p_3 & p_2 & p_1 & p_0 & 0 & 0 \\
Line 25: Line 25:
0 & 0 & 0 & q_3 & q_2 & q_1 & q_0
0 & 0 & 0 & q_3 & q_2 & q_1 & q_0
\end{pmatrix}.</math>
\end{pmatrix}.</math>
यदि डिग्री में से शून्य है (अर्थात, संबंधित बहुपद गैर-शून्य स्थिर बहुपद है), तो अन्य बहुपद के गुणांकों से युक्त शून्य पंक्तियाँ होती हैं, और सिल्वेस्टर मैट्रिक्स गैर-स्थिर बहुपद की डिग्री के आयाम का [[विकर्ण मैट्रिक्स]] है, जिसमें सभी विकर्ण गुणांक स्थिर बहुपद के बराबर होते हैं। यदि m = n = 0, तो सिल्वेस्टर मैट्रिक्स शून्य पंक्तियों और शून्य स्तंभों वाला [[खाली मैट्रिक्स]] है।
यदि डिग्री में से एक शून्य है (अर्थात, संबंधित बहुपद गैर-शून्य स्थिर बहुपद है), तो अन्य बहुपद के गुणांकों से युक्त शून्य पंक्तियाँ होती हैं, और सिल्वेस्टर आव्युह गैर-स्थिर बहुपद की डिग्री के आयाम का [[विकर्ण मैट्रिक्स|विकर्ण आव्युह]] है, जिसमें सभी विकर्ण गुणांक स्थिर बहुपद के समान  होते हैं। यदि m = n = 0, तो सिल्वेस्टर आव्युह शून्य पंक्तियों और शून्य स्तंभ  वाला [[खाली मैट्रिक्स|रिक्त  आव्युह]] है।


==एक प्रकार==
==प्रकार==


उपरोक्त परिभाषित सिल्वेस्टर मैट्रिक्स 1840 के सिल्वेस्टर पेपर में दिखाई देता है। 1853 के पेपर में, सिल्वेस्टर ने निम्नलिखित मैट्रिक्स पेश किया, जो पंक्तियों के क्रमपरिवर्तन तक, पी और क्यू के सिल्वेस्टर मैट्रिक्स है, जिन्हें दोनों डिग्री अधिकतम (एम, एन) के रूप में माना जाता है।<ref name="amv2014">Akritas, A.G., Malaschonok, G.I., Vigklas, P.S.:''Sturm Sequences and Modified Subresultant Polynomial Remainder Sequences''. Serdica Journal of Computing, Vol. 8, No 1, 29--46, 2014</ref>
उपरोक्त परिभाषित सिल्वेस्टर आव्युह 1840 के सिल्वेस्टर पेपर में दिखाई देता है। अतः 1853 के पेपर में, सिल्वेस्टर ने निम्नलिखित आव्युह प्रस्तुत  किये गए है, जो कि ''p'' और q के सिल्वेस्टर आव्युह की पंक्तियों के क्रमपरिवर्तन तक है, जिन्हें दोनों डिग्री अधिकतम (''m'', ''n'')के रूप में माना जाता है।<ref name="amv2014">Akritas, A.G., Malaschonok, G.I., Vigklas, P.S.:''Sturm Sequences and Modified Subresultant Polynomial Remainder Sequences''. Serdica Journal of Computing, Vol. 8, No 1, 29--46, 2014</ref>


इस प्रकार यह है <math>2\max(n, m)\times 2\max(n, m)</math>-मैट्रिक्स युक्त <math>\max(n, m)</math> पंक्तियों के जोड़े. यह मानते हुए <math> m > n,</math> इसे इस प्रकार प्राप्त किया जाता है:
इस प्रकार यह एक <math>2\max(n, m)\times 2\max(n, m)</math>-आव्युह है जिसमें पंक्तियों  के <math>\max(n, m)</math> जोड़े सम्मिलित  हैं। चोंनकी  <math> m > n,</math> मानते हुए इसे इस प्रकार प्राप्त किया जाता है:
*पहली जोड़ी है:
*प्रथम जोड़ी है:
:<math>
:<math>
\begin{pmatrix}  
\begin{pmatrix}  
Line 38: Line 38:
         0      & \cdots    & 0        & q_n  &  \cdots & q_1 & q_0 & 0 & \cdots & 0  
         0      & \cdots    & 0        & q_n  &  \cdots & q_1 & q_0 & 0 & \cdots & 0  
\end{pmatrix}.</math>
\end{pmatrix}.</math>
* दूसरी जोड़ी पहली जोड़ी है, कॉलम को दाईं ओर स्थानांतरित कर दिया गया है; दो पंक्तियों में प्रथम तत्व शून्य हैं।
* द्वतीय जोड़ी प्रथम जोड़ी है, स्तंभ  को दाईं ओर स्थानांतरित कर दिया गया है; अर्थात दो पंक्तियों में प्रथम अवयव  शून्य हैं।
* शेष <math>max(n, m)-2</math> पंक्तियों के जोड़े ऊपर की तरह ही प्राप्त किए जाते हैं।
* शेष <math>max(n, m)-2</math> पंक्तियों के जोड़े ऊपर की तरह ही प्राप्त किए जाते हैं।


इस प्रकार, यदि m = 4 और n = 3, मैट्रिक्स है:
इस प्रकार, यदि m = 4 और n = 3, आव्युह है:
:<math>\begin{pmatrix}  
:<math>\begin{pmatrix}  
p_4 & p_3 & p_2 & p_1 & p_0 & 0 & 0 & 0\\
p_4 & p_3 & p_2 & p_1 & p_0 & 0 & 0 & 0\\
Line 52: Line 52:
0    & 0    & 0    & 0    & q_3 & q_2 & q_1 & q_0\\
0    & 0    & 0    & 0    & q_3 & q_2 & q_1 & q_0\\
\end{pmatrix}.</math>
\end{pmatrix}.</math>
1853 मैट्रिक्स का निर्धारक, साइन अप करने के लिए, सिल्वेस्टर मैट्रिक्स के निर्धारक का उत्पाद है (जिसे पी और क्यू का परिणाम कहा जाता है) <math>p_m^{m-n}</math> (अभी भी मान रहा हूँ <math>m\ge n</math>).
इस प्रकार से 1853 आव्युह का निर्धारक, संकेत तक, सिल्वेस्टर आव्युह (जिसे p और q का परिणाम कहा जाता है) के निर्धारक का उत्पाद  <math>p_m^{m-n}</math> (अभी भी <math>m\ge n</math> मानता है) द्वारा किया जाता है।


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


एक साथ रैखिक समीकरणों के समाधान
एक साथ रैखिक समीकरणों के समाधान है
:<math>{S_{p,q}}^\mathrm{T}\cdot\begin{pmatrix}x\\y\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}</math>
:<math>{S_{p,q}}^\mathrm{T}\cdot\begin{pmatrix}x\\y\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}</math>
कहाँ <math>x</math> आकार का वेक्टर है <math>n</math> और <math>y</math> आकार है <math>m</math>, उन और केवल उन युग्मों के गुणांक सदिश शामिल करें <math>x, y</math> बहुपदों का (डिग्री का)। <math>n-1</math> और <math>m-1</math>, क्रमशः) जो पूरा करते हैं
जहाँ  <math>x</math> आकार <math>n</math> का सदिश है  और <math>y</math> का आकार <math>m</math> है, उनमें बहुपदों (क्रमशः डिग्री <math>n-1</math> और <math>m-1</math>) के केवल उन युग्मों <math>x, y</math> के गुणांक सदिश सम्मिलित हैं जो की पूर्ण करते हैं।
:<math>x(z) \cdot p(z) + y(z) \cdot q(z) = 0,</math>
:<math>x(z) \cdot p(z) + y(z) \cdot q(z) = 0,</math>
जहां बहुपद गुणन और जोड़ का उपयोग किया जाता है।
जहां बहुपद गुणन और जोड़ का उपयोग किया जाता है। इसका अर्थ  है कि स्थानान्तरित सिल्वेस्टर आव्युह का कर्नेल बेज़आउट समीकरण के सभी समाधान देता है जहां <math>\deg x < \deg q</math> और <math>\deg y < \deg p</math> को दर्शाया गया है।
इसका मतलब है कि ट्रांसपोज़्ड सिल्वेस्टर मैट्रिक्स का शून्य स्थान बेज़आउट की पहचान के सभी समाधान देता है|बेज़आउट समीकरण जहां <math>\deg x < \deg q</math> और <math>\deg y < \deg p</math>.


नतीजतन, सिल्वेस्टर मैट्रिक्स का रैंक_(रैखिक_बीजगणित) पी और क्यू के बहुपद के सबसे बड़े सामान्य भाजक की डिग्री निर्धारित करता है:
फलस्वरूप, सिल्वेस्टर आव्युह का रैंक_(रैखिक_बीजगणित) p और q के बहुपद के अधिक उच्च सामान्य भाजक की डिग्री निर्धारित करता है:
:<math>\deg(\gcd(p,q)) = m+n-\operatorname{rank} S_{p,q}.</math> इसके अलावा, इस सबसे बड़े सामान्य भाजक के गुणांक को सिल्वेस्टर मैट्रिक्स के सबमैट्रिस के निर्धारक के रूप में व्यक्त किया जा सकता है ([[उपपरिणाम]] देखें)।
:<math>\deg(\gcd(p,q)) = m+n-\operatorname{rank} S_{p,q}.</math>  
:इसके अतिरिक्त , इस अधिक उच्च सामान्य भाजक के गुणांक को सिल्वेस्टर आव्युह के उपआव्युह के निर्धारक के रूप में व्यक्त किया जा सकता है ([[उपपरिणाम]] देखें)।


==यह भी देखें==
==यह भी देखें==
* [[स्थानांतरण मैट्रिक्स]]
* [[स्थानांतरण मैट्रिक्स|स्थानांतरण आव्युह]]
* बेज़आउट मैट्रिक्स
* बेज़आउट आव्युह


==संदर्भ==
==संदर्भ==

Revision as of 15:55, 5 August 2023

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

इस प्रकार से सिल्वेस्टर मैट्रिसेस का नाम जेम्स जोसेफ सिल्वेस्टर के नाम पर रखा गया है।

परिभाषा

औपचारिक रूप से, मान लीजिए कि p और q क्रमशः घात m और n के दो अशून्य बहुपद हैं। इस प्रकार:

p और q से जुड़ा सिल्वेस्टर आव्युह फिर आव्युह है जिसका निर्माण निम्नानुसार किया गया है:

  • यदि n > 0, प्रथम पंक्ति है:
  • द्वतीय पंक्ति प्रथम पंक्ति है, यदि स्तंभ को दाईं ओर स्थानांतरित कर दिया गया है; तब पंक्ति का प्रथम अवयव शून्य दर्शाता है.
  • निम्नलिखित n − 2 पंक्तियों को उसी तरह से प्राप्त किया जाता है, जैसे गुणांक को हर बार स्तंभ में दाईं ओर स्थानांतरित किया जाता है और पंक्ति में अन्य प्रविष्टियों को 0 पर समुच्चय किया जाता है।
  • यदि m > 0 तो (n+1)th पंक्ति है:
  • निम्नलिखित पंक्तियाँ पहले की तरह ही प्राप्त की जाती हैं।

इस प्रकार, यदि m = 4 और n = 3, आव्युह है:

यदि डिग्री में से एक शून्य है (अर्थात, संबंधित बहुपद गैर-शून्य स्थिर बहुपद है), तो अन्य बहुपद के गुणांकों से युक्त शून्य पंक्तियाँ होती हैं, और सिल्वेस्टर आव्युह गैर-स्थिर बहुपद की डिग्री के आयाम का विकर्ण आव्युह है, जिसमें सभी विकर्ण गुणांक स्थिर बहुपद के समान होते हैं। यदि m = n = 0, तो सिल्वेस्टर आव्युह शून्य पंक्तियों और शून्य स्तंभ वाला रिक्त आव्युह है।

प्रकार

उपरोक्त परिभाषित सिल्वेस्टर आव्युह 1840 के सिल्वेस्टर पेपर में दिखाई देता है। अतः 1853 के पेपर में, सिल्वेस्टर ने निम्नलिखित आव्युह प्रस्तुत किये गए है, जो कि p और q के सिल्वेस्टर आव्युह की पंक्तियों के क्रमपरिवर्तन तक है, जिन्हें दोनों डिग्री अधिकतम (m, n)के रूप में माना जाता है।[1]

इस प्रकार यह एक -आव्युह है जिसमें पंक्तियों के जोड़े सम्मिलित हैं। चोंनकी मानते हुए इसे इस प्रकार प्राप्त किया जाता है:

  • प्रथम जोड़ी है:
  • द्वतीय जोड़ी प्रथम जोड़ी है, स्तंभ को दाईं ओर स्थानांतरित कर दिया गया है; अर्थात दो पंक्तियों में प्रथम अवयव शून्य हैं।
  • शेष पंक्तियों के जोड़े ऊपर की तरह ही प्राप्त किए जाते हैं।

इस प्रकार, यदि m = 4 और n = 3, आव्युह है:

इस प्रकार से 1853 आव्युह का निर्धारक, संकेत तक, सिल्वेस्टर आव्युह (जिसे p और q का परिणाम कहा जाता है) के निर्धारक का उत्पाद (अभी भी मानता है) द्वारा किया जाता है।

अनुप्रयोग

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

एक साथ रैखिक समीकरणों के समाधान है

जहाँ आकार का सदिश है और का आकार है, उनमें बहुपदों (क्रमशः डिग्री और ) के केवल उन युग्मों के गुणांक सदिश सम्मिलित हैं जो की पूर्ण करते हैं।

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

फलस्वरूप, सिल्वेस्टर आव्युह का रैंक_(रैखिक_बीजगणित) p और q के बहुपद के अधिक उच्च सामान्य भाजक की डिग्री निर्धारित करता है:

इसके अतिरिक्त , इस अधिक उच्च सामान्य भाजक के गुणांक को सिल्वेस्टर आव्युह के उपआव्युह के निर्धारक के रूप में व्यक्त किया जा सकता है (उपपरिणाम देखें)।

यह भी देखें

संदर्भ

  1. Akritas, A.G., Malaschonok, G.I., Vigklas, P.S.:Sturm Sequences and Modified Subresultant Polynomial Remainder Sequences. Serdica Journal of Computing, Vol. 8, No 1, 29--46, 2014
  • Weisstein, Eric W. "Sylvester Matrix". MathWorld.