सामान्यीकृत प्रतिलोम: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 4 users not shown) | |||
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> के सामान्यीकृत व्युत्क्रम का वर्णन करता है। | ||
यदि <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>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>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>G</math> की आवश्यकता है आदेश <math>m\times n</math> इस प्रकार है कि | |||
:<math>AGA = A.</math> | :<math>AGA = A.</math> | ||
अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: | अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: <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) = 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 33: | ||
# <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>A</math> के एक <math>I</math>-प्रतिलोम को एक व्युत्क्रम के रूप में परिभाषित करना सुविधाजनक है जो ऊपर सूचीबद्ध पेनरोज़ स्थितियों में से उपसमुच्चय <math>I \subset \{1, 2, 3, 4\}</math> को संतुष्ट करता है। <math>I</math>-प्रतिलोम के इन विभिन्न वर्गों के बीच <math>A^{(1, 4)} A A^{(1, 3)} = A^+</math> जैसे संबंध स्थापित किया जा सकता है।<ref name=":0" /> | |||
जब <math>A</math> गैर-विलक्षण है, तो कोई सामान्यीकृत प्रतिलोम <math>A^\mathrm{g} = A^{-1}</math> होता है और यह इसलिए अद्वितीय है। विलक्षण <math>A</math> के लिए, कुछ सामान्यीकृत व्युत्क्रम, जैसे कि ड्रैज़िन व्युत्क्रम और मूर-पेनरोज़ प्रतिलोम अद्वितीय हैं, इसके स्थान पर अन्य आवश्यक रूप से विशिष्ट रूप से परिभाषित नहीं हैं। | |||
== उदाहरण == | == उदाहरण == | ||
=== प्रतिवर्त सामान्यीकृत प्रतिलोम === | === प्रतिवर्त सामान्यीकृत प्रतिलोम === | ||
माना: | |||
: <math>A = \begin{bmatrix} | : <math>A = \begin{bmatrix} | ||
Line 51: | Line 53: | ||
\end{bmatrix}. | \end{bmatrix}. | ||
</math> | </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> है। | |||
=== | === एकपक्षीय प्रतिलोम === | ||
माना: | |||
: <math>A = \begin{bmatrix} | : <math>A = \begin{bmatrix} | ||
Line 66: | 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 \cdot b \cdot a = a</math> होने पर तत्व ''b'' एक तत्व ''a'' का सामान्यीकृत व्युत्क्रम है (या वलय , क्योंकि किसी भी वलय में गुणन फलन एक अर्धसमूह है)। | |||
वलय <math>\mathbb{Z}/12\mathbb{Z}</math> में तत्व 3 के सामान्यीकृत व्युत्क्रम 3, 7 और 11 हैं, चूंकि वलय '''में हैं''' <math>\mathbb{Z}/12\mathbb{Z}</math> में: | |||
:<math>3 \cdot 3 \cdot 3 = 3</math> | :<math>3 \cdot 3 \cdot 3 = 3</math> | ||
:<math>3 \cdot 7 \cdot 3 = 3</math> | :<math>3 \cdot 7 \cdot 3 = 3</math> | ||
:<math>3 \cdot 11 \cdot 3 = 3</math> | :<math>3 \cdot 11 \cdot 3 = 3</math> | ||
वलय <math>\mathbb{Z}/12\mathbb{Z}</math> में तत्व 4 का सामान्यीकृत व्युत्क्रम 1, 4, 7 और 10 हैं, चूंकि वलय '''में हैं''' <math>\mathbb{Z}/12\mathbb{Z}</math> में: | |||
:<math>4 \cdot 1 \cdot 4 = 4</math> | :<math>4 \cdot 1 \cdot 4 = 4</math> | ||
Line 83: | Line 85: | ||
:<math>4 \cdot 7 \cdot 4 = 4</math> | :<math>4 \cdot 7 \cdot 4 = 4</math> | ||
:<math>4 \cdot 10 \cdot 4 = 4</math> | :<math>4 \cdot 10 \cdot 4 = 4</math> | ||
यदि एक | यदि एक उपसमूह (या वलय) में एक तत्व का व्युत्क्रम होता है, तो व्युत्क्रम इस तत्व का एकमात्र सामान्यीकृत व्युत्क्रम होना चाहिए, जैसे कि वलय <math>\mathbb{Z}/12\mathbb{Z}</math> में तत्व 1, 5, 7 और 11 है। | ||
वलय '''में''' <math>\mathbb{Z}/12\mathbb{Z}</math> में, कोई भी अवयव 0 का सामान्यीकृत प्रतिलोम है, चूँकि 2 का कोई व्यापक प्रतिलोम नहीं है, क्योंकि <math>\mathbb{Z}/12\mathbb{Z}</math> में ऐसा कोई b नहीं है कि <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 = P \begin{bmatrix}I_r & 0 \\ 0 & 0 \end{bmatrix} Q</math> किसी भी गैर- | *यदि <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>U, V</math> और <math>W</math> के लिए <math>A</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 रैखिक प्रणाली के लिए कोई समाधान उपस्थित है तो: | ||
:<math>Ax = b</math>, | :<math>Ax = b</math>, | ||
अज्ञात के साथ सदिश <math>x</math> और '''<math>b</math>''' स्थिरांकों के साथ सदिश <math>b</math> होने पर , सभी समाधान प्रदर्शित किया जाता है: | |||
:<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> है। यदि ''A'' में पूर्ण स्तंभ श्रेणी है, तो इस समीकरण में ब्रैकेटेड अभिव्यक्ति एक शून्य आव्युह है और इसलिए समाधान अद्वितीय है।<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^+,</math> | व्यावहारिक अनुप्रयोगों में आव्युह परिवर्तनों के वर्ग की पहचान करना आवश्यक है जिसे सामान्यीकृत व्युत्क्रम द्वारा संरक्षित किया जाना चाहिए। उदाहरण के लिए, मूर-पेनरोज़ प्रतिलोम, <math>A^+,</math> विलक्षणात्मक आव्युहों U और V से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है: | ||
:<math>(UAV)^+ = V^* A^+ U^*</math>. | :<math>(UAV)^+ = V^* A^+ U^*</math>. | ||
ड्रैज़िन प्रतिलोम , <math> A^\mathrm{D}</math> एक विलक्षण आव्युह ''S'' से जुड़े समानता परिवर्तनों के संबंध में स्थिरता की निम्नलिखित परिभाषा को संतुष्ट करता है: | |||
:<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>. | ||
इकाई-संगत (यूसी) व्युत्क्रम,<ref>{{harvnb|Uhlmann|2018}}</ref> <math>A^\mathrm{U},</math> निरंकुश विकर्ण | इकाई-संगत (यूसी) व्युत्क्रम,<ref>{{harvnb|Uhlmann|2018}}</ref> <math>A^\mathrm{U},</math> निरंकुश विकर्ण आव्युहों ''D'' और ''E'' से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है: | ||
:<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 149: | ||
* {{cite journal|last1=Zheng|first1=Bing|last2=Bapat|first2=Ravindra|title=सामान्यीकृत व्युत्क्रम A(2)T,S और एक रैंक समीकरण|journal=Applied Mathematics and Computation|volume=155|issue=2|pages=407–415|year=2004| doi=10.1016/S0096-3003(03)00786-0}} | * {{cite journal|last1=Zheng|first1=Bing|last2=Bapat|first2=Ravindra|title=सामान्यीकृत व्युत्क्रम A(2)T,S और एक रैंक समीकरण|journal=Applied Mathematics and Computation|volume=155|issue=2|pages=407–415|year=2004| doi=10.1016/S0096-3003(03)00786-0}} | ||
श्रेणी: | श्रेणी:आव्युहों | ||
होस्ट(आतिथेय) श्रेणी:गणितीय शब्दावली | होस्ट(आतिथेय) श्रेणी:गणितीय शब्दावली | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Created On 01/03/2023]] | [[Category:Created On 01/03/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Missing redirects]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] |
Latest revision as of 10:08, 15 March 2023
गणित में, और विशेष रूप से, बीजगणित में, तत्व x का सामान्यीकृत व्युत्क्रम (या, जी-प्रतिलोम) तत्व y है जिसमें एक व्युत्क्रम तत्व के कुछ गुण होते हैं, किन्तु आवश्यक नहीं कि वे सभी हों। आव्युह के सामान्यीकृत व्युत्क्रम के निर्माण का उद्देश्य आव्युह प्राप्त करना है जो व्युत्क्रम आव्युह की तुलना में आव्युह के व्यापक वर्ग के लिए कुछ अर्थों में व्युत्क्रम के रूप में काम कर सकता है। सामान्यीकृत व्युत्क्रम को किसी भी गणितीय संरचना में परिभाषित किया जा सकता है जिसमें गुण साहचर्य गुणन सम्मिलित होता है, जो कि एक अर्धसमूह में होता है। यह लेख एक आव्युह के सामान्यीकृत व्युत्क्रम का वर्णन करता है।
यदि है तो आव्युह , आव्युह का सामान्यीकृत प्रतिलोम होगा ।[1][2][3] एक इच्छानुसार एक सामान्यीकृत व्युत्क्रम, इच्छानुसार आव्युह के लिए उपस्थित है, और जब आव्युह में एक नियमित व्युत्क्रम होता है, तो यह व्युत्क्रम इसका अनूठा सामान्यीकृत व्युत्क्रम होता है।[1]
प्रेरणा
रैखिक समीकरणों की प्रणाली पर विचार करें
जहाँ एक आव्युह और का स्तंभ स्थान है। यदि निरर्थक है (जिसका तात्पर्य है ) तब व्यवस्था का समाधान होगा। ध्यान दें कि, यदि अत: विलक्षण है तो:
अब मान लीजिए आयताकार (), या वर्ग और एकल है। फिर हमें एक दक्षिणपंथी प्रत्याशी की आवश्यकता है आदेश ऐसा सभी के लिए होगा। अर्थात:
अतः, रैखिक प्रणाली का एक समाधान है।
समान रूप से, हमें एक आव्युह की आवश्यकता है आदेश इस प्रकार है कि
अतः हम सामान्यीकृत प्रतिलोम को इस प्रकार परिभाषित कर सकते हैं: आव्यूह में दिया गया है , यदि हो तो एक आव्यूह , का सामान्यीकृत प्रतिलोम कहा जाता है।[1][2][3] कुछ लेखकों द्वारा आव्युह का नियमित व्युत्क्रम को कहा गया है।[5]
प्रकार
महत्वपूर्ण प्रकार के सामान्यीकृत व्युत्क्रम में सम्मिलित हैं:
- एकपक्षीय प्रतिलोम (दक्षिणपंथी प्रतिलोम या वामपंथी प्रतिलोम )
- दक्षिणपंथी प्रतिलोम: यदि आव्युह में आयाम और है , तो वहाँ एक उपस्थित आव्यूह का दक्षिणपंथी व्युत्क्रम कहलाता है इस प्रकार है जहाँ , सर्वसमिका आव्युह है।
- वामपंथी प्रतिलोम: यदि आव्युह आयाम और हैं तो वहाँ एक उपस्थित आव्यूह का वामपंथी व्युत्क्रम कहा जाता है इस प्रकार कि , जहाँ , सर्वसमिका आव्युह है।[6]
- बॉटल-डफिन प्रतिलोम
- ड्रैज़िन प्रतिलोम
- मूर-पेनरोज़ प्रतिलोम
कुछ सामान्यीकृत व्युत्क्रमों को पेनरोज़ स्थितियों के आधार पर परिभाषित और वर्गीकृत किया गया है:
जहाँ संयुग्म संक्रमण को दर्शाता है। यदि प्रथम प्रतिबंध को संतुष्ट करता है, तो यह का सामान्यीकृत प्रतिलोम है। यदि यह पहली दो स्थितियों(प्रतिबंधों) को संतुष्ट करता है, तो यह का प्रतिवर्ती सामान्यीकृत व्युत्क्रम है। यदि यह चारों प्रतिबंधों को पूरा करता है, तो यह का छद्म व्युत्क्रम है , जिसे द्वारा दर्शाया गया है और ई. एच. मूर और रोजर पेनरोज़ द्वारा अग्रणी कार्यों के बाद, मूर-पेनरोज़ व्युत्क्रम के रूप में भी जाना जाता है।[2][7][8][9][10][11] के एक -प्रतिलोम को एक व्युत्क्रम के रूप में परिभाषित करना सुविधाजनक है जो ऊपर सूचीबद्ध पेनरोज़ स्थितियों में से उपसमुच्चय को संतुष्ट करता है। -प्रतिलोम के इन विभिन्न वर्गों के बीच जैसे संबंध स्थापित किया जा सकता है।[1]
जब गैर-विलक्षण है, तो कोई सामान्यीकृत प्रतिलोम होता है और यह इसलिए अद्वितीय है। विलक्षण के लिए, कुछ सामान्यीकृत व्युत्क्रम, जैसे कि ड्रैज़िन व्युत्क्रम और मूर-पेनरोज़ प्रतिलोम अद्वितीय हैं, इसके स्थान पर अन्य आवश्यक रूप से विशिष्ट रूप से परिभाषित नहीं हैं।
उदाहरण
प्रतिवर्त सामान्यीकृत प्रतिलोम
माना:
अतः , विलक्षण है और इसका कोई नियमित व्युत्क्रम नहीं है। चूँकि, और पेनरोज़ प्रतिबंधों (1) और (2) को संतुष्ट करते हैं , किन्तु (3) या (4) नहीं करते है । इस प्रकार, का एक प्रतिवर्त सामान्यीकृत प्रतिलोम है।
एकपक्षीय प्रतिलोम
माना:
अतः वर्गाकार नहीं है, कोई नियमित व्युत्क्रम नहीं है। चूँकि, का दक्षिणपंथी व्युत्क्रम है आव्यूह कोई वामपंथी प्रतिलोम नहीं है।
अन्य अर्धसमूहों (या वलयों) का व्युत्क्रम
किसी भी अर्धसमूह में यदि और केवल यदि होने पर तत्व b एक तत्व a का सामान्यीकृत व्युत्क्रम है (या वलय , क्योंकि किसी भी वलय में गुणन फलन एक अर्धसमूह है)।
वलय में तत्व 3 के सामान्यीकृत व्युत्क्रम 3, 7 और 11 हैं, चूंकि वलय में हैं में:
वलय में तत्व 4 का सामान्यीकृत व्युत्क्रम 1, 4, 7 और 10 हैं, चूंकि वलय में हैं में:
यदि एक उपसमूह (या वलय) में एक तत्व का व्युत्क्रम होता है, तो व्युत्क्रम इस तत्व का एकमात्र सामान्यीकृत व्युत्क्रम होना चाहिए, जैसे कि वलय में तत्व 1, 5, 7 और 11 है।
वलय में में, कोई भी अवयव 0 का सामान्यीकृत प्रतिलोम है, चूँकि 2 का कोई व्यापक प्रतिलोम नहीं है, क्योंकि में ऐसा कोई b नहीं है कि हो।
निर्माण
निम्नलिखित लक्षणों को सत्यापित करना आसान है:
- एक गैर-वर्गाकार आव्युह का दक्षिणपंथी व्युत्क्रम द्वारा प्रदर्शित किया गया है परंतु जब पूर्ण पंक्ति श्रेणी हो।[6]
- एक गैर-वर्गकार आव्युह का वामपंथी व्युत्क्रम द्वारा प्रदर्शित किया गया है, परंतु जब पूर्ण स्तंभ श्रेणी हो।[6]
- यदि एक श्रेणी गुणनखंड है, तो का जी-प्रतिलोम है, जहाँ का दक्षिणपंथी व्युत्क्रम है और का वामपंथी प्रतिलोम है।
- यदि किसी भी गैर-विलक्षण आव्युह और के लिए है, तब इच्छानुसार और के लिए का सामान्यीकृत प्रतिलोम है।
- माना: की श्रेणी है सामान्यता की हानि के बिना, इस प्रकार माना:जहाँ का गैर-विलक्षण उपआव्युह है तब,का सामान्यीकृत प्रतिलोम है जब यदि और केवल यदि हो।
उपयोग
किसी भी सामान्यीकृत व्युत्क्रम का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि क्या रैखिक समीकरणों की एक प्रणाली का कोई समाधान है, और यदि ऐसा है तो उन सभी को समाधान दिया जा सकता है। यदि n × m रैखिक प्रणाली के लिए कोई समाधान उपस्थित है तो:
- ,
अज्ञात के साथ सदिश और स्थिरांकों के साथ सदिश होने पर , सभी समाधान प्रदर्शित किया जाता है:
- ,
इच्छानुसार सदिश पर पैरामीट्रिक(प्राचलिक), जहाँ का कोई सामान्यीकृत प्रतिलोम है। समाधान उपस्थित हैं यदि और केवल यदि एक समाधान है, अर्थात, यदि और केवल यदि है। यदि A में पूर्ण स्तंभ श्रेणी है, तो इस समीकरण में ब्रैकेटेड अभिव्यक्ति एक शून्य आव्युह है और इसलिए समाधान अद्वितीय है।[12]
आव्युहों के सामान्यीकृत व्युत्क्रम
आव्युहों के सामान्यीकृत व्युत्क्रमों को निम्नानुसार चित्रित किया जा सकता है। माना , और
परिवर्तन संगति गुण
व्यावहारिक अनुप्रयोगों में आव्युह परिवर्तनों के वर्ग की पहचान करना आवश्यक है जिसे सामान्यीकृत व्युत्क्रम द्वारा संरक्षित किया जाना चाहिए। उदाहरण के लिए, मूर-पेनरोज़ प्रतिलोम, विलक्षणात्मक आव्युहों U और V से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है:
- .
ड्रैज़िन प्रतिलोम , एक विलक्षण आव्युह S से जुड़े समानता परिवर्तनों के संबंध में स्थिरता की निम्नलिखित परिभाषा को संतुष्ट करता है:
- .
इकाई-संगत (यूसी) व्युत्क्रम,[13] निरंकुश विकर्ण आव्युहों D और E से जुड़े परिवर्तनों के संबंध में संगति की निम्नलिखित परिभाषा को संतुष्ट करता है:
- .
तथ्य यह है कि मूर-पेनरोज़ व्युत्क्रम घूर्णन के संबंध में स्थिरता प्रदान करता है (जो अलौकिक परिवर्तन हैं) भौतिकी और अन्य अनुप्रयोगों में इसके व्यापक उपयोग की व्याख्या करता है जिसमें यूक्लिडियन दूरियों को संरक्षित किया जाना चाहिए। इसके विपरीत, यूसी व्युत्क्रम तब प्रयुक्त होता है जब विभिन्न अवस्था चर, जैसे मील बनाम किलोमीटर पर इकाइयों की पसंद के संबंध में प्रणाली व्यवहार अपरिवर्तनीय होने की उम्मीद की जाती है।
यह भी देखें
उद्धरण
- ↑ 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.
श्रेणी:आव्युहों
होस्ट(आतिथेय) श्रेणी:गणितीय शब्दावली