क्रमपरिवर्तन आव्यूह: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Matrix with exactly one 1 per row and column}} {{More footnotes|date=August 2022}} {{Use American English|date = January 2019}} <!-- {| class="wikitable" a...")
 
No edit summary
 
(12 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Matrix with exactly one 1 per row and column}}
{{Short description|Matrix with exactly one 1 per row and column}}
{{More footnotes|date=August 2022}}
गणित में, विशेष रूप से [[मैट्रिक्स (गणित)|आव्यूह (गणित) सिद्धांत]] में, '''क्रमपरिवर्तन आव्यूह''' एक वर्ग [[बाइनरी मैट्रिक्स|बाइनरी आव्यूह]] होता है जिसमें प्रत्येक पंक्ति और प्रत्येक स्तंभ में 1 की एक प्रविष्टि होती है और अन्यत्र 0s होता है ऐसा प्रत्येक आव्यूह, मान लीजिए {{mvar|P}}, {{mvar|m}} तत्वों के क्रमपरिवर्तन का प्रतिनिधित्व करता है और, जब किसी अन्य आव्यूह को गुणा करने के लिए उपयोग किया जाता है, मान लीजिए {{mvar|A}}, की पंक्तियों को क्रमपरिवर्तित करने के परिणामस्वरूप ({{mvar|PA}}बनाने के लिए पूर्व-गुणा करते समय) या स्तंभ (गुणा करने के बाद, {{mvar|AP}} बनाने के लिए) आव्यूह {{mvar|A}} होता है।                                               
{{Use American English|date = January 2019}}
<!--
{| class="wikitable" align="right" style="width: 420px;"
!colspan="2"| <math>\pi  = \begin{pmatrix} 0 & 1 & 2 & 3 & 4 \\ 1 & 3 & 0 & 2 & 4 \end{pmatrix} = (0132)(4)</math>
|-
|colspan="2"| [[File:5-el perm; active; only P as arrow diagram.svg|210px|center]]
|-
! Left [[Group action|action]] <small>([[Polish notation|prefix]])</small><br><math>M\bigl(\pi(i), i\bigr) = 1</math>
! Right action <small>([[Reverse Polish notation|postfix]])</small><br><math>M\bigl(i, \pi(i)\bigr) = 1</math>
|-
| [[File:5-el perm; active; only P as matrix; prefix; map.svg|210px]]
| [[File:5-el perm; active; only P as matrix; postfix; map.svg|210px]]
|-
| [[File:5-el perm; active; only P as matrix; prefix; cycle.svg|210px]]
| [[File:5-el perm; active; only P as matrix; postfix; cycle.svg|210px]]
|-
|colspan="3" style="font-size: 90%;"|
There are two ways to assign a matrix to a permutation, corresponding to the two ways of multiplying permutations.
 
There are two ways to draw arrows in the chosen matrix, one similar to two-line and the other to cycle notation.
|}
-->
गणित में, विशेष रूप से [[मैट्रिक्स (गणित)]] में, एक क्रमचय मैट्रिक्स एक वर्ग [[बाइनरी मैट्रिक्स]] होता है जिसमें प्रत्येक पंक्ति और प्रत्येक कॉलम में 1 की एक प्रविष्टि होती है और अन्यत्र 0s होती है। ऐसा प्रत्येक मैट्रिक्स, कहते हैं {{mvar|P}}, के क्रमचय का प्रतिनिधित्व करता है {{mvar|m}} तत्व और, जब किसी अन्य मैट्रिक्स को गुणा करने के लिए उपयोग किया जाता है, तो कहते हैं {{mvar|A}}, पंक्तियों को अनुमति देने के परिणाम (जब पूर्व-गुणा करते हैं, बनाने के लिए {{mvar|PA}}) या कॉलम (गुणा करने के बाद, बनाने के लिए {{mvar|AP}}) मैट्रिक्स का {{mvar|A}}.


== परिभाषा ==
== परिभाषा ==


एक क्रमपरिवर्तन दिया {{pi}एम तत्वों की,
''m'' तत्वों के क्रमपरिवर्तन π को देखते हुए,
:<math>\pi : \lbrace 1, \ldots, m \rbrace \to \lbrace 1, \ldots, m \rbrace</math>
:<math>\pi : \lbrace 1, \ldots, m \rbrace \to \lbrace 1, \ldots, m \rbrace</math>
द्वारा दो-पंक्ति रूप में दर्शाया गया है
दो-पंक्ति रूप द्वारा दर्शाया गया है
:<math>\begin{pmatrix} 1 & 2 & \cdots & m \\ \pi(1) & \pi(2) & \cdots & \pi(m) \end{pmatrix},</math>
:<math>\begin{pmatrix} 1 & 2 & \cdots & m \\ \pi(1) & \pi(2) & \cdots & \pi(m) \end{pmatrix},</math>
क्रमचय को क्रमचय मैट्रिक्स के साथ जोड़ने के दो प्राकृतिक तरीके हैं; अर्थात्, m × m तत्समक आव्यूह से प्रारंभ करते हुए, {{math|''I''<sub>''m''</sub>}}, के अनुसार या तो स्तंभों को क्रमबद्ध करें या पंक्तियों को क्रमबद्ध करें {{pi}}. क्रमचय आव्यूहों को परिभाषित करने की दोनों विधियाँ साहित्य में दिखाई देती हैं और एक निरूपण में अभिव्यक्त गुणों को आसानी से दूसरे निरूपण में परिवर्तित किया जा सकता है। यह लेख मुख्य रूप से इनमें से केवल एक अभ्यावेदन से निपटेगा और दूसरे का उल्लेख केवल तभी किया जाएगा जब जागरूक होने के लिए कोई अंतर हो।
क्रमचय को क्रमपरिवर्तन आव्यूह के साथ संबद्ध के दो प्राकृतिक तरीके हैं; अर्थात्, ''m × m'' तत्समक आव्यूह से प्रारंभ करते हुए, {{math|''I''<sub>''m''</sub>}}, के अनुसार या तो स्तंभों को क्रमबद्ध करता है या {{pi}}. के अनुसार पंक्तियों को अनुबद्ध करता है। क्रमचय आव्यूहों को परिभाषित करने की दोनों विधियाँ साहित्य में दिखाई देती हैं और एक निरूपण में अभिव्यक्त गुणों को आसानी से दूसरे निरूपण में परिवर्तित किया जा सकता है। यह लेख मुख्य रूप से इनमें से केवल एक अभ्यावेदन से निपटेगा और दूसरे का उल्लेख केवल तभी किया जाएगा जब जागरूक होने के लिए कोई अंतर हो।                          


एम × एम क्रमपरिवर्तन मैट्रिक्स पी<sub>{{pi}}</sub> = (पृ<sub>''ij''</sub>) पहचान मैट्रिक्स के स्तंभों को अनुमति देकर प्राप्त किया गया {{math|''I''<sub>''m''</sub>}}, यानी प्रत्येक i के लिए, {{math|''p''<sub>''ij''</sub> {{=}} 1}} अगर जे = {{pi}}(मे एंड {{math|''p''<sub>''ij''</sub> {{=}} 0}} अन्यथा, इस आलेख में कॉलम प्रतिनिधित्व के रूप में संदर्भित किया जाएगा।<ref>Terminology is not standard. Most authors choose one representation to be consistent with other notation they have introduced, so there is generally no need to supply a name.</ref> चूंकि पंक्ति में प्रविष्टियां सभी 0 हैं सिवाय इसके कि कॉलम में 1 दिखाई देता है {{pi}}(i), हम लिख सकते हैं
''m × m'' क्रमपरिवर्तन आव्यूह ''P''<sub>π</sub> = (''p<sub>ij</sub>'') पहचान आव्यूह  {{math|''I''<sub>''m''</sub>}}, के स्तंभों को अनुमति देकर प्राप्त किया जाता है, अर्थात, प्रत्येक i के लिए, ''p<sub>ij</sub>'' = 1 if ''j'' = π(''i'') और {{math|''p''<sub>''ij''</sub> {{=}} 0}} अन्यथा, इस आलेख में '''स्तंभ प्रतिनिधित्व''' के रूप में संदर्भित किया जाएगा।<ref>Terminology is not standard. Most authors choose one representation to be consistent with other notation they have introduced, so there is generally no need to supply a name.</ref> चूंकि पंक्ति ''i'' में सभी प्रविष्टियां 0 हैं, इसके अतिरिक्त कि स्तंभ {{pi}}(i) में 1 दिखाई देता है हम लिख सकते हैं                                                                                  
:<math>P_\pi = \begin{bmatrix} \mathbf e_{\pi(1)} \\ \mathbf e_{\pi(2)} \\ \vdots \\ \mathbf e_{\pi(m)} \end{bmatrix},</math>
:<math>P_\pi = \begin{bmatrix} \mathbf e_{\pi(1)} \\ \mathbf e_{\pi(2)} \\ \vdots \\ \mathbf e_{\pi(m)} \end{bmatrix},</math>
कहाँ <math>\mathbf e_j</math>, एक मानक आधार सदिश, लंबाई ''m'' के एक पंक्ति सदिश को दर्शाता है जिसमें 1 ''j'' स्थान पर और 0 प्रत्येक अन्य स्थिति में है।<ref name=Bru2>Brualdi (2006) p.2</ref>
जहां <math>\mathbf e_j</math>, '''मानक आधार सदिश''', लंबाई ''m'' के एक पंक्ति सदिश को दर्शाता है जिसमें ''j'' वीं स्थान में 1 और प्रत्येक अन्य स्थिति में 0 है।<ref name=Bru2>Brualdi (2006) p.2</ref>
उदाहरण के लिए, क्रमपरिवर्तन मैट्रिक्स पी<sub>{{pi}}</sub> क्रमपरिवर्तन के अनुरूप <math>\pi=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 4 & 2 & 5 & 3 \end{pmatrix}</math> है
 
 
उदाहरण के लिए, क्रमपरिवर्तन मैट्रिक्स क्रमपरिवर्तन के अनुरूप <math>\pi=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 4 & 2 & 5 & 3 \end{pmatrix}</math> है
:<math>P_\pi  
:<math>P_\pi  
=  
=  
Line 63: Line 42:
\end{bmatrix}.
\end{bmatrix}.
</math>
</math>
ध्यान दें कि का jवाँ स्तंभ {{math|''I''<sub>5</sub>}} आइडेंटिटी मैट्रिक्स अब इस रूप में दिखाई देता है {{pi}}(जे)पी का वां स्तंभ<sub>{{pi}}</sub>.
ध्यान दें कि {{math|''I''<sub>5</sub>}} पहचान आव्यूह का ''j''वां स्तंभ अब ''P''<sub>{{pi}}</sub>.के  π(''j'')वें स्तंभ के रूप में प्रकट होता है।
   
   
पहचान मैट्रिक्स की पंक्तियों को अनुमति देकर प्राप्त अन्य प्रतिनिधित्व {{math|''I''<sub>''m''</sub>}}, यानी प्रत्येक j के लिए, p<sub>''ij''</sub> = 1 अगर मैं = {{pi}}(जे) और {{math|''p''<sub>''ij''</sub> {{=}} 0}} अन्यथा, पंक्ति प्रतिनिधित्व के रूप में संदर्भित किया जाएगा।
पहचान आव्यूह  {{math|''I''<sub>''m''</sub>}}, की पंक्तियों को क्रमपरिवर्तित करके प्राप्त अन्य प्रतिनिधित्व यानी प्रत्येक j के लिए, p<sub>''ij''</sub> = 1 अगर ''I<sub>m</sub>'' = {{pi}}( ''j'',) और {{math|''p''<sub>''ij''</sub> {{=}} 0}} अन्यथा, '''पंक्ति प्रतिनिधित्व''' के रूप में संदर्भित किया जाएगा।                            


== गुण ==
== गुण ==


एक क्रमचय मैट्रिक्स का स्तंभ प्रतिनिधित्व इस खंड में उपयोग किया जाता है, सिवाय इसके कि जब अन्यथा इंगित किया गया हो।
एक क्रमचय आव्यूह का स्तंभ प्रतिनिधित्व इस खंड में उपयोग किया जाता है, इसके अतिरिक्त कि जब अन्यथा इंगित किया गया हो।                        


गुणा <math>P_{\pi}</math> बार एक [[कॉलम वेक्टर]] जी वेक्टर की पंक्तियों को क्रमबद्ध करेगा:
गुणा <math>P_{\pi}</math> बार एक [[कॉलम वेक्टर|स्तंभ वेक्टर]] जी वेक्टर की पंक्तियों को क्रमबद्ध करेगा:                                        
<math display=block>P_\pi \mathbf{g}  
<math display=block>P_\pi \mathbf{g}  
=  
=  
Line 95: Line 74:
\end{bmatrix}.
\end{bmatrix}.
</math>
</math>
इस परिणाम के बार-बार प्रयोग से पता चलता है कि यदि {{mvar|M}} उचित आकार का मैट्रिक्स है, उत्पाद, <math>P_{\pi} M</math> की पंक्तियों का एक क्रमचय मात्र है {{mvar|M}}. हालाँकि, यह देखते हुए
इस परिणाम के बार-बार प्रयोग से पता चलता है कि यदि {{mvar|M}} उचित आकार का आव्यूह है, गुणनफल, <math>P_{\pi} M</math> की पंक्तियों का एक क्रमचय मात्र है {{mvar|M}}. यद्यपि, यह देखते हुए
<math display=block>P_{\pi} \mathbf{e}_k^{\mathsf T} = \mathbf{e}_{\pi^{-1} (k)}^{\mathsf T}</math>
<math display=block>P_{\pi} \mathbf{e}_k^{\mathsf T} = \mathbf{e}_{\pi^{-1} (k)}^{\mathsf T}</math>
प्रत्येक के लिए {{mvar|k}} दिखाता है कि पंक्तियों का क्रमपरिवर्तन किसके द्वारा दिया गया है {{pi}}<sup>-1</sup>. (<math>M^{\mathsf T}</math> मैट्रिक्स का [[ट्रांसपोज़ मैट्रिक्स]] है {{mvar|M}}.)
प्रत्येक के लिए {{mvar|k}} दिखाता है कि पंक्तियों का क्रमपरिवर्तन {{pi}}<sup>-1</sup> द्वारा दिया गया है(<math>M^{\mathsf T}</math> आव्यूह {{mvar|M}}. का [[ट्रांसपोज़ मैट्रिक्स|ट्रांसपोज़ आव्यूह]] है)


क्रमचय मेट्रिसेस [[ऑर्थोगोनल मैट्रिक्स]] हैं (अर्थात, <math>P_{\pi}P_{\pi}^{\mathsf T} = I</math>), उलटा मैट्रिक्स मौजूद है और इसे लिखा जा सकता है
क्रमचय आव्यूह [[ऑर्थोगोनल मैट्रिक्स|ऑर्थोगोनल आव्यूह]] हैं (अर्थात, <math>P_{\pi}P_{\pi}^{\mathsf T} = I</math>), व्युत्क्रम आव्यूह उपस्थित है और इसे इस प्रकार लिखा जा सकता है                                      
<math display=block>P_{\pi}^{-1} = P_{\pi^{-1}} = P_{\pi}^{\mathsf T}.</math>
<math display=block>P_{\pi}^{-1} = P_{\pi^{-1}} = P_{\pi}^{\mathsf T}.</math>
पंक्ति सदिश h को गुणा करना <math>P_{\pi}</math> वेक्टर के कॉलम को अनुमति देगा:
पंक्ति सदिश '''h''' को गुणा करना <math>P_{\pi}</math> वेक्टर के स्तंभ को अनुमति देगा:
<math display=block>\mathbf{h}P_\pi
<math display=block>\mathbf{h}P_\pi
=  
=  
Line 114: Line 93:
\begin{bmatrix} h_{\pi^{-1}(1)} & h_{\pi^{-1}(2)} & \cdots & h_{\pi^{-1}(n)} \end{bmatrix}
\begin{bmatrix} h_{\pi^{-1}(1)} & h_{\pi^{-1}(2)} & \cdots & h_{\pi^{-1}(n)} \end{bmatrix}
</math>
</math>
दोबारा, इस परिणाम के बार-बार आवेदन से पता चलता है कि एक मैट्रिक्स को बाद में गुणा करना {{mvar|M}} क्रमपरिवर्तन मैट्रिक्स द्वारा {{math|''P''<sub>π</sub>}}, वह है, {{math|''M P''<sub>π</sub>}}, के स्तंभों को अनुमति देने का परिणाम है {{mvar|M}}. यह भी ध्यान दें
पुनः इस परिणाम के बार-बार आवेदन से पता चलता है कि क्रमपरिवर्तन आव्यूह {{math|''P''<sub>π</sub>}}, यानी, {{math|''M P''<sub>π</sub>}}, द्वारा आव्यूह {{mvar|M}} को  गुणा करना के बाद  {{mvar|M}}. में स्तंभों को क्रमपरिवर्तित किया जाता है।  यह भी ध्यान दे<math display=block>\mathbf{e}_k P_{\pi} = \mathbf{e}_{\pi (k)}.</math>{{math|''m''}} तत्व के दो क्रमपरिवर्तन {{pi}} और {{math|σ}} को देखते हुए, संबंधित क्रमचय आव्यूह {{math|''P''<sub>π</sub>}} और {{math|''P''<sub>σ</sub>}} स्तंभ सदिशों पर क्रिया करने वाले निम्नलिखित से बने होते हैं<math display="block">P_{\sigma} P_{\pi}\, \mathbf{g}  = P_{\pi\,\circ\,\sigma}\, \mathbf{g}. </math>
<math display=block>\mathbf{e}_k P_{\pi} = \mathbf{e}_{\pi (k)}.</math>
पंक्ति सदिशों (अर्थात्, गुणन के बाद) पर कार्य करने वाले समान आव्यूह समान नियम के अनुसार रचना करते हैं
दो क्रमपरिवर्तन दिए गए हैं {{pi}} और {{math|σ}} का {{math|''m''}} तत्व, संबंधित क्रमचय आव्यूह {{math|''P''<sub>π</sub>}} और {{math|''P''<sub>σ</sub>}} स्तंभ सदिशों पर क्रिया करने वाले से बने होते हैं
<math display=block>P_{\sigma} P_{\pi}\, \mathbf{g}  = P_{\pi\,\circ\,\sigma}\, \mathbf{g}. </math>
पंक्ति सदिशों (अर्थात्, गुणन के बाद) पर कार्य करने वाले समान मैट्रिक्स समान नियम के अनुसार रचना करते हैं
<math display=block> \mathbf{h} P_{\sigma} P_{\pi}  = \mathbf{h} P_{\pi\,\circ\,\sigma}. </math>
<math display=block> \mathbf{h} P_{\sigma} P_{\pi}  = \mathbf{h} P_{\pi\,\circ\,\sigma}. </math>
स्पष्ट होने के लिए, उपरोक्त सूत्र क्रमचय रचना के लिए उपसर्ग संकेतन का उपयोग करते हैं, अर्थात,
स्पष्ट होने के लिए, उपरोक्त सूत्र क्रमचय रचना के लिए उपसर्ग संकेतन का उपयोग करते हैं, अर्थात,      
<math display=block>(\pi\,\circ\,\sigma) (k) = \pi \left(\sigma (k) \right).</math>
<math display=block>(\pi\,\circ\,\sigma) (k) = \pi \left(\sigma (k) \right).</math>
होने देना <math>Q_{\pi}</math> के अनुरूप क्रमचय मैट्रिक्स हो {{pi}} इसके पंक्ति प्रतिनिधित्व में। इस प्रतिनिधित्व के गुण तब से स्तंभ प्रतिनिधित्व के गुणों से निर्धारित किए जा सकते हैं <math>Q_{\pi} = P_{\pi}^{\mathsf T} = P_{{\pi}^{-1}}.</math> विशेष रूप से,
<math>Q_{\pi}</math> के अनुरूप क्रमचय आव्यूह होने देना {{pi}} इसके पंक्ति प्रतिनिधित्व में। इस प्रतिनिधित्व के गुण तब से स्तंभ प्रतिनिधित्व के गुणों से निर्धारित किए जा सकते हैं <math>Q_{\pi} = P_{\pi}^{\mathsf T} = P_{{\pi}^{-1}}.</math> विशेष रूप से,
<math display=block>Q_{\pi} \mathbf{e}_k^{\mathsf T} = P_{{\pi}^{-1}} \mathbf{e}_k^{\mathsf T} = \mathbf{e}_{(\pi^{-1})^{-1} (k)}^{\mathsf T} = \mathbf{e}_{\pi (k)}^{\mathsf T}.</math>
<math display=block>Q_{\pi} \mathbf{e}_k^{\mathsf T} = P_{{\pi}^{-1}} \mathbf{e}_k^{\mathsf T} = \mathbf{e}_{(\pi^{-1})^{-1} (k)}^{\mathsf T} = \mathbf{e}_{\pi (k)}^{\mathsf T}.</math>
इससे यह अनुसरण करता है
इससे यह अनुसरण करता है
  <math display=block>Q_{\sigma} Q_{\pi}\, \mathbf{g} = Q_{\sigma\,\circ\,\pi}\, \mathbf{g}.</math>
  <math display=block>Q_{\sigma} Q_{\pi}\, \mathbf{g} = Q_{\sigma\,\circ\,\pi}\, \mathbf{g}.</math>
इसी प्रकार,
इसी प्रकार,
<math display=block>\mathbf{h}\, Q_{\sigma} Q_{\pi} = \mathbf{h}\, Q_{\sigma\,\circ\,\pi}.</math>
<math display=block>\mathbf{h}\, Q_{\sigma} Q_{\pi} = \mathbf{h}\, Q_{\sigma\,\circ\,\pi}.</math>
क्रमचय मेट्रिसेस [[ऑर्थोगोनल मेट्रिसेस]] के रूप में [[विशेषता (गणित)]]गणित) हो सकते हैं जिनकी प्रविष्टियाँ सभी गैर-ऋणात्मक हैं।<ref>{{cite journal |last1=Zavlanos |first1=Michael M. |last2=Pappas |first2=George J. |date=November 2008 |title=भारित ग्राफ मिलान के लिए एक गतिशील प्रणाली दृष्टिकोण|url=https://www.sciencedirect.com/science/article/abs/pii/S0005109808002616 |journal=Automatica |volume=44 |issue=11 |pages=2817–2824 |doi=10.1016/j.automatica.2008.04.009 |s2cid=834305 |access-date=21 August 2022 |quote=In particular, since permutation matrices are orthogonal matrices with nonnegative elements, we define two gradient flows in the space of orthogonal matrices... Lemma 5: Let <math>O_n</math> denote the set of <math>n \times n</math> orthogonal matrices and <math>N_n</math> denote the set of <math>n \times n</math> element-wise non-negative matrices. Then, <math>P_n = O_n \cap N_n</math>, where <math>P_n</math> is the set of <math>n \times n</math> permutation matrices.}}</ref>
क्रमचय आव्यूह [[ऑर्थोगोनल मेट्रिसेस|ऑर्थोगोनल आव्यूह]] के रूप में [[विशेषता (गणित)]] हो सकते हैं जिनकी प्रविष्टियाँ सभी गैर-ऋणात्मक हैं।<ref>{{cite journal |last1=Zavlanos |first1=Michael M. |last2=Pappas |first2=George J. |date=November 2008 |title=भारित ग्राफ मिलान के लिए एक गतिशील प्रणाली दृष्टिकोण|url=https://www.sciencedirect.com/science/article/abs/pii/S0005109808002616 |journal=Automatica |volume=44 |issue=11 |pages=2817–2824 |doi=10.1016/j.automatica.2008.04.009 |s2cid=834305 |access-date=21 August 2022 |quote=In particular, since permutation matrices are orthogonal matrices with nonnegative elements, we define two gradient flows in the space of orthogonal matrices... Lemma 5: Let <math>O_n</math> denote the set of <math>n \times n</math> orthogonal matrices and <math>N_n</math> denote the set of <math>n \times n</math> element-wise non-negative matrices. Then, <math>P_n = O_n \cap N_n</math>, where <math>P_n</math> is the set of <math>n \times n</math> permutation matrices.}}</ref>
== आव्यूह समूह ==
यदि (1) तत्समक क्रमचय को दर्शाता है, तब {{math|''P''<sub>(1)</sub>}} पहचान आव्यूह है।


मान लीजिए कि {{math|''S<sub>n</sub>''}} {1,2,..., पर [[सममित समूह]], या [[क्रमपरिवर्तन समूह]] को दर्शाता है। चूँकि {{math|''n''}}}. क्योंकि वहां हैं {{math|''n''!}} क्रमचय हैं {{math|''n''!}} क्रमपरिवर्तन आव्यूह। उपरोक्त सूत्रों के अनुसार, {{math|''n'' × ''n''}} क्रमचय आव्यूह [[पहचान तत्व]] के रूप में पहचान आव्यूह के साथ आव्यूह गुणा के तहत एक [[समूह (गणित)]] बनाते हैं।


== मैट्रिक्स समूह ==
वो नक्शा {{math|''S''<sub>''n''</sub> &rarr;  GL(''n'', '''Z'''<sub>2</sub>)}} जो अपने स्तंभ प्रतिनिधित्व में क्रमचय भेजता है वह एक विश्वसनीय प्रतिनिधित्व है।                            
यदि (1) तत्समक क्रमचय को दर्शाता है, तब {{math|''P''<sub>(1)</sub>}} पहचान मैट्रिक्स है।
 
होने देना {{math|''S<sub>n</sub>''}} {1,2,..., पर [[सममित समूह]], या [[क्रमपरिवर्तन समूह]] को दर्शाता है।{{math|''n''}}}. क्योंकि वहां हैं {{math|''n''!}} क्रमचय हैं {{math|''n''!}} क्रमपरिवर्तन आव्यूह। उपरोक्त सूत्रों के अनुसार, {{math|''n'' × ''n''}} क्रमचय मैट्रिक्स [[पहचान तत्व]] के रूप में पहचान मैट्रिक्स के साथ मैट्रिक्स गुणा के तहत एक [[समूह (गणित)]] बनाते हैं।
 
वो नक्शा {{math|''S''<sub>''n''</sub> &rarr;  GL(''n'', '''Z'''<sub>2</sub>)}} जो अपने कॉलम प्रतिनिधित्व में क्रमचय भेजता है वह एक वफादार प्रतिनिधित्व है।
 
== दोगुना स्टोकेस्टिक मेट्रिसेस ==
 
एक क्रमपरिवर्तन मैट्रिक्स अपने आप में एक [[दोगुना स्टोकेस्टिक मैट्रिक्स]] है, लेकिन यह इन मैट्रिक्स के सिद्धांत में एक विशेष भूमिका भी निभाता है। बिरखॉफ-वॉन न्यूमैन प्रमेय का कहना है कि प्रत्येक दोगुना स्टोकेस्टिक वास्तविक मैट्रिक्स एक ही क्रम के क्रमपरिवर्तन मैट्रिसेस का [[उत्तल संयोजन]] है और क्रमपरिवर्तन मैट्रिसेस दोगुनी स्टोचैस्टिक मैट्रिक्स के सेट के [[चरम बिंदु]] हैं। यही है, [[बिरखॉफ पॉलीटॉप]], डबल स्टोकेस्टिक मैट्रिक्स का सेट, क्रमपरिवर्तन मैट्रिक्स के सेट का उत्तल पतवार है।<ref name=Bru19>Brualdi (2006) p.19</ref>


== दोगुना प्रसंभाव्य आव्यूह ==


एक क्रमपरिवर्तन आव्यूह अपने आप में एक [[दोगुना स्टोकेस्टिक मैट्रिक्स|दोगुना प्रसंभाव्य आव्यूह]] है, लेकिन यह इन आव्यूह के सिद्धांत में एक विशेष भूमिका भी निभाता है। बिरखॉफ-वॉन न्यूमैन प्रमेय का कहना है कि प्रत्येक दोगुना प्रसंभाव्य वास्तविक आव्यूह एक ही क्रम के क्रमपरिवर्तन मैट्रिसेस का [[उत्तल संयोजन]] है और क्रमपरिवर्तन मैट्रिसेस दोगुनी स्टोचैस्टिक आव्यूह के सेट के [[चरम बिंदु]] हैं। यही है, [[बिरखॉफ पॉलीटॉप]], डबल प्रसंभाव्य आव्यूह का सेट, क्रमपरिवर्तन आव्यूह के सेट का उत्तल पतवार है।<ref name=Bru19>Brualdi (2006) p.19</ref>                                     
== रैखिक बीजगणितीय गुण ==
== रैखिक बीजगणितीय गुण ==


क्रमपरिवर्तन मैट्रिक्स का [[ट्रेस (रैखिक बीजगणित)]] क्रमपरिवर्तन के [[निश्चित बिंदु (गणित)]] की संख्या है। यदि क्रमपरिवर्तन के निश्चित बिंदु हैं, तो इसे चक्र रूप में लिखा जा सकता है {{math|1=&pi; = (''a''<sub>1</sub>)(''a''<sub>2</sub>)...(''a''<sub>''k''</sub>)&sigma;}} कहाँ {{mvar|&sigma;}} का कोई निश्चित बिंदु नहीं है {{math|'''''e'''''<sub>''a''<sub>1</sub></sub>,'''''e'''''<sub>''a''<sub>2</sub></sub>,...,'''''e'''''<sub>''a''<sub>''k''</sub></sub>}} क्रमचय मैट्रिक्स के [[eigenvector]]s हैं।
क्रमपरिवर्तन आव्यूह का [[ट्रेस (रैखिक बीजगणित)]] क्रमपरिवर्तन के [[निश्चित बिंदु (गणित)]] की संख्या है। यदि क्रमपरिवर्तन के निश्चित बिंदु हैं, तो इसे चक्र रूप में लिखा जा सकता है {{math|1=&pi; = (''a''<sub>1</sub>)(''a''<sub>2</sub>)...(''a''<sub>''k''</sub>)&sigma;}} जहां {{mvar|&sigma;}} का कोई निश्चित बिंदु नहीं है {{math|'''''e'''''<sub>''a''<sub>1</sub></sub>,'''''e'''''<sub>''a''<sub>2</sub></sub>,...,'''''e'''''<sub>''a''<sub>''k''</sub></sub>}} क्रमचय आव्यूह के [[इगनवेक्टर]] हैं।


एक क्रमचय मैट्रिक्स के [[eigenvalue]]s ​​​​की गणना करने के लिए <math>P_{\sigma}</math>, लिखना <math>\sigma</math> चक्रीय क्रमचय के उत्पाद के रूप में, कहते हैं, <math>\sigma= C_{1}C_{2} \cdots C_{t}</math>. माना कि इन चक्रों की संगत लंबाइयाँ हैं <math>l_{1},l_{2}...l_{t}</math>, और जाने <math>R_{i}  (1 \le i \le t)</math> के जटिल समाधानों का समुच्चय हो <math>x^{l_{i}}=1</math>. सबका मिलन <math>R_{i}</math>s संबंधित क्रमचय मैट्रिक्स के eigenvalues ​​​​का सेट है। प्रत्येक eigenvalue की [[ज्यामितीय बहुलता]] की संख्या के बराबर होती है <math>R_{i}</math>इसमें यह शामिल है।<ref name=J_Najnudel2010_4> नजनुदेल, ए नीकेघबली 2010 पृष्ठ.4</ref>
एक क्रमचय आव्यूह के [[eigenvalue|इगनवेल्यूज़]] ​​​​की गणना करने के लिए <math>P_{\sigma}</math>, लिखना <math>\sigma</math> चक्रीय क्रमचय के गुणनफल के रूप में, कहते हैं, <math>\sigma= C_{1}C_{2} \cdots C_{t}</math>. माना कि इन चक्रों की संगत लंबाइयाँ हैं <math>l_{1},l_{2}...l_{t}</math>, और जाने <math>R_{i}  (1 \le i \le t)</math> के जटिल समाधानों का समुच्चय हो <math>x^{l_{i}}=1</math>. सबका मिलन <math>R_{i}</math>s संबंधित क्रमचय आव्यूह के इगनवेल्यूज़ ​​​​का सेट है। प्रत्येक इगनवेल्यूज़ की [[ज्यामितीय बहुलता]] की संख्या के बराबर होती है <math>R_{i}</math>इसमें यह सम्मिलित है।<ref name=J_Najnudel2010_4> नजनुदेल, ए नीकेघबली 2010 पृष्ठ.4</ref>


[[समूह सिद्धांत]] से हम जानते हैं कि किसी भी क्रमचय को [[स्थानान्तरण (गणित)]] के गुणनफल के रूप में लिखा जा सकता है। इसलिए, कोई भी क्रमपरिवर्तन मैट्रिक्स {{math|''P''}} पंक्ति-विनिमेय [[प्राथमिक मैट्रिक्स]] के उत्पाद के रूप में कारक, प्रत्येक में निर्धारक -1 है। इस प्रकार, एक क्रमपरिवर्तन मैट्रिक्स का निर्धारक {{math|''P''}} संबंधित क्रमचय के क्रमपरिवर्तन का हस्ताक्षर है।
[[समूह सिद्धांत]] से हम जानते हैं कि किसी भी क्रमचय को [[स्थानान्तरण (गणित)]] के गुणनफल के रूप में लिखा जा सकता है। इसलिए, कोई भी क्रमपरिवर्तन आव्यूह {{math|''P''}} पंक्ति-विनिमेय [[प्राथमिक मैट्रिक्स|प्राथमिक आव्यूह]] के गुणनफल के रूप में कारक, प्रत्येक में निर्धारक -1 है। इस प्रकार, एक क्रमपरिवर्तन आव्यूह का निर्धारक {{math|''P''}} संबंधित क्रमचय के क्रमपरिवर्तन का संकेत है।


== उदाहरण ==
== उदाहरण ==


=== पंक्तियों और स्तंभों का क्रमपरिवर्तन ===
=== पंक्तियों और स्तंभों का क्रमपरिवर्तन ===
जब एक मैट्रिक्स M को पीएम बनाने के लिए बाईं ओर एक क्रमचय मैट्रिक्स P से गुणा किया जाता है, तो उत्पाद M की पंक्तियों को क्रमबद्ध करने का परिणाम होता है। एक विशेष मामले के रूप में, यदि M एक कॉलम वेक्टर है, तो PM क्रमपरिवर्तन का परिणाम है एम की प्रविष्टियाँ:
जब एक आव्यूह M को पीएम बनाने के लिए बाईं ओर एक क्रमचय आव्यूह P से गुणा किया जाता है, तो गुणनफल M की पंक्तियों को क्रमबद्ध करने का परिणाम होता है। विशेष स्थिति के रूप में, यदि M एक स्तंभ वेक्टर है, तो PM की प्रविष्टियों को क्रमपरिवर्तित करने का परिणाम है  
   {|style="text-align: center; width: 100%;"
   {|style="text-align: center; width: 100%;"
|[[File:Permutation matrix; P * column.svg|thumb|center|180px|''P'' · (1, 2, 3, 4)<sup>T</sup> = (4, 1, 3, 2)<sup>T</sup>]]
|[[File:Permutation matrix; P * column.svg|thumb|center|180px|''P'' · (1, 2, 3, 4)<sup>T</sup> = (4, 1, 3, 2)<sup>T</sup>]]
|}
|}
इसके बजाय जब एम को एमपी बनाने के अधिकार पर क्रमपरिवर्तन मैट्रिक्स से गुणा किया जाता है, तो उत्पाद एम के कॉलम को अनुमति देने का परिणाम होता है। एक विशेष मामले के रूप में, यदि एम एक पंक्ति वेक्टर है, तो एमपी की प्रविष्टियों को अनुमति देने का परिणाम है एम:
इसके के स्थान पर जब M को ''MP'' बनाने के अधिकार पर क्रमपरिवर्तन आव्यूह से गुणा किया जाता है, तो गुणनफल ''M'' के स्तंभ को अनुमति देने का परिणाम होता है। एक विशेष स्थिति के रूप में, यदि एम एक पंक्ति वेक्टर है, तो एमपी की प्रविष्टियों को अनुमति देने का परिणाम है M:
{|style="text-align: center; width: 100%;"
{|style="text-align: center; width: 100%;"
|[[File:Permutation matrix; row * P.svg|thumb|center|257px|(1, 2, 3, 4) · ''P'' = (2, 4, 3, 1)]]
|[[File:Permutation matrix; row * P.svg|thumb|center|257px|(1, 2, 3, 4) · ''P'' = (2, 4, 3, 1)]]
Line 165: Line 137:


=== पंक्तियों का क्रमपरिवर्तन ===
=== पंक्तियों का क्रमपरिवर्तन ===
क्रमपरिवर्तन मैट्रिक्स पी<sub>π</sub> क्रमपरिवर्तन के अनुरूप <math>\pi=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 4 & 2 & 5 & 3 \end{pmatrix}</math> है
क्रमपरिवर्तन आव्यूह ''P''<sub>π</sub> क्रमपरिवर्तन के अनुरूप <math>\pi=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 4 & 2 & 5 & 3 \end{pmatrix}</math> है
:<math>P_\pi  
:<math>P_\pi  
=  
=  
Line 219: Line 191:
\end{bmatrix}.
\end{bmatrix}.
</math>
</math>
== स्पष्टीकरण ==
== स्पष्टीकरण ==
एक क्रमपरिवर्तन मैट्रिक्स हमेशा रूप में रहेगा
एक क्रमपरिवर्तन आव्यूह हमेशा रूप में रहेगा
:<math>\begin{bmatrix}
:<math>\begin{bmatrix}
\mathbf{e}_{a_1} \\
\mathbf{e}_{a_1} \\
Line 229: Line 199:
\mathbf{e}_{a_j} \\
\mathbf{e}_{a_j} \\
\end{bmatrix}</math>
\end{bmatrix}</math>
जहां <sub>''a''<sub>''i''</sub></sub> 'R' के लिए iवें आधार वेक्टर (एक पंक्ति के रूप में) का प्रतिनिधित्व करता है<sup>j</sup>, और कहाँ
जहां '''e'''<sub>''ai''</sub> ''''R'''<sup>''j''</sup>' के लिए iवें आधार वेक्टर (एक पंक्ति के रूप में) का प्रतिनिधित्व करता है<sup>j</sup>, और जहां                             
:<math>\begin{bmatrix}  
:<math>\begin{bmatrix}  
1  & 2  & \ldots & j \\
1  & 2  & \ldots & j \\
a_1 & a_2 & \ldots & a_j\end{bmatrix}</math>
a_1 & a_2 & \ldots & a_j\end{bmatrix}</math>
क्रमपरिवर्तन मैट्रिक्स का क्रमचय रूप है।
क्रमपरिवर्तन आव्यूह का क्रमचय रूप है।
 
अब, [[मैट्रिक्स गुणन|आव्यूह गुणन]] करने में, अनिवार्य रूप से दूसरे के प्रत्येक स्तंभ के साथ पहली आव्यूह की प्रत्येक पंक्ति का [[डॉट उत्पाद|डॉट गुणनफल]] बनता है। इस उदाहरण में, हम इस आव्यूह की प्रत्येक पंक्ति के डॉट गुणनफल को उन तत्वों के वेक्टर के साथ बनाएंगे जिन्हें हम क्रमपरिवर्तित करना चाहते हैं। यानी, उदाहरण के लिए, '''v''' = (''g''<sub>0</sub>,...,''g''<sub>5</sub>)<sup>T,</sup>
:'''e'''<sub>''ai''</sub>·'''v''' = ''g<sub>ai</sub>''


अब, [[मैट्रिक्स गुणन]] करने में, अनिवार्य रूप से दूसरे के प्रत्येक कॉलम के साथ पहली मैट्रिक्स की प्रत्येक पंक्ति का [[डॉट उत्पाद]] बनता है। इस उदाहरण में, हम इस मैट्रिक्स की प्रत्येक पंक्ति के डॉट उत्पाद को उन तत्वों के वेक्टर के साथ बनाएंगे जिन्हें हम परमिट करना चाहते हैं। यानी, उदाहरण के लिए, v = (''g''<sub>0</sub>,...,जी<sub>5</sub>)<sup>टी</सुप>,
तो, ऊपर दिए गए वेक्टर v के साथ क्रमचय आव्यूह का गुणनफल, (''g<sub>a</sub>''<sub>1</sub>, ''g<sub>a</sub>''<sub>2</sub>, ..., ''g<sub>aj</sub>'') के रूप में एक वेक्टर होगा
:इ<sub>''a''<sub>''i''</sub></sub>·में = उह<sub>''a''<sub>''i''</sub></उप>


तो, ऊपर दिए गए वेक्टर v के साथ क्रमचय मैट्रिक्स का गुणनफल, (''g'') के रूप में एक वेक्टर होगा
<sub>और यह तब v का क्रमपरिवर्तन है क्योंकि हमने कहा है कि क्रमचय रूप है
उप>ए<sub>1</sub></ उप>, जी<sub>''a''<sub>2</sub></ उप>, ..., जी<sub>''a''<sub>''j''</sub></sub>), और यह तब v का क्रमपरिवर्तन है क्योंकि हमने कहा है कि क्रमचय रूप है
:<math>\begin{pmatrix}  
:<math>\begin{pmatrix}  
1  & 2  & \ldots & j \\
1  & 2  & \ldots & j \\
a_1 & a_2 & \ldots & a_j\end{pmatrix}.</math>
a_1 & a_2 & \ldots & a_j\end{pmatrix}.</math>
तो, क्रमचय मैट्रिक्स वास्तव में उनके साथ गुणा किए गए वैक्टरों में तत्वों के क्रम को क्रमबद्ध करते हैं।
तो, क्रमचय आव्यूह वास्तव में उनके साथ गुणा किए गए वैक्टरों में तत्वों के क्रम को क्रमबद्ध करते हैं।                                        


== प्रतिबंधित रूप ==
== प्रतिबंधित रूप ==


* [[कोस्टास सरणी]], एक क्रमचय मैट्रिक्स जिसमें प्रविष्टियों के बीच विस्थापन वैक्टर सभी अलग हैं
* [[कोस्टास सरणी]], एक क्रमचय आव्यूह जिसमें प्रविष्टियों के बीच विस्थापन वैक्टर सभी अलग-अलग होते हैंl
* आठ रानी पहेली|एन-रानी पहेली, एक क्रमपरिवर्तन मैट्रिक्स जिसमें प्रत्येक विकर्ण और प्रतिविकर्ण में अधिकतम एक प्रविष्टि होती है
* n-क्वींस पहेली, एक क्रमपरिवर्तन आव्यूह जिसमें प्रत्येक विकर्ण और प्रतिविकर्ण में अधिकतम एक प्रविष्टि होती हैl


== यह भी देखें ==
== यह भी देखें ==
* [[वैकल्पिक साइन मैट्रिक्स]]
* [[वैकल्पिक साइन मैट्रिक्स|वैकल्पिक साइन आव्यूह]]
* [[एक्सचेंज मैट्रिक्स]]
* [[एक्सचेंज मैट्रिक्स|एक्सचेंज आव्यूह]]
* [[सामान्यीकृत क्रमपरिवर्तन मैट्रिक्स]]
* [[सामान्यीकृत क्रमपरिवर्तन मैट्रिक्स|सामान्यीकृत क्रमपरिवर्तन आव्यूह]]
* [[रूक बहुपद]]
* [[रूक बहुपद]]
* [[स्थायी (गणित)]]
* [[स्थायी (गणित)]]
Line 270: Line 241:
}}
}}


{{Matrix classes}}
{{Authority control}}
[[Category: मैट्रिसेस]] [[Category: क्रमपरिवर्तन]] [[Category: विरल मेट्रिसेस]]
[[Category: Machine Translated Page]]
[[Category:Created On 01/06/2023]]
[[Category:Created On 01/06/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:क्रमपरिवर्तन]]
[[Category:मैट्रिसेस]]
[[Category:विरल मेट्रिसेस]]

Latest revision as of 11:59, 14 July 2023

गणित में, विशेष रूप से आव्यूह (गणित) सिद्धांत में, क्रमपरिवर्तन आव्यूह एक वर्ग बाइनरी आव्यूह होता है जिसमें प्रत्येक पंक्ति और प्रत्येक स्तंभ में 1 की एक प्रविष्टि होती है और अन्यत्र 0s होता है ऐसा प्रत्येक आव्यूह, मान लीजिए P, m तत्वों के क्रमपरिवर्तन का प्रतिनिधित्व करता है और, जब किसी अन्य आव्यूह को गुणा करने के लिए उपयोग किया जाता है, मान लीजिए A, की पंक्तियों को क्रमपरिवर्तित करने के परिणामस्वरूप (PAबनाने के लिए पूर्व-गुणा करते समय) या स्तंभ (गुणा करने के बाद, AP बनाने के लिए) आव्यूह A होता है।

परिभाषा

m तत्वों के क्रमपरिवर्तन π को देखते हुए,

दो-पंक्ति रूप द्वारा दर्शाया गया है

क्रमचय को क्रमपरिवर्तन आव्यूह के साथ संबद्ध के दो प्राकृतिक तरीके हैं; अर्थात्, m × m तत्समक आव्यूह से प्रारंभ करते हुए, Im, के अनुसार या तो स्तंभों को क्रमबद्ध करता है या π. के अनुसार पंक्तियों को अनुबद्ध करता है। क्रमचय आव्यूहों को परिभाषित करने की दोनों विधियाँ साहित्य में दिखाई देती हैं और एक निरूपण में अभिव्यक्त गुणों को आसानी से दूसरे निरूपण में परिवर्तित किया जा सकता है। यह लेख मुख्य रूप से इनमें से केवल एक अभ्यावेदन से निपटेगा और दूसरे का उल्लेख केवल तभी किया जाएगा जब जागरूक होने के लिए कोई अंतर हो।

m × m क्रमपरिवर्तन आव्यूह Pπ = (pij) पहचान आव्यूह Im, के स्तंभों को अनुमति देकर प्राप्त किया जाता है, अर्थात, प्रत्येक i के लिए, pij = 1 if j = π(i) और pij = 0 अन्यथा, इस आलेख में स्तंभ प्रतिनिधित्व के रूप में संदर्भित किया जाएगा।[1] चूंकि पंक्ति i में सभी प्रविष्टियां 0 हैं, इसके अतिरिक्त कि स्तंभ π(i) में 1 दिखाई देता है हम लिख सकते हैं

जहां , मानक आधार सदिश, लंबाई m के एक पंक्ति सदिश को दर्शाता है जिसमें j वीं स्थान में 1 और प्रत्येक अन्य स्थिति में 0 है।[2]  

उदाहरण के लिए, क्रमपरिवर्तन मैट्रिक्स Pπ क्रमपरिवर्तन के अनुरूप है

ध्यान दें कि I5 पहचान आव्यूह का jवां स्तंभ अब Pπ.के π(j)वें स्तंभ के रूप में प्रकट होता है।

पहचान आव्यूह Im, की पंक्तियों को क्रमपरिवर्तित करके प्राप्त अन्य प्रतिनिधित्व यानी प्रत्येक j के लिए, pij = 1 अगर Im = π( j,) और pij = 0 अन्यथा, पंक्ति प्रतिनिधित्व के रूप में संदर्भित किया जाएगा।

गुण

एक क्रमचय आव्यूह का स्तंभ प्रतिनिधित्व इस खंड में उपयोग किया जाता है, इसके अतिरिक्त कि जब अन्यथा इंगित किया गया हो।

गुणा बार एक स्तंभ वेक्टर जी वेक्टर की पंक्तियों को क्रमबद्ध करेगा:

इस परिणाम के बार-बार प्रयोग से पता चलता है कि यदि M उचित आकार का आव्यूह है, गुणनफल, की पंक्तियों का एक क्रमचय मात्र है M. यद्यपि, यह देखते हुए
प्रत्येक के लिए k दिखाता है कि पंक्तियों का क्रमपरिवर्तन π-1 द्वारा दिया गया है( आव्यूह M. का ट्रांसपोज़ आव्यूह है)

क्रमचय आव्यूह ऑर्थोगोनल आव्यूह हैं (अर्थात, ), व्युत्क्रम आव्यूह उपस्थित है और इसे इस प्रकार लिखा जा सकता है

पंक्ति सदिश h को गुणा करना वेक्टर के स्तंभ को अनुमति देगा:
पुनः इस परिणाम के बार-बार आवेदन से पता चलता है कि क्रमपरिवर्तन आव्यूह Pπ, यानी, M Pπ, द्वारा आव्यूह M को गुणा करना के बाद M. में स्तंभों को क्रमपरिवर्तित किया जाता है। यह भी ध्यान दे
m तत्व के दो क्रमपरिवर्तन π और σ को देखते हुए, संबंधित क्रमचय आव्यूह Pπ और Pσ स्तंभ सदिशों पर क्रिया करने वाले निम्नलिखित से बने होते हैं
पंक्ति सदिशों (अर्थात्, गुणन के बाद) पर कार्य करने वाले समान आव्यूह समान नियम के अनुसार रचना करते हैं
स्पष्ट होने के लिए, उपरोक्त सूत्र क्रमचय रचना के लिए उपसर्ग संकेतन का उपयोग करते हैं, अर्थात,
के अनुरूप क्रमचय आव्यूह होने देना π इसके पंक्ति प्रतिनिधित्व में। इस प्रतिनिधित्व के गुण तब से स्तंभ प्रतिनिधित्व के गुणों से निर्धारित किए जा सकते हैं विशेष रूप से,
इससे यह अनुसरण करता है

इसी प्रकार,

क्रमचय आव्यूह ऑर्थोगोनल आव्यूह के रूप में विशेषता (गणित) हो सकते हैं जिनकी प्रविष्टियाँ सभी गैर-ऋणात्मक हैं।[3]

आव्यूह समूह

यदि (1) तत्समक क्रमचय को दर्शाता है, तब P(1) पहचान आव्यूह है।

मान लीजिए कि Sn {1,2,..., पर सममित समूह, या क्रमपरिवर्तन समूह को दर्शाता है। चूँकि n}. क्योंकि वहां हैं n! क्रमचय हैं n! क्रमपरिवर्तन आव्यूह। उपरोक्त सूत्रों के अनुसार, n × n क्रमचय आव्यूह पहचान तत्व के रूप में पहचान आव्यूह के साथ आव्यूह गुणा के तहत एक समूह (गणित) बनाते हैं।

वो नक्शा Sn → GL(n, Z2) जो अपने स्तंभ प्रतिनिधित्व में क्रमचय भेजता है वह एक विश्वसनीय प्रतिनिधित्व है।

दोगुना प्रसंभाव्य आव्यूह

एक क्रमपरिवर्तन आव्यूह अपने आप में एक दोगुना प्रसंभाव्य आव्यूह है, लेकिन यह इन आव्यूह के सिद्धांत में एक विशेष भूमिका भी निभाता है। बिरखॉफ-वॉन न्यूमैन प्रमेय का कहना है कि प्रत्येक दोगुना प्रसंभाव्य वास्तविक आव्यूह एक ही क्रम के क्रमपरिवर्तन मैट्रिसेस का उत्तल संयोजन है और क्रमपरिवर्तन मैट्रिसेस दोगुनी स्टोचैस्टिक आव्यूह के सेट के चरम बिंदु हैं। यही है, बिरखॉफ पॉलीटॉप, डबल प्रसंभाव्य आव्यूह का सेट, क्रमपरिवर्तन आव्यूह के सेट का उत्तल पतवार है।[4]

रैखिक बीजगणितीय गुण

क्रमपरिवर्तन आव्यूह का ट्रेस (रैखिक बीजगणित) क्रमपरिवर्तन के निश्चित बिंदु (गणित) की संख्या है। यदि क्रमपरिवर्तन के निश्चित बिंदु हैं, तो इसे चक्र रूप में लिखा जा सकता है π = (a1)(a2)...(ak जहां σ का कोई निश्चित बिंदु नहीं है ea1,ea2,...,eak क्रमचय आव्यूह के इगनवेक्टर हैं।

एक क्रमचय आव्यूह के इगनवेल्यूज़ ​​​​की गणना करने के लिए , लिखना चक्रीय क्रमचय के गुणनफल के रूप में, कहते हैं, . माना कि इन चक्रों की संगत लंबाइयाँ हैं , और जाने के जटिल समाधानों का समुच्चय हो . सबका मिलन s संबंधित क्रमचय आव्यूह के इगनवेल्यूज़ ​​​​का सेट है। प्रत्येक इगनवेल्यूज़ की ज्यामितीय बहुलता की संख्या के बराबर होती है इसमें यह सम्मिलित है।[5]

समूह सिद्धांत से हम जानते हैं कि किसी भी क्रमचय को स्थानान्तरण (गणित) के गुणनफल के रूप में लिखा जा सकता है। इसलिए, कोई भी क्रमपरिवर्तन आव्यूह P पंक्ति-विनिमेय प्राथमिक आव्यूह के गुणनफल के रूप में कारक, प्रत्येक में निर्धारक -1 है। इस प्रकार, एक क्रमपरिवर्तन आव्यूह का निर्धारक P संबंधित क्रमचय के क्रमपरिवर्तन का संकेत है।

उदाहरण

पंक्तियों और स्तंभों का क्रमपरिवर्तन

जब एक आव्यूह M को पीएम बनाने के लिए बाईं ओर एक क्रमचय आव्यूह P से गुणा किया जाता है, तो गुणनफल M की पंक्तियों को क्रमबद्ध करने का परिणाम होता है। विशेष स्थिति के रूप में, यदि M एक स्तंभ वेक्टर है, तो PM की प्रविष्टियों को क्रमपरिवर्तित करने का परिणाम है

P · (1, 2, 3, 4)T = (4, 1, 3, 2)T

इसके के स्थान पर जब M को MP बनाने के अधिकार पर क्रमपरिवर्तन आव्यूह से गुणा किया जाता है, तो गुणनफल M के स्तंभ को अनुमति देने का परिणाम होता है। एक विशेष स्थिति के रूप में, यदि एम एक पंक्ति वेक्टर है, तो एमपी की प्रविष्टियों को अनुमति देने का परिणाम है M:

(1, 2, 3, 4) · P = (2, 4, 3, 1)


पंक्तियों का क्रमपरिवर्तन

क्रमपरिवर्तन आव्यूह Pπ क्रमपरिवर्तन के अनुरूप है

सदिश g दिया है,

स्पष्टीकरण

एक क्रमपरिवर्तन आव्यूह हमेशा रूप में रहेगा

जहां eai 'Rj' के लिए iवें आधार वेक्टर (एक पंक्ति के रूप में) का प्रतिनिधित्व करता हैj, और जहां

क्रमपरिवर्तन आव्यूह का क्रमचय रूप है।

अब, आव्यूह गुणन करने में, अनिवार्य रूप से दूसरे के प्रत्येक स्तंभ के साथ पहली आव्यूह की प्रत्येक पंक्ति का डॉट गुणनफल बनता है। इस उदाहरण में, हम इस आव्यूह की प्रत्येक पंक्ति के डॉट गुणनफल को उन तत्वों के वेक्टर के साथ बनाएंगे जिन्हें हम क्रमपरिवर्तित करना चाहते हैं। यानी, उदाहरण के लिए, v = (g0,...,g5)T,

eai·v = gai

तो, ऊपर दिए गए वेक्टर v के साथ क्रमचय आव्यूह का गुणनफल, (ga1, ga2, ..., gaj) के रूप में एक वेक्टर होगा

और यह तब v का क्रमपरिवर्तन है क्योंकि हमने कहा है कि क्रमचय रूप है

तो, क्रमचय आव्यूह वास्तव में उनके साथ गुणा किए गए वैक्टरों में तत्वों के क्रम को क्रमबद्ध करते हैं।

प्रतिबंधित रूप

  • कोस्टास सरणी, एक क्रमचय आव्यूह जिसमें प्रविष्टियों के बीच विस्थापन वैक्टर सभी अलग-अलग होते हैंl
  • n-क्वींस पहेली, एक क्रमपरिवर्तन आव्यूह जिसमें प्रत्येक विकर्ण और प्रतिविकर्ण में अधिकतम एक प्रविष्टि होती हैl

यह भी देखें

संदर्भ

  1. Terminology is not standard. Most authors choose one representation to be consistent with other notation they have introduced, so there is generally no need to supply a name.
  2. Brualdi (2006) p.2
  3. Zavlanos, Michael M.; Pappas, George J. (November 2008). "भारित ग्राफ मिलान के लिए एक गतिशील प्रणाली दृष्टिकोण". Automatica. 44 (11): 2817–2824. doi:10.1016/j.automatica.2008.04.009. S2CID 834305. Retrieved 21 August 2022. In particular, since permutation matrices are orthogonal matrices with nonnegative elements, we define two gradient flows in the space of orthogonal matrices... Lemma 5: Let denote the set of orthogonal matrices and denote the set of element-wise non-negative matrices. Then, , where is the set of permutation matrices.
  4. Brualdi (2006) p.19
  5. नजनुदेल, ए नीकेघबली 2010 पृष्ठ.4