रैंक (रैखिक बीजगणित): 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> | सामान्यतः रैंक को {{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> | ||
Line 71: | Line 71: | ||
किन्तु स्मरण रखें कि {{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|'''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>}} स्पष्ट रूप से {{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|r}} उतना ही बड़ा होना चाहिए। यह सिद्ध करता है कि {{mvar|A}} के पंक्ति रैंक, {{mvar|A}} स्तंभ रैंक से बड़ा नहीं है। अब इस परिणाम को विपरीत असमानता प्राप्त करने के लिए {{mvar|A}} | अब, प्रत्येक {{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|r}} उतना ही बड़ा होना चाहिए। यह सिद्ध करता है कि {{mvar|A}} के पंक्ति रैंक, {{mvar|A}} स्तंभ रैंक से बड़ा नहीं है। अब इस परिणाम को विपरीत असमानता प्राप्त करने के लिए {{mvar|A}} के स्थानान्तरण पर प्रयुक्त करने के लिए और पिछले प्रमाण की भाति निष्कर्ष निकालने के लिए किया जाता है। | ||
== वैकल्पिक परिभाषाएँ == | == वैकल्पिक परिभाषाएँ == | ||
Line 84: | Line 84: | ||
=== अशक्तता के स्थिति में रैंक === | === अशक्तता के स्थिति में रैंक === | ||
उसी रेखीय मानचित्रण {{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|''F''<sup>''m''</sup>}} का उप-स्थान है जो वास्तव में {{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}} की छवि है।) | ||
=== पंक्ति रैंक - पंक्ति स्थान का आयाम === | === पंक्ति रैंक - पंक्ति स्थान का आयाम === | ||
Line 109: | Line 109: | ||
यह तुल्यता से अनुसरण करता है <math>(1)\Leftrightarrow(5)</math> कि पंक्ति रैंक स्तंभ रैंक के समांतर है। | यह तुल्यता से अनुसरण करता है <math>(1)\Leftrightarrow(5)</math> कि पंक्ति रैंक स्तंभ रैंक के समांतर है। | ||
जैसा कि "छवि लक्षण वर्णन के आयाम के स्थिति में, इसे किसी भी रैखिक मानचित्र के रैंक की परिभाषा के लिए सामान्यीकृत किया जा सकता है। रैखिक मानचित्र का रैंक {{math|''f'' : ''V'' → ''W''}} | जैसा कि "छवि लक्षण वर्णन के आयाम के स्थिति में, इसे किसी भी रैखिक मानचित्र के रैंक की परिभाषा के लिए सामान्यीकृत किया जा सकता है। रैखिक मानचित्र का रैंक {{math|''f'' : ''V'' → ''W''}} मध्यवर्ती स्थान {{mvar|X}} का न्यूनतम आयाम {{mvar|k}} है। जैसे उस {{mvar|f}} को मानचित्र {{math|''V'' → ''X''}} और मानचित्र {{math|''X'' → ''W''}} की रचना के रूप में लिखा जा सकता है। दुर्भाग्य से, यह परिभाषा रैंक की गणना करने के लिए कुशल विधि का सुझाव नहीं देती है (जिसके लिए वैकल्पिक परिभाषाओं में से किसी का उपयोग करना उत्तम है)। विवरण के लिए रैंक गुणनखंड देख सकते है। | ||
=== विलक्षण मूल्यों के संदर्भ में रैंक === | === विलक्षण मूल्यों के संदर्भ में रैंक === | ||
Line 117: | Line 117: | ||
{{mvar|A}} का रैंक {{mvar|A}} में किसी भी गैर-शून्य [[माइनर (रैखिक बीजगणित)]] का सबसे बड़ा क्रम है। (माइनर का क्रम वर्ग उप-आव्यूह की पार्श्व-लम्बाई है। जिसका यह निर्धारक है।) अपघटन रैंक लक्षण वर्णन की प्रकार से यह रैंक की गणना करने की कुशल विधि नहीं देता है, किन्तु यह सैद्धांतिक रूप से उपयोगी है। आव्यूह के रैंक के लिए एकल गैर-शून्य माइनर निचली सीमा (अर्थात् इसका क्रम) देखता है। जो कि निश्चित सिद्ध करने के लिए उपयोगी हो सकता है। (उदाहरण के लिए) ऑपरेशन आव्यूह के रैंक को कम नहीं करते हैं। | {{mvar|A}} का रैंक {{mvar|A}} में किसी भी गैर-शून्य [[माइनर (रैखिक बीजगणित)]] का सबसे बड़ा क्रम है। (माइनर का क्रम वर्ग उप-आव्यूह की पार्श्व-लम्बाई है। जिसका यह निर्धारक है।) अपघटन रैंक लक्षण वर्णन की प्रकार से यह रैंक की गणना करने की कुशल विधि नहीं देता है, किन्तु यह सैद्धांतिक रूप से उपयोगी है। आव्यूह के रैंक के लिए एकल गैर-शून्य माइनर निचली सीमा (अर्थात् इसका क्रम) देखता है। जो कि निश्चित सिद्ध करने के लिए उपयोगी हो सकता है। (उदाहरण के लिए) ऑपरेशन आव्यूह के रैंक को कम नहीं करते हैं। | ||
गैर-लुप्त होने वाला | गैर-लुप्त होने वाला {{mvar|p}}-अवयस्क ({{math|''p'' × ''p''}} उच्च आव्यूह की की पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं और इस प्रकार पूर्ण आव्यूह की वे पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं। (पूर्ण आव्यूह में) अतः पंक्ति और स्तंभ रैंक कम से कम निर्धारक रैंक जितनी बड़ी है। चूँकि, वार्तालाप कम सीमित है। निर्धारक रैंक और स्तंभ रैंक की समानता इस कथन की मजबूती है कि यदि {{mvar|n}} सदिशो की अवधि में आयाम {{mvar|p}} है। तब उन सदिशों में से {{mvar|p}} स्थान को फैलाते हैं। (समतुल्य रूप से, कोई फैले हुए समूह को चुन सकता है। जो सदिशों का उच्च समूह है) सामान्यतः समतुल्यता का अर्थ है कि पंक्तियों का उपसमुच्चय और स्तंभों का उपसमुच्चय साथ व्युत्क्रमणीय उच्च आव्यूह को परिभाषित करता है। (समकक्ष रूप से, यदि {{mvar|n}} सदिशों की अवधि आयाम {{mvar|p}} है। तब इन सदिशों में से {{mvar|p}} अंतरिक्ष में फैलाता है और {{mvar|p}} का समुच्चय होता है। निर्देशांक जिस पर वे रैखिक रूप से स्वतंत्र हैं)। | ||
=== टेंसर रैंक - साधारण टेंसर पंक्ति की न्यूनतम संख्या === | === टेंसर रैंक - साधारण टेंसर पंक्ति की न्यूनतम संख्या === | ||
{{Main|टेन्सर रैंक अपघटन|टेंसर रैंक}} | {{Main|टेन्सर रैंक अपघटन|टेंसर रैंक}} | ||
{{mvar|A}} की कोटि की सबसे छोटी संख्या {{mvar|k}} है। जिसमे {{mvar|A}} को {{mvar|k}} | {{mvar|A}} की कोटि की सबसे छोटी संख्या {{mvar|k}} है। जिसमे {{mvar|A}} को {{mvar|k}} श्रेणी 1 आव्यूहों के योग के रूप में लिखा जा सकता है। जहां आव्यूह को कोटि 1 के रूप में परिभाषित किया जाता है। यदि इसे गैर-शून्य उत्पाद के रूप में लिखा जा सकता है <math>c \cdot r</math> स्तंभ सदिश {{mvar|c}} और पंक्ति सदिश {{mvar|r}} का रैंक की इस धारणा को [[टेंसर रैंक]] कहा जाता है; इसे एकवचन मूल्य अपघटन की वियोज्य मॉडल व्याख्या में सामान्यीकृत किया जा सकता है। | ||
== गुण == | == गुण == | ||
Line 129: | Line 129: | ||
* चूँकि {{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|f}} [[इंजेक्शन समारोह|इंजेक्शन समापंक्तिह]] है यदि {{mvar|A}} में रैंक {{mvar|n}} है (इस स्थिति में, हम कहते हैं कि {{mvar|A}} का पूर्ण स्तंभ रैंक है)। | ||
* {{mvar|f}} | * {{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}} का पूर्ण रैंक है)। | ||
* यदि {{mvar|B}} कोई {{math|''n'' × ''k''}} आव्यूह है। तब पद <math display="block">\operatorname{rank}(AB) \leq \min(\operatorname{rank}(A), \operatorname{rank}(B)).</math> | * यदि {{mvar|B}} कोई {{math|''n'' × ''k''}} आव्यूह है। तब पद <math display="block">\operatorname{rank}(AB) \leq \min(\operatorname{rank}(A), \operatorname{rank}(B)).</math> | ||
* यदि {{mvar|B}} रैंक {{mvar|n}} का {{math|''n'' × ''k''}} आव्यूह है। तब <math display="block">\operatorname{rank}(AB) = \operatorname{rank}(A).</math> | * यदि {{mvar|B}} रैंक {{mvar|n}} का {{math|''n'' × ''k''}} आव्यूह है। तब <math display="block">\operatorname{rank}(AB) = \operatorname{rank}(A).</math> | ||
* यदि {{mvar|C}} रैंक {{mvar|m}} का {{math|''l'' × ''m''}} आव्यूह है। तब <math display="block">\operatorname{rank}(CA) = \operatorname{rank}(A).</math> | * यदि {{mvar|C}} रैंक {{mvar|m}} का {{math|''l'' × ''m''}} आव्यूह है। तब <math display="block">\operatorname{rank}(CA) = \operatorname{rank}(A).</math> | ||
* {{mvar|A}} का रैंक {{mvar|r}} के समांतर है। यदि कोई व्युत्क्रमणीय {{math|''m'' × ''m''}} आव्यूह {{mvar|X}} | * {{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 \\ | ||
0 & 0 \\ | 0 & 0 \\ | ||
\end{bmatrix},</math> | \end{bmatrix},</math> जहाँ {{math|''I''<sub>''r''</sub>}} सामान्यतः {{math|''r'' × ''r''}} आव्यूह को दर्शाता है। | ||
* [[जेम्स जोसेफ सिल्वेस्टर]] की रैंक असमानता: यदि {{mvar|A}} {{math|''m'' × ''n''}} आव्यूह और {{mvar|B}} | * [[जेम्स जोसेफ सिल्वेस्टर]] की रैंक असमानता: यदि {{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> | * उप-विषमता: <math display="block">\operatorname{rank}(A+ B) \le \operatorname{rank}(A) + \operatorname{rank}(B) </math> जब {{mvar|A}} और {{mvar|B}} समान आयाम के होते हैं। परिणाम स्वरुप, रैंक-{{mvar|k}} आव्यूह को रैंक-1 आव्यूह के योग के रूप में लिखा जा सकता है, किन्तु कम नहीं। | ||
* आव्यूह की रैंक प्लस आव्यूह का [[कर्नेल (मैट्रिक्स)| | * आव्यूह की रैंक प्लस आव्यूह का [[कर्नेल (मैट्रिक्स)|शून्य रिक्त स्थान (आव्यूह)]] के शून्यता आव्यूह के स्तंभ की संख्या के समांतर होता है। (यह रैंक-शून्यता प्रमेय है।) | ||
* यदि {{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>\overline{A}</math> के लिए जटिल संयुग्म को दर्शाता है और {{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}} चर और रैंक की संख्या के मध्य का अंतर है। इस स्थिति में (और यह मानते हुए कि समीकरणों की प्रणाली वास्तविक या जटिल संख्या में है।) समीकरणों की प्रणाली में अपरिमित रूप से कई समाधान हैं। | ||
[[नियंत्रण सिद्धांत]] में, आव्यूह की रैंक का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि [[रैखिक प्रणाली]] | [[नियंत्रण सिद्धांत]] में, आव्यूह की रैंक का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि [[रैखिक प्रणाली]] नियंत्रणीय है या देखने योग्य है। | ||
[[संचार जटिलता]] के क्षेत्र में, किसी फ़ंक्शन के संचार आव्यूह का रैंक फ़ंक्शन की गणना करने के लिए दो पक्षों के लिए आवश्यक संचार की मात्रा पर सीमा देता है। | [[संचार जटिलता]] के क्षेत्र में, किसी फ़ंक्शन के संचार आव्यूह का रैंक फ़ंक्शन की गणना करने के लिए दो पक्षों के लिए आवश्यक संचार की मात्रा पर सीमा देता है। | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
अनैतिक छल्ले (गणित) पर रैंक से आव्यूहो की अवधारणा के विभिन्न सामान्यीकरण हैं। जहां स्तंभ रैंक, पंक्ति रैंक, स्तंभ स्थान का आयाम और आव्यूह के पंक्ति स्थान का आयाम दूसरों से भिन्न हो सकता है या उपस्तिथ नहीं हो सकता है। | |||
आव्यूहो को [[टेंसर]] के रूप में सोचते हुए, टेंसर रैंक अनैतिक टेंसरों के लिए सामान्यीकृत होता है। 2 से अधिक ऑर्डर के टेंसर के लिए (आव्यूहो ऑर्डर 2 टेंसर हैं।), आव्यूहो के विपरीत, रैंक की गणना करना बहुत कठिन है। | |||
[[चिकना कई गुना]] के मध्य चिकने | [[चिकना कई गुना]] के मध्य चिकने मानचित्रों के लिए [[ रैंक (अंतर टोपोलॉजी) |रैंक (अंतर टोपोलॉजी)]] की धारणा है। यह व्युत्पन्न (अंतर) के रैखिक रैंक के समांतर है। | ||
== [[टेन्सर]] के रूप में आव्यूह == | == [[टेन्सर]] के रूप में आव्यूह == | ||
आव्यूह रैंक को [[टेंसर क्रम]] से भ्रमित नहीं होना | आव्यूह रैंक को [[टेंसर क्रम]] से भ्रमित नहीं होना चाहिए। जिसे टेंसर रैंक कहा जाता है। टेन्सर क्रम टेंसर लिखने के लिए आवश्यक सूचकांकों की संख्या है और इस प्रकार आव्यूहो में टेंसर ऑर्डर 2 होता है। अधिक त्रुटिहीन रूप से, आव्यूहो टाइप (1,1) के टेंसर होते हैं। जिनमें पंक्ति इंडेक्स और स्तंभ इंडेक्स होता है। जिसे सहसंयोजक क्रम 1 भी कहा जाता है और प्रतिपरिवर्ती क्रम 1 विवरण के लिए [[टेंसर (आंतरिक परिभाषा)]] देख सकते है। | ||
आव्यूह के टेंसर रैंक का अर्थ आव्यूह को रैखिक संयोजन के रूप में व्यक्त करने के लिए आवश्यक [[सरल टेंसर|सरल | आव्यूह के टेंसर रैंक का अर्थ आव्यूह को रैखिक संयोजन के रूप में व्यक्त करने के लिए आवश्यक [[सरल टेंसर|सरल टेंसरों]] की न्यूनतम संख्या भी हो सकता है और यह परिभाषा आव्यूह रैंक से सहमत है जैसा कि यहां चर्चा की गई है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[मैट्रोइड | * [[मैट्रोइड रैंक]] | ||
* [[गैर-नकारात्मक रैंक (रैखिक बीजगणित)|अऋणात्मक रैंक (रैखिक बीजगणित)]] | * [[गैर-नकारात्मक रैंक (रैखिक बीजगणित)|अऋणात्मक रैंक (रैखिक बीजगणित)]] | ||
* रैंक (अंतर टोपोलॉजी) | * रैंक (अंतर टोपोलॉजी) |
Revision as of 12:52, 20 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 द्वारा दिए गए,
गणना
कंप्यूटर पर तैरने वाला स्थल कंप्यूटेशंस पर प्रयुक्त होने पर, मूल गॉसियन उन्मूलन (एलयू अपघटन) अविश्वसनीय हो सकता है और इसके अतिरिक्त रैंक-स्पष्टीकरण अपघटन का उपयोग किया जाता है। प्रभावी विकल्प एकवचन मूल्य अपघटन (एसवीडी) है। किन्तु अन्य निम्न बहुमूल्य विकल्प हैं। जैसे क्यूआर अपघटन पिवोटिंग (तथाकथित रैंक-खुलासा क्यूआर कारक करण) के साथ, जो अभी भी गॉसियन उन्मूलन से अधिक संख्यात्मक रूप से मजबूत हैं। रैंक के संख्यात्मक निर्धारण के लिए यह तय करने के लिए मानदंड की आवश्यकता होती है कि एसवीडी से विलक्षण मूल्य जैसे मूल्य को शून्य के रूप में माना जाता है। व्यावहारिक विकल्प जो आव्यूह और एप्लिकेशन दोनों पर निर्भर करता है।
प्रमाण है कि स्तंभ रैंक = पंक्ति रैंक
पंक्ति न्यूनीकरण का उपयोग कर प्रमाण
सामान्यतः तथ्य यह है कि किसी भी आव्यूह के स्तंभ और पंक्ति रैंक का समान रूप होता हैं। अतः रैखिक बीजगणित में मौलिक के अनेक प्रमाण दिये हैं। पंक्ति पारिस्थितिक रूपों से और रैंक में सबसे प्राथमिक व्यक्तियों में संक्षिप्त वर्णन किया गया है। यह इस प्रमाण का रूप है।
यह दिखाना प्रत्यक्ष है कि प्राथमिक पंक्ति संचालन द्वारा न तो पंक्ति रैंक और न ही स्तंभ रैंक को परिवर्तित किया जाता है। जैसा कि गौसियन उन्मूलन प्राथमिक पंक्ति संचालन से आगे बढ़ता है और आव्यूह के कम पंक्ति पारिस्थितिक रूप में मूल आव्यूह के समान पंक्ति रैंक और समान स्तंभ रैंक होता है। अतः आगे के प्राथमिक स्तंभ संचालन आव्यूह को पहचान आव्यूह के रूप में रखने की अनुमति देते हैं। जो संभवतः शून्य की पंक्तियों और स्तंभों से घिरा होता है। अतः यह पुनः न तो पंक्ति रैंक और न ही स्तंभ रैंक परिवर्तित करता है। यह तत्काल है कि इस परिणामी आव्यूह की पंक्ति और स्तंभ दोनों रैंक इसकी गैर-शून्य प्रविष्टियों की संख्या है।
हम इस परिणाम के दो अन्य प्रमाण प्रस्तुत करते हैं। प्रथम सदिशों के रैखिक संयोजन के केवल मूलभूत गुणों का उपयोग करता है और किसी भी क्षेत्र (गणित) पर मान्य है कि प्रमाण वार्डलॉ (2005) पर आधारित है।[9] दूसरा ओर्थोगोनालिटी का उपयोग करता है और वास्तविक संख्याओं पर आव्यूह के लिए मान्य है। यह मैकिव (1995) पर आधारित है।[4]दोनों प्रमाण बनर्जी और रॉय (2014) की पुस्तक में पाए जा सकते हैं।[10]
रैखिक संयोजनों का उपयोग करके प्रमाण
माना A सामान्यतः m × n आव्यूह है। मान लीजिए A का स्तंभ रैंक r है और c1, ..., cr को A के स्तंभ स्थान के लिए कोई भी आधार होने देता है। इन्हें m × r आव्यूह C के स्तंभ के रूप में रखा जाता है। A के प्रत्येक स्तंभ को रैखिक संयोजन के रूप में व्यक्त किया जा सकता है। C में r स्तंभ का रैखिक संयोजन होता है। इसका तात्पर्य यह है कि r × n आव्यूह R है। जैसे कि A = CR अतः R वह आव्यूह है जिसका iवाँ स्तंभ A के i के स्तंभ को C के r स्तंभ के रैखिक संयोजन के रूप में देने वाले गुणांक से बनता है। दूसरे शब्दों में, R वह आव्यूह है जिसमें A (जो कि C है) स्तंभ स्थान के आधापंक्तिं के लिए गुणक होते हैं। जो तब A को समग्र रूप में बनाने के लिए उपयोग किए जाते हैं। अब A की प्रत्येक पंक्ति R की r पंक्तियों के रैखिक संयोजन द्वारा दी गयी है। अतः R की पंक्तियाँ A के पंक्ति स्थान का फैला हुआ समूह बनती है। A और स्टेनिट्ज एक्सचेंज लेम्मा द्वारा, A की पंक्ति r रैंक से अधिक नहीं हो सकती है। यह सिद्ध करता है कि A की पंक्ति रैंक A के स्तंभ रैंक से कम या उसके समांतर है। यह परिणाम किसी भी आव्यूह पर प्रयुक्त किया जा सकता है। अतः परिणाम को A के स्थानान्तरण पर प्रयुक्त किया है। चूँकि A के स्थानान्तरण की पंक्ति रैंक के पश्चात् से A का स्तंभ रैंक है। और A के स्थानान्तरण के स्तंभ रैंक A की पंक्ति रैंक है। यह रिवर्स असमानता स्थापित करता है। अतः हम A पंक्ति रैंक और स्तंभ रैंक की समानता प्राप्त करते हैं। (रैंक गुणनखंड भी देखें।)
ऑर्थोगोनलिटी का उपयोग करके प्रमाण
मान लीजिए A सामान्यतः m × n आव्यूह है। जिसमे वास्तविक संख्या में प्रविष्टियों है। जिसकी पंक्ति रैंक r है। अतः A के पंक्ति स्थान का आयाम r है। मान लीजिए x1, x2, …, xr की पंक्ति स्थान का आधार (रैखिक बीजगणित) है अतः हम प्रामाणित करते हैं कि सदिश Ax1, Ax2, …, Axr रैखिक रूप से स्वतंत्र हैं। यह देखने के लिए कि क्यों, अदिश गुणांक वाले इन सदिशों को सम्मिलित करते हुए रैखिक सजातीय संबंध पर विचार किया जाता है। c1, c2, …, cr:
अब, प्रत्येक Axi स्पष्ट रूप से A के स्तंभ स्थान में सदिश है। अतः, Ax1, Ax2, …, Axr के स्तंभ स्थान में r रैखिक रूप से स्वतंत्र सदिश का समुच्चय है अतः A के स्तंभ स्थान का आयाम है। (अर्थात, A का स्तंभ रैंक) कम से कम r उतना ही बड़ा होना चाहिए। यह सिद्ध करता है कि A के पंक्ति रैंक, A स्तंभ रैंक से बड़ा नहीं है। अब इस परिणाम को विपरीत असमानता प्राप्त करने के लिए A के स्थानान्तरण पर प्रयुक्त करने के लिए और पिछले प्रमाण की भाति निष्कर्ष निकालने के लिए किया जाता है।
वैकल्पिक परिभाषाएँ
इस खंड में सभी परिभाषाओं में, आव्यूह A को अनैतिक क्षेत्र F पर m × n आव्यूह के रूप में लिया जाता है।
छवि का आयाम
आव्यूह दिया , संबद्ध रेखीय मानचित्रण है।
अशक्तता के स्थिति में रैंक
उसी रेखीय मानचित्रण f को देखते हुए रैंक n माइनस f के शून्य रिक्त स्थान का आयाम है। पद-अशक्तता प्रमेय कहता है कि यह परिभाषा पिछली परिभाषा के समकक्ष है।
स्तंभ रैंक - स्तंभ स्थान का आयाम
A की कोटि रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है का यह A के स्तंभ स्थान के सदिश स्थान का आयाम है। (स्तंभ स्थान A के स्तंभों द्वारा उत्पन्न Fm का उप-स्थान है जो वास्तव में A से जुड़े रेखीय मानचित्र f की छवि है।)
पंक्ति रैंक - पंक्ति स्थान का आयाम
A की रैंक A की रैखिक रूप से स्वतंत्र पंक्तियों की अधिकतम संख्या है। यह A की पंक्ति स्थान का आयाम है।
अपघटन रैंक
A की रैंक सबसे छोटा पूर्णांक k है। जिससे कि A को फैक्टर किया जा सकता है , जहाँ C सामान्यतः m × k आव्यूह है और R सामान्यतः k × n आव्यूह है। वास्तव में, सभी पूर्णांक k के लिए, निम्नलिखित समतुल्य हैं।
- A का स्तंभ रैंक k से कम या इसके समांतर है।
- वहां k स्तंभ उपस्थित है आकार का m ऐसा है कि A का प्रत्येक स्तंभ A का रैखिक संयोजन है। ,
- वहाँ उपस्तिथ है आव्यूह C और A सामान्यतः आव्यूह R ऐसा है कि ( जब k रैंक है, यह A रैंक गुणनखंड है)।
- वहां k पंक्तियाँ उपस्तिथ है आकार का n इस प्रकार है कि A की प्रत्येक पंक्ति A का रैखिक संयोजन है। ,
- A की पंक्ति रैंक k से कम या इसके समांतर है।
वास्तव में, निम्नलिखित समानताएं स्पष्ट हैं। .
उदाहरण के लिए, (3) को (2) से सिद्ध करने के लिए, C को वह आव्यूह मानें जिसके स्तंभ हैं (2) से।
(2) को (3) से सिद्ध करने के लिए, लीजिए C के स्तंभ होना होता है।
यह तुल्यता से अनुसरण करता है कि पंक्ति रैंक स्तंभ रैंक के समांतर है।
जैसा कि "छवि लक्षण वर्णन के आयाम के स्थिति में, इसे किसी भी रैखिक मानचित्र के रैंक की परिभाषा के लिए सामान्यीकृत किया जा सकता है। रैखिक मानचित्र का रैंक f : V → W मध्यवर्ती स्थान X का न्यूनतम आयाम k है। जैसे उस f को मानचित्र V → X और मानचित्र X → W की रचना के रूप में लिखा जा सकता है। दुर्भाग्य से, यह परिभाषा रैंक की गणना करने के लिए कुशल विधि का सुझाव नहीं देती है (जिसके लिए वैकल्पिक परिभाषाओं में से किसी का उपयोग करना उत्तम है)। विवरण के लिए रैंक गुणनखंड देख सकते है।
विलक्षण मूल्यों के संदर्भ में रैंक
का पद A गैर-शून्य एकवचन मूल्य अपघटन की संख्या के समांतर है। जो कि एकवचन मूल्य अपघटन में Σ में गैर-शून्य विकर्ण तत्वों की संख्या के समान है .
निर्धारक रैंक - सबसे बड़े गैर-लुप्त माइनर का आकार
A का रैंक A में किसी भी गैर-शून्य माइनर (रैखिक बीजगणित) का सबसे बड़ा क्रम है। (माइनर का क्रम वर्ग उप-आव्यूह की पार्श्व-लम्बाई है। जिसका यह निर्धारक है।) अपघटन रैंक लक्षण वर्णन की प्रकार से यह रैंक की गणना करने की कुशल विधि नहीं देता है, किन्तु यह सैद्धांतिक रूप से उपयोगी है। आव्यूह के रैंक के लिए एकल गैर-शून्य माइनर निचली सीमा (अर्थात् इसका क्रम) देखता है। जो कि निश्चित सिद्ध करने के लिए उपयोगी हो सकता है। (उदाहरण के लिए) ऑपरेशन आव्यूह के रैंक को कम नहीं करते हैं।
गैर-लुप्त होने वाला p-अवयस्क (p × p उच्च आव्यूह की की पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं और इस प्रकार पूर्ण आव्यूह की वे पंक्तियाँ और स्तंभ रैखिक रूप से स्वतंत्र हैं। (पूर्ण आव्यूह में) अतः पंक्ति और स्तंभ रैंक कम से कम निर्धारक रैंक जितनी बड़ी है। चूँकि, वार्तालाप कम सीमित है। निर्धारक रैंक और स्तंभ रैंक की समानता इस कथन की मजबूती है कि यदि n सदिशो की अवधि में आयाम p है। तब उन सदिशों में से p स्थान को फैलाते हैं। (समतुल्य रूप से, कोई फैले हुए समूह को चुन सकता है। जो सदिशों का उच्च समूह है) सामान्यतः समतुल्यता का अर्थ है कि पंक्तियों का उपसमुच्चय और स्तंभों का उपसमुच्चय साथ व्युत्क्रमणीय उच्च आव्यूह को परिभाषित करता है। (समकक्ष रूप से, यदि n सदिशों की अवधि आयाम p है। तब इन सदिशों में से p अंतरिक्ष में फैलाता है और p का समुच्चय होता है। निर्देशांक जिस पर वे रैखिक रूप से स्वतंत्र हैं)।
टेंसर रैंक - साधारण टेंसर पंक्ति की न्यूनतम संख्या
A की कोटि की सबसे छोटी संख्या k है। जिसमे A को k श्रेणी 1 आव्यूहों के योग के रूप में लिखा जा सकता है। जहां आव्यूह को कोटि 1 के रूप में परिभाषित किया जाता है। यदि इसे गैर-शून्य उत्पाद के रूप में लिखा जा सकता है स्तंभ सदिश c और पंक्ति सदिश r का रैंक की इस धारणा को टेंसर रैंक कहा जाता है; इसे एकवचन मूल्य अपघटन की वियोज्य मॉडल व्याख्या में सामान्यीकृत किया जा सकता है।
गुण
हम मानते हैं कि A सामान्यतः m × n आव्यूह है और हम f(x) = Ax द्वारा रैखिक मानचित्र f को परिभाषित करते हैं।
- चूँकि 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 का n × k आव्यूह है। तब
- यदि C रैंक m का l × 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 आव्यूह को रैंक-1 आव्यूह के योग के रूप में लिखा जा सकता है, किन्तु कम नहीं।
- आव्यूह की रैंक प्लस आव्यूह का शून्य रिक्त स्थान (आव्यूह) के शून्यता आव्यूह के स्तंभ की संख्या के समांतर होता है। (यह रैंक-शून्यता प्रमेय है।)
- यदि A वास्तविक संख्याओं पर आव्यूह है, तब A रैंक और इसके संगत ग्राम आव्यूह की कोटि समांतर होती है। इस प्रकार, वास्तविक आव्यूह के लिए पद, यह उनके शून्य रिक्त स्थान (आव्यूह) की समानता सिद्ध करके दिखाया जा सकता है। ग्राम आव्यूह का रिक्त स्थान सदिशों x द्वारा दिया जाता है। जिसके लिए यदि यह शर्त पूर्ण होती है, तब हमारे पास भी होता है।[11]
- यदि 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]