सामान्यीकृत प्रतिलोम: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 3: Line 3:
गणित में, और विशेष रूप से, [[बीजगणित]] में, '''एक''' तत्व ''x'' का '''एक''' सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) '''एक''' तत्व ''y'' है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक  नहीं कि वे सभी हों। '''एक''' आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य '''एक''' आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी [[गणितीय संरचना]] में परिभाषित किया जा सकता है जिसमें गुण साहचर्य '''गुण''' गुणन सम्मिलित  होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक [[मैट्रिक्स (गणित)|आव्युह ('''गणित''')]]  <math>A</math> के सामान्यीकृत व्युत्क्रम का वर्णन करता है
गणित में, और विशेष रूप से, [[बीजगणित]] में, '''एक''' तत्व ''x'' का '''एक''' सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) '''एक''' तत्व ''y'' है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक  नहीं कि वे सभी हों। '''एक''' आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य '''एक''' आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी [[गणितीय संरचना]] में परिभाषित किया जा सकता है जिसमें गुण साहचर्य '''गुण''' गुणन सम्मिलित  होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक [[मैट्रिक्स (गणित)|आव्युह ('''गणित''')]]  <math>A</math> के सामान्यीकृत व्युत्क्रम का वर्णन करता है


'''यदि  <math> AA^\mathrm{g}A = A.</math>तो एक आव्युह <math>A^\mathrm{g} \in \mathbb{R}^{n \times m}</math> एक आव्युह <math>A \in \mathbb{R}^{m \times n}</math>  का सामान्यीकृत प्रतिलोम है।<ref name=":0">{{harvnb|Ben-Israel|Greville|2003|pp=2, 7}}</ref><ref name=":1" /><ref name=":2" /> एक इच्छानुसार एक सामान्यीकृत व्युत्क्रम, एक इच्छानुसार आव्युह के लिए उपस्थित है, और जब एक आव्युह में एक प्रेरणा होती है, तो यह व्युत्क्रम इसका अनूठा सामान्यीकृत व्युत्क्रम होता है।<ref name=":0" />'''
यदि  <math> AA^\mathrm{g}A = A</math> है तो '''एक''' आव्युह <math>A^\mathrm{g} \in \mathbb{R}^{n \times m}</math> , आव्युह <math>A \in \mathbb{R}^{m \times n}</math>  का सामान्यीकृत प्रतिलोम होगा ।<ref name=":0">{{harvnb|Ben-Israel|Greville|2003|pp=2, 7}}</ref><ref name=":1" /><ref name=":2" /> एक इच्छानुसार एक सामान्यीकृत व्युत्क्रम, '''एक''' इच्छानुसार आव्युह के लिए उपस्थित है, और जब '''एक''' आव्युह में एक नियमित व्युत्क्रम होता है, तो यह व्युत्क्रम इसका अनूठा सामान्यीकृत व्युत्क्रम होता है।<ref name=":0" />
== प्रेरणा ==  
== प्रेरणा ==  
[[रैखिक समीकरणों की प्रणाली]] पर विचार करें
[[रैखिक समीकरणों की प्रणाली]] पर विचार करें
Line 19: Line 19:
== प्रकार ==
== प्रकार ==
महत्वपूर्ण प्रकार के सामान्यीकृत व्युत्क्रम में सम्मिलित  हैं:
महत्वपूर्ण प्रकार के सामान्यीकृत व्युत्क्रम में सम्मिलित  हैं:
* एक तरफा उलटा (दाएं उलटा या बाएं उलटा)
* एकपक्षीय प्रतिलोम (दक्षिणपंथी प्रतिलोम या वामपंथी प्रतिलोम )
*सही उलटा: यदि आव्युह <math>A</math> आयाम हैं <math>n \times m</math> और <math> \textrm{rank} (A) = n</math>, तो वहाँ एक उपस्थित है <math>m \times n</math> आव्यूह <math>A_{\mathrm{R}}^{-1}</math> का सही व्युत्क्रम कहलाता है <math>A</math> ऐसा है कि <math> A A_{\mathrm{R}}^{-1} = I_n </math>, कहाँ <math>I_n</math> है <math>n \times n</math> [[शिनाख्त सांचा]]।
*दक्षिणपंथी प्रतिलोम  : यदि आव्युह <math>A</math> आयाम हैं <math>n \times m</math> और <math> \textrm{rank} (A) = n</math>, तो वहाँ एक उपस्थित है <math>m \times n</math> आव्यूह <math>A_{\mathrm{R}}^{-1}</math> का सही व्युत्क्रम कहलाता है <math>A</math> ऐसा है कि <math> A A_{\mathrm{R}}^{-1} = I_n </math>, कहाँ <math>I_n</math> है <math>n \times n</math> [[शिनाख्त सांचा]]।
*वाम उलटा: यदि आव्युह <math>A</math> आयाम हैं <math>n \times m</math> और <math> \textrm{rank} (A) = m</math>, तो वहाँ एक उपस्थित है <math>m \times n</math> आव्यूह <math>A_{\mathrm{L}}^{-1}</math> का बायां व्युत्क्रम कहा जाता है <math>A</math> ऐसा है कि <math>A_{\mathrm{L}}^{-1} A = I_m </math>, कहाँ <math>I_m</math> है <math>m \times m</math> शिनाख्त सांचा।<ref name=":4" />* बॉटल-डफिन इनवर्स
*वामपंथी  प्रतिलोम : यदि आव्युह <math>A</math> आयाम हैं <math>n \times m</math> और <math> \textrm{rank} (A) = m</math>, तो वहाँ एक उपस्थित है <math>m \times n</math> आव्यूह <math>A_{\mathrm{L}}^{-1}</math> का वामपंथी व्युत्क्रम कहा जाता है <math>A</math> ऐसा है कि <math>A_{\mathrm{L}}^{-1} A = I_m </math>, कहाँ <math>I_m</math> है <math>m \times m</math> शिनाख्त सांचा।<ref name=":4" />
* [[ड्रैज़िन उलटा]]
*बॉटल-डफिन प्रतिलोम
* मूर-पेनरोज़ उलटा
* [[ड्रैज़िन उलटा|ड्रैज़िन प्रतिलोम]]  
* मूर-पेनरोज़ प्रतिलोम


कुछ सामान्यीकृत व्युत्क्रमों को पेनरोज़ स्थितियों के आधार पर परिभाषित और वर्गीकृत किया गया है:
कुछ सामान्यीकृत व्युत्क्रमों को पेनरोज़ स्थितियों के आधार पर परिभाषित और वर्गीकृत किया गया है:
Line 31: Line 32:
# <math> (A A^\mathrm{g})^* = A A^\mathrm{g} </math>
# <math> (A A^\mathrm{g})^* = A A^\mathrm{g} </math>
# <math> (A^\mathrm{g} A)^* = A^\mathrm{g} A, </math>
# <math> (A^\mathrm{g} A)^* = A^\mathrm{g} A, </math>
कहाँ <math>{}^*</math> संयुग्म संक्रमण को दर्शाता है। यदि <math>A^\mathrm{g}</math> प्रथम प्रतिबंध को संतुष्ट करता है, तो यह का सामान्यीकृत प्रतिलोम है <math>A</math>. यदि यह पहली दो स्थितियों को संतुष्ट करता है, तो यह एक प्रतिवर्ती सामान्यीकृत व्युत्क्रम है <math>A</math>. यदि यह चारों प्रतिबंधों  को पूरा करता है, तो यह का छद्मविपरीत है <math>A</math>, जिसे द्वारा दर्शाया गया है <math>A^+</math> और ई. एच. मूर और [[रोजर पेनरोज़]] द्वारा अग्रणी कार्यों के बाद, मूर-पेनरोज़ व्युत्क्रम के रूप में भी जाना जाता है।<ref name=":1" /><ref>{{harvnb|Rao|Mitra|1971|pp=20, 28, 50–51}}</ref><ref name=":3">{{harvnb|Ben-Israel|Greville|2003|p=7}}</ref><ref>{{harvnb|Campbell|Meyer|1991|p=10}}</ref><ref>{{harvnb|James|1978|p=114}}</ref><ref>{{harvnb|Nakamura|1991|p=42}}</ref> एक को परिभाषित करना सुविधाजनक है<math>I</math>- का उलटा <math>A</math> एक व्युत्क्रम के रूप में जो उपसमुच्चय को संतुष्ट करता है <math>I \subset \{1, 2, 3, 4\}</math> ऊपर सूचीबद्ध पेनरोज़ स्थितियों में से। संबंध, जैसे <math>A^{(1, 4)} A A^{(1, 3)} = A^+</math>, के इन विभिन्न वर्गों के बीच स्थापित किया जा सकता है <math>I</math>-श्लोक में।<ref name=":0" />  
कहाँ <math>{}^*</math> संयुग्म संक्रमण को दर्शाता है। यदि <math>A^\mathrm{g}</math> प्रथम प्रतिबंध को संतुष्ट करता है, तो यह का सामान्यीकृत प्रतिलोम है <math>A</math>. यदि यह पहली दो स्थितियों को संतुष्ट करता है, तो यह एक प्रतिवर्ती सामान्यीकृत व्युत्क्रम है <math>A</math>. यदि यह चारों प्रतिबंधों  को पूरा करता है, तो यह का छद्म व्युत्क्रम है <math>A</math>, जिसे द्वारा दर्शाया गया है <math>A^+</math> और ई. एच. मूर और [[रोजर पेनरोज़]] द्वारा अग्रणी कार्यों के बाद, मूर-पेनरोज़ व्युत्क्रम के रूप में भी जाना जाता है।<ref name=":1" /><ref>{{harvnb|Rao|Mitra|1971|pp=20, 28, 50–51}}</ref><ref name=":3">{{harvnb|Ben-Israel|Greville|2003|p=7}}</ref><ref>{{harvnb|Campbell|Meyer|1991|p=10}}</ref><ref>{{harvnb|James|1978|p=114}}</ref><ref>{{harvnb|Nakamura|1991|p=42}}</ref> एक को परिभाषित करना सुविधाजनक है<math>I</math>- का प्रतिलोम <math>A</math> एक व्युत्क्रम के रूप में जो उपसमुच्चय को संतुष्ट करता है <math>I \subset \{1, 2, 3, 4\}</math> ऊपर सूचीबद्ध पेनरोज़ स्थितियों में से। संबंध, जैसे <math>A^{(1, 4)} A A^{(1, 3)} = A^+</math>, के इन विभिन्न वर्गों के बीच स्थापित किया जा सकता है <math>I</math>-श्लोक में।<ref name=":0" />  


कब <math>A</math> गैर-एकवचन है, कोई सामान्यीकृत प्रतिलोम <math>A^\mathrm{g} = A^{-1}</math> और इसलिए अद्वितीय है। एकवचन के लिए <math>A</math>, कुछ सामान्यीकृत व्युत्क्रम, जैसे कि ड्रैज़िन व्युत्क्रम और मूर-पेनरोज़ प्रतिलोम अद्वितीय हैं, जबकि अन्य आवश्यक रूप से विशिष्ट रूप से परिभाषित नहीं हैं।
कब <math>A</math> गैर-एकवचन है, कोई सामान्यीकृत प्रतिलोम <math>A^\mathrm{g} = A^{-1}</math> और इसलिए अद्वितीय है। एकवचन के लिए <math>A</math>, कुछ सामान्यीकृत व्युत्क्रम, जैसे कि ड्रैज़िन व्युत्क्रम और मूर-पेनरोज़ प्रतिलोम अद्वितीय हैं, जबकि अन्य आवश्यक रूप से विशिष्ट रूप से परिभाषित नहीं हैं।
Line 53: Line 54:
तब से <math>\det(A) = 0</math>, <math> A </math> एकवचन है और इसका कोई नियमित व्युत्क्रम नहीं है। चूँकि, <math> A </math> और <math> G </math> पेनरोज़ प्रतिबंधों  (1) और (2) को संतुष्ट करें, किन्तु (3) या (4) नहीं। इस प्रकार, <math> G </math> का एक प्रतिवर्त सामान्यीकृत प्रतिलोम है <math> A </math>.
तब से <math>\det(A) = 0</math>, <math> A </math> एकवचन है और इसका कोई नियमित व्युत्क्रम नहीं है। चूँकि, <math> A </math> और <math> G </math> पेनरोज़ प्रतिबंधों  (1) और (2) को संतुष्ट करें, किन्तु (3) या (4) नहीं। इस प्रकार, <math> G </math> का एक प्रतिवर्त सामान्यीकृत प्रतिलोम है <math> A </math>.


=== एकतरफा उलटा ===
=== एकपक्षीय प्रतिलोम ===
होने देना
होने देना


Line 66: Line 67:
   \end{bmatrix}.
   \end{bmatrix}.
</math>
</math>
तब से <math> A </math> वर्गाकार नहीं है, <math> A </math> कोई नियमित व्युत्क्रम नहीं है। चूँकि, <math> A_\mathrm{R}^{-1} </math> का सही व्युत्क्रम है <math> A </math>. गणित का सवाल <math> A </math> कोई उलटा नहीं बचा है।
तब से <math> A </math> वर्गाकार नहीं है, <math> A </math> कोई नियमित व्युत्क्रम नहीं है। चूँकि, <math> A_\mathrm{R}^{-1} </math> का सही व्युत्क्रम है <math> A </math>. गणित का सवाल <math> A </math> कोई प्रतिलोम नहीं बचा है।


=== अन्य अर्धसमूहों (या छल्लों) का व्युत्क्रम ===
=== अन्य अर्धसमूहों (या छल्लों) का व्युत्क्रम ===
Line 91: Line 92:
निम्नलिखित लक्षणों को सत्यापित करना आसान है:
निम्नलिखित लक्षणों को सत्यापित करना आसान है:
* एक [[स्क्वायर मैट्रिक्स|स्क्वायर]] आव्युह का सही व्युत्क्रम|गैर-वर्ग आव्युह <math>A</math> द्वारा दिया गया है <math>A_\mathrm{R}^{-1} = A^{\intercal} \left( A A^{\intercal} \right)^{-1}</math>, परंतु <math>A</math> पूर्ण पंक्ति रैंक है।<ref name=":4">{{harvnb|Rao|Mitra|1971|p=19}}</ref>
* एक [[स्क्वायर मैट्रिक्स|स्क्वायर]] आव्युह का सही व्युत्क्रम|गैर-वर्ग आव्युह <math>A</math> द्वारा दिया गया है <math>A_\mathrm{R}^{-1} = A^{\intercal} \left( A A^{\intercal} \right)^{-1}</math>, परंतु <math>A</math> पूर्ण पंक्ति रैंक है।<ref name=":4">{{harvnb|Rao|Mitra|1971|p=19}}</ref>
* एक गैर-वर्ग आव्युह का बायां व्युत्क्रम <math>A</math> द्वारा दिया गया है <math>A_\mathrm{L}^{-1} = \left(A^{\intercal} A \right)^{-1} A^{\intercal}</math>, परंतु <math>A</math> पूर्ण स्तंभ रैंक है।<ref name=":4" />* यदि <math>A = BC</math> एक रैंक गुणनखंड है, तो <math>G = C_\mathrm{R}^{-1} B_\mathrm{L}^{-1}</math> का जी-प्रतिलोम है <math>A</math>, कहाँ <math>C_\mathrm{R}^{-1}</math> का सही व्युत्क्रम है <math>C</math> और <math>B_\mathrm{L}^{-1}</math> का उलटा छोड़ दिया जाता है <math>B</math>.
* एक गैर-वर्ग आव्युह का वामपंथी व्युत्क्रम <math>A</math> द्वारा दिया गया है <math>A_\mathrm{L}^{-1} = \left(A^{\intercal} A \right)^{-1} A^{\intercal}</math>, परंतु <math>A</math> पूर्ण स्तंभ रैंक है।<ref name=":4" />* यदि <math>A = BC</math> एक रैंक गुणनखंड है, तो <math>G = C_\mathrm{R}^{-1} B_\mathrm{L}^{-1}</math> का जी-प्रतिलोम है <math>A</math>, कहाँ <math>C_\mathrm{R}^{-1}</math> का सही व्युत्क्रम है <math>C</math> और <math>B_\mathrm{L}^{-1}</math> का प्रतिलोम छोड़ दिया जाता है <math>B</math>.
* यदि <math>A = P \begin{bmatrix}I_r & 0 \\ 0 & 0 \end{bmatrix} Q</math> किसी भी गैर-एकवचन आव्युह के लिए <math>P</math> और <math>Q</math>, तब <math>G = Q^{-1} \begin{bmatrix}I_r & U \\ W & V \end{bmatrix} P^{-1}</math> का सामान्यीकृत प्रतिलोम है <math>A</math> स्वेच्छाचारिता  के लिए <math>U, V</math> और <math>W</math>.
* यदि <math>A = P \begin{bmatrix}I_r & 0 \\ 0 & 0 \end{bmatrix} Q</math> किसी भी गैर-एकवचन आव्युह के लिए <math>P</math> और <math>Q</math>, तब <math>G = Q^{-1} \begin{bmatrix}I_r & U \\ W & V \end{bmatrix} P^{-1}</math> का सामान्यीकृत प्रतिलोम है <math>A</math> स्वेच्छाचारिता  के लिए <math>U, V</math> और <math>W</math>.
* होने देना <math>A</math> कोटि का हो <math>r</math>. सामान्यता के हानि के बिना, चलो<math display="block">A = \begin{bmatrix}B & C\\ D & E\end{bmatrix},</math>कहाँ <math>B_{r \times r}</math> का गैर-एकवचन सबआव्युह है <math>A</math>. तब,<math display="block">G = \begin{bmatrix} B^{-1} & 0\\ 0 & 0 \end{bmatrix}</math>का सामान्यीकृत प्रतिलोम है <math>A</math> यदि और केवल यदि <math>E=DB^{-1}C</math>.
* होने देना <math>A</math> कोटि का हो <math>r</math>. सामान्यता के हानि के बिना, चलो<math display="block">A = \begin{bmatrix}B & C\\ D & E\end{bmatrix},</math>कहाँ <math>B_{r \times r}</math> का गैर-एकवचन सबआव्युह है <math>A</math>. तब,<math display="block">G = \begin{bmatrix} B^{-1} & 0\\ 0 & 0 \end{bmatrix}</math>का सामान्यीकृत प्रतिलोम है <math>A</math> यदि और केवल यदि <math>E=DB^{-1}C</math>.
Line 106: Line 107:
इच्छानुसार वेक्टर पर पैरामीट्रिक <math>w</math>, कहाँ <math>A^\mathrm{g}</math> का कोई सामान्यीकृत प्रतिलोम है <math>A</math>. समाधान उपस्थित हैं यदि और केवल यदि <math>A^\mathrm{g}b</math> एक समाधान है, अर्थात, यदि और केवल यदि <math>AA^\mathrm{g}b = b</math>. यदि ए में पूर्ण कॉलम रैंक है, तो इस समीकरण में ब्रैकेटेड अभिव्यक्ति शून्य आव्युह है और इसलिए समाधान अद्वितीय है।<ref>{{harvnb|James|1978|pp=109–110}}</ref>
इच्छानुसार वेक्टर पर पैरामीट्रिक <math>w</math>, कहाँ <math>A^\mathrm{g}</math> का कोई सामान्यीकृत प्रतिलोम है <math>A</math>. समाधान उपस्थित हैं यदि और केवल यदि <math>A^\mathrm{g}b</math> एक समाधान है, अर्थात, यदि और केवल यदि <math>AA^\mathrm{g}b = b</math>. यदि ए में पूर्ण कॉलम रैंक है, तो इस समीकरण में ब्रैकेटेड अभिव्यक्ति शून्य आव्युह है और इसलिए समाधान अद्वितीय है।<ref>{{harvnb|James|1978|pp=109–110}}</ref>
== मेट्रिसेस के सामान्यीकृत व्युत्क्रम ==
== मेट्रिसेस के सामान्यीकृत व्युत्क्रम ==
मेट्रिसेस के सामान्यीकृत व्युत्क्रमों को निम्नानुसार चित्रित किया जा सकता है। होने देना <math>A \in \mathbb{R}^{m \times n}</math>, और<math display="block">A = U \begin{bmatrix} \Sigma_1 & 0 \\ 0 & 0 \end{bmatrix} V^\textsf{T}</math>इसका एकवचन-मूल्य अपघटन हो। फिर किसी सामान्यीकृत व्युत्क्रम के लिए <math>A^g</math>, वहां है<ref name=":0" />आव्युह <math>X</math>, <math>Y</math>, और <math>Z</math> ऐसा है कि<math display="block">A^g = V \begin{bmatrix} \Sigma_1^{-1} & X \\ Y & Z \end{bmatrix} U^\textsf{T}.</math>इसके विपरीत, कोई भी विकल्प <math>X</math>, <math>Y</math>, और <math>Z</math> इस रूप के आव्युह के लिए एक सामान्यीकृत व्युत्क्रम है <math>A</math>.<ref name=":0" /> <math>\{1,2\}</math>वें>-विपरीत वही हैं जिनके लिए <math>Z = Y \Sigma_1 X</math>, द <math>\{1,3\}</math>-विपरीत वही हैं जिनके लिए <math>X = 0</math>, और यह <math>\{1,4\}</math>-विपरीत वही हैं जिनके लिए <math>Y = 0</math>. विशेष रूप से, स्यूडोइनवर्स द्वारा दिया गया है <math>X = Y = Z = 0</math>:<math display="block">A^+ = V \begin{bmatrix} \Sigma_1^{-1} & 0 \\ 0 & 0 \end{bmatrix} U^\textsf{T}.</math>
मेट्रिसेस के सामान्यीकृत व्युत्क्रमों को निम्नानुसार चित्रित किया जा सकता है। होने देना <math>A \in \mathbb{R}^{m \times n}</math>, और<math display="block">A = U \begin{bmatrix} \Sigma_1 & 0 \\ 0 & 0 \end{bmatrix} V^\textsf{T}</math>इसका एकवचन-मूल्य अपघटन हो। फिर किसी सामान्यीकृत व्युत्क्रम के लिए <math>A^g</math>, वहां है<ref name=":0" />आव्युह <math>X</math>, <math>Y</math>, और <math>Z</math> ऐसा है कि<math display="block">A^g = V \begin{bmatrix} \Sigma_1^{-1} & X \\ Y & Z \end{bmatrix} U^\textsf{T}.</math>इसके विपरीत, कोई भी विकल्प <math>X</math>, <math>Y</math>, और <math>Z</math> इस रूप के आव्युह के लिए एक सामान्यीकृत व्युत्क्रम है <math>A</math>.<ref name=":0" /> <math>\{1,2\}</math>वें>-विपरीत वही हैं जिनके लिए <math>Z = Y \Sigma_1 X</math>, द <math>\{1,3\}</math>-विपरीत वही हैं जिनके लिए <math>X = 0</math>, और यह <math>\{1,4\}</math>-विपरीत वही हैं जिनके लिए <math>Y = 0</math>. विशेष रूप से, छद्म व्युत्क्रम द्वारा दिया गया है <math>X = Y = Z = 0</math>:<math display="block">A^+ = V \begin{bmatrix} \Sigma_1^{-1} & 0 \\ 0 & 0 \end{bmatrix} U^\textsf{T}.</math>


== परिवर्तन संगति गुण ==
== परिवर्तन संगति गुण ==
Line 113: Line 114:
:<math>(UAV)^+ = V^* A^+ U^*</math>.
:<math>(UAV)^+ = V^* A^+ U^*</math>.


Drazin उलटा, <math> A^\mathrm{D}</math> एक विलक्षण आव्युह एस से जुड़े समानता परिवर्तनों के संबंध में स्थिरता की निम्नलिखित परिभाषा को संतुष्ट करता है:
Drazin प्रतिलोम , <math> A^\mathrm{D}</math> एक विलक्षण आव्युह एस से जुड़े समानता परिवर्तनों के संबंध में स्थिरता की निम्नलिखित परिभाषा को संतुष्ट करता है:


:<math>\left(SAS^{-1}\right)^\mathrm{D} = S A^\mathrm{D} S^{-1}</math>.
:<math>\left(SAS^{-1}\right)^\mathrm{D} = S A^\mathrm{D} S^{-1}</math>.
Line 124: Line 125:


== यह भी देखें ==
== यह भी देखें ==
* [[ब्लॉक मैट्रिक्स स्यूडोइनवर्स|ब्लॉक आव्युह स्यूडोइनवर्स]]
* [[ब्लॉक मैट्रिक्स स्यूडोइनवर्स|खंड आव्युह छद्म व्युत्क्रम]]
* [[नियमित अर्धसमूह]]
* [[नियमित अर्धसमूह]]



Revision as of 07:43, 3 March 2023

गणित में, और विशेष रूप से, बीजगणित में, एक तत्व x का एक सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) एक तत्व y है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक नहीं कि वे सभी हों। एक आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य एक आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी गणितीय संरचना में परिभाषित किया जा सकता है जिसमें गुण साहचर्य गुण गुणन सम्मिलित होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक आव्युह (गणित) के सामान्यीकृत व्युत्क्रम का वर्णन करता है

यदि है तो एक आव्युह , आव्युह का सामान्यीकृत प्रतिलोम होगा ।[1][2][3] एक इच्छानुसार एक सामान्यीकृत व्युत्क्रम, एक इच्छानुसार आव्युह के लिए उपस्थित है, और जब एक आव्युह में एक नियमित व्युत्क्रम होता है, तो यह व्युत्क्रम इसका अनूठा सामान्यीकृत व्युत्क्रम होता है।[1]

प्रेरणा

रैखिक समीकरणों की प्रणाली पर विचार करें

कहाँ एक आव्युह और का स्तंभ स्थान . यदि निरर्थक है (जिसका तात्पर्य है ) तब व्यवस्था का समाधान होगा। ध्यान दें कि, यदि अत: विलक्षण है

अब मान लीजिए आयताकार है (), या वर्ग और एकवचन। फिर हमें एक सही उम्मीदवार की आवश्यकता है आदेश की ऐसा कि सभी के लिए

[4]

वह है, रैखिक प्रणाली का एक समाधान है . समान रूप से, हमें एक आव्युह की आवश्यकता है आदेश की ऐसा है कि

अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: a दिया गया है आव्यूह , एक आव्यूह का सामान्यीकृत प्रतिलोम कहा जाता है यदि [1][2][3] गणित का सवाल का नियमित व्युत्क्रम कहा गया है कुछ लेखकों द्वारा।[5]

प्रकार

महत्वपूर्ण प्रकार के सामान्यीकृत व्युत्क्रम में सम्मिलित हैं:

  • एकपक्षीय प्रतिलोम (दक्षिणपंथी प्रतिलोम या वामपंथी प्रतिलोम )
  • दक्षिणपंथी प्रतिलोम  : यदि आव्युह आयाम हैं और , तो वहाँ एक उपस्थित है आव्यूह का सही व्युत्क्रम कहलाता है ऐसा है कि , कहाँ है शिनाख्त सांचा
  • वामपंथी प्रतिलोम : यदि आव्युह आयाम हैं और , तो वहाँ एक उपस्थित है आव्यूह का वामपंथी व्युत्क्रम कहा जाता है ऐसा है कि , कहाँ है शिनाख्त सांचा।[6]
  • बॉटल-डफिन प्रतिलोम
  • ड्रैज़िन प्रतिलोम
  • मूर-पेनरोज़ प्रतिलोम

कुछ सामान्यीकृत व्युत्क्रमों को पेनरोज़ स्थितियों के आधार पर परिभाषित और वर्गीकृत किया गया है:

कहाँ संयुग्म संक्रमण को दर्शाता है। यदि प्रथम प्रतिबंध को संतुष्ट करता है, तो यह का सामान्यीकृत प्रतिलोम है . यदि यह पहली दो स्थितियों को संतुष्ट करता है, तो यह एक प्रतिवर्ती सामान्यीकृत व्युत्क्रम है . यदि यह चारों प्रतिबंधों को पूरा करता है, तो यह का छद्म व्युत्क्रम है , जिसे द्वारा दर्शाया गया है और ई. एच. मूर और रोजर पेनरोज़ द्वारा अग्रणी कार्यों के बाद, मूर-पेनरोज़ व्युत्क्रम के रूप में भी जाना जाता है।[2][7][8][9][10][11] एक को परिभाषित करना सुविधाजनक है- का प्रतिलोम एक व्युत्क्रम के रूप में जो उपसमुच्चय को संतुष्ट करता है ऊपर सूचीबद्ध पेनरोज़ स्थितियों में से। संबंध, जैसे , के इन विभिन्न वर्गों के बीच स्थापित किया जा सकता है -श्लोक में।[1]

कब गैर-एकवचन है, कोई सामान्यीकृत प्रतिलोम और इसलिए अद्वितीय है। एकवचन के लिए , कुछ सामान्यीकृत व्युत्क्रम, जैसे कि ड्रैज़िन व्युत्क्रम और मूर-पेनरोज़ प्रतिलोम अद्वितीय हैं, जबकि अन्य आवश्यक रूप से विशिष्ट रूप से परिभाषित नहीं हैं।

उदाहरण

प्रतिवर्त सामान्यीकृत प्रतिलोम

होने देना

तब से , एकवचन है और इसका कोई नियमित व्युत्क्रम नहीं है। चूँकि, और पेनरोज़ प्रतिबंधों (1) और (2) को संतुष्ट करें, किन्तु (3) या (4) नहीं। इस प्रकार, का एक प्रतिवर्त सामान्यीकृत प्रतिलोम है .

एकपक्षीय प्रतिलोम

होने देना

तब से वर्गाकार नहीं है, कोई नियमित व्युत्क्रम नहीं है। चूँकि, का सही व्युत्क्रम है . गणित का सवाल कोई प्रतिलोम नहीं बचा है।

अन्य अर्धसमूहों (या छल्लों) का व्युत्क्रम

तत्व बी एक तत्व का सामान्यीकृत व्युत्क्रम है यदि और केवल यदि , किसी भी अर्धसमूह (या वलय (गणित)) में, क्योंकि किसी भी वलय में गुणन फलन एक अर्धसमूह है)।

रिंग में तत्व 3 का सामान्यीकृत व्युत्क्रम 3, 7 और 11 हैं, चूंकि रिंग में हैं :

रिंग में तत्व 4 का सामान्यीकृत व्युत्क्रम 1, 4, 7 और 10 हैं, चूंकि रिंग में हैं :

यदि एक सेमीग्रुप (या रिंग) में एक तत्व का व्युत्क्रम होता है, तो व्युत्क्रम इस तत्व का एकमात्र सामान्यीकृत व्युत्क्रम होना चाहिए, जैसे कि रिंग में तत्व 1, 5, 7 और 11 .

रिंग में , कोई भी अवयव 0 का सामान्यीकृत प्रतिलोम है, चूँकि, 2 का कोई व्यापक प्रतिलोम नहीं है, क्योंकि इसमें कोई b नहीं है ऐसा है कि .

निर्माण

निम्नलिखित लक्षणों को सत्यापित करना आसान है:

  • एक स्क्वायर आव्युह का सही व्युत्क्रम|गैर-वर्ग आव्युह द्वारा दिया गया है , परंतु पूर्ण पंक्ति रैंक है।[6]
  • एक गैर-वर्ग आव्युह का वामपंथी व्युत्क्रम द्वारा दिया गया है , परंतु पूर्ण स्तंभ रैंक है।[6]* यदि एक रैंक गुणनखंड है, तो का जी-प्रतिलोम है , कहाँ का सही व्युत्क्रम है और का प्रतिलोम छोड़ दिया जाता है .
  • यदि किसी भी गैर-एकवचन आव्युह के लिए और , तब का सामान्यीकृत प्रतिलोम है स्वेच्छाचारिता के लिए और .
  • होने देना कोटि का हो . सामान्यता के हानि के बिना, चलो
    कहाँ का गैर-एकवचन सबआव्युह है . तब,
    का सामान्यीकृत प्रतिलोम है यदि और केवल यदि .

उपयोग

किसी भी सामान्यीकृत व्युत्क्रम का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि क्या रैखिक समीकरणों की एक प्रणाली का कोई समाधान है, और यदि ऐसा है तो उन सभी को देने के लिए। यदि n × m रैखिक प्रणाली के लिए कोई समाधान उपस्थित है

,

वेक्टर के साथ अज्ञात और वेक्टर की स्थिरांकों की, सभी समाधान द्वारा दिया जाता है

,

इच्छानुसार वेक्टर पर पैरामीट्रिक , कहाँ का कोई सामान्यीकृत प्रतिलोम है . समाधान उपस्थित हैं यदि और केवल यदि एक समाधान है, अर्थात, यदि और केवल यदि . यदि ए में पूर्ण कॉलम रैंक है, तो इस समीकरण में ब्रैकेटेड अभिव्यक्ति शून्य आव्युह है और इसलिए समाधान अद्वितीय है।[12]

मेट्रिसेस के सामान्यीकृत व्युत्क्रम

मेट्रिसेस के सामान्यीकृत व्युत्क्रमों को निम्नानुसार चित्रित किया जा सकता है। होने देना , और

इसका एकवचन-मूल्य अपघटन हो। फिर किसी सामान्यीकृत व्युत्क्रम के लिए , वहां है[1]आव्युह , , और ऐसा है कि
इसके विपरीत, कोई भी विकल्प , , और इस रूप के आव्युह के लिए एक सामान्यीकृत व्युत्क्रम है .[1] वें>-विपरीत वही हैं जिनके लिए , द -विपरीत वही हैं जिनके लिए , और यह -विपरीत वही हैं जिनके लिए . विशेष रूप से, छद्म व्युत्क्रम द्वारा दिया गया है :

परिवर्तन संगति गुण

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

.

Drazin प्रतिलोम , एक विलक्षण आव्युह एस से जुड़े समानता परिवर्तनों के संबंध में स्थिरता की निम्नलिखित परिभाषा को संतुष्ट करता है:

.

इकाई-संगत (यूसी) व्युत्क्रम,[13] निरंकुश विकर्ण मैट्रिसेस डी और ई से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है:

.

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

यह भी देखें

उद्धरण

  1. 1.0 1.1 1.2 1.3 1.4 1.5 Ben-Israel & Greville 2003, pp. 2, 7
  2. 2.0 2.1 2.2 Nakamura 1991, pp. 41–42
  3. 3.0 3.1 Rao & Mitra 1971, pp. vii, 20
  4. Rao & Mitra 1971, p. 24
  5. Rao & Mitra 1971, pp. 19–20
  6. 6.0 6.1 6.2 Rao & Mitra 1971, p. 19
  7. Rao & Mitra 1971, pp. 20, 28, 50–51
  8. Ben-Israel & Greville 2003, p. 7
  9. Campbell & Meyer 1991, p. 10
  10. James 1978, p. 114
  11. Nakamura 1991, p. 42
  12. James 1978, pp. 109–110
  13. Uhlmann 2018

स्रोत

पाठ्यपुस्तक

  • Ben-Israel, Adi; Greville, Thomas Nall Eden (2003). सामान्यीकृत व्युत्क्रम: सिद्धांत और अनुप्रयोग (2nd ed.). New York, NY: Springer. doi:10.1007/b97366. ISBN 978-0-387-00293-4.
  • Campbell, Stephen L.; Meyer, Carl D. (1991). रेखीय परिवर्तन के सामान्यीकृत व्युत्क्रम. Dover. ISBN 978-0-486-66693-8.
  • Horn, Roger Alan; Johnson, Charles Royal (1985). मैट्रिक्स विश्लेषण. Cambridge University Press. ISBN 978-0-521-38632-6.
  • Nakamura, Yoshihiko (1991). उन्नत रोबोटिक्स: अतिरेक और अनुकूलन. Addison-Wesley. ISBN 978-0201151985.
  • Rao, C. Radhakrishna; Mitra, Sujit Kumar (1971). मेट्रिसेस और उसके अनुप्रयोगों का सामान्यीकृत प्रतिलोम. New York: John Wiley & Sons. pp. 240. ISBN 978-0-471-70821-6.

प्रकाशन

श्रेणी:मैट्रिसेस

होस्ट(आतिथेय) श्रेणी:गणितीय शब्दावली