रैंक (रैखिक बीजगणित): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Dimension of the column space of a matrix}} | {{Short description|Dimension of the column space of a matrix}} | ||
रैखिक बीजगणित में, मैट्रिक्स {{mvar|A}} का रैंक इसके स्तंभों द्वारा उत्पन्न (या [[रैखिक अवधि]]) सदिश स्थान का आयाम ([[सदिश स्थल]]) है।<ref>{{Harvard citation text|Axler|2015}} pp. 111-112, §§ 3.115, 3.119</ref><ref name=":0">{{Harvard citation text|Roman|2005}} p. 48, § 1.16</ref><ref>Bourbaki, ''Algebra'', ch. II, §10.12, p. 359</ref> यह {{mvar|A}} के [[रैखिक रूप से स्वतंत्र]] स्तंभों की अधिकतम संख्या से मेल खाता है। यह बदले में, इसकी पंक्तियों द्वारा फैले वेक्टर स्थान के आयाम के समान है।<ref name="mackiw">{{Citation| last=Mackiw| first=G. | title=A Note on the Equality of the Column and Row Rank of a Matrix | year=1995| journal=[[Mathematics Magazine]] | volume=68| issue=4 | pages=285–286 | doi=10.1080/0025570X.1995.11996337 }}</ref> सामान्यतः रैंक इस प्रकार {{mvar|A}} द्वारा एन्कोड किए गए [[रैखिक समीकरणों की प्रणाली]] के [[पतित रूप]] का उपाय है और | रैखिक बीजगणित में, मैट्रिक्स {{mvar|A}} का रैंक इसके स्तंभों द्वारा उत्पन्न (या [[रैखिक अवधि]]) सदिश स्थान का आयाम ([[सदिश स्थल]]) है।<ref>{{Harvard citation text|Axler|2015}} pp. 111-112, §§ 3.115, 3.119</ref><ref name=":0">{{Harvard citation text|Roman|2005}} p. 48, § 1.16</ref><ref>Bourbaki, ''Algebra'', ch. II, §10.12, p. 359</ref> यह {{mvar|A}} के [[रैखिक रूप से स्वतंत्र]] स्तंभों की अधिकतम संख्या से मेल खाता है। यह बदले में, इसकी पंक्तियों द्वारा फैले वेक्टर स्थान के आयाम के समान है।<ref name="mackiw">{{Citation| last=Mackiw| first=G. | title=A Note on the Equality of the Column and Row Rank of a Matrix | year=1995| journal=[[Mathematics Magazine]] | volume=68| issue=4 | pages=285–286 | doi=10.1080/0025570X.1995.11996337 }}</ref> सामान्यतः रैंक इस प्रकार {{mvar|A}} द्वारा एन्कोड किए गए [[रैखिक समीकरणों की प्रणाली]] के [[पतित रूप]] का उपाय है और रैंक की कई समकक्ष परिभाषाएँ हैं। मैट्रिक्स का रैंक इसकी सबसे मूलभूत विशेषताओं में से है। | ||
सामान्यतः रैंक को {{math|rank(''A'')}} या {{math|rk(''A'')}} द्वारा निरूपित किया जाता है।<ref name=":0" />कभी-कभी कोष्ठक नहीं लिखे जाते हैं, जैसे कि {{math|rank ''A''}} में है।<ref group="lower-roman">Alternative notation includes <math>\rho (\Phi)</math> from {{Harvard citation text|Katznelson|Katznelson|2008|p=52, §2.5.1}} and {{Harvard citation text|Halmos|1974|p=90, § 50}}.</ref> | |||
== मुख्य परिभाषाएँ == | == मुख्य परिभाषाएँ == | ||
इस भाग में, हम आव्यूह की कोटि की कुछ परिभाषाएँ देते हैं। कई परिभाषाएँ संभव हैं | इस भाग में, हम आव्यूह की कोटि की कुछ परिभाषाएँ देते हैं। चूँकि कई परिभाषाएँ संभव हैं अतः इनमें से कई के लिए वैकल्पिक परिभाषाएं देख सकते है। | ||
का स्तंभ रैंक {{mvar|A}} के [[स्तंभ स्थान]] का [[आयाम (रैखिक बीजगणित)]] | {{mvar|A}} का स्तंभ रैंक {{mvar|A}} के [[स्तंभ स्थान]] का [[आयाम (रैखिक बीजगणित)]] है। चूँकि {{mvar|A}} की पंक्ति रैंक {{mvar|A}} की [[पंक्ति स्थान]] का आयाम है। | ||
रैखिक बीजगणित में मौलिक परिणाम यह है कि स्तंभ रैंक और पंक्ति रैंक हमेशा | रैखिक बीजगणित में मौलिक परिणाम यह है कि स्तंभ रैंक और पंक्ति रैंक हमेशा समांतर होते है। (इस परिणाम के तीन प्रमाण और प्रमाणों में दिए गए हैं कि {{slink||2=Proofs that column rank = row rank}}, नीचे।) यह संख्या (अर्थात, रैखिक रूप से स्वतंत्र पंक्तियों या स्तंभों की संख्या) को केवल {{mvar|A}} रैंक कहा जाता है। | ||
मैट्रिक्स को पूर्ण रैंक कहा जाता | अधिकांशतः मैट्रिक्स को पूर्ण रैंक कहा जाता है। यदि इसकी रैंक समान आयामों के मैट्रिक्स के लिए सबसे बड़ा संभव है। जो कि पंक्तियों और स्तंभों की संख्या से कम है। मैट्रिक्स को रैंक-कमी कहा जाता है। यदि इसमें पूर्ण रैंक नहीं है। तब मैट्रिक्स की रैंक की कमी पंक्तियों और स्तंभों की संख्या और रैंक के मध्य का अंतर है। | ||
रेखीय मानचित्र या ऑपरेटर का पद <math>\Phi</math> इसकी [[छवि (गणित)]] के आयाम के रूप में परिभाषित किया गया | रेखीय मानचित्र या ऑपरेटर का पद <math>\Phi</math> को इसकी [[छवि (गणित)]] के आयाम के रूप में परिभाषित किया गया है।<ref>{{Harvard citation text|Hefferon|2020}} p. 200, ch. 3, Definition 2.1</ref><ref>{{Harvard citation text|Katznelson|Katznelson|2008}} p. 52, § 2.5.1</ref><ref>{{Harvard citation text|Valenza|1993}} p. 71, § 4.3</ref><ref>{{Harvard citation text|Halmos|1974}} p. 90, § 50</ref><math display="block">\operatorname{rank} (\Phi) := \dim (\operatorname{img} (\Phi))</math>जहाँ <math>\dim</math> सदिश स्थान का आयाम है और <math>\operatorname{img}</math> मानचित्र की छवि है। | ||
== उदाहरण == | == उदाहरण == | ||
गणित का सवाल | गणित का सवाल | ||
<math display="block">\begin{bmatrix}1&0&1\\-2&-3&1\\3&3&0\end{bmatrix}</math> | <math display="block">\begin{bmatrix}1&0&1\\-2&-3&1\\3&3&0\end{bmatrix}</math> | ||
रैंक 2 है | रैंक 2 है, प्रथम दो स्तंभ [[रैखिक निर्भरता|रैखिक रूप से स्वतंत्र]] हैं। चूंकि रैंक कम से कम 2 है। किन्तु तीसरा प्रथम दो का रैखिक संयोजन है। (प्रथम स्तंभ माइनस दूसरा), तीन स्तंभ रैखिक रूप से निर्भर हैं। अतः रैंक 3 से कम होना चाहिए। | ||
गणित का सवाल | गणित का सवाल | ||
<math display="block">A=\begin{bmatrix}1&1&0&2\\-1&-1&0&-2\end{bmatrix}</math> | <math display="block">A=\begin{bmatrix}1&1&0&2\\-1&-1&0&-2\end{bmatrix}</math> | ||
रैंक 1 है | रैंक 1 है, यह गैर-शून्य स्तंभ हैं। अतः रैंक सकारात्मक है। किन्तु स्तंभ की कोई भी जोड़ी रैखिक रूप से निर्भर है। इसी प्रकार, स्थानांतरण | ||
<math display="block">A^{\mathrm T} = \begin{bmatrix}1&-1\\1&-1\\0&0\\2&-2\end{bmatrix}</math> | <math display="block">A^{\mathrm T} = \begin{bmatrix}1&-1\\1&-1\\0&0\\2&-2\end{bmatrix}</math> | ||
{{mvar|A}} की रैंक 1 है। चूंकि {{mvar|A}} स्तंभ सदिश {{mvar|A}} के स्थानांतरण के पंक्ति सदिश हैं। यह कथन कि मैट्रिक्स का स्तंभ रैंक उसकी पंक्ति रैंक के समांतर है। यह इस कथन के समांतर है कि मैट्रिक्स का रैंक उसके स्थानान्तरण के रैंक के समांतर है, अर्थात, {{math|1=rank(''A'') = rank(''A''<sup>T</sup>)}} होता है। | |||
== मैट्रिक्स के रैंक की गणना == | == मैट्रिक्स के रैंक की गणना == | ||
Line 32: | Line 30: | ||
=== पंक्ति सोपानक रूपों से रैंक === | === पंक्ति सोपानक रूपों से रैंक === | ||
{{main|Gaussian elimination}} | {{main|Gaussian elimination}} | ||
मैट्रिक्स के रैंक को खोजने के लिए सामान्य दृष्टिकोण [[प्राथमिक पंक्ति संचालन]] द्वारा इसे सरल रूप में | मैट्रिक्स के रैंक को खोजने के लिए सामान्य दृष्टिकोण [[प्राथमिक पंक्ति संचालन]] द्वारा इसे सरल रूप में, सामान्यतः पंक्ति सोपानक रूप कम करना है। चूँकि पंक्ति ऑपरेशंस, पंक्ति स्थान को परिवर्तित नहीं करते हैं। (अतः पंक्ति रैंक को नहीं बदलते हैं) और इन्वर्टिबल होने के कारण, स्तंभ स्थान को आइसोमोर्फिक स्थान में मैप करते हैं। (अतः स्तंभ रैंक को परिवर्तित न करे) पारिस्थितिक रूप में, पंक्ति और रैंक स्पष्ट रूप से पंक्ति रैंक और स्तंभ रैंक दोनों के लिए समान है और पिवोट्स तत्व (या मूल स्तंभ) की संख्या और गैर-शून्य पंक्तियों की संख्या के समांतर है। | ||
उदाहरण के लिए, मैट्रिक्स {{mvar|A}} द्वारा दिए गए | उदाहरण के लिए, मैट्रिक्स {{mvar|A}} द्वारा दिए गए | ||
Line 54: | Line 52: | ||
कंप्यूटर पर [[तैरनेवाला स्थल]] कंप्यूटेशंस पर लागू होने पर, मूल गॉसियन उन्मूलन (एलयू अपघटन) अविश्वसनीय हो सकता है, और इसके अतिरिक्त रैंक-खुलासा अपघटन का उपयोग किया जाना चाहिए। प्रभावी विकल्प एकवचन मूल्य अपघटन (एसवीडी) है, किन्तु अन्य कम महंगे विकल्प हैं, जैसे [[क्यूआर अपघटन]] पिवोटिंग (तथाकथित [[रैंक-खुलासा क्यूआर कारककरण]]) के साथ, जो अभी भी गॉसियन उन्मूलन से अधिक संख्यात्मक रूप से मजबूत हैं। रैंक के संख्यात्मक निर्धारण के लिए यह तय करने के लिए मानदंड की आवश्यकता होती है कि एसवीडी से विलक्षण मूल्य जैसे मूल्य को शून्य के रूप में माना जाना चाहिए, व्यावहारिक विकल्प जो मैट्रिक्स और एप्लिकेशन दोनों पर निर्भर करता है। | कंप्यूटर पर [[तैरनेवाला स्थल]] कंप्यूटेशंस पर लागू होने पर, मूल गॉसियन उन्मूलन (एलयू अपघटन) अविश्वसनीय हो सकता है, और इसके अतिरिक्त रैंक-खुलासा अपघटन का उपयोग किया जाना चाहिए। प्रभावी विकल्प एकवचन मूल्य अपघटन (एसवीडी) है, किन्तु अन्य कम महंगे विकल्प हैं, जैसे [[क्यूआर अपघटन]] पिवोटिंग (तथाकथित [[रैंक-खुलासा क्यूआर कारककरण]]) के साथ, जो अभी भी गॉसियन उन्मूलन से अधिक संख्यात्मक रूप से मजबूत हैं। रैंक के संख्यात्मक निर्धारण के लिए यह तय करने के लिए मानदंड की आवश्यकता होती है कि एसवीडी से विलक्षण मूल्य जैसे मूल्य को शून्य के रूप में माना जाना चाहिए, व्यावहारिक विकल्प जो मैट्रिक्स और एप्लिकेशन दोनों पर निर्भर करता है। | ||
== सबूत है कि | == सबूत है कि स्तंभ रैंक = पंक्ति रैंक == | ||
===पंक्ति न्यूनीकरण का उपयोग कर सबूत=== | ===पंक्ति न्यूनीकरण का उपयोग कर सबूत=== | ||
तथ्य यह है कि किसी भी मैट्रिक्स के स्तंभ और पंक्ति रैंक समान रूप हैं, रैखिक बीजगणित में मौलिक है। अनेक प्रमाण दिये हैं। सबसे प्राथमिक में से को स्केच किया गया है {{slink||Rank from row echelon forms}}. यहाँ इस प्रमाण का रूप है: | तथ्य यह है कि किसी भी मैट्रिक्स के स्तंभ और पंक्ति रैंक समान रूप हैं, रैखिक बीजगणित में मौलिक है। अनेक प्रमाण दिये हैं। सबसे प्राथमिक में से को स्केच किया गया है {{slink||Rank from row echelon forms}}. यहाँ इस प्रमाण का रूप है: | ||
यह दिखाना सीधा है कि [[प्राथमिक पंक्ति संचालन]] द्वारा न तो पंक्ति रैंक और न ही स्तंभ रैंक को बदला जाता है। जैसा कि गौसियन उन्मूलन प्राथमिक पंक्ति संचालन से आगे बढ़ता है, मैट्रिक्स के कम पंक्ति सोपानक रूप में मूल मैट्रिक्स के समान पंक्ति रैंक और समान | यह दिखाना सीधा है कि [[प्राथमिक पंक्ति संचालन]] द्वारा न तो पंक्ति रैंक और न ही स्तंभ रैंक को बदला जाता है। जैसा कि गौसियन उन्मूलन प्राथमिक पंक्ति संचालन से आगे बढ़ता है, मैट्रिक्स के कम पंक्ति सोपानक रूप में मूल मैट्रिक्स के समान पंक्ति रैंक और समान स्तंभ रैंक होता है। आगे के प्राथमिक स्तंभ संचालन मैट्रिक्स को पहचान मैट्रिक्स के रूप में रखने की अनुमति देते हैं जो संभवतः शून्य की पंक्तियों और स्तंभों से घिरा होता है। दोबारा, यह न तो पंक्ति रैंक और न ही स्तंभ रैंक बदलता है। यह तत्काल है कि इस परिणामी मैट्रिक्स की पंक्ति और स्तंभ दोनों रैंक इसकी गैर-शून्य प्रविष्टियों की संख्या है। | ||
हम इस परिणाम के दो अन्य प्रमाण प्रस्तुत करते हैं। पहला सदिशों के [[रैखिक संयोजन]]ों के केवल बुनियादी गुणों का उपयोग करता है, और किसी भी [[क्षेत्र (गणित)]] पर मान्य है। प्रमाण वार्डलॉ (2005) पर आधारित है।<ref name="wardlaw"> | हम इस परिणाम के दो अन्य प्रमाण प्रस्तुत करते हैं। पहला सदिशों के [[रैखिक संयोजन]]ों के केवल बुनियादी गुणों का उपयोग करता है, और किसी भी [[क्षेत्र (गणित)]] पर मान्य है। प्रमाण वार्डलॉ (2005) पर आधारित है।<ref name="wardlaw"> | ||
Line 66: | Line 64: | ||
=== रैखिक संयोजनों का उपयोग करके सबूत === | === रैखिक संयोजनों का उपयोग करके सबूत === | ||
होने देना {{mvar|A}} सेम {{math|''m'' × ''n''}} आव्यूह। | होने देना {{mvar|A}} सेम {{math|''m'' × ''n''}} आव्यूह। स्तंभ की रैंक दें {{mvar|A}} होना {{mvar|r}}, और जाने {{math|'''c'''<sub>1</sub>, ..., '''c'''<sub>''r''</sub>}} के स्तंभ स्थान के लिए कोई भी आधार हो {{mvar|A}}. इन्हें a के स्तंभ के रूप में रखें {{math|''m'' × ''r''}} आव्यूह {{mvar|C}}. का हर स्तंभ {{mvar|A}} के रैखिक संयोजन के रूप में व्यक्त किया जा सकता है {{mvar|r}} स्तंभ में {{mvar|C}}. इसका मतलब है कि है {{math|''r'' × ''n''}} आव्यूह {{mvar|R}} ऐसा है कि {{math|1=''A'' = ''CR''}}. {{mvar|R}} मैट्रिक्स है जिसका {{mvar|i}}वाँ स्तंभ गुणांक देने से बनता है {{mvar|i}} का स्तम्भ {{mvar|A}} के रैखिक संयोजन के रूप में {{mvar|r}} के स्तंभ {{mvar|C}}. दूसरे शब्दों में, {{mvar|R}} वह मैट्रिक्स है जिसमें स्तंभ स्थान के आधापंक्तिं के लिए गुणक होते हैं {{mvar|A}} (जो है {{mvar|C}}), जो तब बनने के लिए उपयोग किए जाते हैं {{mvar|A}} पूरे के रूप में। अब, की प्रत्येक पंक्ति {{mvar|A}} के रैखिक संयोजन द्वारा दिया जाता है {{mvar|r}} की पंक्तियों {{mvar|R}}. अतः, की पंक्तियाँ {{mvar|R}} के पंक्ति स्थान का फैले हुए सेट का निर्माण करें {{mvar|A}} और, [[स्टेनिट्ज एक्सचेंज लेम्मा]] द्वारा, की पंक्ति रैंक {{mvar|A}} से अधिक नहीं हो सकता {{mvar|r}}. यह सिद्ध करता है कि की पंक्ति रैंक {{mvar|A}} के स्तंभ रैंक से कम या उसके समांतर है {{mvar|A}}. यह परिणाम किसी भी मैट्रिक्स पर लागू किया जा सकता है, अतः परिणाम को स्थानांतरित करने के लिए लागू करें {{mvar|A}}. के स्थानान्तरण की पंक्ति रैंक के बाद से {{mvar|A}} का स्तंभ रैंक है {{mvar|A}} और के स्थानान्तरण के स्तंभ रैंक {{mvar|A}} की पंक्ति रैंक है {{mvar|A}}, यह रिवर्स असमानता स्थापित करता है और हम पंक्ति रैंक और स्तंभ रैंक की समानता प्राप्त करते हैं {{mvar|A}}. (रैंक गुणनखंड भी देखें।) | ||
=== ऑर्थोगोनलिटी का उपयोग करके सबूत === | === ऑर्थोगोनलिटी का उपयोग करके सबूत === | ||
होने देना {{mvar|A}} सेम {{math|''m'' × ''n''}} [[वास्तविक संख्या]] में प्रविष्टियों के साथ मैट्रिक्स जिसकी पंक्ति रैंक है {{mvar|r}}. | होने देना {{mvar|A}} सेम {{math|''m'' × ''n''}} [[वास्तविक संख्या]] में प्रविष्टियों के साथ मैट्रिक्स जिसकी पंक्ति रैंक है {{mvar|r}}. अतः, पंक्ति स्थान का आयाम {{mvar|A}} है {{mvar|r}}. होने देना {{math|'''x'''<sub>1</sub>, '''x'''<sub>2</sub>, …, '''x'''<sub>''r''</sub>}} की पंक्ति स्थान का [[आधार (रैखिक बीजगणित)]] हो {{mvar|A}}. हम प्रामाणित करते हैं कि सदिश {{math|''A'''''x'''<sub>1</sub>, ''A'''''x'''<sub>2</sub>, …, ''A'''''x'''<sub>''r''</sub>}} रैखिक रूप से स्वतंत्र हैं। यह देखने के लिए कि क्यों, अदिश गुणांक वाले इन सदिशों को सम्मिलित करते हुए रैखिक सजातीय संबंध पर विचार करें {{math|''c''<sub>1</sub>, ''c''<sub>2</sub>, …, ''c<sub>r</sub>''}}: | ||
<math display="block">0 = c_1 A\mathbf{x}_1 + c_2 A\mathbf{x}_2 + \cdots + c_r A\mathbf{x}_r = A(c_1 \mathbf{x}_1 + c_2 \mathbf{x}_2 + \cdots + c_r \mathbf{x}_r) = A\mathbf{v}, </math> | <math display="block">0 = c_1 A\mathbf{x}_1 + c_2 A\mathbf{x}_2 + \cdots + c_r A\mathbf{x}_r = A(c_1 \mathbf{x}_1 + c_2 \mathbf{x}_2 + \cdots + c_r \mathbf{x}_r) = A\mathbf{v}, </math> | ||
कहाँ {{math|1='''v''' = ''c''<sub>1</sub>'''x'''<sub>1</sub> + ''c''<sub>2</sub>'''x'''<sub>2</sub> + ⋯ + ''c<sub>r</sub>'''''x'''<sub>''r''</sub>}}. हम दो अवलोकन करते हैं: (ए) {{math|'''v'''}} के पंक्ति स्थान में सदिशों का रैखिक संयोजन है {{mvar|A}}, जिसका तात्पर्य है {{math|'''v'''}} की पंक्ति स्थान के अंतर्गत आता है {{mvar|A}}, और (बी) के बाद से {{math|1=''A'''''v''' = 0}}, वेक्टर {{math|'''v'''}} की प्रत्येक पंक्ति सदिश के लिए [[ओर्थोगोनल]] है {{mvar|A}} और, | कहाँ {{math|1='''v''' = ''c''<sub>1</sub>'''x'''<sub>1</sub> + ''c''<sub>2</sub>'''x'''<sub>2</sub> + ⋯ + ''c<sub>r</sub>'''''x'''<sub>''r''</sub>}}. हम दो अवलोकन करते हैं: (ए) {{math|'''v'''}} के पंक्ति स्थान में सदिशों का रैखिक संयोजन है {{mvar|A}}, जिसका तात्पर्य है {{math|'''v'''}} की पंक्ति स्थान के अंतर्गत आता है {{mvar|A}}, और (बी) के बाद से {{math|1=''A'''''v''' = 0}}, वेक्टर {{math|'''v'''}} की प्रत्येक पंक्ति सदिश के लिए [[ओर्थोगोनल]] है {{mvar|A}} और, अतः, की पंक्ति स्थान में प्रत्येक वेक्टर के लिए ओर्थोगोनल है {{mvar|A}}. तथ्य (ए) और (बी) साथ इसका मतलब है {{math|'''v'''}} अपने आप में ओर्थोगोनल है, जो यह सिद्ध करता है {{math|1='''v''' = 0}} या, की परिभाषा के द्वारा {{math|'''v'''}}, | ||
<math display="block">c_1\mathbf{x}_1 + c_2\mathbf{x}_2 + \cdots + c_r \mathbf{x}_r = 0.</math> | <math display="block">c_1\mathbf{x}_1 + c_2\mathbf{x}_2 + \cdots + c_r \mathbf{x}_r = 0.</math> | ||
किन्तु याद रखें कि {{math|'''x'''<sub>''i''</sub>}} को पंक्ति स्थान के आधार के रूप में चुना गया था {{mvar|A}} और | किन्तु याद रखें कि {{math|'''x'''<sub>''i''</sub>}} को पंक्ति स्थान के आधार के रूप में चुना गया था {{mvar|A}} और अतः रैखिक रूप से स्वतंत्र हैं। इसका अर्थ यह है कि {{math|1=''c''<sub>1</sub> = ''c''<sub>2</sub> = ⋯ = ''c<sub>r</sub>'' = 0}}. यह इस प्रकार है कि {{math|''A'''''x'''<sub>1</sub>, ''A'''''x'''<sub>2</sub>, …, ''A'''''x'''<sub>''r''</sub>}} रैखिक रूप से स्वतंत्र हैं। | ||
अब, प्रत्येक {{math|''A'''''x'''<sub>''i''</sub>}} स्पष्ट रूप से | अब, प्रत्येक {{math|''A'''''x'''<sub>''i''</sub>}} स्पष्ट रूप से स्तंभ स्थान में वेक्टर है {{mvar|A}}. अतः, {{math|''A'''''x'''<sub>1</sub>, ''A'''''x'''<sub>2</sub>, …, ''A'''''x'''<sub>''r''</sub>}} का समुच्चय है {{mvar|r}} के स्तंभ स्थान में रैखिक रूप से स्वतंत्र सदिश {{mvar|A}} और, अतः, के स्तंभ स्थान का आयाम {{mvar|A}} (अर्थात, का स्तंभ रैंक {{mvar|A}}) कम से कम उतना ही बड़ा होना चाहिए {{mvar|r}}. यह उस पंक्ति रैंक को सिद्ध करता है {{mvar|A}} के स्तंभ रैंक से बड़ा नहीं है {{mvar|A}}. अब इस परिणाम को के स्थानान्तरण पर लागू करें {{mvar|A}} विपरीत असमानता प्राप्त करने के लिए और पिछले सबूत के रूप में निष्कर्ष निकालने के लिए। | ||
== वैकल्पिक परिभाषाएँ == | == वैकल्पिक परिभाषाएँ == | ||
Line 90: | Line 88: | ||
उसी रेखीय मानचित्रण को देखते हुए {{mvar|f}} ऊपर के रूप में, रैंक है {{mvar|n}} के कर्नेल (बीजगणित) के आयाम को घटाएं {{mvar|f}}. पद-अशक्तता प्रमेय कहता है कि यह परिभाषा पिछली परिभाषा के समकक्ष है। | उसी रेखीय मानचित्रण को देखते हुए {{mvar|f}} ऊपर के रूप में, रैंक है {{mvar|n}} के कर्नेल (बीजगणित) के आयाम को घटाएं {{mvar|f}}. पद-अशक्तता प्रमेय कहता है कि यह परिभाषा पिछली परिभाषा के समकक्ष है। | ||
=== | === स्तंभ रैंक - स्तंभ स्थान का आयाम === | ||
का पद {{mvar|A}} रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है <math>\mathbf{c}_1,\mathbf{c}_2,\dots,\mathbf{c}_k</math> का {{mvar|A}}; यह | का पद {{mvar|A}} रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है <math>\mathbf{c}_1,\mathbf{c}_2,\dots,\mathbf{c}_k</math> का {{mvar|A}}; यह स्तंभ स्थान के वेक्टर स्थान का आयाम है {{mvar|A}} (स्तंभ स्थान का उप-स्थान है {{math|''F''<sup>''m''</sup>}} के स्तंभों द्वारा उत्पन्न {{mvar|A}}, जो वास्तव में केवल रेखीय मानचित्र की छवि है {{mvar|f}} के लिए जुड़े {{mvar|A}}). | ||
=== पंक्ति रैंक - पंक्ति स्थान का आयाम === | === पंक्ति रैंक - पंक्ति स्थान का आयाम === | ||
Line 99: | Line 97: | ||
का पद {{mvar|A}} सबसे छोटा पूर्णांक है {{mvar|k}} ऐसा है कि {{mvar|A}} के रूप में फैक्टर किया जा सकता है <math>A = CR</math>, कहाँ {{mvar|C}} {{math|''m'' × ''k''}} मैट्रिक्स और {{mvar|R}} है {{math|''k'' × ''n''}} आव्यूह। वास्तव में, सभी पूर्णांकों के लिए {{mvar|k}}, निम्नलिखित समतुल्य हैं: | का पद {{mvar|A}} सबसे छोटा पूर्णांक है {{mvar|k}} ऐसा है कि {{mvar|A}} के रूप में फैक्टर किया जा सकता है <math>A = CR</math>, कहाँ {{mvar|C}} {{math|''m'' × ''k''}} मैट्रिक्स और {{mvar|R}} है {{math|''k'' × ''n''}} आव्यूह। वास्तव में, सभी पूर्णांकों के लिए {{mvar|k}}, निम्नलिखित समतुल्य हैं: | ||
# | # स्तंभ रैंक {{mvar|A}} से कम या इसके समांतर है {{mvar|k}}, | ||
# वहां है {{mvar|k}} | # वहां है {{mvar|k}} स्तंभ <math>\mathbf{c}_1,\ldots,\mathbf{c}_k</math> आकार का {{mvar|m}} ऐसा है कि का हर स्तंभ {{mvar|A}} का रैखिक संयोजन है <math>\mathbf{c}_1,\ldots,\mathbf{c}_k</math>, | ||
# वहाँ उपस्तिथ है <math>m \times k</math> आव्यूह {{mvar|C}} और ए <math>k \times n</math> आव्यूह {{mvar|R}} ऐसा है कि <math>A = CR</math> (कब {{mvar|k}} रैंक है, यह रैंक गुणनखंड है {{mvar|A}}), | # वहाँ उपस्तिथ है <math>m \times k</math> आव्यूह {{mvar|C}} और ए <math>k \times n</math> आव्यूह {{mvar|R}} ऐसा है कि <math>A = CR</math> (कब {{mvar|k}} रैंक है, यह रैंक गुणनखंड है {{mvar|A}}), | ||
# वहां है {{mvar|k}} पंक्तियाँ <math>\mathbf{r}_1,\ldots,\mathbf{r}_k</math> आकार का {{mvar|n}} ऐसा है कि की हर पंक्ति {{mvar|A}} का रैखिक संयोजन है <math>\mathbf{r}_1,\ldots,\mathbf{r}_k</math>, | # वहां है {{mvar|k}} पंक्तियाँ <math>\mathbf{r}_1,\ldots,\mathbf{r}_k</math> आकार का {{mvar|n}} ऐसा है कि की हर पंक्ति {{mvar|A}} का रैखिक संयोजन है <math>\mathbf{r}_1,\ldots,\mathbf{r}_k</math>, | ||
# की पंक्ति रैंक {{mvar|A}} से कम या इसके | # की पंक्ति रैंक {{mvar|A}} से कम या इसके समांतर है {{mvar|k}}. | ||
वास्तव में, निम्नलिखित समानताएं स्पष्ट हैं: <math>(1)\Leftrightarrow(2)\Leftrightarrow(3)\Leftrightarrow(4)\Leftrightarrow(5)</math>. | वास्तव में, निम्नलिखित समानताएं स्पष्ट हैं: <math>(1)\Leftrightarrow(2)\Leftrightarrow(3)\Leftrightarrow(4)\Leftrightarrow(5)</math>. | ||
उदाहरण के लिए, (3) को (2) से सिद्ध करने के लिए, लीजिए {{mvar|C}} वह मैट्रिक्स होना चाहिए जिसके | उदाहरण के लिए, (3) को (2) से सिद्ध करने के लिए, लीजिए {{mvar|C}} वह मैट्रिक्स होना चाहिए जिसके स्तंभ हैं <math>\mathbf{c}_1,\ldots,\mathbf{c}_k</math> (2) से। | ||
(2) को (3) से सिद्ध करने के लिए, लीजिए <math>\mathbf{c}_1,\ldots,\mathbf{c}_k</math> के स्तंभ होना {{mvar|C}}. | (2) को (3) से सिद्ध करने के लिए, लीजिए <math>\mathbf{c}_1,\ldots,\mathbf{c}_k</math> के स्तंभ होना {{mvar|C}}. | ||
यह तुल्यता से अनुसरण करता है <math>(1)\Leftrightarrow(5)</math> कि पंक्ति रैंक स्तंभ रैंक के | यह तुल्यता से अनुसरण करता है <math>(1)\Leftrightarrow(5)</math> कि पंक्ति रैंक स्तंभ रैंक के समांतर है। | ||
छवि लक्षण वर्णन के आयाम के स्थितिमें, इसे किसी भी रैखिक मानचित्र के रैंक की परिभाषा के लिए सामान्यीकृत किया जा सकता है: रैखिक मानचित्र का रैंक {{math|''f'' : ''V'' → ''W''}} न्यूनतम आयाम है {{mvar|k}} मध्यवर्ती स्थान का {{mvar|X}} ऐसा है कि {{mvar|f}} को मानचित्र की रचना के रूप में लिखा जा सकता है {{math|''V'' → ''X''}} और नक्शा {{math|''X'' → ''W''}}. दुर्भाग्य से, यह परिभाषा रैंक की गणना करने के लिए कुशल तरीके का सुझाव नहीं देती है (जिसके लिए वैकल्पिक परिभाषाओं में से किसी का उपयोग करना उत्तम है)। विवरण के लिए रैंक गुणनखंड देखें। | छवि लक्षण वर्णन के आयाम के स्थितिमें, इसे किसी भी रैखिक मानचित्र के रैंक की परिभाषा के लिए सामान्यीकृत किया जा सकता है: रैखिक मानचित्र का रैंक {{math|''f'' : ''V'' → ''W''}} न्यूनतम आयाम है {{mvar|k}} मध्यवर्ती स्थान का {{mvar|X}} ऐसा है कि {{mvar|f}} को मानचित्र की रचना के रूप में लिखा जा सकता है {{math|''V'' → ''X''}} और नक्शा {{math|''X'' → ''W''}}. दुर्भाग्य से, यह परिभाषा रैंक की गणना करने के लिए कुशल तरीके का सुझाव नहीं देती है (जिसके लिए वैकल्पिक परिभाषाओं में से किसी का उपयोग करना उत्तम है)। विवरण के लिए रैंक गुणनखंड देखें। | ||
=== विलक्षण मूल्यों के संदर्भ में रैंक === | === विलक्षण मूल्यों के संदर्भ में रैंक === | ||
का पद {{mvar|A}} गैर-शून्य एकवचन मूल्य अपघटन की संख्या के | का पद {{mvar|A}} गैर-शून्य एकवचन मूल्य अपघटन की संख्या के समांतर है, जो कि एकवचन मूल्य अपघटन में Σ में गैर-शून्य विकर्ण तत्वों की संख्या के समान है {{nowrap|<math>A = U \Sigma V^*</math>.}} | ||
=== निर्धारक रैंक - सबसे बड़े गैर-लुप्त होने वाले नाबालिग का आकार === | === निर्धारक रैंक - सबसे बड़े गैर-लुप्त होने वाले नाबालिग का आकार === | ||
का पद {{mvar|A}} किसी भी गैर-शून्य [[माइनर (रैखिक बीजगणित)]] का सबसे बड़ा क्रम है {{mvar|A}}. (नाबालिग का क्रम वर्ग उप-मैट्रिक्स की पार्श्व-लम्बाई है, जिसका यह निर्धारक है।) अपघटन रैंक लक्षण वर्णन की तरह, यह रैंक की गणना करने का कुशल विधि नहीं देता है, किन्तु यह सैद्धांतिक रूप से उपयोगी है: a एकल गैर-शून्य नाबालिग मैट्रिक्स के रैंक के लिए निचली सीमा (अर्थात् इसका क्रम) का गवाह है, जो उपयोगी हो सकता है (उदाहरण के लिए) यह सिद्ध करने के लिए कि कुछ ऑपरेशन मैट्रिक्स के रैंक को कम नहीं करते हैं। | का पद {{mvar|A}} किसी भी गैर-शून्य [[माइनर (रैखिक बीजगणित)]] का सबसे बड़ा क्रम है {{mvar|A}}. (नाबालिग का क्रम वर्ग उप-मैट्रिक्स की पार्श्व-लम्बाई है, जिसका यह निर्धारक है।) अपघटन रैंक लक्षण वर्णन की तरह, यह रैंक की गणना करने का कुशल विधि नहीं देता है, किन्तु यह सैद्धांतिक रूप से उपयोगी है: a एकल गैर-शून्य नाबालिग मैट्रिक्स के रैंक के लिए निचली सीमा (अर्थात् इसका क्रम) का गवाह है, जो उपयोगी हो सकता है (उदाहरण के लिए) यह सिद्ध करने के लिए कि कुछ ऑपरेशन मैट्रिक्स के रैंक को कम नहीं करते हैं। | ||
गैर-लुप्तप्राय {{mvar|p}}-अवयस्क ({{math|''p'' × ''p''}} सबमैट्रिक्स गैर-शून्य निर्धारक के साथ) दिखाता है कि उस सबमैट्रिक्स की पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं, और इस प्रकार पूर्ण मैट्रिक्स की वे पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं (पूर्ण मैट्रिक्स में), | गैर-लुप्तप्राय {{mvar|p}}-अवयस्क ({{math|''p'' × ''p''}} सबमैट्रिक्स गैर-शून्य निर्धारक के साथ) दिखाता है कि उस सबमैट्रिक्स की पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं, और इस प्रकार पूर्ण मैट्रिक्स की वे पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं (पूर्ण मैट्रिक्स में), अतः पंक्ति और स्तंभ रैंक कम से कम हैं निर्धारक रैंक जितना बड़ा; चूँकि, बातचीत कम सीधी है। निर्धारक रैंक और स्तंभ रैंक की समानता इस कथन की मजबूती है कि यदि अवधि {{mvar|n}} सदिश का आयाम है {{mvar|p}}<nowiki>, तब {{mvar|p}उन सदिशों में से } स्थान को फैलाते हैं (समतुल्य रूप से, कोई फैले हुए सेट को चुन सकता है जो सदिशों का सबसेट है): तुल्यता का अर्थ है कि पंक्तियों का सबसेट और स्तंभों का उपसमुच्चय साथ व्युत्क्रमणीय सबमैट्रिक्स को परिभाषित करता है (समकक्ष रूप से, यदि की अवधि </nowiki>{{mvar|n}} सदिश का आयाम है {{mvar|p}}<nowiki>, तब {{mvar|p}इनमें से } अंतरिक्ष में फैला है और इसका सेट है </nowiki>{{mvar|p}} निर्देशांक जिस पर वे रैखिक रूप से स्वतंत्र हैं)। | ||
=== टेंसर रैंक - साधारण | === टेंसर रैंक - साधारण टेंसपंक्तिं की न्यूनतम संख्या === | ||
{{Main|Tensor rank decomposition|Tensor rank}} | {{Main|Tensor rank decomposition|Tensor rank}} | ||
का पद {{mvar|A}} सबसे छोटी संख्या है {{mvar|k}} ऐसा है कि {{mvar|A}} के योग के रूप में लिखा जा सकता है {{mvar|k}} रैंक 1 मेट्रिसेस, जहां मैट्रिक्स को रैंक 1 के रूप में परिभाषित किया गया है यदि और केवल यदि इसे गैर-शून्य उत्पाद के रूप में लिखा जा सकता है <math>c \cdot r</math> | का पद {{mvar|A}} सबसे छोटी संख्या है {{mvar|k}} ऐसा है कि {{mvar|A}} के योग के रूप में लिखा जा सकता है {{mvar|k}} रैंक 1 मेट्रिसेस, जहां मैट्रिक्स को रैंक 1 के रूप में परिभाषित किया गया है यदि और केवल यदि इसे गैर-शून्य उत्पाद के रूप में लिखा जा सकता है <math>c \cdot r</math> स्तंभ वेक्टर का {{mvar|c}} और पंक्ति वेक्टर {{mvar|r}}. रैंक की इस धारणा को [[टेंसर रैंक]] कहा जाता है; इसे एकवचन मूल्य अपघटन में सामान्यीकृत किया जा सकता है # एकवचन मूल्य अपघटन की वियोज्य मॉडल व्याख्या। | ||
== गुण == | == गुण == | ||
हम मानते हैं कि {{mvar|A}} {{math|''m'' × ''n''}} मैट्रिक्स, और हम रैखिक मानचित्र को परिभाषित करते हैं {{mvar|f}} द्वारा {{math|1=''f''('''x''') = ''A'''''x'''}} | हम मानते हैं कि {{mvar|A}} {{math|''m'' × ''n''}} मैट्रिक्स, और हम रैखिक मानचित्र को परिभाषित करते हैं {{mvar|f}} द्वारा {{math|1=''f''('''x''') = ''A'''''x'''}} ऊपपंक्तिक्त अनुसार। | ||
* का पद {{math|1=''m'' × ''n''}} मैट्रिक्स गैर-नकारात्मक [[पूर्णांक]] है और किसी से भी बड़ा नहीं हो सकता {{mvar|m}} या {{mvar|n}}. वह है, <math display="block">\operatorname{rank}(A) \le \min(m, n).</math><nowiki> मैट्रिक्स जिसमें रैंक है {{math|min(</nowiki>''m'', ''n'')}कहा जाता है कि } की पूरी रैंक है; अन्यथा, मैट्रिक्स रैंक की कमी है। | * का पद {{math|1=''m'' × ''n''}} मैट्रिक्स गैर-नकारात्मक [[पूर्णांक]] है और किसी से भी बड़ा नहीं हो सकता {{mvar|m}} या {{mvar|n}}. वह है, <math display="block">\operatorname{rank}(A) \le \min(m, n).</math><nowiki> मैट्रिक्स जिसमें रैंक है {{math|min(</nowiki>''m'', ''n'')}कहा जाता है कि } की पूरी रैंक है; अन्यथा, मैट्रिक्स रैंक की कमी है। | ||
* केवल [[शून्य मैट्रिक्स]] का रैंक शून्य होता है। | * केवल [[शून्य मैट्रिक्स]] का रैंक शून्य होता है। | ||
* {{mvar|f}} [[इंजेक्शन समारोह]] (या एक-से-एक) है यदि और केवल यदि {{mvar|A}} रैंक है {{mvar|n}} (इस स्थितिमें, हम कहते हैं कि {{mvar|A}} का पूरा | * {{mvar|f}} [[इंजेक्शन समारोह|इंजेक्शन समापंक्तिह]] (या एक-से-एक) है यदि और केवल यदि {{mvar|A}} रैंक है {{mvar|n}} (इस स्थितिमें, हम कहते हैं कि {{mvar|A}} का पूरा स्तंभ रैंक है)। | ||
* {{mvar|f}} विशेषण फलन (या आच्छादित) है यदि और केवल यदि {{mvar|A}} रैंक है {{mvar|m}} (इस स्थितिमें, हम कहते हैं कि {{mvar|A}} पूर्ण पंक्ति रैंक है)। | * {{mvar|f}} विशेषण फलन (या आच्छादित) है यदि और केवल यदि {{mvar|A}} रैंक है {{mvar|m}} (इस स्थितिमें, हम कहते हैं कि {{mvar|A}} पूर्ण पंक्ति रैंक है)। | ||
* यदि {{mvar|A}} वर्ग मैट्रिक्स है (अर्थात, {{math|1=''m'' = ''n''}}), तब {{mvar|A}} [[उलटा मैट्रिक्स]] है यदि और केवल यदि {{mvar|A}} रैंक है {{mvar|n}} (वह है, {{mvar|A}} की पूरी रैंक है)। | * यदि {{mvar|A}} वर्ग मैट्रिक्स है (अर्थात, {{math|1=''m'' = ''n''}}), तब {{mvar|A}} [[उलटा मैट्रिक्स]] है यदि और केवल यदि {{mvar|A}} रैंक है {{mvar|n}} (वह है, {{mvar|A}} की पूरी रैंक है)। | ||
Line 137: | Line 135: | ||
* यदि {{mvar|B}} {{math|''n'' × ''k''}} रैंक का मैट्रिक्स {{mvar|n}}, तब <math display="block">\operatorname{rank}(AB) = \operatorname{rank}(A).</math> | * यदि {{mvar|B}} {{math|''n'' × ''k''}} रैंक का मैट्रिक्स {{mvar|n}}, तब <math display="block">\operatorname{rank}(AB) = \operatorname{rank}(A).</math> | ||
* यदि {{mvar|C}} {{math|''l'' × ''m''}} रैंक का मैट्रिक्स {{mvar|m}}, तब <math display="block">\operatorname{rank}(CA) = \operatorname{rank}(A).</math> | * यदि {{mvar|C}} {{math|''l'' × ''m''}} रैंक का मैट्रिक्स {{mvar|m}}, तब <math display="block">\operatorname{rank}(CA) = \operatorname{rank}(A).</math> | ||
* का पद {{mvar|A}} के | * का पद {{mvar|A}} के समांतर है {{mvar|r}} यदि और केवल यदि कोई व्युत्क्रमणीय उपस्तिथ है {{math|''m'' × ''m''}} आव्यूह {{mvar|X}} और उलटा {{math|''n'' × ''n''}} आव्यूह {{mvar|Y}} ऐसा है कि <math display="block"> XAY = | ||
\begin{bmatrix} | \begin{bmatrix} | ||
I_r & 0 \\ | I_r & 0 \\ | ||
Line 143: | Line 141: | ||
\end{bmatrix},</math> कहाँ {{math|''I''<sub>''r''</sub>}} दर्शाता है {{math|''r'' × ''r''}} शिनाख्त सांचा। | \end{bmatrix},</math> कहाँ {{math|''I''<sub>''r''</sub>}} दर्शाता है {{math|''r'' × ''r''}} शिनाख्त सांचा। | ||
* [[जेम्स जोसेफ सिल्वेस्टर]] की रैंक असमानता: यदि {{mvar|A}} {{math|''m'' × ''n''}} मैट्रिक्स और {{mvar|B}} है {{math|''n'' × ''k''}}, तब<ref group="lower-roman">Proof: Apply the [[rank–nullity theorem]] to the inequality <math display="block">\dim \ker(AB) \le \dim \ker(A) + \dim \ker(B).</math></ref> <math display="block">\operatorname{rank}(A) + \operatorname{rank}(B) - n \leq \operatorname{rank}(A B).</math> यह अगली असमानता का विशेष मामला है। | * [[जेम्स जोसेफ सिल्वेस्टर]] की रैंक असमानता: यदि {{mvar|A}} {{math|''m'' × ''n''}} मैट्रिक्स और {{mvar|B}} है {{math|''n'' × ''k''}}, तब<ref group="lower-roman">Proof: Apply the [[rank–nullity theorem]] to the inequality <math display="block">\dim \ker(AB) \le \dim \ker(A) + \dim \ker(B).</math></ref> <math display="block">\operatorname{rank}(A) + \operatorname{rank}(B) - n \leq \operatorname{rank}(A B).</math> यह अगली असमानता का विशेष मामला है। | ||
* [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] के कारण असमानता: यदि {{math|''AB''}}, {{math|''ABC''}} और {{math|''BC''}} परिभाषित हैं, तो<ref group="lower-roman">Proof. The map<math display="block">C: \ker(ABC) / \ker(BC) \to \ker(AB) / \ker(B)</math>is well-defined and injective. We thus obtain the inequality in terms of dimensions of kernel, which can then be converted to the inequality in terms of ranks by the [[rank–nullity theorem]]. | * [[फर्डिनेंड जॉर्ज फ्रोबेनियस|फर्डिनेंड जॉर्ज फ्पंक्तिबेनियस]] के कारण असमानता: यदि {{math|''AB''}}, {{math|''ABC''}} और {{math|''BC''}} परिभाषित हैं, तो<ref group="lower-roman">Proof. The map<math display="block">C: \ker(ABC) / \ker(BC) \to \ker(AB) / \ker(B)</math>is well-defined and injective. We thus obtain the inequality in terms of dimensions of kernel, which can then be converted to the inequality in terms of ranks by the [[rank–nullity theorem]]. | ||
Alternatively, if <math>M</math> is a linear subspace then <math>\dim (AM) \leq \dim (M)</math>; apply this inequality to the subspace defined by the orthogonal complement of the image of <math>BC</math> in the image of <math>B</math>, whose dimension is <math>\operatorname{rank} (B) - \operatorname{rank} (BC)</math>; its image under <math>A</math> has dimension <math>\operatorname{rank} (AB) - \operatorname{rank} (ABC)</math>.</ref> <math display="block">\operatorname{rank}(AB) + \operatorname{rank}(BC) \le \operatorname{rank}(B) + \operatorname{rank}(ABC).</math> | Alternatively, if <math>M</math> is a linear subspace then <math>\dim (AM) \leq \dim (M)</math>; apply this inequality to the subspace defined by the orthogonal complement of the image of <math>BC</math> in the image of <math>B</math>, whose dimension is <math>\operatorname{rank} (B) - \operatorname{rank} (BC)</math>; its image under <math>A</math> has dimension <math>\operatorname{rank} (AB) - \operatorname{rank} (ABC)</math>.</ref> <math display="block">\operatorname{rank}(AB) + \operatorname{rank}(BC) \le \operatorname{rank}(B) + \operatorname{rank}(ABC).</math> | ||
* उप-विषमता: <math display="block">\operatorname{rank}(A+ B) \le \operatorname{rank}(A) + \operatorname{rank}(B) </math> कब {{mvar|A}} और {{mvar|B}} समान आयाम के हैं। परिणाम स्वरुप , रैंक-{{mvar|k}} मैट्रिक्स को योग के रूप में लिखा जा सकता है {{mvar|k}} रैंक-1 मैट्रिसेस, किन्तु कम नहीं। | * उप-विषमता: <math display="block">\operatorname{rank}(A+ B) \le \operatorname{rank}(A) + \operatorname{rank}(B) </math> कब {{mvar|A}} और {{mvar|B}} समान आयाम के हैं। परिणाम स्वरुप , रैंक-{{mvar|k}} मैट्रिक्स को योग के रूप में लिखा जा सकता है {{mvar|k}} रैंक-1 मैट्रिसेस, किन्तु कम नहीं। | ||
* मैट्रिक्स की रैंक प्लस मैट्रिक्स का [[कर्नेल (मैट्रिक्स)]] मैट्रिक्स के | * मैट्रिक्स की रैंक प्लस मैट्रिक्स का [[कर्नेल (मैट्रिक्स)]] मैट्रिक्स के स्तंभ की संख्या के समांतर होता है। (यह रैंक-शून्यता प्रमेय है।) | ||
* यदि {{mvar|A}} वास्तविक संख्याओं पर मैट्रिक्स है, फिर रैंक {{mvar|A}} और इसके संगत ग्राम आव्यूह की कोटि | * यदि {{mvar|A}} वास्तविक संख्याओं पर मैट्रिक्स है, फिर रैंक {{mvar|A}} और इसके संगत ग्राम आव्यूह की कोटि समांतर होती है। इस प्रकार, वास्तविक मेट्रिसेस के लिए <math display="block">\operatorname{rank}(A^\mathrm{T} A) = \operatorname{rank}(A A^\mathrm{T}) = \operatorname{rank}(A) = \operatorname{rank}(A^\mathrm{T}).</math> यह उनके कर्नेल (मैट्रिक्स) की समानता सिद्ध करके दिखाया जा सकता है। ग्राम आव्यूह का रिक्त स्थान सदिशों द्वारा दिया जाता है {{math|'''x'''}} जिसके लिए <math>A^\mathrm{T} A \mathbf{x} = 0.</math> यदि यह शर्त पूरी होती है, तो हमारी भी होगी <math>0 = \mathbf{x}^\mathrm{T} A^\mathrm{T} A \mathbf{x} = \left| A \mathbf{x} \right| ^2.</math><ref>{{cite book| last = Mirsky| first = Leonid| title = रैखिक बीजगणित का परिचय| year = 1955| publisher = Dover Publications| isbn = 978-0-486-66434-7 }}</ref> | ||
* यदि {{mvar|A}} जटिल संख्याओं पर मैट्रिक्स है और <math>\overline{A}</math> के जटिल संयुग्म को दर्शाता है {{mvar|A}} और {{math|''A''<sup>∗</sup>}} का संयुग्मी स्थानांतरण {{mvar|A}} (अर्थात, हर्मिटियन का संलग्न {{mvar|A}}), तब <math display="block">\operatorname{rank}(A) = \operatorname{rank}(\overline{A}) = \operatorname{rank}(A^\mathrm{T}) = \operatorname{rank}(A^*) = \operatorname{rank}(A^*A) = \operatorname{rank}(AA^*).</math> | * यदि {{mvar|A}} जटिल संख्याओं पर मैट्रिक्स है और <math>\overline{A}</math> के जटिल संयुग्म को दर्शाता है {{mvar|A}} और {{math|''A''<sup>∗</sup>}} का संयुग्मी स्थानांतरण {{mvar|A}} (अर्थात, हर्मिटियन का संलग्न {{mvar|A}}), तब <math display="block">\operatorname{rank}(A) = \operatorname{rank}(\overline{A}) = \operatorname{rank}(A^\mathrm{T}) = \operatorname{rank}(A^*) = \operatorname{rank}(A^*A) = \operatorname{rank}(AA^*).</math> | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
मैट्रिक्स के रैंक की गणना करने का उपयोगी अनुप्रयोग रैखिक समीकरणों की प्रणाली के समाधान की संख्या की गणना है। | मैट्रिक्स के रैंक की गणना करने का उपयोगी अनुप्रयोग रैखिक समीकरणों की प्रणाली के समाधान की संख्या की गणना है। पंक्तिचे-कैपेली प्रमेय के अनुसार, यदि [[संवर्धित मैट्रिक्स]] का रैंक [[गुणांक मैट्रिक्स]] के रैंक से अधिक है तो सिस्टम असंगत है। यदि दूसरी ओर, इन दो आव्यूहों की कोटि समान हैं, तो तंत्र में कम से कम हल होना चाहिए। समाधान अद्वितीय है यदि और केवल यदि रैंक चर की संख्या के समांतर है। अन्यथा सामान्य समाधान है {{mvar|k}} मुक्त पैरामीटर जहां {{mvar|k}} चपंक्तिं की संख्या और रैंक के मध्य का अंतर है। इस स्थितिमें (और यह मानते हुए कि समीकरणों की प्रणाली वास्तविक या जटिल संख्या में है) समीकरणों की प्रणाली में अपरिमित रूप से कई समाधान हैं। | ||
[[नियंत्रण सिद्धांत]] में, मैट्रिक्स की रैंक का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि [[रैखिक प्रणाली]] नियंत्रणीयता है या अवलोकनीयता है। | [[नियंत्रण सिद्धांत]] में, मैट्रिक्स की रैंक का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि [[रैखिक प्रणाली]] नियंत्रणीयता है या अवलोकनीयता है। | ||
Line 159: | Line 157: | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
मनमाना रिंग (गणित) पर रैंक से मैट्रिसेस की अवधारणा के विभिन्न सामान्यीकरण हैं, जहां | मनमाना रिंग (गणित) पर रैंक से मैट्रिसेस की अवधारणा के विभिन्न सामान्यीकरण हैं, जहां स्तंभ रैंक, पंक्ति रैंक, स्तंभ स्थान का आयाम और मैट्रिक्स के पंक्ति स्थान का आयाम दूसपंक्तिं से भिन्न हो सकता है या उपस्तिथ नहीं हो सकता है। | ||
मैट्रिसेस को [[टेंसर]] के रूप में सोचते हुए, टेंसर रैंक मनमाना | मैट्रिसेस को [[टेंसर]] के रूप में सोचते हुए, टेंसर रैंक मनमाना टेंसपंक्तिं के लिए सामान्यीकृत होता है; 2 से अधिक ऑर्डर के टेंसर के लिए (मैट्रिसेस ऑर्डर 2 टेंसर हैं), मैट्रिसेस के विपरीत, रैंक की गणना करना बहुत कठिन है। | ||
[[चिकना कई गुना]] के | [[चिकना कई गुना]] के मध्य चिकने नक्शों के लिए [[ रैंक (अंतर टोपोलॉजी) |रैंक (अंतर टोपोलॉजी)]] की धारणा है। यह पुशफॉरवर्ड (अंतर) के रैखिक रैंक के समांतर है। | ||
== [[टेन्सर]] के रूप में मैट्रिक्स == | == [[टेन्सर]] के रूप में मैट्रिक्स == | ||
मैट्रिक्स रैंक को [[टेंसर क्रम]] से भ्रमित नहीं होना चाहिए, जिसे टेंसर रैंक कहा जाता है। टेन्सर क्रम टेंसर लिखने के लिए आवश्यक सूचकांकों की संख्या है, और इस प्रकार मैट्रिसेस में टेंसर ऑर्डर 2 होता है। अधिक त्रुटिहीन रूप से, मैट्रिसेस टाइप (1,1) के टेंसर होते हैं, जिनमें पंक्ति इंडेक्स और | मैट्रिक्स रैंक को [[टेंसर क्रम]] से भ्रमित नहीं होना चाहिए, जिसे टेंसर रैंक कहा जाता है। टेन्सर क्रम टेंसर लिखने के लिए आवश्यक सूचकांकों की संख्या है, और इस प्रकार मैट्रिसेस में टेंसर ऑर्डर 2 होता है। अधिक त्रुटिहीन रूप से, मैट्रिसेस टाइप (1,1) के टेंसर होते हैं, जिनमें पंक्ति इंडेक्स और स्तंभ इंडेक्स होता है, जिसे सहसंयोजक क्रम 1 भी कहा जाता है। और प्रतिपरिवर्ती क्रम 1; विवरण के लिए [[टेंसर (आंतरिक परिभाषा)]] देखें। | ||
मैट्रिक्स के टेंसर रैंक का अर्थ मैट्रिक्स को रैखिक संयोजन के रूप में व्यक्त करने के लिए आवश्यक [[सरल टेंसर]] | मैट्रिक्स के टेंसर रैंक का अर्थ मैट्रिक्स को रैखिक संयोजन के रूप में व्यक्त करने के लिए आवश्यक [[सरल टेंसर|सरल टेंस]]पंक्तिं की न्यूनतम संख्या भी हो सकता है, और यह परिभाषा मैट्रिक्स रैंक से सहमत है जैसा कि यहां चर्चा की गई है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[मैट्रोइड रैंक]] | * [[मैट्रोइड रैंक|मैट्पंक्तिइड रैंक]] | ||
* [[गैर-नकारात्मक रैंक (रैखिक बीजगणित)]] | * [[गैर-नकारात्मक रैंक (रैखिक बीजगणित)]] | ||
* रैंक (अंतर टोपोलॉजी) | * रैंक (अंतर टोपोलॉजी) | ||
Line 185: | Line 183: | ||
== | == स्पंक्तित == | ||
* {{Cite book|last=Axler|first=Sheldon|title=रेखीय बीजगणित सही किया|publisher=[[Springer Science+Business Media | Springer]]| year=2015|isbn=978-3-319-11079-0|edition=3rd|series=[[Undergraduate Texts in Mathematics]]|location=|pages=|author-link=Sheldon Axler}} | * {{Cite book|last=Axler|first=Sheldon|title=रेखीय बीजगणित सही किया|publisher=[[Springer Science+Business Media | Springer]]| year=2015|isbn=978-3-319-11079-0|edition=3rd|series=[[Undergraduate Texts in Mathematics]]|location=|pages=|author-link=Sheldon Axler}} |
Revision as of 20:57, 18 March 2023
रैखिक बीजगणित में, मैट्रिक्स A का रैंक इसके स्तंभों द्वारा उत्पन्न (या रैखिक अवधि) सदिश स्थान का आयाम (सदिश स्थल) है।[1][2][3] यह A के रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या से मेल खाता है। यह बदले में, इसकी पंक्तियों द्वारा फैले वेक्टर स्थान के आयाम के समान है।[4] सामान्यतः रैंक इस प्रकार A द्वारा एन्कोड किए गए रैखिक समीकरणों की प्रणाली के पतित रूप का उपाय है और रैंक की कई समकक्ष परिभाषाएँ हैं। मैट्रिक्स का रैंक इसकी सबसे मूलभूत विशेषताओं में से है।
सामान्यतः रैंक को rank(A) या rk(A) द्वारा निरूपित किया जाता है।[2]कभी-कभी कोष्ठक नहीं लिखे जाते हैं, जैसे कि rank A में है।[lower-roman 1]
मुख्य परिभाषाएँ
इस भाग में, हम आव्यूह की कोटि की कुछ परिभाषाएँ देते हैं। चूँकि कई परिभाषाएँ संभव हैं अतः इनमें से कई के लिए वैकल्पिक परिभाषाएं देख सकते है।
A का स्तंभ रैंक A के स्तंभ स्थान का आयाम (रैखिक बीजगणित) है। चूँकि A की पंक्ति रैंक A की पंक्ति स्थान का आयाम है।
रैखिक बीजगणित में मौलिक परिणाम यह है कि स्तंभ रैंक और पंक्ति रैंक हमेशा समांतर होते है। (इस परिणाम के तीन प्रमाण और प्रमाणों में दिए गए हैं कि § Proofs that column rank = row rank, नीचे।) यह संख्या (अर्थात, रैखिक रूप से स्वतंत्र पंक्तियों या स्तंभों की संख्या) को केवल A रैंक कहा जाता है।
अधिकांशतः मैट्रिक्स को पूर्ण रैंक कहा जाता है। यदि इसकी रैंक समान आयामों के मैट्रिक्स के लिए सबसे बड़ा संभव है। जो कि पंक्तियों और स्तंभों की संख्या से कम है। मैट्रिक्स को रैंक-कमी कहा जाता है। यदि इसमें पूर्ण रैंक नहीं है। तब मैट्रिक्स की रैंक की कमी पंक्तियों और स्तंभों की संख्या और रैंक के मध्य का अंतर है।
रेखीय मानचित्र या ऑपरेटर का पद को इसकी छवि (गणित) के आयाम के रूप में परिभाषित किया गया है।[5][6][7][8]
उदाहरण
गणित का सवाल
गणित का सवाल
मैट्रिक्स के रैंक की गणना
पंक्ति सोपानक रूपों से रैंक
मैट्रिक्स के रैंक को खोजने के लिए सामान्य दृष्टिकोण प्राथमिक पंक्ति संचालन द्वारा इसे सरल रूप में, सामान्यतः पंक्ति सोपानक रूप कम करना है। चूँकि पंक्ति ऑपरेशंस, पंक्ति स्थान को परिवर्तित नहीं करते हैं। (अतः पंक्ति रैंक को नहीं बदलते हैं) और इन्वर्टिबल होने के कारण, स्तंभ स्थान को आइसोमोर्फिक स्थान में मैप करते हैं। (अतः स्तंभ रैंक को परिवर्तित न करे) पारिस्थितिक रूप में, पंक्ति और रैंक स्पष्ट रूप से पंक्ति रैंक और स्तंभ रैंक दोनों के लिए समान है और पिवोट्स तत्व (या मूल स्तंभ) की संख्या और गैर-शून्य पंक्तियों की संख्या के समांतर है।
उदाहरण के लिए, मैट्रिक्स A द्वारा दिए गए
गणना
कंप्यूटर पर तैरनेवाला स्थल कंप्यूटेशंस पर लागू होने पर, मूल गॉसियन उन्मूलन (एलयू अपघटन) अविश्वसनीय हो सकता है, और इसके अतिरिक्त रैंक-खुलासा अपघटन का उपयोग किया जाना चाहिए। प्रभावी विकल्प एकवचन मूल्य अपघटन (एसवीडी) है, किन्तु अन्य कम महंगे विकल्प हैं, जैसे क्यूआर अपघटन पिवोटिंग (तथाकथित रैंक-खुलासा क्यूआर कारककरण) के साथ, जो अभी भी गॉसियन उन्मूलन से अधिक संख्यात्मक रूप से मजबूत हैं। रैंक के संख्यात्मक निर्धारण के लिए यह तय करने के लिए मानदंड की आवश्यकता होती है कि एसवीडी से विलक्षण मूल्य जैसे मूल्य को शून्य के रूप में माना जाना चाहिए, व्यावहारिक विकल्प जो मैट्रिक्स और एप्लिकेशन दोनों पर निर्भर करता है।
सबूत है कि स्तंभ रैंक = पंक्ति रैंक
पंक्ति न्यूनीकरण का उपयोग कर सबूत
तथ्य यह है कि किसी भी मैट्रिक्स के स्तंभ और पंक्ति रैंक समान रूप हैं, रैखिक बीजगणित में मौलिक है। अनेक प्रमाण दिये हैं। सबसे प्राथमिक में से को स्केच किया गया है § Rank from row echelon forms. यहाँ इस प्रमाण का रूप है:
यह दिखाना सीधा है कि प्राथमिक पंक्ति संचालन द्वारा न तो पंक्ति रैंक और न ही स्तंभ रैंक को बदला जाता है। जैसा कि गौसियन उन्मूलन प्राथमिक पंक्ति संचालन से आगे बढ़ता है, मैट्रिक्स के कम पंक्ति सोपानक रूप में मूल मैट्रिक्स के समान पंक्ति रैंक और समान स्तंभ रैंक होता है। आगे के प्राथमिक स्तंभ संचालन मैट्रिक्स को पहचान मैट्रिक्स के रूप में रखने की अनुमति देते हैं जो संभवतः शून्य की पंक्तियों और स्तंभों से घिरा होता है। दोबारा, यह न तो पंक्ति रैंक और न ही स्तंभ रैंक बदलता है। यह तत्काल है कि इस परिणामी मैट्रिक्स की पंक्ति और स्तंभ दोनों रैंक इसकी गैर-शून्य प्रविष्टियों की संख्या है।
हम इस परिणाम के दो अन्य प्रमाण प्रस्तुत करते हैं। पहला सदिशों के रैखिक संयोजनों के केवल बुनियादी गुणों का उपयोग करता है, और किसी भी क्षेत्र (गणित) पर मान्य है। प्रमाण वार्डलॉ (2005) पर आधारित है।[9] दूसरा ओर्थोगोनालिटी का उपयोग करता है और वास्तविक संख्याओं पर मैट्रिसेस के लिए मान्य है; यह मैकिव (1995) पर आधारित है।[4]दोनों प्रमाण बनर्जी और रॉय (2014) की किताब में पाए जा सकते हैं।[10]
रैखिक संयोजनों का उपयोग करके सबूत
होने देना A सेम m × n आव्यूह। स्तंभ की रैंक दें A होना r, और जाने c1, ..., cr के स्तंभ स्थान के लिए कोई भी आधार हो A. इन्हें a के स्तंभ के रूप में रखें m × r आव्यूह C. का हर स्तंभ A के रैखिक संयोजन के रूप में व्यक्त किया जा सकता है r स्तंभ में C. इसका मतलब है कि है r × n आव्यूह R ऐसा है कि A = CR. R मैट्रिक्स है जिसका iवाँ स्तंभ गुणांक देने से बनता है i का स्तम्भ A के रैखिक संयोजन के रूप में r के स्तंभ C. दूसरे शब्दों में, R वह मैट्रिक्स है जिसमें स्तंभ स्थान के आधापंक्तिं के लिए गुणक होते हैं A (जो है C), जो तब बनने के लिए उपयोग किए जाते हैं A पूरे के रूप में। अब, की प्रत्येक पंक्ति A के रैखिक संयोजन द्वारा दिया जाता है r की पंक्तियों R. अतः, की पंक्तियाँ R के पंक्ति स्थान का फैले हुए सेट का निर्माण करें A और, स्टेनिट्ज एक्सचेंज लेम्मा द्वारा, की पंक्ति रैंक A से अधिक नहीं हो सकता r. यह सिद्ध करता है कि की पंक्ति रैंक A के स्तंभ रैंक से कम या उसके समांतर है A. यह परिणाम किसी भी मैट्रिक्स पर लागू किया जा सकता है, अतः परिणाम को स्थानांतरित करने के लिए लागू करें A. के स्थानान्तरण की पंक्ति रैंक के बाद से A का स्तंभ रैंक है A और के स्थानान्तरण के स्तंभ रैंक A की पंक्ति रैंक है A, यह रिवर्स असमानता स्थापित करता है और हम पंक्ति रैंक और स्तंभ रैंक की समानता प्राप्त करते हैं A. (रैंक गुणनखंड भी देखें।)
ऑर्थोगोनलिटी का उपयोग करके सबूत
होने देना A सेम m × n वास्तविक संख्या में प्रविष्टियों के साथ मैट्रिक्स जिसकी पंक्ति रैंक है r. अतः, पंक्ति स्थान का आयाम A है r. होने देना x1, x2, …, xr की पंक्ति स्थान का आधार (रैखिक बीजगणित) हो A. हम प्रामाणित करते हैं कि सदिश Ax1, Ax2, …, Axr रैखिक रूप से स्वतंत्र हैं। यह देखने के लिए कि क्यों, अदिश गुणांक वाले इन सदिशों को सम्मिलित करते हुए रैखिक सजातीय संबंध पर विचार करें c1, c2, …, cr:
अब, प्रत्येक Axi स्पष्ट रूप से स्तंभ स्थान में वेक्टर है A. अतः, Ax1, Ax2, …, Axr का समुच्चय है r के स्तंभ स्थान में रैखिक रूप से स्वतंत्र सदिश A और, अतः, के स्तंभ स्थान का आयाम A (अर्थात, का स्तंभ रैंक A) कम से कम उतना ही बड़ा होना चाहिए r. यह उस पंक्ति रैंक को सिद्ध करता है A के स्तंभ रैंक से बड़ा नहीं है A. अब इस परिणाम को के स्थानान्तरण पर लागू करें A विपरीत असमानता प्राप्त करने के लिए और पिछले सबूत के रूप में निष्कर्ष निकालने के लिए।
वैकल्पिक परिभाषाएँ
इस खंड में सभी परिभाषाओं में, मैट्रिक्स A को माना जाता है m × n मनमाने क्षेत्र पर मैट्रिक्स (गणित) F.
छवि का आयाम
मैट्रिक्स दिया , संबद्ध रेखीय मानचित्रण है
अशक्तता के स्थितिमें रैंक
उसी रेखीय मानचित्रण को देखते हुए f ऊपर के रूप में, रैंक है n के कर्नेल (बीजगणित) के आयाम को घटाएं f. पद-अशक्तता प्रमेय कहता है कि यह परिभाषा पिछली परिभाषा के समकक्ष है।
स्तंभ रैंक - स्तंभ स्थान का आयाम
का पद A रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है का A; यह स्तंभ स्थान के वेक्टर स्थान का आयाम है A (स्तंभ स्थान का उप-स्थान है Fm के स्तंभों द्वारा उत्पन्न A, जो वास्तव में केवल रेखीय मानचित्र की छवि है f के लिए जुड़े A).
पंक्ति रैंक - पंक्ति स्थान का आयाम
का पद A की रैखिक रूप से स्वतंत्र पंक्तियों की अधिकतम संख्या है A; यह पंक्ति स्थान का आयाम है A.
अपघटन रैंक
का पद A सबसे छोटा पूर्णांक है k ऐसा है कि A के रूप में फैक्टर किया जा सकता है , कहाँ C m × k मैट्रिक्स और R है k × n आव्यूह। वास्तव में, सभी पूर्णांकों के लिए k, निम्नलिखित समतुल्य हैं:
- स्तंभ रैंक A से कम या इसके समांतर है k,
- वहां है k स्तंभ आकार का m ऐसा है कि का हर स्तंभ A का रैखिक संयोजन है ,
- वहाँ उपस्तिथ है आव्यूह C और ए आव्यूह R ऐसा है कि (कब k रैंक है, यह रैंक गुणनखंड है A),
- वहां है k पंक्तियाँ आकार का n ऐसा है कि की हर पंक्ति A का रैखिक संयोजन है ,
- की पंक्ति रैंक A से कम या इसके समांतर है k.
वास्तव में, निम्नलिखित समानताएं स्पष्ट हैं: . उदाहरण के लिए, (3) को (2) से सिद्ध करने के लिए, लीजिए C वह मैट्रिक्स होना चाहिए जिसके स्तंभ हैं (2) से। (2) को (3) से सिद्ध करने के लिए, लीजिए के स्तंभ होना C.
यह तुल्यता से अनुसरण करता है कि पंक्ति रैंक स्तंभ रैंक के समांतर है।
छवि लक्षण वर्णन के आयाम के स्थितिमें, इसे किसी भी रैखिक मानचित्र के रैंक की परिभाषा के लिए सामान्यीकृत किया जा सकता है: रैखिक मानचित्र का रैंक f : V → W न्यूनतम आयाम है k मध्यवर्ती स्थान का X ऐसा है कि f को मानचित्र की रचना के रूप में लिखा जा सकता है V → X और नक्शा X → W. दुर्भाग्य से, यह परिभाषा रैंक की गणना करने के लिए कुशल तरीके का सुझाव नहीं देती है (जिसके लिए वैकल्पिक परिभाषाओं में से किसी का उपयोग करना उत्तम है)। विवरण के लिए रैंक गुणनखंड देखें।
विलक्षण मूल्यों के संदर्भ में रैंक
का पद A गैर-शून्य एकवचन मूल्य अपघटन की संख्या के समांतर है, जो कि एकवचन मूल्य अपघटन में Σ में गैर-शून्य विकर्ण तत्वों की संख्या के समान है .
निर्धारक रैंक - सबसे बड़े गैर-लुप्त होने वाले नाबालिग का आकार
का पद A किसी भी गैर-शून्य माइनर (रैखिक बीजगणित) का सबसे बड़ा क्रम है A. (नाबालिग का क्रम वर्ग उप-मैट्रिक्स की पार्श्व-लम्बाई है, जिसका यह निर्धारक है।) अपघटन रैंक लक्षण वर्णन की तरह, यह रैंक की गणना करने का कुशल विधि नहीं देता है, किन्तु यह सैद्धांतिक रूप से उपयोगी है: a एकल गैर-शून्य नाबालिग मैट्रिक्स के रैंक के लिए निचली सीमा (अर्थात् इसका क्रम) का गवाह है, जो उपयोगी हो सकता है (उदाहरण के लिए) यह सिद्ध करने के लिए कि कुछ ऑपरेशन मैट्रिक्स के रैंक को कम नहीं करते हैं।
गैर-लुप्तप्राय p-अवयस्क (p × p सबमैट्रिक्स गैर-शून्य निर्धारक के साथ) दिखाता है कि उस सबमैट्रिक्स की पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं, और इस प्रकार पूर्ण मैट्रिक्स की वे पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं (पूर्ण मैट्रिक्स में), अतः पंक्ति और स्तंभ रैंक कम से कम हैं निर्धारक रैंक जितना बड़ा; चूँकि, बातचीत कम सीधी है। निर्धारक रैंक और स्तंभ रैंक की समानता इस कथन की मजबूती है कि यदि अवधि n सदिश का आयाम है p, तब {{mvar|p}उन सदिशों में से } स्थान को फैलाते हैं (समतुल्य रूप से, कोई फैले हुए सेट को चुन सकता है जो सदिशों का सबसेट है): तुल्यता का अर्थ है कि पंक्तियों का सबसेट और स्तंभों का उपसमुच्चय साथ व्युत्क्रमणीय सबमैट्रिक्स को परिभाषित करता है (समकक्ष रूप से, यदि की अवधि n सदिश का आयाम है p, तब {{mvar|p}इनमें से } अंतरिक्ष में फैला है और इसका सेट है p निर्देशांक जिस पर वे रैखिक रूप से स्वतंत्र हैं)।
टेंसर रैंक - साधारण टेंसपंक्तिं की न्यूनतम संख्या
का पद A सबसे छोटी संख्या है k ऐसा है कि A के योग के रूप में लिखा जा सकता है k रैंक 1 मेट्रिसेस, जहां मैट्रिक्स को रैंक 1 के रूप में परिभाषित किया गया है यदि और केवल यदि इसे गैर-शून्य उत्पाद के रूप में लिखा जा सकता है स्तंभ वेक्टर का c और पंक्ति वेक्टर r. रैंक की इस धारणा को टेंसर रैंक कहा जाता है; इसे एकवचन मूल्य अपघटन में सामान्यीकृत किया जा सकता है # एकवचन मूल्य अपघटन की वियोज्य मॉडल व्याख्या।
गुण
हम मानते हैं कि A m × n मैट्रिक्स, और हम रैखिक मानचित्र को परिभाषित करते हैं f द्वारा f(x) = Ax ऊपपंक्तिक्त अनुसार।
- का पद m × n मैट्रिक्स गैर-नकारात्मक पूर्णांक है और किसी से भी बड़ा नहीं हो सकता m या n. वह है, मैट्रिक्स जिसमें रैंक है {{math|min(m, n)}कहा जाता है कि } की पूरी रैंक है; अन्यथा, मैट्रिक्स रैंक की कमी है।
- केवल शून्य मैट्रिक्स का रैंक शून्य होता है।
- f इंजेक्शन समापंक्तिह (या एक-से-एक) है यदि और केवल यदि A रैंक है n (इस स्थितिमें, हम कहते हैं कि A का पूरा स्तंभ रैंक है)।
- f विशेषण फलन (या आच्छादित) है यदि और केवल यदि A रैंक है m (इस स्थितिमें, हम कहते हैं कि A पूर्ण पंक्ति रैंक है)।
- यदि A वर्ग मैट्रिक्स है (अर्थात, m = n), तब A उलटा मैट्रिक्स है यदि और केवल यदि A रैंक है n (वह है, A की पूरी रैंक है)।
- यदि B क्या किसी n × k मैट्रिक्स, फिर
- यदि B n × k रैंक का मैट्रिक्स n, तब
- यदि C l × m रैंक का मैट्रिक्स m, तब
- का पद A के समांतर है r यदि और केवल यदि कोई व्युत्क्रमणीय उपस्तिथ है m × m आव्यूह X और उलटा n × n आव्यूह Y ऐसा है कि कहाँ Ir दर्शाता है r × r शिनाख्त सांचा।
- जेम्स जोसेफ सिल्वेस्टर की रैंक असमानता: यदि A m × n मैट्रिक्स और B है n × k, तब[lower-roman 2] यह अगली असमानता का विशेष मामला है।
- फर्डिनेंड जॉर्ज फ्पंक्तिबेनियस के कारण असमानता: यदि AB, ABC और BC परिभाषित हैं, तो[lower-roman 3]
- उप-विषमता: कब A और B समान आयाम के हैं। परिणाम स्वरुप , रैंक-k मैट्रिक्स को योग के रूप में लिखा जा सकता है k रैंक-1 मैट्रिसेस, किन्तु कम नहीं।
- मैट्रिक्स की रैंक प्लस मैट्रिक्स का कर्नेल (मैट्रिक्स) मैट्रिक्स के स्तंभ की संख्या के समांतर होता है। (यह रैंक-शून्यता प्रमेय है।)
- यदि A वास्तविक संख्याओं पर मैट्रिक्स है, फिर रैंक A और इसके संगत ग्राम आव्यूह की कोटि समांतर होती है। इस प्रकार, वास्तविक मेट्रिसेस के लिए यह उनके कर्नेल (मैट्रिक्स) की समानता सिद्ध करके दिखाया जा सकता है। ग्राम आव्यूह का रिक्त स्थान सदिशों द्वारा दिया जाता है x जिसके लिए यदि यह शर्त पूरी होती है, तो हमारी भी होगी [11]
- यदि A जटिल संख्याओं पर मैट्रिक्स है और के जटिल संयुग्म को दर्शाता है A और A∗ का संयुग्मी स्थानांतरण A (अर्थात, हर्मिटियन का संलग्न A), तब
अनुप्रयोग
मैट्रिक्स के रैंक की गणना करने का उपयोगी अनुप्रयोग रैखिक समीकरणों की प्रणाली के समाधान की संख्या की गणना है। पंक्तिचे-कैपेली प्रमेय के अनुसार, यदि संवर्धित मैट्रिक्स का रैंक गुणांक मैट्रिक्स के रैंक से अधिक है तो सिस्टम असंगत है। यदि दूसरी ओर, इन दो आव्यूहों की कोटि समान हैं, तो तंत्र में कम से कम हल होना चाहिए। समाधान अद्वितीय है यदि और केवल यदि रैंक चर की संख्या के समांतर है। अन्यथा सामान्य समाधान है k मुक्त पैरामीटर जहां k चपंक्तिं की संख्या और रैंक के मध्य का अंतर है। इस स्थितिमें (और यह मानते हुए कि समीकरणों की प्रणाली वास्तविक या जटिल संख्या में है) समीकरणों की प्रणाली में अपरिमित रूप से कई समाधान हैं।
नियंत्रण सिद्धांत में, मैट्रिक्स की रैंक का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि रैखिक प्रणाली नियंत्रणीयता है या अवलोकनीयता है।
संचार जटिलता के क्षेत्र में, किसी फ़ंक्शन के संचार मैट्रिक्स का रैंक फ़ंक्शन की गणना करने के लिए दो पक्षों के लिए आवश्यक संचार की मात्रा पर सीमा देता है।
सामान्यीकरण
मनमाना रिंग (गणित) पर रैंक से मैट्रिसेस की अवधारणा के विभिन्न सामान्यीकरण हैं, जहां स्तंभ रैंक, पंक्ति रैंक, स्तंभ स्थान का आयाम और मैट्रिक्स के पंक्ति स्थान का आयाम दूसपंक्तिं से भिन्न हो सकता है या उपस्तिथ नहीं हो सकता है।
मैट्रिसेस को टेंसर के रूप में सोचते हुए, टेंसर रैंक मनमाना टेंसपंक्तिं के लिए सामान्यीकृत होता है; 2 से अधिक ऑर्डर के टेंसर के लिए (मैट्रिसेस ऑर्डर 2 टेंसर हैं), मैट्रिसेस के विपरीत, रैंक की गणना करना बहुत कठिन है।
चिकना कई गुना के मध्य चिकने नक्शों के लिए रैंक (अंतर टोपोलॉजी) की धारणा है। यह पुशफॉरवर्ड (अंतर) के रैखिक रैंक के समांतर है।
टेन्सर के रूप में मैट्रिक्स
मैट्रिक्स रैंक को टेंसर क्रम से भ्रमित नहीं होना चाहिए, जिसे टेंसर रैंक कहा जाता है। टेन्सर क्रम टेंसर लिखने के लिए आवश्यक सूचकांकों की संख्या है, और इस प्रकार मैट्रिसेस में टेंसर ऑर्डर 2 होता है। अधिक त्रुटिहीन रूप से, मैट्रिसेस टाइप (1,1) के टेंसर होते हैं, जिनमें पंक्ति इंडेक्स और स्तंभ इंडेक्स होता है, जिसे सहसंयोजक क्रम 1 भी कहा जाता है। और प्रतिपरिवर्ती क्रम 1; विवरण के लिए टेंसर (आंतरिक परिभाषा) देखें।
मैट्रिक्स के टेंसर रैंक का अर्थ मैट्रिक्स को रैखिक संयोजन के रूप में व्यक्त करने के लिए आवश्यक सरल टेंसपंक्तिं की न्यूनतम संख्या भी हो सकता है, और यह परिभाषा मैट्रिक्स रैंक से सहमत है जैसा कि यहां चर्चा की गई है।
यह भी देखें
- मैट्पंक्तिइड रैंक
- गैर-नकारात्मक रैंक (रैखिक बीजगणित)
- रैंक (अंतर टोपोलॉजी)
- बहुसंरेखता
- रैखिक निर्भरता
टिप्पणियाँ
- ↑ Alternative notation includes from Katznelson & Katznelson (2008, p. 52, §2.5.1) and Halmos (1974, p. 90, § 50).
- ↑ Proof: Apply the rank–nullity theorem to the inequality
- ↑ Proof. The mapis well-defined and injective. We thus obtain the inequality in terms of dimensions of kernel, which can then be converted to the inequality in terms of ranks by the rank–nullity theorem. Alternatively, if is a linear subspace then ; apply this inequality to the subspace defined by the orthogonal complement of the image of in the image of , whose dimension is ; its image under has dimension .
संदर्भ
- ↑ Axler (2015) pp. 111-112, §§ 3.115, 3.119
- ↑ 2.0 2.1 Roman (2005) p. 48, § 1.16
- ↑ Bourbaki, Algebra, ch. II, §10.12, p. 359
- ↑ 4.0 4.1 Mackiw, G. (1995), "A Note on the Equality of the Column and Row Rank of a Matrix", Mathematics Magazine, 68 (4): 285–286, doi:10.1080/0025570X.1995.11996337
- ↑ Hefferon (2020) p. 200, ch. 3, Definition 2.1
- ↑ Katznelson & Katznelson (2008) p. 52, § 2.5.1
- ↑ Valenza (1993) p. 71, § 4.3
- ↑ Halmos (1974) p. 90, § 50
- ↑ Wardlaw, William P. (2005), "Row Rank Equals Column Rank", Mathematics Magazine, 78 (4): 316–318, doi:10.1080/0025570X.2005.11953349, S2CID 218542661
- ↑ Banerjee, Sudipto; Roy, Anindya (2014), Linear Algebra and Matrix Analysis for Statistics, Texts in Statistical Science (1st ed.), Chapman and Hall/CRC, ISBN 978-1420095388
- ↑ Mirsky, Leonid (1955). रैखिक बीजगणित का परिचय. Dover Publications. ISBN 978-0-486-66434-7.
स्पंक्तित
- Axler, Sheldon (2015). रेखीय बीजगणित सही किया. Undergraduate Texts in Mathematics (3rd ed.). Springer. ISBN 978-3-319-11079-0.
- Halmos, Paul Richard (1974) [1958]. परिमित-आयामी वेक्टर रिक्त स्थान. Undergraduate Texts in Mathematics (2nd ed.). Springer. ISBN 0-387-90093-4.
- Hefferon, Jim (2020). लीनियर अलजेब्रा (4th ed.). ISBN 978-1-944325-11-4.
- Katznelson, Yitzhak; Katznelson, Yonatan R. (2008). ए (संक्षिप्त) रेखीय बीजगणित का परिचय. American Mathematical Society. ISBN 978-0-8218-4419-9.
- Roman, Steven (2005). उन्नत रेखीय बीजगणित. Undergraduate Texts in Mathematics (2nd ed.). Springer. ISBN 0-387-24766-1.
- Valenza, Robert J. (1993) [1951]. रेखीय बीजगणित: सार गणित का परिचय. Undergraduate Texts in Mathematics (3rd ed.). Springer. ISBN 3-540-94099-5.
अग्रिम पठन
- Roger A. Horn and Charles R. Johnson (1985). Matrix Analysis. ISBN 978-0-521-38632-6.
- Kaw, Autar K. Two Chapters from the book Introduction to Matrix Algebra: 1. Vectors [1] and System of Equations [2]
- Mike Brookes: Matrix Reference Manual. [3]