ऑर्थोगोनल मैट्रिक्स: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Real square matrix whose columns and rows are orthogonal unit vectors}}
{{Short description|Real square matrix whose columns and rows are orthogonal unit vectors}}
{{for|सम्मिश्र संख्या क्षेत्र पर लंबकोणीयता के साथ आव्यूह | एकल आव्यूह }}
{{for|सम्मिश्र संख्या क्षेत्र पर लंबकोणीयता के साथ आव्यूह | एकल आव्यूह }}
रैखिक बीजगणित में, एक लंबकोणीय आव्यूह, या प्रसामान्य लंबकोणीय आव्यूह, एक वास्तविक [[ स्क्वायर मैट्रिक्स |वर्ग आव्यूह]] है, जिसके कॉलम और पंक्तियाँ [[ ऑर्थोनॉर्मलिटी |प्रसामान्य लंबकोणीय]] [[ वेक्टर (गणित और भौतिकी) |सदिश]] होते है।
रैखिक बीजगणित में, लंबकोणीय आव्यूह, या प्रसामान्य लंबकोणीय आव्यूह, एक वास्तविक [[ स्क्वायर मैट्रिक्स |वर्ग आव्यूह]] है, जिसके कॉलम और पंक्तियाँ [[ ऑर्थोनॉर्मलिटी |प्रसामान्य लंबकोणीय]] [[ वेक्टर (गणित और भौतिकी) |सदिश]] होते है।


इसे व्यक्त करने की एक प्रणाली है<math display="block">Q^\mathrm{T} Q = Q Q^\mathrm{T} = I,</math>जहाँ पे {{math|''Q''<sup>T</sup>}} का स्थानान्तरण है {{mvar|Q}} तथा {{mvar|I}} [[ पहचान मैट्रिक्स |तत्समक आव्यूह]] है।
इसे व्यक्त करने का एक तरीका है<math display="block">Q^\mathrm{T} Q = Q Q^\mathrm{T} = I,</math>जहाँ पे {{math|''Q''<sup>T</sup>}} का स्थानान्तरण है {{mvar|Q}} तथा {{mvar|I}} [[ पहचान मैट्रिक्स |तत्समक आव्यूह]] है।


इसके परिणामस्वरूप आव्यूह Q लंबकोणीय होता है यदि इसका स्थानांतर इसके प्रतिलोम के बराबर होता है।
आव्यूह Q लंबकोणीय है यदि इसका स्थान इसके व्युत्क्रम के बराबर है,तो यह समतुल्य निरूपण की ओर जाता है।


<math display="block">Q^\mathrm{T}=Q^{-1},</math>जहाँ पे {{math|''Q''<sup>−1</sup>}} का व्युत्क्रम है {{mvar|Q}}.
<math display="block">Q^\mathrm{T}=Q^{-1},</math>जहाँ पे {{math|''Q''<sup>−1</sup>}}, {{mvar|Q}} का व्युत्क्रम है।


लंबकोणीय आव्यूह Q आवश्यक रूप से व्युत्क्रमणीय होता है। ({{math|1=''Q''<sup>−1</sup> = ''Q''<sup>T</sup>}}), [[ एकात्मक मैट्रिक्स |एकल आव्यूह]] ({{math|1=''Q''<sup>−1</sup> = ''Q''<sup>∗</sup>}}), जहाँ पे {{math|1=''Q''<sup>∗</sup>}} का हर्मिटियन आसन्न संयुग्मी परिवर्त {{mvar|Q}}, है, और इसलिए ({{math|1=''Q''<sup>∗</sup>''Q'' = ''QQ''<sup>∗</sup>}}) [[ वास्तविक संख्या | वास्तविक संख्याओं पर सामान्य]] है। किसी भी लंबकोणीय आव्यूह का सारणीक +1 या -1 एक रैखिक परिवर्तन के रूप में, लंबकोणीय आव्यूह सदिश के आंतरिक परिणाम को संचय करता है, और इसलिए [[ यूक्लिडियन अंतरिक्ष |क्रमावर्तन समष्टि]] एक [[ आइसोमेट्री |समान दूरी]] के रूप में कार्य करता है, जैसे [[ रोटेशन (गणित) |क्रमावर्तन]], [[ प्रतिबिंब (गणित) |प्रतिबिंब]] या रोटर प्रतिबिम्ब के रूप में होता है। अर्थात दूसरे शब्दों में, कह सकते है यह [[ एकात्मक परिवर्तन |एकल परिवर्तन]] है।


 
{{math|''n'' × ''n''}} लंबकोणीय आव्यूह का समुच्चय एक समूह {{math|O(''n'')}} बनाता है, जिसे लंबकोणीय समूह के रूप में जाना जाता है। निर्धारक +1 के साथ लंबकोणीय आव्यूह वाले [[उपसमूह]] {{math|SO(''n'')}} को लंबकोणीय समूह कहा जाता है, और इसके प्रत्येक तत्व एक विशेष लंबकोणीय आव्यूह होते हैं। और एक रैखिक परिवर्तन के रूप में, प्रत्येक लंबकोणीय आव्यूह एक क्रमावर्तन के रूप में कार्य करता है।
किसी भी ऑर्थोगोनल मैट्रिक्स का निर्धारक या तो है
 
एक लंबकोणीय आव्यूह Q अनिवार्य रूप से व्युत्क्रम के साथ व्युत्क्रमणीय है। ({{math|1=''Q''<sup>−1</sup> = ''Q''<sup>T</sup>}}), [[ एकात्मक मैट्रिक्स |एकल आव्यूह]] ({{math|1=''Q''<sup>−1</sup> = ''Q''<sup>∗</sup>}}), जहाँ पे {{math|1=''Q''<sup>∗</sup>}} का हर्मिटियन आसन्न संयुग्मी परिवर्त {{mvar|Q}}, है, और इसलिए ({{math|1=''Q''<sup>∗</sup>''Q'' = ''QQ''<sup>∗</sup>}}) [[ वास्तविक संख्या | वास्तविक संख्याओं पर सामान्य]] है। किसी भी लंबकोणीय आव्यूह का सारणीक +1 या -1 एक रैखिक परिवर्तन के रूप में, लंबकोणीय आव्यूह सदिश के आंतरिक परिणाम को संचय करता है, और इसलिए [[ यूक्लिडियन अंतरिक्ष |क्रमावर्तन समष्टि]] एक [[ आइसोमेट्री |समान दूरी]] के रूप में कार्य करता है, जैसे [[ रोटेशन (गणित) |क्रमावर्तन]], [[ प्रतिबिंब (गणित) |प्रतिबिंब]] या रोटर प्रतिबिम्ब के रूप में होता है। अर्थात दूसरे शब्दों में, कह सकते है यह एक [[ एकात्मक परिवर्तन |एकल परिवर्तन]] है।
 
समुच्चय {{math|''n'' × ''n''}} लंबकोणीय आव्यूह एक [[ समूह (गणित) |समूह]] बनाता है, {{math|O(''n'')}}, ये लंबकोणीय समूह के रूप में जाना जाता है। [[ उपसमूह |उपसमूह]] {{math|SO(''n'')}} सारणिक +1 के साथ मिलकर लंबकोणीय आव्यूह बनाता है और ये लंबकोणीय समूह कहलाता है, इसका प्रत्येक तत्व एक विशेष लंबकोणीय आव्यूह होता है। और एक रैखिक परिवर्तन के रूप में, प्रत्येक विशेष लंबकोणीय आव्यूह क्रमावर्तन के रूप में कार्य करता है।


== अवलोकन ==
== अवलोकन ==
एक लंबकोणीय आव्यूह एकल आव्यूह का वास्तविक विशेषज्ञ है, और इस प्रकार सदैव एक सामान्य आव्यूह होता है। यद्यपि हम यहां केवल वास्तविक आव्यूहों को ही देखते हैं, परंतु यदि किसी[[ क्षेत्र (गणित) | क्षेत्र]] से प्रविष्टियों के साथ आव्यूहों के लिए इस परिभाषा का प्रयोग किया जाता है। चूँकि, लंबकोणीय आव्यूह स्वाभाविक रूप से उत्पन्न होते हैं। बिंदु गुणनफल और सम्मिश्र संख्या के आव्यूह के लिए जो एकात्मक आवश्यकता के अतिरिक्त होती है। लंबकोणीय आव्यूह, बिंदु गुणनफल को संरक्षित करते हैं।<ref>[http://tutorial.math.lamar.edu/Classes/LinAlg/OrthogonalMatrix.aspx "Paul's online math notes"]{{Citation broken|date=January 2013|note=See talk page.}}, Paul Dawkins, [[Lamar University]], 2008. Theorem 3(c)</ref> इसलिए, {{mvar|n}}-आयामी वास्तविक यूक्लिडियन समष्टि में सदिश के लिए {{math|'''u'''}} तथा {{math|'''v'''}} होते है  
लंबकोणीय आव्यूह में एकात्मक आव्यूह की वास्तविक विशेषता यह है कि इसके आव्यूह सदैव सामान्य होते है। यद्यपि हम यहां केवल वास्तविक आव्यूहों को ही देखते हैं, परंतु यदि किसी[[ क्षेत्र (गणित) | क्षेत्र]] से प्रविष्टियों के साथ आव्यूहों के लिए इस परिभाषा का प्रयोग किया जाता है। चूँकि, लंबकोणीय आव्यूह स्वाभाविक रूप से बिंदु उत्पादों से उत्पन्न होते हैं, और सम्मिश्र संख्या के आव्यूह के कारण एकात्मक के साथ आगे बढ़ते हैं। लंबकोणीय आव्यूह, बिंदु गुणनफल को संरक्षित करते हैं।<ref>[http://tutorial.math.lamar.edu/Classes/LinAlg/OrthogonalMatrix.aspx "Paul's online math notes"]{{Citation broken|date=January 2013|note=See talk page.}}, Paul Dawkins, [[Lamar University]], 2008. Theorem 3(c)</ref> इसलिए, {{mvar|n}}-आयामी वास्तविक यूक्लिडियन समष्टि में सदिश के लिए {{math|'''u'''}} तथा {{math|'''v'''}} होते है  
   
   
<math display="block">{\mathbf u} \cdot {\mathbf v} = \left(Q {\mathbf u}\right) \cdot \left(Q {\mathbf v}\right) </math>
<math display="block">{\mathbf u} \cdot {\mathbf v} = \left(Q {\mathbf u}\right) \cdot \left(Q {\mathbf v}\right) </math>
जहाँ {{mvar|Q}} एक लंबकोणीय आव्यूह है। आंतरिक गुणनफल संबंधन को देखने के लिए, एक n आयामी वास्तविक यूक्लिडियन समष्टि में एक सदिश {{math|'''v'''}} को देखते है। प्रसामान्य लंबकोणीय विश्लेषण के संबंध में लिखा हुआ है कि {{math|'''v'''}} वर्ग की लंबाई {{math|'''v'''<sup>T</sup>'''v'''}} है। यदि आव्यूह रूप में एक रैखिक परिवर्तन, {{math|''Q'''''v'''}} होता है तो फिर सदिश लंबाई को संरक्षित करता है।
जहाँ {{mvar|Q}} एक लंबकोणीय आव्यूह है। आंतरिक गुणनफल संबंधन को देखने के लिए, एक n आयामी वास्तविक यूक्लिडियन समष्टि में एक सदिश {{math|'''v'''}} को देखते है। प्रसामान्य लंबकोणीय विश्लेषण के संबंध में लिखा हुआ है, कि {{math|'''v'''}} वर्ग की लंबाई {{math|'''v'''<sup>T</sup>'''v'''}} है। यदि आव्यूह रूप में एक रैखिक परिवर्तन, {{math|''Q'''''v'''}} होता है तो फिर ये सदिश लंबाई को संरक्षित करता है।
<math display="block">{\mathbf v}^\mathrm{T}{\mathbf v} = (Q{\mathbf v})^\mathrm{T}(Q{\mathbf v}) = {\mathbf v}^\mathrm{T} Q^\mathrm{T} Q {\mathbf v} .</math>इस प्रकार परिमित आयामी रैखिक सममिति क्रमावर्तन प्रतिबिंब और उनके संयोजन से लंबकोणीय आव्यूहों का निर्माण होता है। और इसका व्युत्क्रम भी सत्य है, लंबकोणीय आव्यूह का अर्थ लंबकोणीय रूपांतरण है। चूँकि, रैखिक बीजगणित में रिक्त स्थान के बीच लंबकोणीय परिवर्तन सम्मिलित होता है, जो न तो परिमित-आयामी हो सकते हैं और न ही समान आयाम के हो सकते हैं, और इनमें कोई लंबकोणीय आव्यूह समतुल्य नहीं होता है।
<math display="block">{\mathbf v}^\mathrm{T}{\mathbf v} = (Q{\mathbf v})^\mathrm{T}(Q{\mathbf v}) = {\mathbf v}^\mathrm{T} Q^\mathrm{T} Q {\mathbf v} .</math>इस प्रकार परिमित आयामी रैखिक सममिति क्रमावर्तन प्रतिबिंब और उनके संयोजन से लंबकोणीय आव्यूहों का निर्माण होता है। और इसका व्युत्क्रम भी सत्य है, लंबकोणीय आव्यूह का अर्थ लंबकोणीय रूपांतरण है। चूँकि, रैखिक बीजगणित में स्थानों के बीच लंबकोणीय परिवर्तन सम्मिलित होता है, ये न तो परिमित-आयामी हो सकते हैं और न ही समान आयाम के हो सकते हैं, और इनमें कोई लंबकोणीय आव्यूह समतुल्य नहीं होता है।


सैद्धांतिक और व्यावहारिक दोनों कारणों से लंबकोणीय आव्यूह महत्वपूर्ण हैं। {{math|''n'' × ''n''}} लंबकोणीय आव्यूह, आव्यूह गुणन के तहत एक समूह का निर्माण करते हैं, जो {{math|O(''n'')}}, लंबकोणीय समूह द्वारा दर्शाया गया है । जिसका प्रयोग व्यापक रूप से गणित और भौतिक विज्ञान में किया जाता है। उदाहरण के लिए, एक अणु का [[ बिंदु समूह |बिंदु समूह]] O(3) का एक उपसमूह है। क्योंकि लंबकोणीय आव्यूह के चल बिंदु संस्करणों में लाभप्रद गुण होते हैं, वे संख्यात्मक रैखिक बीजगणित में कई कलन विधि के लिए महत्वपूर्ण होते हैं, जैसे क्यूआर अपघटन । एक अन्य उदाहरण के रूप में, उपयुक्त सामान्यीकरण के साथ असतत कोज्या परिवर्तन [[एमपी3]] संपीड़न में प्रयुक्त लंबकोणीय आव्यूह द्वारा दर्शाया गया है।
सैद्धांतिक और व्यावहारिक दोनों कारणों से लंबकोणीय आव्यूह महत्वपूर्ण हैं। {{math|''n'' × ''n''}} लंबकोणीय आव्यूह, आव्यूह गुणन के तहत एक समूह का निर्माण करते हैं, जो {{math|O(''n'')}}, लंबकोणीय समूह द्वारा दर्शाया गया है । जिसका प्रयोग व्यापक रूप से गणित और भौतिक विज्ञान में किया जाता है। उदाहरण के लिए, एक अणु का [[ बिंदु समूह |बिंदु समूह]] O(3) का एक उपसमूह है। क्योंकि लंबकोणीय आव्यूह के चल बिंदु संस्करणों में लाभप्रद गुण होते हैं, वे संख्यात्मक रैखिक बीजगणित में कई कलन विधि के लिए महत्वपूर्ण होते हैं, जैसे क्यूआर ( QR) अपघटन । एक अन्य उदाहरण के रूप में, उपयुक्त सामान्यीकरण के साथ असतत कोज्या परिवर्तन [[एमपी3]] संपीड़न में प्रयुक्त लंबकोणीय आव्यूह द्वारा दर्शाया गया है।


== उदाहरण ==
== उदाहरण ==
Line 65: Line 61:
0 & = pq+tu.
0 & = pq+tu.
\end{align}</math>
\end{align}</math>
पहले समीकरण को ध्यान में रखते हुए, व्यापकता की हानि के बिना {{math|1=''p'' = cos ''θ''}}, {{math|1=''q'' = sin ''θ''}}; तो कोई {{math|1=''t'' = −''q''}}, {{math|1=''u'' = ''p''}} या {{math|1=''t'' = ''q''}}, {{math|1=''u'' = −''p''}}. हम पहली स्थिति को क्रमावर्तन के रूप में व्याख्या कर सकते हैं {{mvar|θ}} (जहाँ पे {{math|1=''θ'' = 0}} पहचान है), और दूसरा कोण पर एक रेखा में प्रतिबिंब के रूप में {{math|{{sfrac|''θ''|2}}}}.
पहले समीकरण को ध्यान में रखते हुए, व्यापकता की क्षति के बिना {{math|1=''p'' = cos ''θ''}}, {{math|1=''q'' = sin ''θ''}}; तो कोई {{math|1=''t'' = −''q''}}, {{math|1=''u'' = ''p''}} या {{math|1=''t'' = ''q''}}, {{math|1=''u'' = −''p''}}. हम पहली स्थिति को क्रमावर्तन के रूप में व्याख्या कर सकते हैं {{mvar|θ}} (जहाँ पे {{math|1=''θ'' = 0}} तत्समक है), और दूसरे कोण पर एक रेखा में प्रतिबिंब के रूप में {{math|{{sfrac|''θ''|2}}}} है।


<math display="block">
<math display="block">
Line 86: Line 82:


=== उच्च आयाम ===
=== उच्च आयाम ===
आयाम की बात किए बिना, लंबकोणीय आव्यूह को विशुद्ध रूप से घूर्णी या नहीं के रूप में वर्गीकृत करना सदैव संभव होता है, लेकिन {{nowrap|3 × 3}} आव्यूहों के लिए और बड़ी संख्या में घूर्णन आव्यूह परावर्तनों की अपेक्षा अधिक जटिल हो सकते हैं। उदाहरण के लिए,
आयाम की बात किए बिना, लंबकोणीय आव्यूह को विशुद्ध रूप से घूर्णी या नहीं के रूप में वर्गीकृत करना सदैव आसान होता है, लेकिन {{nowrap|3 × 3}} आव्यूहों के लिए और बड़ी संख्या में घूर्णन आव्यूह परावर्तनों की अपेक्षा अधिक कठिन हो सकते हैं। उदाहरण के लिए,
<math display="block">
<math display="block">
\begin{bmatrix}
\begin{bmatrix}
Line 100: Line 96:




मूल और रोटोइनवर्जन के माध्यम से एक बिंदु से एक व्युत्क्रम का प्रतिनिधित्व करते हैं क्रमश, Z- अक्ष के बारे में


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


चूँकि, हमारे पास सामान्य रूप से लागू होने वाले क्रम परिवर्तन, प्रतिबिंब और क्रमावर्तन के लिए प्राथमिक रचक अणु हैं।
उच्च आयामों में क्रमावर्तन अधिक कठिन हो जाते हैं क्योंकि उन्हें अब एक कोण से पूरी तरह से वर्गीकृत नहीं किया जा सकता, और एक से अधिक तल क्षेत्र को प्रभावित कर सकते हैं। यह अक्ष और कोण के संदर्भ में 3 × 3 क्रमावर्तन आव्यूह का वर्णन करने के लिए सामान्य बात है, लेकिन यह केवल तीन आयामों में काम करता है। तीन आयामों से ऊपर दो या दो से अधिक कोणों की आवश्यकता होती है, जिनमें से प्रत्येक क्रमावर्तन एक समतल से जुड़ा होता है।
 
चूँकि, हमारे पास सामान्य रूप से लागू होने वाले क्रम परिवर्तन, प्रतिबिंब और क्रमावर्तन के लिए प्राथमिक रचक अणु होते हैं।


=== प्राचीन ===
=== प्राचीन ===
सबसे प्राथमिक क्रमचय एक स्थानान्तरण है, जो दो पंक्तियों का आदान-प्रदान करके तत्समक आव्यूह से प्राप्त किया जाता है। कोई {{math|''n'' × ''n''}} क्रमचय आव्यूह को इससे अधिक के उत्पाद के रूप में बनाया जा सकता है {{math|''n'' − 1}} स्थानान्तरण।
सबसे प्राथमिक क्रमचय एक स्थानान्तरण है, जो दो पंक्तियों का आदान-प्रदान करके तत्समक आव्यूह से प्राप्त किया जाता है। कोई {{math|''n'' × ''n''}} क्रमचय आव्यूह को इससे अधिक के उत्पाद के रूप में बनाया जा सकता है {{math|''n'' − 1}} स्थानान्तरण के रूप में है।


हाउसहोल्ड प्रतिबिंब को गैर-शून्य सदिश {{math|'''v'''}} से बनाया गया है।
हाउसहोल्ड प्रतिबिंब को गैर-शून्य सदिश {{math|'''v'''}} से बनाया गया है।
Line 114: Line 111:




यहाँ अंश एक सममित आव्यूह है जबकि हर संख्या {{math|'''v'''}} का वर्ग परिमाण है, यह {{math|'''v'''}} के समानांतर किसी भी सदिश घटक को निष्फल के लिए अधिसमतल लंबवत में एक प्रतिबिंब है। यदि {{math|'''v'''}} एक इकाई सदिश है, तो {{math|1=''Q'' = ''I'' − 2'''vv'''<sup>T</sup>}} पर्याप्त है। एक हाउसहोल्ड प्रतिबिंब का उपयोग सामान्तया एक कॉलम के निचले हिस्से को एक साथ शून्य करने के लिए किया जाता है। आकार {{nowrap|''n'' × ''n''}} के किसी भी लंबकोणीय आव्यूह को ज्यादातर {{mvar|n}} के ऐसे प्रतिबिंबों के उत्पाद के रूप में बनाया जा सकता है।


दिया गया [[क्रमावर्तन]] दो आयामी तलीय पर कार्य करता है, जो कि चयनित कोण द्वारा घूमते हुए दो समन्वय अक्षों द्वारा फैला हुआ उपक्षेत्र है। यह सामान्तया एकल उपविकर्ण प्रविष्टि को शून्य करने के लिए उपयोग किया जाता है। {{math|''n'' × ''n''}} आकार के किसी भी क्रमावर्तन आव्यूह को ज्यादातर {{math|{{sfrac|''n''(''n'' − 1)|2}}}} जैसे क्रमावर्तन के उत्पाद के रूप में बनाया जा सकता है। 3 × 3 आव्यूह की स्थिति में, ऐसे तीन क्रमावर्तन पर्याप्त हैं, और इस क्रम को ठीक करके हम सभी का वर्णन कर सकते हैं। {{nowrap|3 × 3}} उपयोग किए गए तीन कोणों के संदर्भ में क्रमावर्तन आव्यूह का वर्णन इस प्रकार कर सकते हैं, जिन्हें सदैव [[ यूलर कोण | यूलर कोण]] कहा जाता है।
यहाँ अंश एक सममित आव्यूह है। जबकि हर संख्या {{math|'''v'''}} का वर्ग परिमाण है। यह {{math|'''v'''}} के समानांतर किसी भी सदिश घटक को निष्फल के लिए अधिसमतल लंबवत में प्रतिबिंब के रूप में होता है। यदि {{math|'''v'''}} इकाई सदिश है, तो {{math|1=''Q'' = ''I'' − 2'''vv'''<sup>T</sup>}} पर्याप्त है। एक हाउसहोल्ड प्रतिबिंब का उपयोग सामान्तया एक कॉलम के निचले हिस्से को एक साथ शून्य करने के लिए किया जाता है। आकार {{nowrap|''n'' × ''n''}} के किसी भी लंबकोणीय आव्यूह को अधिकतर {{mvar|n}} के ऐसे प्रतिबिंबों के उत्पाद के रूप में बनाया जा सकता है।
 
दिया गया [[क्रमावर्तन]] दो आयामी तलीय पर कार्य करता है, जो कि चयनित कोण द्वारा घूमते हुए दो समन्वय अक्षों द्वारा विस्तरित उपक्षेत्र है। यह सामान्तया एकल उपविकर्ण प्रविष्टि को शून्य करने के लिए उपयोग किया जाता है। {{math|''n'' × ''n''}} आकार के किसी भी क्रमावर्तन आव्यूह को अधिकतर  {{math|{{sfrac|''n''(''n'' − 1)|2}}}} जैसे क्रमावर्तन के उत्पाद के रूप में बनाया जा सकता है। 3 × 3 आव्यूह की स्थिति में, ऐसे तीन क्रमावर्तन पर्याप्त हैं, इस प्रकार हम सभी 3 × 3 क्रमावर्तन आव्यूह का वर्णन कर सकते हैं, चूँकि यूलर कोण कहे जाने वाले तीन कोणों के संदर्भ में अद्वितीय नहीं हैं।


एक [[जैकोबी क्रमावर्तन]] का रूप दिए गए क्रमावर्तन के समान है, लेकिन इसका उपयोग 2 × 2 सममित सबआव्यूह की अप विकर्ण की प्रविष्टियों को शून्य करने के लिए किया जाता है।
[[जैकोबी क्रमावर्तन]] दिए गए क्रमावर्तन के रूप में  समान है, लेकिन इसका उपयोग 2 × 2 सममित उपआव्यूह की उपविकर्णों  की प्रविष्टियों को शून्य करने के लिए किया जाता है।


== गुण ==
== गुण ==
Line 205: Line 203:
कई कलन विधि की सफलता के लिए क्रमपरिवर्तन आवश्यक हैं, जिसमें वर्कहोर्स गौसी उन्मूलन के साथ आशिक धुरी भी सम्मिलित है (जहां क्रमपरिवर्तन धुरी का काम करते हैं)। चूँकि, वे शायद ही कभी स्पष्ट रूप से आव्यूह के रूप में प्रकट होते हैं, उनका विशेष रूप अधिक कुशल प्रतिनिधित्व की अनुमति देता है, जैसे कि की सूची {{mvar|n}} सूचकांक में है।
कई कलन विधि की सफलता के लिए क्रमपरिवर्तन आवश्यक हैं, जिसमें वर्कहोर्स गौसी उन्मूलन के साथ आशिक धुरी भी सम्मिलित है (जहां क्रमपरिवर्तन धुरी का काम करते हैं)। चूँकि, वे शायद ही कभी स्पष्ट रूप से आव्यूह के रूप में प्रकट होते हैं, उनका विशेष रूप अधिक कुशल प्रतिनिधित्व की अनुमति देता है, जैसे कि की सूची {{mvar|n}} सूचकांक में है।


इसी तरह, हाउसहोल्डर और दिए गए आव्यूह का उपयोग करने वाले कलन विधि अधिकांशता गुणन और संचयन के विशेष तरीकों का उपयोग करते हैं। उदाहरण के लिए, दिया गया क्रमावर्तन एक [[आव्यूह]] की दो पंक्तियों को प्रभावित करता है जो इसे गुणन करता है, और ''n''<sup>3</sup> क्रम के पूर्ण [[गुणन]] को और अधिक कुशल {{mvar|n}} क्रम में बदल देता है। जब इन प्रतिबिंबों और क्रमावर्तन का उपयोग आव्यूह में शून्य का पहचान करता है, तो समष्टि परिवर्तन को पुन: उत्पन्न करने के लिए पर्याप्त आँकड़े संचय करने के लिए पर्याप्त है, और यह बहुत ही तेजी से किया जा सके। [[स्टीवर्ट के बाद (1976) में]], हम एक क्रमावर्तन कोण को संचय नहीं करते हैं, जो महंगा भी है और बुरा भी।
इसी तरह, हाउसहोल्डर और दिए गए आव्यूह का उपयोग करने वाले कलन विधि अधिकांशता गुणन और संचयन के विशेष तरीकों का उपयोग करते हैं। उदाहरण के लिए, दिया गया क्रमावर्तन एक [[आव्यूह]] की दो पंक्तियों को प्रभावित करता है जो इसे गुणन करता है, और ''n''<sup>3</sup> क्रम के पूर्ण [[गुणन]] को और अधिक कुशल {{mvar|n}} क्रम में बदल देता है। जब इन प्रतिबिंबों और क्रमावर्तन का उपयोग आव्यूह में शून्य का तत्समक करता है, तो समष्टि परिवर्तन को पुन: उत्पन्न करने के लिए पर्याप्त आँकड़े संचय करने के लिए पर्याप्त है, और यह बहुत ही तेजी से किया जा सके। [[स्टीवर्ट के बाद (1976) में]], हम एक क्रमावर्तन कोण को संचय नहीं करते हैं, जो महंगा भी है और बुरा भी।


===अपघटन ===
===अपघटन ===
Line 229: Line 227:




[[ रैखिक कम से कम वर्ग (गणित) | रैखिक कम से कम वर्ग (गणित)]] समस्या को ज्ञात करने के लिए है ||''A'''''x''' − '''b'''||, जो A के कॉलम द्वारा {{math|{{norm|''A'''''x''' − '''b'''}}}}, फैलाए गए उप-स्थान पर {{math|'''b'''}} उको प्रोजेक्ट करने के बराबर है, {{mvar|A}} के कॉलम को मानते हुए  अर्थात {{mvar|R}} स्वतंत्र हैं, प्रक्षेपण समाधान से पाया जाता है {{math|1=''A''<sup>T</sup>''A'''''x''' = ''A''<sup>T</sup>'''b'''}}. अब {{math|''A''<sup>T</sup>''A''}} वर्गाकार है ({{math|''n'' × ''n''}}) और उलटा, और बराबर भी {{math|''R''<sup>T</sup>''R''}}. लेकिन शून्य की निचली पंक्तियों में {{mvar|R}} उत्पाद में अतिश्योक्तिपूर्ण हैं, जो इस प्रकार पहले से ही निचले-त्रिकोणीय ऊपरी-त्रिकोणीय कारक रूप में है, जैसा कि गाऊसी उन्मूलन ([[ चोल्स्की अपघटन | चोल्स्की अपघटन]] ) में है। यहां रूढ़िवादिता न केवल कम करने के लिए महत्वपूर्ण है {{math|1=''A''<sup>T</sup>''A'' = (''R''<sup>T</sup>''Q''<sup>T</sup>)''QR''}} प्रति {{math|''R''<sup>T</sup>''R''}}, बल्कि संख्यात्मक समस्याओं को बढ़ाए बिना समाधान की अनुमति देने के लिए भी।
[[ रैखिक कम से कम वर्ग (गणित) | रैखिक कम से कम वर्ग (गणित)]] समस्या को ज्ञात करने के लिए है ||''A'''''x''' − '''b'''||, जो A के कॉलम द्वारा {{math|{{norm|''A'''''x''' − '''b'''}}}}, विस्तरित किये गए उप-स्थान पर {{math|'''b'''}} उको प्रोजेक्ट करने के बराबर है, {{mvar|A}} के कॉलम को मानते हुए  अर्थात {{mvar|R}} स्वतंत्र हैं, प्रक्षेपण समाधान से पाया जाता है {{math|1=''A''<sup>T</sup>''A'''''x''' = ''A''<sup>T</sup>'''b'''}}. अब {{math|''A''<sup>T</sup>''A''}} वर्गाकार है ({{math|''n'' × ''n''}}) और उलटा, और बराबर भी {{math|''R''<sup>T</sup>''R''}}. लेकिन शून्य की निचली पंक्तियों में {{mvar|R}} उत्पाद में अतिश्योक्तिपूर्ण हैं, जो इस प्रकार पहले से ही निचले-त्रिकोणीय ऊपरी-त्रिकोणीय कारक रूप में है, जैसा कि गाऊसी उन्मूलन ([[ चोल्स्की अपघटन | चोल्स्की अपघटन]] ) में है। यहां रूढ़िवादिता न केवल कम करने के लिए महत्वपूर्ण है {{math|1=''A''<sup>T</sup>''A'' = (''R''<sup>T</sup>''Q''<sup>T</sup>)''QR''}} प्रति {{math|''R''<sup>T</sup>''R''}}, बल्कि संख्यात्मक समस्याओं को बढ़ाए बिना समाधान की अनुमति देने के लिए भी।


एक रैखिक प्रणाली की स्थिति जो अनिश्चित है, या या अन्यथा अपरिवर्तनीय आव्यूह, विलक्षण मान अपघटन (एसवीडी) समान रूप से उपयोगी है। साथ {{mvar|A}} के रूप में कारक {{math|''U''Σ''V''<sup>T</sup>}}, एक संतोषजनक समाधान मूर-पेनरोज़ का उपयोग करता है, {{math|''V''Σ<sup>+</sup>''U''<sup>T</sup>}}, जहाँ पे {{math|Σ<sup>+</sup>}} केवल प्रत्येक गैर-शून्य विकर्ण प्रविष्टि को उसके व्युत्क्रम से प्रतिस्थापित करता है। समूह {{math|'''x'''}} प्रति {{math|''V''Σ<sup>+</sup>''U''<sup>T</sup>'''b'''}}.
एक रैखिक प्रणाली की स्थिति जो अनिश्चित है, या या अन्यथा अपरिवर्तनीय आव्यूह, विलक्षण मान अपघटन (एसवीडी) समान रूप से उपयोगी है। साथ {{mvar|A}} के रूप में कारक {{math|''U''Σ''V''<sup>T</sup>}}, एक संतोषजनक समाधान मूर-पेनरोज़ का उपयोग करता है, {{math|''V''Σ<sup>+</sup>''U''<sup>T</sup>}}, जहाँ पे {{math|Σ<sup>+</sup>}} केवल प्रत्येक गैर-शून्य विकर्ण प्रविष्टि को उसके व्युत्क्रम से प्रतिस्थापित करता है। समूह {{math|'''x'''}} प्रति {{math|''V''Σ<sup>+</sup>''U''<sup>T</sup>'''b'''}}.

Revision as of 13:18, 25 November 2022

रैखिक बीजगणित में, लंबकोणीय आव्यूह, या प्रसामान्य लंबकोणीय आव्यूह, एक वास्तविक वर्ग आव्यूह है, जिसके कॉलम और पंक्तियाँ प्रसामान्य लंबकोणीय सदिश होते है।

इसे व्यक्त करने का एक तरीका है

जहाँ पे QT का स्थानान्तरण है Q तथा I तत्समक आव्यूह है।

आव्यूह Q लंबकोणीय है यदि इसका स्थान इसके व्युत्क्रम के बराबर है,तो यह समतुल्य निरूपण की ओर जाता है।

जहाँ पे Q−1, Q का व्युत्क्रम है।

लंबकोणीय आव्यूह Q आवश्यक रूप से व्युत्क्रमणीय होता है। (Q−1 = QT), एकल आव्यूह (Q−1 = Q), जहाँ पे Q का हर्मिटियन आसन्न संयुग्मी परिवर्त Q, है, और इसलिए (QQ = QQ) वास्तविक संख्याओं पर सामान्य है। किसी भी लंबकोणीय आव्यूह का सारणीक +1 या -1 एक रैखिक परिवर्तन के रूप में, लंबकोणीय आव्यूह सदिश के आंतरिक परिणाम को संचय करता है, और इसलिए क्रमावर्तन समष्टि एक समान दूरी के रूप में कार्य करता है, जैसे क्रमावर्तन, प्रतिबिंब या रोटर प्रतिबिम्ब के रूप में होता है। अर्थात दूसरे शब्दों में, कह सकते है यह एकल परिवर्तन है।

n × n लंबकोणीय आव्यूह का समुच्चय एक समूह O(n) बनाता है, जिसे लंबकोणीय समूह के रूप में जाना जाता है। निर्धारक +1 के साथ लंबकोणीय आव्यूह वाले उपसमूह SO(n) को लंबकोणीय समूह कहा जाता है, और इसके प्रत्येक तत्व एक विशेष लंबकोणीय आव्यूह होते हैं। और एक रैखिक परिवर्तन के रूप में, प्रत्येक लंबकोणीय आव्यूह एक क्रमावर्तन के रूप में कार्य करता है।

अवलोकन

लंबकोणीय आव्यूह में एकात्मक आव्यूह की वास्तविक विशेषता यह है कि इसके आव्यूह सदैव सामान्य होते है। यद्यपि हम यहां केवल वास्तविक आव्यूहों को ही देखते हैं, परंतु यदि किसी क्षेत्र से प्रविष्टियों के साथ आव्यूहों के लिए इस परिभाषा का प्रयोग किया जाता है। चूँकि, लंबकोणीय आव्यूह स्वाभाविक रूप से बिंदु उत्पादों से उत्पन्न होते हैं, और सम्मिश्र संख्या के आव्यूह के कारण एकात्मक के साथ आगे बढ़ते हैं। लंबकोणीय आव्यूह, बिंदु गुणनफल को संरक्षित करते हैं।[1] इसलिए, n-आयामी वास्तविक यूक्लिडियन समष्टि में सदिश के लिए u तथा v होते है

जहाँ Q एक लंबकोणीय आव्यूह है। आंतरिक गुणनफल संबंधन को देखने के लिए, एक n आयामी वास्तविक यूक्लिडियन समष्टि में एक सदिश v को देखते है। प्रसामान्य लंबकोणीय विश्लेषण के संबंध में लिखा हुआ है, कि v वर्ग की लंबाई vTv है। यदि आव्यूह रूप में एक रैखिक परिवर्तन, Qv होता है तो फिर ये सदिश लंबाई को संरक्षित करता है।
इस प्रकार परिमित आयामी रैखिक सममिति क्रमावर्तन प्रतिबिंब और उनके संयोजन से लंबकोणीय आव्यूहों का निर्माण होता है। और इसका व्युत्क्रम भी सत्य है, लंबकोणीय आव्यूह का अर्थ लंबकोणीय रूपांतरण है। चूँकि, रैखिक बीजगणित में स्थानों के बीच लंबकोणीय परिवर्तन सम्मिलित होता है, ये न तो परिमित-आयामी हो सकते हैं और न ही समान आयाम के हो सकते हैं, और इनमें कोई लंबकोणीय आव्यूह समतुल्य नहीं होता है।

सैद्धांतिक और व्यावहारिक दोनों कारणों से लंबकोणीय आव्यूह महत्वपूर्ण हैं। n × n लंबकोणीय आव्यूह, आव्यूह गुणन के तहत एक समूह का निर्माण करते हैं, जो O(n), लंबकोणीय समूह द्वारा दर्शाया गया है । जिसका प्रयोग व्यापक रूप से गणित और भौतिक विज्ञान में किया जाता है। उदाहरण के लिए, एक अणु का बिंदु समूह O(3) का एक उपसमूह है। क्योंकि लंबकोणीय आव्यूह के चल बिंदु संस्करणों में लाभप्रद गुण होते हैं, वे संख्यात्मक रैखिक बीजगणित में कई कलन विधि के लिए महत्वपूर्ण होते हैं, जैसे क्यूआर ( QR) अपघटन । एक अन्य उदाहरण के रूप में, उपयुक्त सामान्यीकरण के साथ असतत कोज्या परिवर्तन एमपी3 संपीड़न में प्रयुक्त लंबकोणीय आव्यूह द्वारा दर्शाया गया है।

उदाहरण

नीचे छोटे लंबकोणीय आव्यूह और संभावित व्याख्याओं के कुछ उदाहरण दिए गए हैं।

  • (तत्समक परिवर्तन)
  • (मूल के बारे में क्रमावर्तन)
  • (एक्स-अक्ष पर प्रतिबिंब)
  • (समन्वय अक्षों का क्रमचय)

प्राथमिक निर्माण

निचला आयाम

सबसे सरल लंबकोणीय आव्यूह हैं 1 × 1 आव्यूह [1] और [−1], जिसे हम तत्समक के रूप में व्याख्या कर सकते हैं और मूल के आर-पार वास्तविक रेखा के प्रतिबिंब के रूप में व्याख्या कर सकते हैं। 2 × 2 आव्यूह का रूप है

कौन सी लांबिक मांग तीन समीकरणों को संतुष्ट करती है
पहले समीकरण को ध्यान में रखते हुए, व्यापकता की क्षति के बिना p = cos θ, q = sin θ; तो कोई t = −q, u = p या t = q, u = −p. हम पहली स्थिति को क्रमावर्तन के रूप में व्याख्या कर सकते हैं θ (जहाँ पे θ = 0 तत्समक है), और दूसरे कोण पर एक रेखा में प्रतिबिंब के रूप में θ/2 है।

प्रतिबिंब आव्यूह का विशेष प्रकरण जिसमें θ = 90° से दी गई पंक्ति के बारे में y = x द्वारा दिए गए 45° कोण पर प्रतिबिंब बनता है, और इसलिए आदान-प्रदान x तथा y यह एक क्रमचय आव्यूह है, जिसमें प्रत्येक कॉलम और पंक्ति में एक 1 और अन्यथा 0 होता है।
तत्समक एक क्रमचय आव्यूह है।

प्रतिबिंब का अपना प्रतिलोम होता है, जिसका अर्थ है कि प्रतिबिंब आव्यूह, इसके स्थानांतरण तथा लंबकोणीय के समान सममित होता है। दो क्रमावर्तन आव्यूह का उत्पाद एक क्रमावर्तन आव्यूह है, और दो प्रतिबिंब आव्यूह का उत्पाद भी एक क्रमावर्तन आव्यूह है।

उच्च आयाम

आयाम की बात किए बिना, लंबकोणीय आव्यूह को विशुद्ध रूप से घूर्णी या नहीं के रूप में वर्गीकृत करना सदैव आसान होता है, लेकिन 3 × 3 आव्यूहों के लिए और बड़ी संख्या में घूर्णन आव्यूह परावर्तनों की अपेक्षा अधिक कठिन हो सकते हैं। उदाहरण के लिए,


मूल बिंदु और रोटोइनवर्जन के माध्यम से एक बिंदु से व्युत्क्रम का प्रतिनिधित्व करते हैं, जो क्रमश, Z- अक्ष के बारे में।

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

चूँकि, हमारे पास सामान्य रूप से लागू होने वाले क्रम परिवर्तन, प्रतिबिंब और क्रमावर्तन के लिए प्राथमिक रचक अणु होते हैं।

प्राचीन

सबसे प्राथमिक क्रमचय एक स्थानान्तरण है, जो दो पंक्तियों का आदान-प्रदान करके तत्समक आव्यूह से प्राप्त किया जाता है। कोई n × n क्रमचय आव्यूह को इससे अधिक के उत्पाद के रूप में बनाया जा सकता है n − 1 स्थानान्तरण के रूप में है।

हाउसहोल्ड प्रतिबिंब को गैर-शून्य सदिश v से बनाया गया है।


यहाँ अंश एक सममित आव्यूह है। जबकि हर संख्या v का वर्ग परिमाण है। यह v के समानांतर किसी भी सदिश घटक को निष्फल के लिए अधिसमतल लंबवत में प्रतिबिंब के रूप में होता है। यदि v इकाई सदिश है, तो Q = I − 2vvT पर्याप्त है। एक हाउसहोल्ड प्रतिबिंब का उपयोग सामान्तया एक कॉलम के निचले हिस्से को एक साथ शून्य करने के लिए किया जाता है। आकार n × n के किसी भी लंबकोणीय आव्यूह को अधिकतर n के ऐसे प्रतिबिंबों के उत्पाद के रूप में बनाया जा सकता है।

दिया गया क्रमावर्तन दो आयामी तलीय पर कार्य करता है, जो कि चयनित कोण द्वारा घूमते हुए दो समन्वय अक्षों द्वारा विस्तरित उपक्षेत्र है। यह सामान्तया एकल उपविकर्ण प्रविष्टि को शून्य करने के लिए उपयोग किया जाता है। n × n आकार के किसी भी क्रमावर्तन आव्यूह को अधिकतर n(n − 1)/2 जैसे क्रमावर्तन के उत्पाद के रूप में बनाया जा सकता है। 3 × 3 आव्यूह की स्थिति में, ऐसे तीन क्रमावर्तन पर्याप्त हैं, इस प्रकार हम सभी 3 × 3 क्रमावर्तन आव्यूह का वर्णन कर सकते हैं, चूँकि यूलर कोण कहे जाने वाले तीन कोणों के संदर्भ में अद्वितीय नहीं हैं।

जैकोबी क्रमावर्तन दिए गए क्रमावर्तन के रूप में समान है, लेकिन इसका उपयोग 2 × 2 सममित उपआव्यूह की उपविकर्णों की प्रविष्टियों को शून्य करने के लिए किया जाता है।

गुण

आव्यूह गुण

एक वास्तविक वर्ग आव्यूह लंबकोणीय होता है, और यदि इसके कॉलम सामान्य यूक्लिडियन समष्टि उत्पाद के साथ यूक्लिडियन समष्टि Rn के लंबकोणीय आधार के रूप में होते है।, इस तरह की स्थिति सिर्फ़ इसकी पंक्तियाँ Rn.लंबकोणीय के साथ एक आव्यूह को समझने के लिए रोचक,हो सकता है। कि लंबकोणीय ( प्रसामान्य लंबकोणीय नहीं) कॉलम वाले आव्यूह को लंबकोणीय आव्यूह के रूप में जाना जाता है, लेकिन ऐसे आव्यूह में कोई विशेष रुचि नहीं है और कोई विशेष नाम नहीं है, वे केवल संतुष्ट करते हैं MTM = D, साथ D एक विकर्ण आव्यूह होते है।

किसी भी लंबकोणीय आव्यूह का सारणीक +1 या -1 होते है। यह सारणीक के बारे में मूलभूत तथ्यों से है जैसा कि नीचे दिया गया है।

इसका विलोम सही नहीं है;±1 के सारणीक होने से लांबिक का कोई आश्वासन नहीं है, यहां तक ​​​​कि लंबकोणीय कॉलम के साथ भी, जैसा कि निम्नलिखित प्रत्युत्तर उदाहरण द्वारा दिखाया गया है।


क्रमचय आव्यूह के साथ सारणीक अंकित अंक से मेल खाता है, क्रमचय की समानता के रूप में +1 या-1 को सम या विषम किया जाना पंक्तियों का वैकल्पिक कार्य है।

सारणीक प्रतिबंध से मजबूत तथ्य यह है कि एक लंबकोणीय आव्यूह सदैव अभिलक्षणिक मान और अभिलक्षणिक सदिश के पूर्ण समुच्चय को प्रदर्शित करने के लिए जटिल संख्याओं पर विकर्ण आव्यूह हो सकता है, जिनमें से सभी का जटिल निरपेक्ष मान 1 होना चाहिए।

समूह गुण

प्रत्येक लंबकोणीय आव्यूह का प्रतिलोम पुनः लंबकोणीय होता है, जैसा कि दो लंबकोणीय आव्यूह का आव्यूह उत्पाद होता है। वास्तव में, सभी का समुच्चय n × n लंबकोणीय आव्यूह एक समूह के सभी एक्सीओम्स को संतुष्ट करता है। यह आयाम का एक कॉम्पैक्ट क्षेत्र लाई समूह n(n − 1)/2 है, इसे लंबकोणीय समूह कहा जाता है और O(n) द्वारा दर्शाया जाता है।

लंबकोणीय आव्यूह जिसका सारणीक +1 है, और सूचकांक 2 के SO(n) के पथ से जुड़े सामान्य उपसमूह का निर्माण करते है, इसके क्रमावर्तन का विशेष लंबकोणीय समूह SO(n) है। भागफल समूह .O(n)/SO(n) के लिए तुल्याकारी है O(1), सारणीक के अनुसार [+1] या [−1] चुनने वाले प्रक्षेपण मानचित्र के साथ होते है । सारणीक-1 के साथ लंबकोणीय आव्यूह में तत्समक सम्मिलित नहीं है, और इसलिए एक उपसमूह नहीं बल्कि केवल सहसमुच्चय बनाते हैं, यह अलग से भी जुड़ा हुआ है। इस प्रकार प्रत्येक लंबकोणीय समूह के दो टुकड़े हो जाते हैं, और क्योंकि प्रक्षेपण मानचित्र पर विभाजन होता है, SO(n) द्वारा O(n) O(1) का अर्धप्रत्यक्ष उत्पाद है, व्यावहारिक संदर्भ में, एक तुलनीय कथन यह है कि क्रमावर्तन आव्यूह को लेकर किसी लंबकोणीय आव्यूह का निर्माण किया जा सकता है। संभवतः इसके किसी एक कॉलम को नकार कर बनाया जा सकता है, जैसा कि हमने देखा 2 × 2 आव्यूह में। यदि n विषम है, तो सेमीडायरेक्ट उत्पाद वास्तव में समूहों का प्रत्यक्ष उत्पाद है, और किसी भी लंबकोणीय आव्यूह को क्रमावर्तन आव्यूह द्वारा और संभवतः इसके सभी कॉलम को अस्वीकार कर बनाया जा सकता है। यह सारणीक की गुण धर्म का अनुसरण करता है और यह एक कॉलम को अस्वीकार कर सारणीक को अस्वीकार करता है, और इस प्रकार कॉलम की एक विषम (लेकिन सम नहीं) संख्या को अस्वीकार कर सारणीक को अस्वीकार करता है।

अब विचार करें (n + 1) × (n + 1) लंबकोणीय आव्यूह जिसमें नीचे दाहिनी प्रविष्टि 1 के बराबर है। अंतिम कॉलम और अंतिम पंक्ति का शेष शून्य होना चाहिए, और ऐसे दो आव्यूह के उत्पाद का एक ही रूप है। शेष आव्यूह एक है n × n लंबकोणीय आव्यूह, इस प्रकार O(n) का एक उपसमूह है O(n + 1) और सभी उच्च समूहों के।

चूंकि हाउसहोल्डर आव्यूह के रूप में एक प्रारंभिक प्रतिबिंब किसी भी लंबकोणीय आव्यूह को बाधित कर सकता है, और इस तरह के प्रतिबिंबों की एक श्रृंखला किसी भी लंबकोणीय आव्यूह को तत्समक में ला सकती है, इस प्रकार एक लंबकोणीय समूह एक प्रतिबिंब समूह है। अंतिम कॉलम किसी भी इकाई सदिश के लिए तय किया जा सकता है, और प्रत्येक विकल्प की एक अलग प्रति देता है O(n) में O(n + 1); तौर पर O(n + 1) इकाई गोले के ऊपर एक फाइबर बंडल Sn है और फाइबर के साथ O(n).है।

इसी प्रकार, SO(n) का एक उपसमूह है SO(n + 1), और किसी भी विशेष लंबकोणीय आव्यूह को एक समान प्रक्रिया का उपयोग करके सपाट क्रमावर्तन द्वारा उत्पन्न किया जा सकता है। बंडल संरचना बनी रहती है, SO(n) ↪ SO(n + 1) → Sn. एक एकल घुमाव अंतिम कॉलम की पहली पंक्ति में एक शून्य उत्पन्न कर सकता है, और श्रृंखला n − 1 क्रमावर्तन एक n × n क्रमावर्तन आव्यूह के अंतिम कॉलम की अंतिम पंक्ति को छोड़कर सभी को शून्य कर देगा। चूंकि समतल स्थिर होते हैं, इसलिए प्रत्येक क्रमावर्तन में केवल एक डिग्री की स्वतंत्रता होती है, इसलिए प्रेरण में इसका कोण SO(n) सोन होता है।

स्वतंत्रता की डिग्री, और इसलिए O(n). करता है

क्रमचय आव्यूह अभी भी सरल हैं, वे लाई समूह नहीं, बल्कि केवल एक परिमित समूह बनाते हैं, ऑर्डर फैक्टोरियल n!सममित समूह Sn. इसी तर्क से, Sn का एक उपसमूह है Sn + 1. सम क्रम परिवर्तन सारणीक +1 के क्रमचय आव्यूह के उपसमूह का उत्पादन करते हैं, क्रम n!/2 वैकल्पिक समूह के होते है।

विहित रूप

अधिक मोटे तौर पर, किसी भी लंबकोणीय आव्यूह का प्रभाव लंबकोणीय द्वि-आयामी उप-स्थानों पर स्वतंत्र क्रियाओं में अलग हो जाता है। अर्थात, अगर Q विशेष लंबकोणीय है तो कोई सदैवएक लंबकोणीय आव्यूह ढूंढ सकता है P, (घूर्णी) आधार का परिवर्तन पा सकता है, जो Q को ब्लॉक विकर्ण रूप में लाता है।

जहां आव्यूह R1, ..., Rk 2 × 2 क्रमावर्तन आव्यूह हैं, और शेष प्रविष्टियों के साथ शून्य असाधारण रूप से, एक क्रमावर्तन ब्लॉक विकर्ण हो सकता है, ±I. इस प्रकार, यदि आवश्यक हो तो एक कॉलम को नकारना और यह ध्यान रखना कि एक 2 × 2 प्रतिबिंब एक +1 और -1 के लिए विकर्ण है, किसी भी लंबकोणीय आव्यूह को क्रमबद्ध किया जा सकता है।
आव्यूह R1, ..., Rk सम्मिश्र संख्या में इकाई वृत्त पर स्थित अभिलक्षणिक मान ​​​​के संयुग्म को जोड़े देते हैं, इसलिए यह अपघटन पुष्टि करता है कि सभी अभिलक्षणिक मान और अभिलक्षणिक सदिश का पूर्ण मान 1 है। यदि n विषम है, कम से कम एक वास्तविक अभिलक्षणिक मान है, +1 या -1, एक के लिए 3 × 3 क्रमावर्तन, +1 से जुड़ा अभिलक्षणिक सदिश क्रमावर्तन अक्ष का है।

लेट बीजगणित

मान लीजिए की प्रविष्टियाँ Q के अलग-अलग कार्य हैं t, और कि t = 0 देता है Q = I. लंबकोणीयिटी की स्थिति को अलग करता है।

पैदावार
पर मूल्यांकन t = 0 (Q = I) तो तात्पर्य है
लाई(lie) समूह के शब्दों में, इसका मतलब है कि एक लंबकोणीय आव्यूह समूह के लाई बीजगणित में तिरछा-सममित आव्यूह होता है। दूसरी दिशा में जा रहे हैं, किसी भी तिरछा-सममित आव्यूह का आव्यूह घातीय लंबकोणीय आव्यूह है (वास्तव में, विशेष लंबकोणीय है)।

उदाहरण के लिए, त्रि-आयामी वस्तु भौतिकी कहती है कि कोणीय वेग एक विभेदक क्रमावर्तन है, इस प्रकार लाई बीजगणित में एक सदिश है स्पर्शरेखा SO(3). दी गयी है ω = (, , ), साथ v = (x, y, z) एक इकाई सदिश होने के नाते, ω का सही तिरछा-सममित आव्यूह रूप है।

इसका घातांक अक्ष के चारों ओर घूमने के लिए लंबकोणीय आव्यूह है v कोण से θ, स्थापना c = cos θ/2, s = sin θ/2 है।


संख्यात्मक रैखिक बीजगणित

लाभ

संख्यात्मक विश्लेषण संख्यात्मक रैखिक स्वाभाविक रूप से बीजगणित के लिए लंबकोणीय आव्यूह के कई गुणों के लिए लाभ उत्पन्न करत हैं। उदाहरण के लिए, किसी स्थान के लिए प्रसामान्य लंबकोणीय आधार, या आधारों के लंबकोणीय परिवर्तन की गणना करना अक्सर कठिन होता है, दोनों लंबकोणीय आव्यूह का रूप लेते हैं। सारणीक±1 और परिमाण 1 के सभी अभिलक्षणिक मान ​​संख्यात्मक स्थिरता के लिए बहुत फायदे का है। एक निहितार्थ यह है कि स्थिति संख्या 1 है जो न्यूनतम है, इसलिए लंबकोणीय आव्यूह के साथ गुणा करते समय त्रुटियों को बढ़ाया नहीं जाता है। कई कलन विधि लंबकोणीय आव्यूहों जैसे हाउसहोल्डर प्रतिबिंब का उपयोग करते हैं तथा इस कारण से दिए गए क्रमावर्तन का प्रयोग करते हैं। यह भी सहायक है कि न केवल लंबकोणीय आव्यूह वर्तनीय है बल्कि इसका प्रतिलोम सूचकांकों के विनिमय द्वारा अनिवार्य रूप से मुक्त भी है।

कई कलन विधि की सफलता के लिए क्रमपरिवर्तन आवश्यक हैं, जिसमें वर्कहोर्स गौसी उन्मूलन के साथ आशिक धुरी भी सम्मिलित है (जहां क्रमपरिवर्तन धुरी का काम करते हैं)। चूँकि, वे शायद ही कभी स्पष्ट रूप से आव्यूह के रूप में प्रकट होते हैं, उनका विशेष रूप अधिक कुशल प्रतिनिधित्व की अनुमति देता है, जैसे कि की सूची n सूचकांक में है।

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

अपघटन

कई महत्वपूर्ण आव्यूह अपघटन (Golub & Van Loan 1996) विशेष रूप से लंबकोणीय आव्यूह सम्मिलित है।

QR अपघटन,

M = QR, Q लंबकोणीय, R ऊपरी त्रिकोणीय

विलक्षण मान अपघटन
M = UΣVT, U तथा V लंबकोणीय, Σ विकर्ण आव्यूह
आव्यूह का अभिलक्षणिक अपघटन ( वर्णक्रमीय प्रमेय के अनुसार अपघटन)
S = QΛQT, S सममित, Q लंबकोणीय, Λ विकर्ण
ध्रुवीय अपघटन
M = QS, Q लंबकोणीय, S सममित सकारात्मक-अर्धपरिमित

उदाहरण

रैखिक समीकरणों की एक अतिनिर्धारित प्रणाली पर बातचीत करने पर, जैसा कि प्रयोगात्मक त्रुटियों की क्षतिपूर्ति के लिए भौतिक घटना के बार-बार परीक्षण से होता है। लिखे Ax = b, जहाँ पे A है m × n, m > n. ए QR अपघटन कम हो जाता है। A ऊपरी त्रिकोणीय के लिए R. उदाहरण के लिए, यदि A 5 × 3 है तो R रूप है।


रैखिक कम से कम वर्ग (गणित) समस्या को ज्ञात करने के लिए है ||Axb||, जो A के कॉलम द्वारा ||Axb||, विस्तरित किये गए उप-स्थान पर b उको प्रोजेक्ट करने के बराबर है, A के कॉलम को मानते हुए अर्थात R स्वतंत्र हैं, प्रक्षेपण समाधान से पाया जाता है ATAx = ATb. अब ATA वर्गाकार है (n × n) और उलटा, और बराबर भी RTR. लेकिन शून्य की निचली पंक्तियों में R उत्पाद में अतिश्योक्तिपूर्ण हैं, जो इस प्रकार पहले से ही निचले-त्रिकोणीय ऊपरी-त्रिकोणीय कारक रूप में है, जैसा कि गाऊसी उन्मूलन ( चोल्स्की अपघटन ) में है। यहां रूढ़िवादिता न केवल कम करने के लिए महत्वपूर्ण है ATA = (RTQT)QR प्रति RTR, बल्कि संख्यात्मक समस्याओं को बढ़ाए बिना समाधान की अनुमति देने के लिए भी।

एक रैखिक प्रणाली की स्थिति जो अनिश्चित है, या या अन्यथा अपरिवर्तनीय आव्यूह, विलक्षण मान अपघटन (एसवीडी) समान रूप से उपयोगी है। साथ A के रूप में कारक UΣVT, एक संतोषजनक समाधान मूर-पेनरोज़ का उपयोग करता है, VΣ+UT, जहाँ पे Σ+ केवल प्रत्येक गैर-शून्य विकर्ण प्रविष्टि को उसके व्युत्क्रम से प्रतिस्थापित करता है। समूह x प्रति VΣ+UTb.

व्युत्क्रम आव्यूह की घटना भी महत्व रखती है। उदाहरण के लिए मान लीजिए, कि A एक 3 × 3 क्रमावर्तन आव्यूह जिसकी गणना कई घुमाव और टर्न की संरचना के रूप में की गई है। चल बिंदु वास्तविक संख्याओं के गणितीय आदर्श से मेल नहीं खाते है, इसलिए A धीरे-धीरे अपनी वास्तविक रूढ़िवादिता को खो दिया है। एक ग्राम-श्मिट प्रक्रिया कॉलम को लंबकोणीयाइज़ेशन कर सकती है, लेकिन यह सबसे विश्वसनीय नहीं है, और न ही सबसे कुशल, और न ही सबसे अपरिवर्तनीय विधि है।ध्रुवीय विघटन के कारण युग्म में एक आव्यूह होता है, जिनमें से एक दिए गए आव्यूह के लिए अद्वितीय निकटतम लंबकोणीय आव्यूह होता है, या दिए गए आव्यूह एकवचन है तो निकटतम में से एक होता है। निकटता को आधार के लंबकोणीय परिवर्तन के तहत किसी भी आव्यूह मानदंड अपरिवर्तनीय द्वारा मापा जा सकता है, जैसे वर्णक्रमीय मानदंड या फ्रोबेनियस मानदंड, निकट-लंबकोणीय आव्यूह के लिए, लंबकोणीय कारक के लिए तेजी से अभिसरण न्यूटन की विधि द्वारा प्राप्त किया जा सकता है। हिघम (1986) (1990), आव्यूह को बार-बार इसके व्युत्क्रम स्थानांतरण के साथ औसत करता है। Dubrulle (1999) एक सुविधाजनक अभिसरण परीक्षण के साथ एक त्वरित विधि प्रकाशित की है।

उदाहरण के लिए, एक गैर-लंबकोणीय आव्यूह पर विचार करें जिसके लिए साधारण औसत कलन विधि सात चरण उठाता है

और कौन सा त्वरण दो चरणों में कम हो जाता है (साथ में γ = 0.353553, 0.565685).

ग्राम-श्मिट न्यूनतम 8.12404 के बजाय 8.28659 की फ्रोबेनियस दूरी द्वारा दिखाए गए एक अवर समाधान का उत्पादन करता है।


यादृच्छिकीकरण

कुछ संख्यात्मक अनुप्रयोग, जैसे कि मोंटे कार्लो विधि और उच्च-आयामी आँकड़े रिक्त स्थान की खोज के लिए, समान रूप से वितरित यादृच्छिक लंबकोणीय आव्यूह की उत्पति की आवश्यकता होती है। इस संदर्भ में, हार माप के संदर्भ में एकसार को परिभाषित किया गया है, जो अनिवार्य रूप से आवश्यक है कि किसी भी स्वतंत्र रूप से चुने गए लंबकोणीय आव्यूह द्वारा गुणा किए जाने पर वितरण में परिवर्तन न हो। सांख्यिकीय स्वतंत्रता के साथ लंबकोणीयाइज़िंग आव्यूह समान रूप से वितरित यादृच्छिक प्रविष्टियाँ समान रूप से वितरित लंबकोणीय आव्यूह में परिणाम नहीं देती हैं[citation needed], लेकिन क्यूआर QR अपघटन स्वतंत्र सामान्य वितरण का अपघटन यादृच्छिक प्रविष्टि करता है, जब तक R के विकर्ण में केवल धनात्मक प्रविष्टियाँ सम्मिलित होती हैं (मेजादरी 2006 ), (स्टीवर्ट 1980) इसे एक अधिक कुशल विचार के साथ बदल दिया (डायकोनिस और शाहशाहनी 1987) बाद में उपसमूह कलन विधि के रूप में सामान्यीकृत किया गया इस रूप में यह क्रमचय और क्रमावर्तन के लिए भी काम करता है। एक (n + 1) × (n + 1) लंबकोणीय आव्यूह उत्पन्न करने के लिए, n × n एक और आयाम एक समान रूप से वितरित इकाई सदिश n + 1 से हाउसहोल्ड प्रतिबिम्ब बनाते है, फिर इसे छोटे आव्यूह पर लागू करते है। नीचे दाएं कोने में 1 के साथ बड़े आकार में एम्बेड किया गया।

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

निकटतम लंबकोणीय आव्यूह

दिए गए आव्यूह M के निकटतम लंबकोणीय आव्यूह का Q से जुड़ी समस्या का मान ज्ञात करने के लिए उपयुक्त लंबकोणीय प्रोक्रस्ट्स इसकी समस्या से संबंधित है। अद्वितीय समाधान प्राप्त करने के कई अलग-अलग तरीके हैं, जिनमें से सबसे सरल विशिष्ट मूल्य M अपघटन को प्राप्त कर विशिष्ट मूल्यों को एक साथ बदल देते हैं। एक अन्य विधि R स्पष्ट रूप से व्यक्त करती है। लेकिन आव्यूह वर्गमूल के उपयोग की आवश्यकता होती है।[2]


यह पुनरावृत्ति देने के लिए एक आव्यूह का वर्गमूल निकालने के लिए बेबीलोनियन विधि के साथ जोड़ा जा सकता है जो एक लंबकोणीय आव्यूह को द्विघात रूप से अभिसरण करता है।

जहाँ पे Q0 = M.

ये पुनरावृत्तियां स्थिर हैं बशर्ते की स्थिति संख्या M तीन से कम है।[3] व्युत्क्रम के प्रथम-क्रम के सन्निकटन का उपयोग करना और उसी आरंभीकरण के परिणामस्वरूप संशोधित पुनरावृत्ति होती है।


स्पिन और पिन

एक सूक्ष्म तकनीकी समस्या लंबकोणीय आव्यूह के कुछ उपयोगों को प्रभावित करती है। सारणीक +1 और -1 वाले समूह घटक एक दूसरे से न केवल जुड़े नहीं हैं, यहां तक ​​कि +1 घटक भी, SO(n), केवल जुड़ा हुआ स्थान नहीं है, SO(1) को छोड़कर, जो तुच्छ है। इस प्रकार यह कभी कभी लाभप्रद होता है, या इसके लिए एक आवरण समूह SO(n) के साथ काम करना आवश्यक होता है, स्पिन समूह, Spin(n). वैसे ही, O(n) आवरण ग्रुप में,पिन समूह ,होते हैं। पिन(n) के लिये n > 2, स्पिन एन Spin(n) बस जुड़ा हुआ है और इस प्रकार के लिए विशवव्यापी आवरण समूह SO(n). हैं। स्पिन समूह का अब तक का सबसे प्रसिद्ध उदाहरण है Spin(3), जो और कुछ नहीं SU(2), या इकाई चतुष्कोणों का समूह हैं।

पिन और स्पिन समूह क्लिफोर्ड बीजगणित के भीतर पाए जाते हैं, जो स्वयं लंबकोणीय आव्यूह से बनाए जा सकते हैं।

आयताकार आव्यूह

यदि Q एक वर्ग आव्यूह नहीं है, तब स्थितियाँ QTQ = I तथा QQT = I समकक्ष नहीं हैं। स्थिति QTQ = I के अनुसार Q के लम्बवत कॉलम हैं। यह तभी हो सकता है जब Q एक m × n रैखिक निर्भरता के कारण nm के साथ आव्यूह है। इसी प्रकार, QQT = I मैं कहता हूं कि Q की पंक्तियां लंबकोणीय जिसके लिए हैं, nm.की आवश्यकता है।

इन आव्यूह के लिए कोई मानक शब्दावली नहीं है। इन्हे विभिन्न प्रकार से अर्ध-लंबकोणीय आव्यूह कहा जाता है, प्रसामान्य लंबकोणीय आव्यूह, लंबकोणीय आव्यूह, और कभी कभी सिर्फ लंबकोणीय पंक्ति कॉलम के साथ आव्यूह होता है।

स्थिति के लिए nm, प्रसामान्य लंबकोणीय कॉलम वाले आव्यूह को लंबकोणीय k- फ्रेम के रूप में संदर्भित किया जाता है| और ये स्टिफेल मैनिफोल्ड के तत्व हैं।

यह भी देखें

टिप्पणियाँ

  1. "Paul's online math notes"[full citation needed], Paul Dawkins, Lamar University, 2008. Theorem 3(c)
  2. "Finding the Nearest Orthonormal Matrix", Berthold K.P. Horn, MIT.
  3. "Newton's Method for the Matrix Square Root" Archived 2011-09-29 at the Wayback Machine, Nicholas J. Higham, Mathematics of Computation, Volume 46, Number 174, 1986.


संदर्भ

  • Diaconis, Persi; Shahshahani, Mehrdad (1987), "The subgroup algorithm for generating uniform random variables", Probability in the Engineering and Informational Sciences, 1: 15–32, doi:10.1017/S0269964800000255, ISSN 0269-9648, S2CID 122752374
  • Dubrulle, Augustin A. (1999), "An Optimum Iteration for the Matrix Polar Decomposition", Electronic Transactions on Numerical Analysis, 8: 21–25
  • Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3/e ed.), Baltimore: Johns Hopkins University Press, ISBN 978-0-8018-5414-9
  • Higham, Nicholas (1986), "Computing the Polar Decomposition—with Applications" (PDF), SIAM Journal on Scientific and Statistical Computing, 7 (4): 1160–1174, doi:10.1137/0907079, ISSN 0196-5204
  • Higham, Nicholas; Schreiber, Robert (July 1990), "Fast polar decomposition of an arbitrary matrix", SIAM Journal on Scientific and Statistical Computing, 11 (4): 648–655, CiteSeerX 10.1.1.230.4322, doi:10.1137/0911038, ISSN 0196-5204, S2CID 14268409 [1]
  • Stewart, G. W. (1976), "The Economical Storage of Plane Rotations", Numerische Mathematik, 25 (2): 137–138, doi:10.1007/BF01462266, ISSN 0029-599X, S2CID 120372682
  • Stewart, G. W. (1980), "The Efficient Generation of Random Orthogonal Matrices with an Application to Condition Estimators", SIAM Journal on Numerical Analysis, 17 (3): 403–409, Bibcode:1980SJNA...17..403S, doi:10.1137/0717034, ISSN 0036-1429
  • Mezzadri, Francesco (2006), "How to generate random matrices from the classical compact groups", Notices of the American Mathematical Society, 54, arXiv:math-ph/0609050, Bibcode:2006math.ph...9050M


बाहरी संबंध