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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Algebraic element satisfying some of the criteria of an inverse}}
{{Short description|Algebraic element satisfying some of the criteria of an inverse}}
{{redirect|छद्मविपरीत(स्यूडोइनवर्स)|मूर-पेनरोज़ प्रतिलोम, जिसे कभी-कभी "छद्मविपरीत" कहा जाता है|मूर-पेनरोज़ प्रतिलोम}}
{{redirect|छद्म व्युत्क्रम(स्यूडोइनवर्स)|मूर-पेनरोज़ प्रतिलोम, जिसे कभी-कभी "छद्म व्युत्क्रम" कहा जाता है|मूर-पेनरोज़ व्युत्क्रम}}
गणित में, और विशेष रूप से, [[बीजगणित]] में, '''एक''' तत्व ''x'' का '''एक''' सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) '''एक''' तत्व ''y'' है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक  नहीं कि वे सभी हों। '''एक''' आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य '''एक''' आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी [[गणितीय संरचना]] में परिभाषित किया जा सकता है जिसमें गुण साहचर्य '''गुण''' गुणन सम्मिलित  होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक [[मैट्रिक्स (गणित)|आव्युह ('''गणित''')]]  <math>A</math> के सामान्यीकृत व्युत्क्रम का वर्णन करता है
गणित में, और विशेष रूप से, [[बीजगणित]] में, '''एक''' तत्व ''x'' का '''एक''' सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) '''एक''' तत्व ''y'' है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक  नहीं कि वे सभी हों। '''एक''' आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य '''एक''' आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी [[गणितीय संरचना]] में परिभाषित किया जा सकता है जिसमें गुण साहचर्य '''गुण''' गुणन सम्मिलित  होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक [[मैट्रिक्स (गणित)|आव्युह ('''गणित''')]]  <math>A</math> के सामान्यीकृत व्युत्क्रम का वर्णन करता है


Line 7: Line 7:
[[रैखिक समीकरणों की प्रणाली]] पर विचार करें
[[रैखिक समीकरणों की प्रणाली]] पर विचार करें
:<math>Ax = y</math>
:<math>Ax = y</math>
कहाँ <math>A</math> एक <math>n \times m</math> आव्युह और <math>y \in \mathcal R(A),</math> का [[स्तंभ स्थान]] <math>A</math>. यदि <math>A</math> निरर्थक है (जिसका तात्पर्य है <math>n = m</math>) तब <math>x = A^{-1}y</math> व्यवस्था का समाधान होगा। ध्यान दें कि, यदि <math>A</math> अत: विलक्षण है
कहाँ <math>A</math> एक <math>n \times m</math> आव्युह और <math>y \in \mathcal R(A),</math> का [[स्तंभ स्थान]] <math>A</math> है। यदि <math>A</math> निरर्थक है (जिसका तात्पर्य है <math>n = m</math>) तब <math>x = A^{-1}y</math> व्यवस्था का समाधान होगा। ध्यान दें कि, यदि <math>A</math> अत: विलक्षण है तो:


:<math>AA^{-1}A = A.</math>
:<math>AA^{-1}A = A.</math>
अब मान लीजिए <math>A</math> आयताकार है (<math>n \neq m</math>), या वर्ग और एकवचन। फिर हमें एक सही उम्मीदवार की आवश्यकता है <math>G</math> आदेश की <math>m \times n</math> ऐसा कि सभी के लिए <math>y \in \mathcal R(A),</math>
अब मान लीजिए <math>A</math> आयताकार या वर्ग और एकल है (<math>n \neq m</math>), '''या वर्ग और एकवचन'''। फिर हमें एक दक्षिणपंथी प्रत्याशी <math>G</math> की आवश्यकता  है आदेश <math>m \times n</math> ऐसा सभी के लिए <math>y \in \mathcal R(A)</math> होगा। अर्थात:
:<math>AGy = y.</math><ref>{{harvnb|Rao|Mitra|1971|p=24}}</ref>
:<math>AGy = y.</math><ref>{{harvnb|Rao|Mitra|1971|p=24}}</ref>
वह है, <math>x=Gy</math> रैखिक प्रणाली का एक समाधान है <math>Ax = y</math>.
अतः, <math>x=Gy</math> रैखिक प्रणाली <math>Ax = y</math> का एक समाधान है।
समान रूप से, हमें एक आव्युह की आवश्यकता है <math>G</math> आदेश की <math>m\times n</math> ऐसा है कि
 
समान रूप से, हमें एक आव्युह <math>G</math> की आवश्यकता है आदेश <math>m\times n</math> इस प्रकार है कि


:<math>AGA = A.</math>
:<math>AGA = A.</math>
अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: a दिया गया है <math>m \times n</math> आव्यूह <math>A</math>, एक <math>n \times m</math> आव्यूह <math>G</math> का सामान्यीकृत प्रतिलोम कहा जाता है <math>A</math> यदि <math>AGA = A.</math>{{zwj}}<ref name=":0" /><ref name=":1">{{harvnb|Nakamura|1991|pp=41–42}}</ref><ref name=":2">{{harvnb|Rao|Mitra|1971|pp=vii, 20}}</ref> गणित का सवाल <math>A^{-1}</math> का नियमित व्युत्क्रम कहा गया है <math>A</math> कुछ लेखकों द्वारा।<ref>{{harvnb|Rao|Mitra|1971|pp=19–20}}</ref>
अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं:   '''दिया गया है''' <math>m \times n</math> आव्यूह <math>A</math> में दिया गया है , यदि <math>AGA = A </math> हो तो एक <math>n \times m</math> आव्यूह <math>G</math> , <math>A</math> का सामान्यीकृत प्रतिलोम कहा जाता है।{{zwj}}<ref name=":0" /><ref name=":1">{{harvnb|Nakamura|1991|pp=41–42}}</ref><ref name=":2">{{harvnb|Rao|Mitra|1971|pp=vii, 20}}</ref> कुछ लेखकों द्वारा आव्युह <math>A^{-1}</math> का नियमित व्युत्क्रम <math>A</math> को कहा गया है  '''कुछ लेखकों द्वारा'''।<ref>{{harvnb|Rao|Mitra|1971|pp=19–20}}</ref>
== प्रकार ==
== प्रकार ==
महत्वपूर्ण प्रकार के सामान्यीकृत व्युत्क्रम में सम्मिलित  हैं:
महत्वपूर्ण प्रकार के सामान्यीकृत व्युत्क्रम में सम्मिलित  हैं:
* एकपक्षीय प्रतिलोम (दक्षिणपंथी प्रतिलोम या वामपंथी प्रतिलोम )
* एकपक्षीय प्रतिलोम (दक्षिणपंथी प्रतिलोम या वामपंथी प्रतिलोम )
*दक्षिणपंथी प्रतिलोम : यदि आव्युह <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 67: Line 68:
   \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 86: Line 87:
यदि एक सेमीग्रुप (या रिंग) में एक तत्व का व्युत्क्रम होता है, तो व्युत्क्रम इस तत्व का एकमात्र सामान्यीकृत व्युत्क्रम होना चाहिए, जैसे कि रिंग में तत्व 1, 5, 7 और 11 <math>\mathbb{Z}/12\mathbb{Z}</math>.
यदि एक सेमीग्रुप (या रिंग) में एक तत्व का व्युत्क्रम होता है, तो व्युत्क्रम इस तत्व का एकमात्र सामान्यीकृत व्युत्क्रम होना चाहिए, जैसे कि रिंग में तत्व 1, 5, 7 और 11 <math>\mathbb{Z}/12\mathbb{Z}</math>.


रिंग में <math>\mathbb{Z}/12\mathbb{Z}</math>, कोई भी अवयव 0 का सामान्यीकृत प्रतिलोम है, चूँकि, 2 का कोई व्यापक प्रतिलोम नहीं है, क्योंकि इसमें कोई b नहीं है <math>\mathbb{Z}/12\mathbb{Z}</math> ऐसा है कि <math>2 \cdot b \cdot 2 = 2</math>.
रिंग में <math>\mathbb{Z}/12\mathbb{Z}</math>, कोई भी अवयव 0 का सामान्यीकृत प्रतिलोम है, चूँकि, 2 का कोई व्यापक प्रतिलोम नहीं है, क्योंकि इसमें कोई b नहीं है <math>\mathbb{Z}/12\mathbb{Z}</math> इस प्रकार  कि <math>2 \cdot b \cdot 2 = 2</math>.


== निर्माण ==
== निर्माण ==


निम्नलिखित लक्षणों को सत्यापित करना आसान है:
निम्नलिखित लक्षणों को सत्यापित करना आसान है:
* एक [[स्क्वायर मैट्रिक्स|स्क्वायर]] आव्युह का सही व्युत्क्रम|गैर-वर्ग आव्युह <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>.


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


:<math>Ax = b</math>,
:<math>Ax = b</math>,
Line 107: Line 108:
इच्छानुसार वेक्टर पर पैरामीट्रिक <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>


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


:<math>(UAV)^+ = V^* A^+ U^*</math>.
:<math>(UAV)^+ = V^* A^+ U^*</math>.

Revision as of 08:17, 3 March 2023

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

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

प्रेरणा

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

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

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

[4]

अतः, रैखिक प्रणाली का एक समाधान है।

समान रूप से, हमें एक आव्युह की आवश्यकता है आदेश इस प्रकार है कि

अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: दिया गया है आव्यूह में दिया गया है , यदि हो तो एक आव्यूह , का सामान्यीकृत प्रतिलोम कहा जाता है।‍[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.

प्रकाशन

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

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