सामान्यीकृत प्रतिलोम: Difference between revisions
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'' का एक सामान्यीकृत व्युत्क्रम (या, | गणित में, और विशेष रूप से, [[बीजगणित]] में, '''एक''' तत्व ''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>Ax = y</math> | :<math>Ax = y</math> | ||
कहाँ <math>A</math> एक <math>n \times m</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>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>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> | अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: 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>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" />* बॉटल-डफिन इनवर्स | ||
* [[ड्रैज़िन उलटा]] | * [[ड्रैज़िन उलटा]] | ||
* मूर-पेनरोज़ उलटा | * मूर-पेनरोज़ उलटा | ||
Line 31: | Line 31: | ||
# <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>{}^*</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 50: | Line 51: | ||
\end{bmatrix}. | \end{bmatrix}. | ||
</math> | </math> | ||
तब से <math>\det(A) = 0</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 65: | Line 66: | ||
\end{bmatrix}. | \end{bmatrix}. | ||
</math> | </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> कोई उलटा नहीं बचा है। | ||
=== अन्य अर्धसमूहों (या छल्लों) का व्युत्क्रम === | === अन्य अर्धसमूहों (या छल्लों) का व्युत्क्रम === | ||
तत्व बी एक तत्व का सामान्यीकृत व्युत्क्रम है | तत्व बी एक तत्व का सामान्यीकृत व्युत्क्रम है यदि और केवल यदि <math>a \cdot b \cdot a = a</math>, किसी भी अर्धसमूह (या वलय (गणित)) में, क्योंकि किसी भी वलय में गुणन फलन एक अर्धसमूह है)। | ||
रिंग में तत्व 3 का सामान्यीकृत व्युत्क्रम <math>\mathbb{Z}/12\mathbb{Z}</math> 3, 7 और 11 हैं, चूंकि रिंग में हैं <math>\mathbb{Z}/12\mathbb{Z}</math>: | रिंग में तत्व 3 का सामान्यीकृत व्युत्क्रम <math>\mathbb{Z}/12\mathbb{Z}</math> 3, 7 और 11 हैं, चूंकि रिंग में हैं <math>\mathbb{Z}/12\mathbb{Z}</math>: | ||
Line 84: | Line 85: | ||
यदि एक सेमीग्रुप (या रिंग) में एक तत्व का व्युत्क्रम होता है, तो व्युत्क्रम इस तत्व का एकमात्र सामान्यीकृत व्युत्क्रम होना चाहिए, जैसे कि रिंग में तत्व 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 का सामान्यीकृत प्रतिलोम है, | रिंग में <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{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</math> कोटि का हो <math>r</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 103: | Line 104: | ||
:<math>x = A^\mathrm{g}b + \left[I - A^\mathrm{g}A\right]w</math>, | :<math>x = A^\mathrm{g}b + \left[I - A^\mathrm{g}A\right]w</math>, | ||
इच्छानुसार वेक्टर पर पैरामीट्रिक <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>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>(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 120: | Line 121: | ||
:<math>(DAE)^\mathrm{U} = E^{-1} A^\mathrm{U} D^{-1}</math>. | :<math>(DAE)^\mathrm{U} = E^{-1} A^\mathrm{U} D^{-1}</math>. | ||
तथ्य यह है कि मूर-पेनरोज़ व्युत्क्रम घूर्णन के संबंध में स्थिरता प्रदान करता है (जो ऑर्थोनॉर्मल ट्रांसफ़ॉर्मेशन हैं) भौतिकी और अन्य अनुप्रयोगों में इसके व्यापक उपयोग की व्याख्या करता है जिसमें यूक्लिडियन दूरियों को संरक्षित किया जाना चाहिए। इसके विपरीत, यूसी व्युत्क्रम तब | तथ्य यह है कि मूर-पेनरोज़ व्युत्क्रम घूर्णन के संबंध में स्थिरता प्रदान करता है (जो ऑर्थोनॉर्मल ट्रांसफ़ॉर्मेशन हैं) भौतिकी और अन्य अनुप्रयोगों में इसके व्यापक उपयोग की व्याख्या करता है जिसमें यूक्लिडियन दूरियों को संरक्षित किया जाना चाहिए। इसके विपरीत, यूसी व्युत्क्रम तब प्रयुक्त होता है जब विभिन्न अवस्था चर, जैसे मील बनाम किलोमीटर पर इकाइयों की पसंद के संबंध में प्रणाली व्यवहार अपरिवर्तनीय होने की उम्मीद की जाती है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[ब्लॉक मैट्रिक्स स्यूडोइनवर्स]] | * [[ब्लॉक मैट्रिक्स स्यूडोइनवर्स|ब्लॉक आव्युह स्यूडोइनवर्स]] | ||
* [[नियमित अर्धसमूह]] | * [[नियमित अर्धसमूह]] | ||
Line 146: | Line 147: | ||
श्रेणी:मैट्रिसेस | श्रेणी:मैट्रिसेस | ||
होस्ट(आतिथेय) श्रेणी:गणितीय शब्दावली | |||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 01/03/2023]] | [[Category:Created On 01/03/2023]] |
Revision as of 23:15, 2 March 2023
गणित में, और विशेष रूप से, बीजगणित में, एक तत्व x का एक सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) एक तत्व y है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक नहीं कि वे सभी हों। एक आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य एक आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी गणितीय संरचना में परिभाषित किया जा सकता है जिसमें गुण साहचर्य गुण गुणन सम्मिलित होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक आव्युह (गणित) के सामान्यीकृत व्युत्क्रम का वर्णन करता है
यदि तो एक आव्युह एक आव्युह का सामान्यीकृत प्रतिलोम है।[1][2][3] एक इच्छानुसार एक सामान्यीकृत व्युत्क्रम, एक इच्छानुसार आव्युह के लिए उपस्थित है, और जब एक आव्युह में एक प्रेरणा होती है, तो यह व्युत्क्रम इसका अनूठा सामान्यीकृत व्युत्क्रम होता है।[1]
प्रेरणा
रैखिक समीकरणों की प्रणाली पर विचार करें
कहाँ एक आव्युह और का स्तंभ स्थान . यदि निरर्थक है (जिसका तात्पर्य है ) तब व्यवस्था का समाधान होगा। ध्यान दें कि, यदि अत: विलक्षण है
अब मान लीजिए आयताकार है (), या वर्ग और एकवचन। फिर हमें एक सही उम्मीदवार की आवश्यकता है आदेश की ऐसा कि सभी के लिए
वह है, रैखिक प्रणाली का एक समाधान है . समान रूप से, हमें एक आव्युह की आवश्यकता है आदेश की ऐसा है कि
अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: 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]
मेट्रिसेस के सामान्यीकृत व्युत्क्रम
मेट्रिसेस के सामान्यीकृत व्युत्क्रमों को निम्नानुसार चित्रित किया जा सकता है। होने देना , और
परिवर्तन संगति गुण
व्यावहारिक अनुप्रयोगों में आव्युह परिवर्तनों के वर्ग की पहचान करना आवश्यक है जिसे सामान्यीकृत व्युत्क्रम द्वारा संरक्षित किया जाना चाहिए। उदाहरण के लिए, मूर-पेनरोज़ प्रतिलोम, एकात्मक मैट्रिसेस U और V से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है:
- .
Drazin उलटा, एक विलक्षण आव्युह एस से जुड़े समानता परिवर्तनों के संबंध में स्थिरता की निम्नलिखित परिभाषा को संतुष्ट करता है:
- .
इकाई-संगत (यूसी) व्युत्क्रम,[13] निरंकुश विकर्ण मैट्रिसेस डी और ई से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है:
- .
तथ्य यह है कि मूर-पेनरोज़ व्युत्क्रम घूर्णन के संबंध में स्थिरता प्रदान करता है (जो ऑर्थोनॉर्मल ट्रांसफ़ॉर्मेशन हैं) भौतिकी और अन्य अनुप्रयोगों में इसके व्यापक उपयोग की व्याख्या करता है जिसमें यूक्लिडियन दूरियों को संरक्षित किया जाना चाहिए। इसके विपरीत, यूसी व्युत्क्रम तब प्रयुक्त होता है जब विभिन्न अवस्था चर, जैसे मील बनाम किलोमीटर पर इकाइयों की पसंद के संबंध में प्रणाली व्यवहार अपरिवर्तनीय होने की उम्मीद की जाती है।
यह भी देखें
उद्धरण
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 Ben-Israel & Greville 2003, pp. 2, 7
- ↑ 2.0 2.1 2.2 Nakamura 1991, pp. 41–42
- ↑ 3.0 3.1 Rao & Mitra 1971, pp. vii, 20
- ↑ Rao & Mitra 1971, p. 24
- ↑ Rao & Mitra 1971, pp. 19–20
- ↑ 6.0 6.1 6.2 Rao & Mitra 1971, p. 19
- ↑ Rao & Mitra 1971, pp. 20, 28, 50–51
- ↑ Ben-Israel & Greville 2003, p. 7
- ↑ Campbell & Meyer 1991, p. 10
- ↑ James 1978, p. 114
- ↑ Nakamura 1991, p. 42
- ↑ James 1978, pp. 109–110
- ↑ 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.
प्रकाशन
- James, M. (June 1978). "सामान्यीकृत उलटा". The Mathematical Gazette. 62 (420): 109–114. doi:10.2307/3617665. JSTOR 3617665.
- Uhlmann, Jeffrey K. (2018). "एक सामान्यीकृत मैट्रिक्स व्युत्क्रम जो विकर्ण परिवर्तनों के संबंध में संगत है" (PDF). SIAM Journal on Matrix Analysis and Applications. 239 (2): 781–800. doi:10.1137/17M113890X.
- Zheng, Bing; Bapat, Ravindra (2004). "सामान्यीकृत व्युत्क्रम A(2)T,S और एक रैंक समीकरण". Applied Mathematics and Computation. 155 (2): 407–415. doi:10.1016/S0096-3003(03)00786-0.
श्रेणी:मैट्रिसेस
होस्ट(आतिथेय) श्रेणी:गणितीय शब्दावली