पंक्ति और स्तंभ समिष्ट: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(23 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Vector spaces associated to a matrix}}
{{Short description|Vector spaces associated to a matrix}}
[[File:Matrix Rows.svg|thumb|right|[[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के पंक्ति सदिश इस आव्यूह का पंक्ति स्थान पंक्ति सदिश द्वारा फैला हुआ सदिश स्थान है।]]
[[File:Matrix Rows.svg|thumb|right|[[मैट्रिक्स (गणित)|आव्यूह]] के पंक्ति सदिश है। इस आव्यूह का पंक्ति समष्टि पंक्ति सदिश द्वारा विस्तारित सदिश समष्टि है।]]


[[Image:Matrix Columns.svg|thumb|right|आव्यूह (गणित) के स्तंभ सदिश इस आव्यूह का स्तंभ स्थान स्तंभ सदिश द्वारा फैला हुआ सदिश स्थान  है।]]रैखिक बीजगणित में, आव्यूह ''A'' का स्तंभ स्थान  (जिसे श्रेणी या छवि भी कहा जाता है) इसके [[कॉलम वेक्टर|स्तंभ सदिश]] की [[रैखिक अवधि]] (सभी संभावित [[रैखिक संयोजन|रैखिक संयोजनों]] का समुच्चय) है। आव्यूह का स्तंभ स्थान संबंधित [[मैट्रिक्स परिवर्तन|आव्यूह परिवर्तन]] की [[छवि (गणित)|छवि]] या श्रेणी है।
[[Image:Matrix Columns.svg|thumb|right|आव्यूह के स्तंभ सदिश है। इस आव्यूह का स्तंभ समष्टि स्तंभ सदिश द्वारा विस्तारित सदिश समष्टि है।]]रैखिक बीजगणित में, आव्यूह ''A'' (जिसे श्रेणी या छवि भी कहा जाता है) इसके स्तंभ सदिश की रैखिक अवधि (सभी संभावित रैखिक संयोजनों का समुच्चय) है। आव्यूह का स्तंभ समष्टि संबंधित आव्यूह परिवर्तन की छवि या श्रेणी कहलाता है।


मान लें <math>\mathbb{F}</math> [[क्षेत्र (गणित)|क्षेत्र]] हो। {{math|''m'' × ''n''}} आव्यूह का स्तंभ स्थान  से घटकों के साथ <math>\mathbb{F}</math> m-स्थान रेखीय उपसमष्टि <math>\mathbb{F}^m</math> है। स्तंभ स्थान के [[आयाम (रैखिक बीजगणित)|आयाम]] को आव्यूह का [[रैंक (रैखिक बीजगणित)|रैंक]] कहा जाता है और यह अधिकतम {{math|min(''m'', ''n'')}} होता है।<ref name="ReferenceA">Linear algebra, as discussed in this article, is a very well established mathematical discipline for which there are many sources. Almost all of the material in this article can be found in Lay 2005, Meyer 2001, and Strang 2005.</ref> रिंग पर आव्यूहों की परिभाषा <math>\mathbb{K}</math> भी संभव है।
मान लीजिए <math>\mathbb{F}</math> क्षेत्र है। {{math|''m'' × ''n''}} आव्यूह का स्तंभ समष्टि घटकों के साथ <math>\mathbb{F}</math> है, m-समष्टि की रेखीय उपसमष्टि <math>\mathbb{F}^m</math> है। स्तंभ समष्टि के आयाम को आव्यूह की [[रैंक (रैखिक बीजगणित)|श्रेणी]] कहा जाता है और यह  {{math|न्यूनतम (''m'', ''n'')}} होता है।<ref name="ReferenceA">Linear algebra, as discussed in this article, is a very well established mathematical discipline for which there are many sources. Almost all of the material in this article can be found in Lay 2005, Meyer 2001, and Strang 2005.</ref> रिंग पर आव्यूहों की परिभाषा <math>\mathbb{K}</math> भी संभव है।


पंक्ति स्थान इसी प्रकार परिभाषित किया गया है।
पंक्ति समष्टि इसी प्रकार परिभाषित किया गया है।


आव्यूह {{mvar|A}} के पंक्ति स्थान और स्तंभ स्थान को कभी-कभी क्रमशः {{math|'''''C'''''(''A''<sup>T</sup>)}} और {{math|'''''C'''''(''A'')}} के रूप में निरूपित किया जाता है।<ref>{{Cite book|last=Strang|first=Gilbert|url=https://www.worldcat.org/oclc/956503593|title=रैखिक बीजगणित का परिचय|publisher=Wellesley-Cambridge Press|year=2016|isbn=978-0-9802327-7-6|edition=Fifth|location=Wellesley, MA|pages=128,168|oclc=956503593}}</ref>
आव्यूह {{mvar|A}} के पंक्ति समष्टि और स्तंभ समष्टि को कभी-कभी क्रमशः {{math|'''''C'''''(''A''<sup>T</sup>)}} और {{math|'''''C'''''(''A'')}} के रूप में निरूपित किया जाता है।<ref>{{Cite book|last=Strang|first=Gilbert|url=https://www.worldcat.org/oclc/956503593|title=रैखिक बीजगणित का परिचय|publisher=Wellesley-Cambridge Press|year=2016|isbn=978-0-9802327-7-6|edition=Fifth|location=Wellesley, MA|pages=128,168|oclc=956503593}}</ref>


यह लेख [[वास्तविक संख्या|वास्तविक संख्याओं]] के आव्यूहों पर विचार करता है। पंक्ति और स्तंभ स्थान [[वास्तविक समन्वय स्थान]] के उप-स्थान क्रमशः <math>\R^n</math> और <math>\R^m</math> हैं।<ref>{{harvtxt|Anton|1987|p=179}}</ref>
यह लेख [[वास्तविक संख्या|वास्तविक संख्याओं]] के आव्यूहों पर विचार करता है। पंक्ति और स्तंभ समष्टि [[वास्तविक समन्वय स्थान|वास्तविक समन्वय समष्टि]] के उप-समष्टि क्रमशः <math>\R^n</math> और <math>\R^m</math> हैं।<ref>{{harvtxt|Anton|1987|p=179}}</ref>
== अवलोकन ==
== अवलोकन ==
मान लीजिए {{mvar|A}} {{mvar|m}}-द्वारा-{{mvar|n}} आव्यूह है। तब
मान लीजिए {{mvar|A}}, {{mvar|m}}-द्वारा-{{mvar|n}} आव्यूह है। तब:
# {{math|1=rank(''A'') = dim(rowsp(''A'')) = dim(colsp(''A''))}},<ref>{{harvtxt|Anton|1987|p=183}}</ref>
# {{math|1=rank(''A'') = dim(rowsp(''A'')) = dim(colsp(''A''))}},<ref>{{harvtxt|Anton|1987|p=183}}</ref>
# {{math|rank(''A'')}} = {{mvar|A}} के किसी सोपानक रूप में [[धुरी तत्व]] की संख्या है।
# {{math|rank(''A'')}} = {{mvar|A}} के किसी सोपानक रूप में [[धुरी तत्व]] की संख्या है।
# {{math|rank(''A'')}} = {{mvar|A}} की रैखिक रूप से स्वतंत्र पंक्तियों या स्तंभों की अधिकतम संख्या है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=254}}</ref>
# {{math|rank(''A'')}} = {{mvar|A}} की रैखिक रूप से स्वतंत्र पंक्तियों या स्तंभों की अधिकतम संख्या है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=254}}</ref>
यदि कोई आव्यूह को [[रैखिक परिवर्तन]] <math>\mathbb{R}^n</math> को <math>\mathbb{R}^m</math> के रूप में मानता है, तब आव्यूह का स्तंभ स्थान इस रैखिक परिवर्तन की छवि के समान है।
यदि किसी आव्यूह को [[रैखिक परिवर्तन]] <math>\mathbb{R}^n</math> को <math>\mathbb{R}^m</math> के रूप में मानता है, तब आव्यूह का स्तंभ समष्टि इस रैखिक परिवर्तन की छवि के समान है।


आव्यूह {{mvar|A}} का स्तंभ स्थान {{mvar|A}} में स्तंभ के सभी रैखिक संयोजनों का समुच्चय है। यदि {{math|1=''A'' = ['''a'''<sub>1</sub> ⋯ '''a'''<sub>''n''</sub>]}}, तब {{math|1=colsp(''A'') = span({{mset|'''a'''<sub>1</sub>, ..., '''a'''<sub>''n''</sub>}})}} है।
आव्यूह {{mvar|A}} का स्तंभ समष्टि {{mvar|A}} में स्तंभ के सभी रैखिक संयोजनों का समुच्चय है। यदि {{math|1=''A'' = ['''a'''<sub>1</sub> ⋯ '''a'''<sub>''n''</sub>]}}, तब {{math|1=colsp(''A'') = span({{mset|'''a'''<sub>1</sub>, ..., '''a'''<sub>''n''</sub>}})}} है।


पंक्ति स्थान की अवधारणा आव्यूहों को सामान्य करती है {{nowrap|<math>\C</math>,}} [[जटिल संख्या|जटिल संख्याओं]] का क्षेत्र, या किसी भी क्षेत्र (गणित) पर।
पंक्ति समष्टि {{nowrap|<math>\C</math>}} की अवधारणा [[जटिल संख्या|जटिल संख्याओं]] के क्षेत्र, या किसी भी क्षेत्र पर आव्यूहों को सामान्य करती है।


सरल रूप से, आव्यूह {{mvar|A}} दिया गया है, सदिश {{math|'''x'''}} पर आव्यूह {{mvar|A}} की क्रिया गुणांक के रूप में {{math|'''x'''}} के निर्देशांक द्वारा भारित {{mvar|A}} के स्तंभ के रैखिक संयोजन वापस कर देगी। इसे देखने का दूसरा प्रकार यह है कि (1) यह {{mvar|A}} के पंक्ति स्थान में प्रथम प्रोजेक्ट {{math|'''x'''}} होगा, (2)  व्युत्क्रमणीय रूपांतरण करते हैं, और (3) परिणामी सदिश  {{math|'''y'''}} को {{mvar|A}} स्तंभ स्थान में रखते हैं। इस प्रकार परिणाम {{math|1='''y''' = ''A'''''x'''}} को {{mvar|A}} के स्तंभ स्थान में रहना चाहिए। इस दूसरी व्याख्या पर अधिक विवरण के लिए एकवचन मूल्य अपघटन देखें।{{ clarify | date = November 2015 | reason = This perspective is not covered on the SVD page. }}
सरल रूप से, आव्यूह {{mvar|A}} दिया गया है, सदिश {{math|'''x'''}} पर आव्यूह {{mvar|A}} की क्रिया गुणांक के रूप में {{math|'''x'''}} के निर्देशांक द्वारा भारित {{mvar|A}} के स्तंभ के रैखिक संयोजन वापस कर देगी। इसे देखने का दूसरा प्रकार यह है कि (1) यह {{mvar|A}} के पंक्ति समष्टि में प्रथम प्रोजेक्ट {{math|'''x'''}} होगा, (2)  व्युत्क्रमणीय रूपांतरण करते हैं, और (3) परिणामी सदिश  {{math|'''y'''}} को {{mvar|A}} स्तंभ समष्टि में रखते हैं। इस प्रकार परिणाम {{math|1='''y''' = ''A'''''x'''}} को {{mvar|A}} के स्तंभ समष्टि में रहना चाहिए। इस दूसरी व्याख्या पर अधिक विवरण के लिए एकवचन मूल्य अपघटन देखें।{{ clarify | date = November 2015 | reason = This perspective is not covered on the SVD page. }}


=== उदाहरण ===
=== उदाहरण ===
Line 39: Line 39:
<math>\mathbf{r}_1 = \begin{bmatrix} 2 & 4 & 1 & 3 & 2 \end{bmatrix}</math>, <math>\mathbf{r}_2 = \begin{bmatrix} -1 & -2 & 1 & 0 & 5 \end{bmatrix}</math>, <math>\mathbf{r}_3 = \begin{bmatrix} 1 & 6 & 2 & 2 & 2 \end{bmatrix}</math>, <math>\mathbf{r}_4 = \begin{bmatrix} 3 & 6 & 2 & 5 & 1 \end{bmatrix}</math>
<math>\mathbf{r}_1 = \begin{bmatrix} 2 & 4 & 1 & 3 & 2 \end{bmatrix}</math>, <math>\mathbf{r}_2 = \begin{bmatrix} -1 & -2 & 1 & 0 & 5 \end{bmatrix}</math>, <math>\mathbf{r}_3 = \begin{bmatrix} 1 & 6 & 2 & 2 & 2 \end{bmatrix}</math>, <math>\mathbf{r}_4 = \begin{bmatrix} 3 & 6 & 2 & 5 & 1 \end{bmatrix}</math>


परिणामस्वरूप, की पंक्ति स्थान {{mvar|J}} की उपसमष्टि है <math>\R^5</math> द्वारा रैखिक अवधि {{math|{{mset| '''r'''<sub>1</sub>, '''r'''<sub>2</sub>, '''r'''<sub>3</sub>, '''r'''<sub>4</sub> }}}}.
परिणामस्वरूप, की पंक्ति समष्टि {{mvar|J}} की उपसमष्टि <math>\R^5</math> द्वारा रैखिक अवधि {{math|{{mset| '''r'''<sub>1</sub>, '''r'''<sub>2</sub>, '''r'''<sub>3</sub>, '''r'''<sub>4</sub> }}}}है।


चूँकि ये चार पंक्ति सदिश [[रैखिक स्वतंत्रता]] हैं, पंक्ति स्थान 4-आयामी है। इसके अतिरिक्त , इस स्थिति में यह देखा जा सकता है कि वे सभी सदिश के लिए [[ओर्थोगोनालिटी]] हैं {{math|1='''n''' = [6, −1, 4, −4, 0]}}, तो यह निष्कर्ष निकाला जा सकता है कि पंक्ति स्थान में सभी सदिश सम्मिलित  हैं <math>\R^5</math> जो लंबकोणीय हैं {{math|'''n'''}}
चूँकि ये चार पंक्ति सदिश [[रैखिक स्वतंत्रता]] हैं, पंक्ति समष्टि 4-आयामी है। इसके अतिरिक्त, इस स्थिति में यह देखा जा सकता है कि वे सभी सदिश {{math|1='''n''' = [6, −1, 4, −4, 0]}} के लिए [[ओर्थोगोनालिटी|लंबकोणीय]] हैं, इसलिए यह निष्कर्ष निकाला जा सकता है कि पंक्ति समष्टि में सभी सदिश <math>\R^5</math> सम्मिलित हैं, जो लंबकोणीय {{math|'''n'''}} हैं।


== स्तंभ स्थान ==
== स्तंभ समष्टि ==


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


मान लें  {{mvar|K}} स्केलर (गणित) का क्षेत्र (गणित) हो। मान लें  {{math|A}} सेम {{math|''m'' × ''n''}} आव्यूह , स्तंभ सदिश के साथ {{math|'''v'''<sub>1</sub>, '''v'''<sub>2</sub>, ..., '''v'''<sub>''n''</sub>}}. इन सदिशों का रैखिक संयोजन किसी भी प्रकार का सदिश होता है
मान लीजिए {{mvar|K}} अदिशों का क्षेत्र है। मान लीजिए {{math|A}}, {{math|''m'' × ''n''}} आव्यूह है, जिसमें स्तंभ सदिश {{math|'''v'''<sub>1</sub>, '''v'''<sub>2</sub>, ..., '''v'''<sub>''n''</sub>}} हैं। इन सदिशों का रैखिक संयोजन किसी प्रकार का सदिश होता है:
:<math>c_1 \mathbf{v}_1 + c_2 \mathbf{v}_2 + \cdots + c_n \mathbf{v}_n,</math>
:<math>c_1 \mathbf{v}_1 + c_2 \mathbf{v}_2 + \cdots + c_n \mathbf{v}_n,</math>
कहाँ {{math|''c''<sub>1</sub>, ''c''<sub>2</sub>, ..., ''c<sub>n</sub>''}} अदिश हैं। के सभी संभव रैखिक संयोजनों का समुच्चय {{math|'''v'''<sub>1</sub>, ..., '''v'''<sub>''n''</sub>}} का स्तंभ स्थान  कहा जाता है {{mvar|A}}. अर्थात स्तंभ स्थान  {{mvar|A}} सदिशों की रैखिक अवधि है {{math|'''v'''<sub>1</sub>, ..., '''v'''<sub>''n''</sub>}}.
जहाँ {{math|''c''<sub>1</sub>, ''c''<sub>2</sub>, ..., ''c<sub>n</sub>''}} अदिश हैं। {{math|'''v'''<sub>1</sub>, ..., '''v'''<sub>''n''</sub>}} के सभी संभावित रैखिक संयोजनों के समुच्चय को {{mvar|A}} का स्तंभ समष्टि कहा जाता है। अर्थात, {{mvar|A}} का स्तंभ समष्टि सदिशों {{math|'''v'''<sub>1</sub>, ..., '''v'''<sub>''n''</sub>}} की रैखिक अवधि है।


आव्यूह के स्तंभ सदिश का कोई रैखिक संयोजन {{mvar|A}} को गुणनफल के रूप में लिखा जा सकता है {{mvar|A}} स्तंभ सदिश  के साथ:
आव्यूह {{mvar|A}} के स्तंभ सदिश के किसी भी रैखिक संयोजन को स्तंभ सदिश के साथ {{mvar|A}} के गुणनफल के रूप में लिखा जा सकता है:
:<math>\begin{array} {rcl}
:<math>\begin{array} {rcl}
A \begin{bmatrix} c_1 \\ \vdots \\ c_n \end{bmatrix}  
A \begin{bmatrix} c_1 \\ \vdots \\ c_n \end{bmatrix}  
Line 58: Line 58:
& = & c_1 \mathbf{v}_1 + \cdots + c_n \mathbf{v}_n
& = & c_1 \mathbf{v}_1 + \cdots + c_n \mathbf{v}_n
\end{array}</math>
\end{array}</math>
इसलिए, का स्तंभ स्थान {{mvar|A}} में सभी संभावित उत्पाद सम्मिलित  हैं {{math|''A'''''x'''}}, के लिए {{math|'''x''' ''K''<sup>''n''</sup>}}. यह संबंधित आव्यूह परिवर्तन की छवि (गणित) (या किसी फलन की श्रेणी) के समान है।
इसलिए, {{mvar|A}} के स्तंभ समष्टि में {{math|'''x''' ∈ ''K''<sup>''n''</sup>}} के लिए सभी संभावित उत्पाद {{math|''A'''''x'''}} सम्मिलित हैं। यह संबंधित आव्यूह परिवर्तन की छवि (या किसी फलन की श्रेणी) के समान है।


==== उदाहरण ====
==== उदाहरण ====
यदि <math>A = \begin{bmatrix} 1 & 0 \\ 0 & 1 \\ 2 & 0 \end{bmatrix}</math>, तो स्तंभ सदिश हैं {{math|1='''v'''<sub>1</sub> = [1, 0, 2]<sup>T</sup>}} और {{math|1='''v'''<sub>2</sub> = [0, 1, 0]<sup>T</sup>}}.
यदि <math>A = \begin{bmatrix} 1 & 0 \\ 0 & 1 \\ 2 & 0 \end{bmatrix}</math>, तो स्तंभ सदिश {{math|1='''v'''<sub>1</sub> = [1, 0, 2]<sup>T</sup>}} और {{math|1='''v'''<sub>2</sub> = [0, 1, 0]<sup>T</sup>}} हैं। '''v<sub>1</sub>'''और '''v'''<sub>2</sub> का रैखिक संयोजन रूप का कोई सदिश है।
वी का  रैखिक संयोजन<sub>1</sub> और वी<sub>2</sub> फॉर्म का कोई सदिश है
<math display="block">c_1 \begin{bmatrix} 1 \\ 0 \\ 2 \end{bmatrix} + c_2 \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} = \begin{bmatrix} c_1 \\ c_2 \\ 2c_1 \end{bmatrix}</math>
<math display="block">c_1 \begin{bmatrix} 1 \\ 0 \\ 2 \end{bmatrix} + c_2 \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix} = \begin{bmatrix} c_1 \\ c_2 \\ 2c_1 \end{bmatrix}</math>
ऐसे सभी सदिशों का समुच्चय का स्तंभ स्थान है {{mvar|A}}. इस स्थिति में, स्तंभ स्थान उचित सदिशों का समुच्चय है {{math|(''x'', ''y'', ''z'') ∈ '''R'''<sup>3</sup>}} समीकरण को संतुष्ट करना {{math|1=''z'' = 2''x''}} (कार्टेशियन निर्देशांक का उपयोग करते हुए, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से [[विमान (गणित)]] है)।
ऐसे सभी सदिशों का समुच्चय {{mvar|A}} का स्तंभ समष्टि है। इस स्थिति में, स्तंभ समष्टि सदिशों {{math|(''x'', ''y'', ''z'') ∈ '''R'''<sup>3</sup>}} का समुच्चय है, जो समीकरण {{math|1=''z'' = 2''x''}} को संतुष्ट करता है (कार्टेशियन निर्देशांक का उपयोग करते हुए, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से समष्टि है)।


=== आधार ===
=== आधार ===
के स्तंभ {{mvar|A}} स्तंभ स्थान  को फैलाते हैं, किन्तु यदि स्तंभ सदिश [[रैखिक रूप से स्वतंत्र]] नहीं हैं तो वे [[आधार (रैखिक बीजगणित)]] नहीं बना सकते हैं। सौभाग्य से, [[प्राथमिक पंक्ति संचालन]] स्तंभ सदिश के मध्य निर्भरता संबंधों को प्रभावित नहीं करते हैं। यह स्तंभ स्थान के लिए आधार (रैखिक बीजगणित) खोजने के लिए [[पंक्ति में कमी]] का उपयोग करना संभव बनाता है।
{{mvar|A}} के स्तंभ, स्तंभ समष्टि का विस्तार करते हैं, किन्तु यदि स्तंभ सदिश [[रैखिक रूप से स्वतंत्र]] नहीं हैं तो वे [[आधार (रैखिक बीजगणित)|आधार]] नहीं बना सकते हैं। [[प्राथमिक पंक्ति संचालन]] स्तंभ सदिश के मध्य निर्भरता संबंधों को प्रभावित नहीं करते हैं। यह स्तंभ समष्टि आधार परीक्षण के लिए [[पंक्ति में कमी|पंक्ति में अल्पता]] का उपयोग करना संभव बनाता है।


उदाहरण के लिए, आव्यूह पर विचार करें
उदाहरण के लिए, आव्यूह पर विचार करें:
:<math>A = \begin{bmatrix} 1 & 3 & 1 & 4 \\ 2 & 7 & 3 & 9 \\ 1 & 5 & 3 & 1 \\ 1 & 2 & 0 & 8 \end{bmatrix}.</math>
:<math>A = \begin{bmatrix} 1 & 3 & 1 & 4 \\ 2 & 7 & 3 & 9 \\ 1 & 5 & 3 & 1 \\ 1 & 2 & 0 & 8 \end{bmatrix}.</math>
इस आव्यूह के स्तंभ स्तंभ स्थान  को फैलाते हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकते हैं, जिस स्थिति में उनमें से कुछ सबसमुच्चय  आधार बनेंगे। इस आधार को खोजने के लिए, हम घटाते हैं {{mvar|A}} पंक्ति सोपानक प्रपत्र कम करने के लिए:
इस आव्यूह के स्तंभ, स्तंभ समष्टि का विस्तार करते हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकते हैं, जिस स्थिति में उनमें से कुछ उपसमुच्चय आधार बनेंगे। इस आधार परीक्षण के लिए, हम {{mvar|A}} को अल्प पंक्ति सोपानक रूप में घटाते हैं:
:<math>\begin{bmatrix} 1 & 3 & 1 & 4 \\ 2 & 7 & 3 & 9 \\ 1 & 5 & 3 & 1 \\ 1 & 2 & 0 & 8 \end{bmatrix}
:<math>\begin{bmatrix} 1 & 3 & 1 & 4 \\ 2 & 7 & 3 & 9 \\ 1 & 5 & 3 & 1 \\ 1 & 2 & 0 & 8 \end{bmatrix}
\sim \begin{bmatrix} 1 & 3 & 1 & 4 \\ 0 & 1 & 1 & 1 \\ 0 & 2 & 2 & -3 \\ 0 & -1 & -1 & 4 \end{bmatrix}
\sim \begin{bmatrix} 1 & 3 & 1 & 4 \\ 0 & 1 & 1 & 1 \\ 0 & 2 & 2 & -3 \\ 0 & -1 & -1 & 4 \end{bmatrix}
\sim  \begin{bmatrix} 1 & 0 & -2 & 1 \\ 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & -5 \\ 0 & 0 & 0 & 5 \end{bmatrix}
\sim  \begin{bmatrix} 1 & 0 & -2 & 1 \\ 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & -5 \\ 0 & 0 & 0 & 5 \end{bmatrix}
\sim  \begin{bmatrix} 1 & 0 & -2 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{bmatrix}.</math><ref>This computation uses the [[Gaussian elimination|Gauss–Jordan]] row-reduction algorithm.  Each of the shown steps involves multiple elementary row operations.</ref>
\sim  \begin{bmatrix} 1 & 0 & -2 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{bmatrix}.</math><ref>This computation uses the [[Gaussian elimination|Gauss–Jordan]] row-reduction algorithm.  Each of the shown steps involves multiple elementary row operations.</ref>
इस बिंदु पर, यह स्पष्ट है कि प्रथम , दूसरा और चौथा स्तंभ रैखिक रूप से स्वतंत्र हैं, जबकि तीसरा स्तंभ पहले दो का रैखिक संयोजन है। (विशेष रूप से, {{math|1='''v'''<sub>3</sub> = −2'''v'''<sub>1</sub> + '''v'''<sub>2</sub>}}।) इसलिए, मूल आव्यूह के पहले, दूसरे और चौथे स्तंभ स्तंभ स्थान के लिए आधार हैं:
इस बिंदु पर, यह स्पष्ट है कि प्रथम , दूसरा और चौथा स्तंभ रैखिक रूप से स्वतंत्र हैं, जबकि तीसरा स्तंभ पूर्व दो का रैखिक संयोजन है। (विशेष रूप से, {{math|1='''v'''<sub>3</sub> = −2'''v'''<sub>1</sub> + '''v'''<sub>2</sub>}}।) इसलिए, मूल आव्यूह के प्रथम, दूसरे और चौथे स्तंभ स्तंभ समष्टि के लिए आधार हैं:
:<math>\begin{bmatrix} 1 \\ 2 \\ 1 \\ 1\end{bmatrix},\;\;
:<math>\begin{bmatrix} 1 \\ 2 \\ 1 \\ 1\end{bmatrix},\;\;
\begin{bmatrix} 3 \\ 7 \\ 5 \\ 2\end{bmatrix},\;\;
\begin{bmatrix} 3 \\ 7 \\ 5 \\ 2\end{bmatrix},\;\;
\begin{bmatrix} 4 \\ 9 \\ 1 \\ 8\end{bmatrix}.</math>
\begin{bmatrix} 4 \\ 9 \\ 1 \\ 8\end{bmatrix}.</math>
ध्यान दें कि कम पंक्ति सोपानक प्रपत्र के स्वतंत्र स्तंभ बिल्कुल धुरी तत्व वाले स्तंभ हैं। यह यह निर्धारित करना संभव बनाता है कि कौन से स्तंभ केवल पंक्ति सोपानक रूप को कम करके रैखिक रूप से स्वतंत्र हैं।
ध्यान दें कि अल्प पंक्ति सोपानक रूप के स्वतंत्र स्तंभ उचित पिवोट्स वाले स्तंभ हैं। इससे यह निर्धारित करना संभव हो जाता है कि कौन से स्तंभ केवल पंक्ति सोपानक रूप को अल्प करके रैखिक रूप से स्वतंत्र हैं।


उपरोक्त एल्गोरिथ्म का उपयोग सामान्य रूप से सदिश के किसी भी समुच्चय के मध्य निर्भरता संबंधों को खोजने और किसी भी फैले समुच्चय से आधार चुनने के लिए किया जा सकता है। के स्तंभ स्थान  के लिए  आधार भी खोज रहा है {{mvar|A}} [[खिसकाना]] आव्यूह की पंक्ति स्थान के लिए आधार खोजने के समान  है{{math|''A''<sup>T</sup>}}
उपरोक्त एल्गोरिथ्म का उपयोग सामान्य रूप से सदिश के किसी भी समुच्चय के मध्य निर्भरता संबंधों का परीक्षण और किसी भी विस्तारित समुच्चय से आधार चयनित करने के लिए किया जा सकता है। साथ ही {{mvar|A}} के स्तंभ समष्टि  के लिए आधार परीक्षण  [[खिसकाना|ट्रांसपोज़]] आव्यूह {{math|''A''<sup>T</sup>}} के पंक्ति समष्टि के लिए आधार परीक्षण के समान है।


व्यावहारिक सेटिंग में आधार खोजने के लिए (उदाहरण के लिए, बड़े आव्यूहों के लिए), एकवचन-मूल्य अपघटन सामान्यतः उपयोग किया जाता है।
व्यावहारिक सेटिंग में आधार परीक्षण के लिए (उदाहरण के लिए, बड़े आव्यूहों के लिए), एकवचन-मूल्य अपघटन सामान्यतः उपयोग किया जाता है।


=== आयाम ===
=== आयाम ===
{{main|रैंक (रैखिक बीजगणित)}}
{{main|श्रेणी (रैखिक बीजगणित)}}
स्तंभ स्थान के आयाम को आव्यूह का रैंक कहा जाता है। रैंक अल्प पंक्ति सोपानक रूप में पिवोट्स की संख्या के समान है, और आव्यूह द्वारा चयन किये जा सकने वाले रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है। उदाहरण के लिए, ऊपर दिए गए उदाहरण में 4 × 4 आव्यूह की रैंक तीन है।


क्योंकि स्तंभ स्थान संबंधित आव्यूह परिवर्तन की छवि है, आव्यूह का रैंक छवि के आयाम के समान होता है। उदाहरण के लिए, परिवर्तन <math>\R^4 \to \R^4</math> उपरोक्त आव्यूह द्वारा वर्णित सभी मानचित्र <math>\R^4</math> कुछ त्रि-आयामी यूक्लिडियन उप-स्थान के लिए होता है।
स्तंभ समष्टि के आयाम को आव्यूह का श्रेणी कहा जाता है। श्रेणी अल्प पंक्ति सोपानक रूप में पिवोट्स की संख्या के समान है, और आव्यूह द्वारा चयन किये जा सकने वाले रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है। उदाहरण के लिए, 4 × 4 आव्यूह की श्रेणी तीन है।


[[गिरी (मैट्रिक्स)|गिरी (आव्यूह )]] की अशक्तता कर्नेल (आव्यूह ) का आयाम है, और कम पंक्ति सोपानक रूप में स्तंभों की संख्या के समान होती है जिनमें पिवोट्स नहीं होते हैं।<ref>Columns without pivots represent free variables in the associated homogeneous [[system of linear equations]].</ref> आव्यूह की रैंक और शून्यता {{mvar|A}} साथ {{mvar|n}} स्तंभ समीकरण द्वारा संबंधित हैं:
क्योंकि स्तंभ समष्टि संबंधित आव्यूह परिवर्तन की छवि है, आव्यूह का श्रेणी  छवि के आयाम के समान होता है। उदाहरण के लिए, परिवर्तन <math>\R^4 \to \R^4</math> उपरोक्त आव्यूह द्वारा वर्णित सभी मानचित्र <math>\R^4</math> कुछ त्रि-आयामी यूक्लिडियन उप-समष्टि के लिए होता है।
 
[[गिरी (मैट्रिक्स)|आव्यूह]] की शून्यता शून्य समष्टि का आयाम है, और अल्प पंक्ति सोपानक रूप में स्तंभों की संख्या के समान होती है, जिनमें पिवोट्स नहीं होते हैं।<ref>Columns without pivots represent free variables in the associated homogeneous [[system of linear equations]].</ref> {{mvar|n}} स्तंभ वाले आव्यूह {{mvar|A}} की श्रेणी और शून्यता समीकरण द्वारा संबंधित हैं:
:<math>\operatorname{rank}(A) + \operatorname{nullity}(A) = n.\,</math>
:<math>\operatorname{rank}(A) + \operatorname{nullity}(A) = n.\,</math>
इसे रैंक-शून्यता प्रमेय के रूप में जाना जाता है।
इसे श्रेणी -शून्यता प्रमेय के रूप में जाना जाता है।


=== बाएँ शून्य स्थान से संबंध ===
=== बाएँ शून्य समष्टि से संबंध ===
{{mvar|A}} का बायाँ शून्य स्थान सभी सदिशों {{math|'''x'''}} का समुच्चय है, जैसे कि {{math|1='''x'''<sup>T</sup>''A'' = '''0'''<sup>T</sup>}} होता है। यह {{mvar|A}} के स्थानांतरण के शून्य स्थान के समान है। आव्यूह {{math|''A''<sup>T</sup>}} और सदिश  {{math|'''x'''}} का उत्पाद सदिशों के डॉट गुणनफल के रूप में लिखा जा सकता है:
{{mvar|A}} का बायाँ शून्य समष्टि सभी सदिशों {{math|'''x'''}} का समुच्चय है, जैसे कि {{math|1='''x'''<sup>T</sup>''A'' = '''0'''<sup>T</sup>}} होता है। यह {{mvar|A}} के समष्टिांतरण के शून्य समष्टि के समान है। आव्यूह {{math|''A''<sup>T</sup>}} और सदिश  {{math|'''x'''}} का उत्पाद सदिशों के डॉट गुणनफल के रूप में लिखा जा सकता है:
:<math>A^\mathsf{T}\mathbf{x} = \begin{bmatrix} \mathbf{v}_1 \cdot \mathbf{x} \\ \mathbf{v}_2 \cdot \mathbf{x} \\ \vdots \\ \mathbf{v}_n \cdot \mathbf{x} \end{bmatrix},</math>
:<math>A^\mathsf{T}\mathbf{x} = \begin{bmatrix} \mathbf{v}_1 \cdot \mathbf{x} \\ \mathbf{v}_2 \cdot \mathbf{x} \\ \vdots \\ \mathbf{v}_n \cdot \mathbf{x} \end{bmatrix},</math>
क्योंकि {{math|''A''<sup>T</sup>}} के पंक्ति सदिश {{mvar|A}} के स्तंभ सदिश {{math|'''v'''<sub>''k''</sub>}}  के स्थानान्तरण हैं। इस प्रकार {{math|1=''A''<sup>T</sup>'''x''' = '''0'''}} यदि और केवल यदि {{math|'''x'''}}, {{mvar|A}} के प्रत्येक स्तंभ सदिश के लिए[[ ओर्थोगोनल | लंबकोणीय]] (लंबवत) है।
क्योंकि {{math|''A''<sup>T</sup>}} के पंक्ति सदिश {{mvar|A}} के स्तंभ सदिश {{math|'''v'''<sub>''k''</sub>}}  के समष्टिान्तरण हैं। इस प्रकार {{math|1=''A''<sup>T</sup>'''x''' = '''0'''}} यदि और केवल यदि {{math|'''x'''}}, {{mvar|A}} के प्रत्येक स्तंभ सदिश के लिए[[ ओर्थोगोनल | लंबकोणीय]] (लंबवत) है।


यह इस प्रकार है कि बायां शून्य स्थान ({{math|''A''<sup>T</sup>}} का शून्य स्थान) {{mvar|A}} के स्तंभ स्थान का लंबकोणीय पूरक है।
यह इस प्रकार है कि बायां शून्य समष्टि ({{math|''A''<sup>T</sup>}} का शून्य समष्टि) {{mvar|A}} के स्तंभ समष्टि का लंबकोणीय पूरक है।


आव्यूह {{mvar|A}} के लिए, स्तंभ स्थान, पंक्ति स्थान, शून्य स्थान और बायाँ शून्य स्थान को कभी-कभी चार मूलभूत उप-स्थान के रूप में संदर्भित किया जाता है।
आव्यूह {{mvar|A}} के लिए, स्तंभ समष्टि, पंक्ति समष्टि, शून्य समष्टि और बायाँ शून्य समष्टि को कभी-कभी चार मूलभूत उप-समष्टि के रूप में संदर्भित किया जाता है।


=== रिंग के ऊपर आव्यूहों के लिए ===
=== रिंग के ऊपर आव्यूहों के लिए ===
इसी प्रकार स्तंभ स्थान (कभी-कभी उचित स्तंभ स्थान के रूप में असंबद्ध) को रिंग {{mvar|K}} के रूप में आव्यूह के लिए परिभाषित किया जा सकता है।  
इसी प्रकार स्तंभ समष्टि (कभी-कभी उचित स्तंभ समष्टि के रूप में असंबद्ध) को रिंग {{mvar|K}} के रूप में आव्यूह के लिए परिभाषित किया जा सकता है।  
:<math>\sum\limits_{k=1}^n \mathbf{v}_k c_k</math>
:<math>\sum\limits_{k=1}^n \mathbf{v}_k c_k</math>
किसी {{math|''c''<sub>1</sub>, ..., ''c<sub>n</sub>''}}, के लिए, सदिश {{mvar|m}}-स्थान के प्रतिस्थापन के साथ [[बाएँ और दाएँ (बीजगणित)|"उचित मुक्त मॉड्यूल"]] के साथ, जो सदिश {{math|'''v'''<sub>''k''</sub>}} के अदिश गुणन के क्रम को अदिश {{math|''c<sub>k</sub>''}} में परिवर्तित करता है, जैसे कि यह असामान्य क्रम सदिश-अदिश में लिखा गया है।<ref>Important only if {{mvar|K}} is not [[commutative ring|commutative]]. Actually, this form is merely a [[matrix multiplication|product]] {{math|''A'''''c'''}} of the matrix {{mvar|A}} to the column vector {{math|'''c'''}} from {{math|''K''<sup>''n''</sup>}} where the order of factors is ''preserved'', unlike [[#Definition|the formula above]].</ref>
किसी {{math|''c''<sub>1</sub>, ..., ''c<sub>n</sub>''}}, के लिए, सदिश {{mvar|m}}-समष्टि के प्रतिस्थापन के साथ [[बाएँ और दाएँ (बीजगणित)|"उचित मुक्त मॉड्यूल"]] के साथ, जो सदिश {{math|'''v'''<sub>''k''</sub>}} के अदिश गुणन के क्रम को अदिश {{math|''c<sub>k</sub>''}} में परिवर्तित करता है, जैसे कि यह असामान्य क्रम सदिश-अदिश में लिखा गया है।<ref>Important only if {{mvar|K}} is not [[commutative ring|commutative]]. Actually, this form is merely a [[matrix multiplication|product]] {{math|''A'''''c'''}} of the matrix {{mvar|A}} to the column vector {{math|'''c'''}} from {{math|''K''<sup>''n''</sup>}} where the order of factors is ''preserved'', unlike [[#Definition|the formula above]].</ref>
== पंक्ति स्थान ==
== पंक्ति समष्टि ==


=== परिभाषा ===
=== परिभाषा ===
मान लीजिए {{mvar|K}} अदिशों का क्षेत्र है। मान लीजिए {{mvar|A}} {{math|''m'' × ''n''}} आव्यूह है, पंक्ति सदिश {{math|'''r'''<sub>1</sub>, '''r'''<sub>2</sub>, ..., '''r'''<sub>''m''</sub>}} के साथ है, इन सदिशों का  रैखिक संयोजन किसी भी प्रकार का सदिश होता है।
मान लीजिए {{mvar|K}} अदिशों का क्षेत्र है। मान लीजिए {{mvar|A}} {{math|''m'' × ''n''}} आव्यूह है, पंक्ति सदिश {{math|'''r'''<sub>1</sub>, '''r'''<sub>2</sub>, ..., '''r'''<sub>''m''</sub>}} के साथ है, इन सदिशों का  रैखिक संयोजन किसी भी प्रकार का सदिश होता है।
:<math>c_1 \mathbf{r}_1 + c_2 \mathbf{r}_2 + \cdots + c_m \mathbf{r}_m,</math>
:<math>c_1 \mathbf{r}_1 + c_2 \mathbf{r}_2 + \cdots + c_m \mathbf{r}_m,</math>
जहाँ {{math|''c''<sub>1</sub>, ''c''<sub>2</sub>, ..., ''c<sub>m</sub>''}} अदिश राशियाँ हैं। {{math|'''r'''<sub>1</sub>, ..., '''r'''<sub>''m''</sub>}}  के सभी संभव रैखिक संयोजनों के समुच्चय को {{mvar|A}} का पंक्ति स्थान कहा जाता है। अर्थात {{mvar|A}} का पंक्ति स्थान सदिशों  {{math|'''r'''<sub>1</sub>, ..., '''r'''<sub>''m''</sub>}}  का विस्तार है।
जहाँ {{math|''c''<sub>1</sub>, ''c''<sub>2</sub>, ..., ''c<sub>m</sub>''}} अदिश राशियाँ हैं। {{math|'''r'''<sub>1</sub>, ..., '''r'''<sub>''m''</sub>}}  के सभी संभव रैखिक संयोजनों के समुच्चय को {{mvar|A}} का पंक्ति समष्टि कहा जाता है। अर्थात {{mvar|A}} का पंक्ति समष्टि सदिशों  {{math|'''r'''<sub>1</sub>, ..., '''r'''<sub>''m''</sub>}}  का विस्तार है।


उदाहरण के लिए, यदि
उदाहरण के लिए, यदि
Line 120: Line 120:
तो पंक्ति सदिश {{math|1='''r'''<sub>1</sub> = [1, 0, 2]}} और {{math|1='''r'''<sub>2</sub> = [0, 1, 0]}} हैं। {{math|'''r'''<sub>1</sub>}} और {{math|'''r'''<sub>2</sub>}} का रैखिक संयोजन रूप का कोई सदिश है:
तो पंक्ति सदिश {{math|1='''r'''<sub>1</sub> = [1, 0, 2]}} और {{math|1='''r'''<sub>2</sub> = [0, 1, 0]}} हैं। {{math|'''r'''<sub>1</sub>}} और {{math|'''r'''<sub>2</sub>}} का रैखिक संयोजन रूप का कोई सदिश है:
:<math>c_1 \begin{bmatrix}1 & 0 & 2\end{bmatrix} + c_2 \begin{bmatrix}0 & 1 & 0\end{bmatrix} = \begin{bmatrix}c_1 & c_2 & 2c_1\end{bmatrix}.</math>
:<math>c_1 \begin{bmatrix}1 & 0 & 2\end{bmatrix} + c_2 \begin{bmatrix}0 & 1 & 0\end{bmatrix} = \begin{bmatrix}c_1 & c_2 & 2c_1\end{bmatrix}.</math>
ऐसे सभी सदिशों का समुच्चय {{mvar|A}} का पंक्ति स्थान है, इस स्थिति में, पंक्ति स्थान उचित सदिशों {{math|(''x'', ''y'', ''z'') ∈ ''K''<sup>3</sup>}} का समुच्चय है, समीकरण  {{math|1=''z'' = 2''x''}} को संतुष्ट करता है (कार्टेशियन निर्देशांक का उपयोग करके, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से  विमान है)।
ऐसे सभी सदिशों का समुच्चय {{mvar|A}} का पंक्ति समष्टि है, इस स्थिति में, पंक्ति समष्टि उचित सदिशों {{math|(''x'', ''y'', ''z'') ∈ ''K''<sup>3</sup>}} का समुच्चय है, समीकरण  {{math|1=''z'' = 2''x''}} को संतुष्ट करता है (कार्टेशियन निर्देशांक का उपयोग करके, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से  समष्टि है)।


आव्यूह के लिए जो रैखिक समीकरणों की सजातीय प्रणाली का प्रतिनिधित्व करता है, पंक्ति स्थान में सभी रैखिक समीकरण होते हैं जो प्रणाली में उन लोगों से अनुसरण करते हैं।
आव्यूह के लिए जो रैखिक समीकरणों की सजातीय प्रणाली का प्रतिनिधित्व करता है, पंक्ति समष्टि में सभी रैखिक समीकरण होते हैं जो प्रणाली में उन लोगों से अनुसरण करते हैं।


{{mvar|A}} का स्तंभ स्थान {{math|''A''<sup>T</sup>}} के पंक्ति स्थान के समान है।
{{mvar|A}} का स्तंभ समष्टि {{math|''A''<sup>T</sup>}} के पंक्ति समष्टि के समान है।


=== आधार ===
=== आधार ===
पंक्ति स्थान प्रारंभिक पंक्ति संचालन से प्रभावित नहीं होता है। यह पंक्ति स्थान के लिए आधार परीक्षण के लिए पंक्ति में अल्पता का उपयोग करना संभव बनाता है।
पंक्ति समष्टि प्रारंभिक पंक्ति संचालन से प्रभावित नहीं होता है। यह पंक्ति समष्टि के लिए आधार परीक्षण के लिए पंक्ति में अल्पता का उपयोग करना संभव बनाता है।


उदाहरण के लिए, आव्यूह पर विचार करें:
उदाहरण के लिए, आव्यूह पर विचार करें:
:<math>A = \begin{bmatrix} 1 & 3 & 2 \\ 2 & 7 & 4 \\ 1 & 5 & 2\end{bmatrix}.</math>
:<math>A = \begin{bmatrix} 1 & 3 & 2 \\ 2 & 7 & 4 \\ 1 & 5 & 2\end{bmatrix}.</math>
इस आव्यूह की पंक्तियाँ पंक्ति स्थान को विस्तारित करती हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकती हैं, इस स्थिति में पंक्तियाँ आधार नहीं होंगी। आधार परीक्षण के लिए, हम {{mvar|A}} को पंक्ति सोपानक रूप में अल्प करते हैं:
इस आव्यूह की पंक्तियाँ पंक्ति समष्टि को विस्तारित करती हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकती हैं, इस स्थिति में पंक्तियाँ आधार नहीं होंगी। आधार परीक्षण के लिए, हम {{mvar|A}} को पंक्ति सोपानक रूप में अल्प करते हैं:


{{math|'''r'''<sub>1</sub>}}, {{math|'''r'''<sub>2</sub>}}, {{math|'''r'''<sub>3</sub>}} पंक्तियों का प्रतिनिधित्व करता है।
{{math|'''r'''<sub>1</sub>}}, {{math|'''r'''<sub>2</sub>}}, {{math|'''r'''<sub>3</sub>}} पंक्तियों का प्रतिनिधित्व करता है।
Line 147: Line 147:
\end{align}
\end{align}
</math>
</math>
जब आव्यूह सोपानक रूप में होता है, तो गैर-शून्य पंक्तियाँ पंक्ति स्थान के लिए आधार होती हैं। इस स्थिति में आधार {{math|{{mset| [1, 3, 2], [2, 7, 4] }}}}है। अन्य संभावित आधार {{math|{{mset| [1, 0, 2], [0, 1, 0] }}}} अल्पता से आता है।<ref name="example">The example is valid over the [[real number]]s, the [[rational number]]s, and other [[number field]]s. It is not necessarily correct over fields and rings with non-zero [[characteristic (algebra)|characteristic]].</ref>
जब आव्यूह सोपानक रूप में होता है, तो गैर-शून्य पंक्तियाँ पंक्ति समष्टि के लिए आधार होती हैं। इस स्थिति में आधार {{math|{{mset| [1, 3, 2], [2, 7, 4] }}}}है। अन्य संभावित आधार {{math|{{mset| [1, 0, 2], [0, 1, 0] }}}} अल्पता से आता है।<ref name="example">The example is valid over the [[real number]]s, the [[rational number]]s, and other [[number field]]s. It is not necessarily correct over fields and rings with non-zero [[characteristic (algebra)|characteristic]].</ref>


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


इसके अतिरिक्त मूल आव्यूह की पंक्तियों में से पंक्ति स्थान के लिए आधार परीक्षण कभी-कभी सुविधाजनक होता है (उदाहरण के लिए, यह परिणाम प्राथमिक प्रमाण देने में उपयोगी होता है कि आव्यूह का निर्धारक रैंक इसके रैंक के समान होता है)। चूँकि पंक्ति संचालन पंक्ति सदिशों के रैखिक निर्भरता संबंधों को प्रभावित कर सकता है, इसके अतिरिक्त इस प्रकार के आधार को अप्रत्यक्ष रूप से इस तथ्य का उपयोग करते हुए पाया जाता है कि {{math|''A''<sup>T</sup>}} का स्तंभ स्थान {{mvar|A}} के पंक्ति स्थान के समान है, उपरोक्त उदाहरण आव्यूह {{mvar|A}} का उपयोग करके, {{math|''A''<sup>T</sup>}} ढूँढें और इसे पंक्ति सोपानक रूप में अल्प करें:
इसके अतिरिक्त मूल आव्यूह की पंक्तियों में से पंक्ति समष्टि के लिए आधार परीक्षण कभी-कभी सुविधाजनक होता है (उदाहरण के लिए, यह परिणाम प्राथमिक प्रमाण देने में उपयोगी होता है कि आव्यूह का निर्धारक श्रेणी के समान होता है)। चूँकि पंक्ति संचालन पंक्ति सदिशों के रैखिक निर्भरता संबंधों को प्रभावित कर सकता है, इसके अतिरिक्त इस प्रकार के आधार को अप्रत्यक्ष रूप से इस तथ्य का उपयोग करते हुए पाया जाता है कि {{math|''A''<sup>T</sup>}} का स्तंभ समष्टि {{mvar|A}} के पंक्ति समष्टि के समान है, उपरोक्त उदाहरण आव्यूह {{mvar|A}} का उपयोग करके, {{math|''A''<sup>T</sup>}} का शोध करें और इसे पंक्ति सोपानक रूप में अल्प करें:


:<math>
:<math>
Line 157: Line 157:
\begin{bmatrix} 1 & 2 & 1 \\ 0 & 1 & 2 \\ 0 & 0 & 0\end{bmatrix}.  
\begin{bmatrix} 1 & 2 & 1 \\ 0 & 1 & 2 \\ 0 & 0 & 0\end{bmatrix}.  
</math>
</math>
पिवोट्स प्रदर्शित करते हैं कि {{math|''A''<sup>T</sup>}} के पूर्व दो स्तंभ {{math|''A''<sup>T</sup>}} के स्तंभ स्थान का आधार बनता है, इसलिए,  {{mvar|A}} की प्रथम दो पंक्तियाँ (किसी भी पंक्ति में अल्पता से पूर्व) भी {{mvar|A}} की पंक्ति स्थान का आधार बनता है।
पिवोट्स प्रदर्शित करते हैं कि {{math|''A''<sup>T</sup>}} के पूर्व दो स्तंभ {{math|''A''<sup>T</sup>}} के स्तंभ समष्टि का आधार बनता है, इसलिए,  {{mvar|A}} की प्रथम दो पंक्तियाँ (किसी भी पंक्ति में अल्पता से पूर्व) भी {{mvar|A}} की पंक्ति समष्टि का आधार बनता है।


=== आयाम ===
=== आयाम ===
{{main|रैंक (रैखिक बीजगणित)}}
{{main|श्रेणी (रैखिक बीजगणित)}}
पंक्ति स्थान के आयाम को आव्यूह का रैंक कहा जाता है। यह रैखिक रूप से स्वतंत्र पंक्तियों की अधिकतम संख्या के समान है जिसे आव्यूह द्वारा चयन किया जा सकता है, या समान रूप से पिवोट्स की संख्या होती है। उदाहरण के लिए, ऊपर के उदाहरण में 3 ×3 आव्यूह की रैंक दो है।<ref name="example"/>
पंक्ति समष्टि के आयाम को आव्यूह की श्रेणी कहा जाता है। यह रैखिक रूप से स्वतंत्र पंक्तियों की अधिकतम संख्या के समान है जिसे आव्यूह द्वारा चयन किया जा सकता है, या समान रूप से पिवोट्स की संख्या होती है। उदाहरण के लिए, 3 ×3 आव्यूह की श्रेणी दो है।<ref name="example"/>


आव्यूह की रैंक भी [[खाली जगह|स्तंभ स्थान]] के आयाम के समान  होती है। [[स्तंभ स्थान|शून्य स्थान]] के आयाम को आव्यूह की शून्यता कहा जाता है, और निम्न समीकरण द्वारा रैंक से संबंधित है:
आव्यूह की श्रेणी भी [[खाली जगह|स्तंभ समष्टि]] के आयाम के समान  होती है। [[स्तंभ स्थान|शून्य समष्टि]] के आयाम को आव्यूह की शून्यता कहा जाता है, और निम्न समीकरण द्वारा श्रेणी  से संबंधित है:
:<math>\operatorname{rank}(A) + \operatorname{nullity}(A) = n,</math>
:<math>\operatorname{rank}(A) + \operatorname{nullity}(A) = n,</math>
जहाँ {{mvar|n}} आव्यूह {{mvar|A}} के स्तंभों की संख्या है, उपरोक्त समीकरण को रैंक-शून्यता प्रमेय के रूप में जाना जाता है।
जहाँ {{mvar|n}} आव्यूह {{mvar|A}} के स्तंभों की संख्या है, उपरोक्त समीकरण को श्रेणी-शून्यता प्रमेय के रूप में जाना जाता है।


=== शून्य स्थान से संबंध ===
=== शून्य समष्टि से संबंध ===
आव्यूह {{mvar|A}} का शून्य स्थान सभी सदिशों {{math|'''x'''}} का समुच्चय है, जिसके लिए {{math|1=''A'''''x''' = '''0'''}} है। आव्यूह  {{mvar|A}} और सदिश  {{math|'''x'''}}  का उत्पाद सदिशों के डॉट गुणनफल के रूप में लिखा जा सकता है:
आव्यूह {{mvar|A}} का शून्य समष्टि सभी सदिशों {{math|'''x'''}} का समुच्चय है, जिसके लिए {{math|1=''A'''''x''' = '''0'''}} है। आव्यूह  {{mvar|A}} और सदिश  {{math|'''x'''}}  का उत्पाद सदिशों के डॉट गुणनफल के रूप में लिखा जा सकता है:
:<math>A\mathbf{x} = \begin{bmatrix} \mathbf{r}_1 \cdot \mathbf{x} \\ \mathbf{r}_2 \cdot \mathbf{x} \\ \vdots \\ \mathbf{r}_m \cdot \mathbf{x} \end{bmatrix},</math>
:<math>A\mathbf{x} = \begin{bmatrix} \mathbf{r}_1 \cdot \mathbf{x} \\ \mathbf{r}_2 \cdot \mathbf{x} \\ \vdots \\ \mathbf{r}_m \cdot \mathbf{x} \end{bmatrix},</math>
जहाँ {{math|'''r'''<sub>1</sub>, ..., '''r'''<sub>''m''</sub>}} {{mvar|A}} के पंक्ति सदिश हैं, इस प्रकार {{math|1=''A'''''x''' = '''0'''}} यदि और केवल यदि {{math|'''x'''}}, {{mvar|A}} के प्रत्येक पंक्ति सदिश के लिए लंबकोणीय (लंबवत) है।
जहाँ {{math|'''r'''<sub>1</sub>, ..., '''r'''<sub>''m''</sub>}} {{mvar|A}} के पंक्ति सदिश हैं, इस प्रकार {{math|1=''A'''''x''' = '''0'''}} यदि केवल {{math|'''x'''}}, {{mvar|A}} के प्रत्येक पंक्ति सदिश के लिए लंबकोणीय (लंबवत) है।


यह इस प्रकार है कि {{mvar|A}} का रिक्त स्थान पंक्ति स्थान के लिए लंबकोणीय पूरक है। उदाहरण के लिए, यदि पंक्ति स्थान तीन आयामों में मूल के माध्यम से विमान है, तो रिक्त स्थान मूल के माध्यम से लंबवत रेखा होगी। यह रैंक-शून्यता प्रमेय का प्रमाण प्रदान करता है (ऊपर आयाम देखें)।
यह इस प्रकार है कि {{mvar|A}} का रिक्त समष्टि पंक्ति समष्टि के लिए लंबकोणीय पूरक है। उदाहरण के लिए, यदि पंक्ति समष्टि तीन आयामों में मूल के माध्यम से समष्टि है, तो रिक्त समष्टि मूल के माध्यम से लंबवत रेखा होगी। यह श्रेणी-शून्यता प्रमेय का प्रमाण प्रदान करता है (ऊपर आयाम देखें)।


पंक्ति स्थान और अशक्त स्थान आव्यूह {{mvar|A}} से जुड़े चार मूलभूत उप-स्थानों में से दो हैं (अन्य दो स्तंभ स्थान हैं और बाएँ रिक्त स्थान हैं)।
पंक्ति समष्टि और अशक्त समष्टि आव्यूह {{mvar|A}} से जुड़े चार मूलभूत उप-समष्टिों में से दो हैं (अन्य दो स्तंभ समष्टि हैं और बाएँ रिक्त समष्टि हैं)।


=== सह-प्रतिबिंब से संबंध ===
=== सह-प्रतिबिंब से संबंध ===
यदि {{mvar|V}} और {{mvar|W}} सदिश समष्टियाँ हैं, तब रेखीय रूपांतरण {{math|''T'': ''V'' → ''W''}} सदिशों {{math|'''v''' ∈ ''V''}} का समुच्चय है जिसके लिए {{math|1=''T''('''v''') = '''0'''}} है। रेखीय परिवर्तन का कर्नेल आव्यूह शून्य स्थान के अनुरूप होता है।
यदि {{mvar|V}} और {{mvar|W}} सदिश समष्टियाँ हैं, तब रेखीय रूपांतरण {{math|''T'': ''V'' → ''W''}} सदिश {{math|'''v''' ∈ ''V''}} का समुच्चय है जिसके लिए {{math|1=''T''('''v''') = '''0'''}} है। रेखीय परिवर्तन का कर्नेल आव्यूह शून्य समष्टि के अनुरूप होता है।


यदि {{mvar|V}} [[आंतरिक उत्पाद स्थान|आंतरिक उत्पाद समष्टि]] है, तो कर्नेल के लंबकोणीय पूरक को पंक्ति स्थान के सामान्यीकरण के रूप में माना जा सकता है। इसे कभी-कभी {{mvar|T}} का[[ coimage | सह-प्रतिबिंब]] कहा जाता है, रूपान्तरण {{mvar|T}} अपने सह-प्रतिबिंब पर एक-से-एक है, और सह-प्रतिबिंब मैप्स [[ समाकृतिकता |समाकृतिकता]] रूप से {{mvar|T}} की छवि पर है।
यदि {{mvar|V}} [[आंतरिक उत्पाद स्थान|आंतरिक उत्पाद समष्टि]] है, तो कर्नेल के लंबकोणीय पूरक को पंक्ति समष्टि के सामान्यीकरण के रूप में माना जा सकता है। इसे कभी-कभी {{mvar|T}} का[[ coimage | सह-प्रतिबिंब]] कहा जाता है, रूपान्तरण {{mvar|T}} सह-प्रतिबिंब है, और सह-प्रतिबिंब मानचित्र [[ समाकृतिकता |समाकृतिकता]] रूप से {{mvar|T}} की छवि है।


जब {{mvar|V}} आंतरिक उत्पाद समष्टि नहीं है, तो {{mvar|T}} के सह-प्रतिबिंब को [[भागफल स्थान (रैखिक बीजगणित)|भागफल समष्टि]] {{math|''V'' / ker(''T'')}} के रूप में परिभाषित किया जा सकता है।  
जब {{mvar|V}} आंतरिक उत्पाद समष्टि नहीं है, तो {{mvar|T}} के सह-प्रतिबिंब को [[भागफल स्थान (रैखिक बीजगणित)|भागफल समष्टि]] {{math|''V'' / ker(''T'')}} के रूप में परिभाषित किया जा सकता है।  
Line 285: Line 285:


==बाहरी संबंध==
==बाहरी संबंध==
{{wikibooks|Linear Algebra/Column and Row Spaces}}


*{{MathWorld |title=Row Space |urlname=RowSpace}}
*{{MathWorld |title=Row Space |urlname=RowSpace}}
Line 296: Line 294:


{{linear algebra}}
{{linear algebra}}
[[Category: सार बीजगणित]] [[Category: लीनियर अलजेब्रा]] [[Category: मैट्रिसेस]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 05/04/2023]]
[[Category:Created On 05/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia articles needing clarification from November 2015]]
[[Category:Wikipedia metatemplates]]
[[Category:मैट्रिसेस]]
[[Category:लीनियर अलजेब्रा]]
[[Category:सार बीजगणित]]

Latest revision as of 16:48, 12 October 2023

आव्यूह के पंक्ति सदिश है। इस आव्यूह का पंक्ति समष्टि पंक्ति सदिश द्वारा विस्तारित सदिश समष्टि है।
आव्यूह के स्तंभ सदिश है। इस आव्यूह का स्तंभ समष्टि स्तंभ सदिश द्वारा विस्तारित सदिश समष्टि है।

रैखिक बीजगणित में, आव्यूह A (जिसे श्रेणी या छवि भी कहा जाता है) इसके स्तंभ सदिश की रैखिक अवधि (सभी संभावित रैखिक संयोजनों का समुच्चय) है। आव्यूह का स्तंभ समष्टि संबंधित आव्यूह परिवर्तन की छवि या श्रेणी कहलाता है।

मान लीजिए क्षेत्र है। m × n आव्यूह का स्तंभ समष्टि घटकों के साथ है, m-समष्टि की रेखीय उपसमष्टि है। स्तंभ समष्टि के आयाम को आव्यूह की श्रेणी कहा जाता है और यह न्यूनतम (m, n) होता है।[1] रिंग पर आव्यूहों की परिभाषा भी संभव है।

पंक्ति समष्टि इसी प्रकार परिभाषित किया गया है।

आव्यूह A के पंक्ति समष्टि और स्तंभ समष्टि को कभी-कभी क्रमशः C(AT) और C(A) के रूप में निरूपित किया जाता है।[2]

यह लेख वास्तविक संख्याओं के आव्यूहों पर विचार करता है। पंक्ति और स्तंभ समष्टि वास्तविक समन्वय समष्टि के उप-समष्टि क्रमशः और हैं।[3]

अवलोकन

मान लीजिए A, m-द्वारा-n आव्यूह है। तब:

  1. rank(A) = dim(rowsp(A)) = dim(colsp(A)),[4]
  2. rank(A) = A के किसी सोपानक रूप में धुरी तत्व की संख्या है।
  3. rank(A) = A की रैखिक रूप से स्वतंत्र पंक्तियों या स्तंभों की अधिकतम संख्या है।[5]

यदि किसी आव्यूह को रैखिक परिवर्तन को के रूप में मानता है, तब आव्यूह का स्तंभ समष्टि इस रैखिक परिवर्तन की छवि के समान है।

आव्यूह A का स्तंभ समष्टि A में स्तंभ के सभी रैखिक संयोजनों का समुच्चय है। यदि A = [a1an], तब colsp(A) = span({a1, ..., an}) है।

पंक्ति समष्टि की अवधारणा जटिल संख्याओं के क्षेत्र, या किसी भी क्षेत्र पर आव्यूहों को सामान्य करती है।

सरल रूप से, आव्यूह A दिया गया है, सदिश x पर आव्यूह A की क्रिया गुणांक के रूप में x के निर्देशांक द्वारा भारित A के स्तंभ के रैखिक संयोजन वापस कर देगी। इसे देखने का दूसरा प्रकार यह है कि (1) यह A के पंक्ति समष्टि में प्रथम प्रोजेक्ट x होगा, (2) व्युत्क्रमणीय रूपांतरण करते हैं, और (3) परिणामी सदिश y को A स्तंभ समष्टि में रखते हैं। इस प्रकार परिणाम y = Ax को A के स्तंभ समष्टि में रहना चाहिए। इस दूसरी व्याख्या पर अधिक विवरण के लिए एकवचन मूल्य अपघटन देखें।[clarification needed]

उदाहरण

आव्यूह J दिया गया:

पंक्तियाँ निम्न प्रकार हैं:

, , ,

परिणामस्वरूप, की पंक्ति समष्टि J की उपसमष्टि द्वारा रैखिक अवधि { r1, r2, r3, r4 }है।

चूँकि ये चार पंक्ति सदिश रैखिक स्वतंत्रता हैं, पंक्ति समष्टि 4-आयामी है। इसके अतिरिक्त, इस स्थिति में यह देखा जा सकता है कि वे सभी सदिश n = [6, −1, 4, −4, 0] के लिए लंबकोणीय हैं, इसलिए यह निष्कर्ष निकाला जा सकता है कि पंक्ति समष्टि में सभी सदिश सम्मिलित हैं, जो लंबकोणीय n हैं।

स्तंभ समष्टि

परिभाषा

मान लीजिए K अदिशों का क्षेत्र है। मान लीजिए A, m × n आव्यूह है, जिसमें स्तंभ सदिश v1, v2, ..., vn हैं। इन सदिशों का रैखिक संयोजन किसी प्रकार का सदिश होता है:

जहाँ c1, c2, ..., cn अदिश हैं। v1, ..., vn के सभी संभावित रैखिक संयोजनों के समुच्चय को A का स्तंभ समष्टि कहा जाता है। अर्थात, A का स्तंभ समष्टि सदिशों v1, ..., vn की रैखिक अवधि है।

आव्यूह A के स्तंभ सदिश के किसी भी रैखिक संयोजन को स्तंभ सदिश के साथ A के गुणनफल के रूप में लिखा जा सकता है:

इसलिए, A के स्तंभ समष्टि में xKn के लिए सभी संभावित उत्पाद Ax सम्मिलित हैं। यह संबंधित आव्यूह परिवर्तन की छवि (या किसी फलन की श्रेणी) के समान है।

उदाहरण

यदि , तो स्तंभ सदिश v1 = [1, 0, 2]T और v2 = [0, 1, 0]T हैं। v1और v2 का रैखिक संयोजन रूप का कोई सदिश है।

ऐसे सभी सदिशों का समुच्चय A का स्तंभ समष्टि है। इस स्थिति में, स्तंभ समष्टि सदिशों (x, y, z) ∈ R3 का समुच्चय है, जो समीकरण z = 2x को संतुष्ट करता है (कार्टेशियन निर्देशांक का उपयोग करते हुए, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से समष्टि है)।

आधार

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

उदाहरण के लिए, आव्यूह पर विचार करें:

इस आव्यूह के स्तंभ, स्तंभ समष्टि का विस्तार करते हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकते हैं, जिस स्थिति में उनमें से कुछ उपसमुच्चय आधार बनेंगे। इस आधार परीक्षण के लिए, हम A को अल्प पंक्ति सोपानक रूप में घटाते हैं:

[6]

इस बिंदु पर, यह स्पष्ट है कि प्रथम , दूसरा और चौथा स्तंभ रैखिक रूप से स्वतंत्र हैं, जबकि तीसरा स्तंभ पूर्व दो का रैखिक संयोजन है। (विशेष रूप से, v3 = −2v1 + v2।) इसलिए, मूल आव्यूह के प्रथम, दूसरे और चौथे स्तंभ स्तंभ समष्टि के लिए आधार हैं:

ध्यान दें कि अल्प पंक्ति सोपानक रूप के स्वतंत्र स्तंभ उचित पिवोट्स वाले स्तंभ हैं। इससे यह निर्धारित करना संभव हो जाता है कि कौन से स्तंभ केवल पंक्ति सोपानक रूप को अल्प करके रैखिक रूप से स्वतंत्र हैं।

उपरोक्त एल्गोरिथ्म का उपयोग सामान्य रूप से सदिश के किसी भी समुच्चय के मध्य निर्भरता संबंधों का परीक्षण और किसी भी विस्तारित समुच्चय से आधार चयनित करने के लिए किया जा सकता है। साथ ही A के स्तंभ समष्टि के लिए आधार परीक्षण ट्रांसपोज़ आव्यूह AT के पंक्ति समष्टि के लिए आधार परीक्षण के समान है।

व्यावहारिक सेटिंग में आधार परीक्षण के लिए (उदाहरण के लिए, बड़े आव्यूहों के लिए), एकवचन-मूल्य अपघटन सामान्यतः उपयोग किया जाता है।

आयाम

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

क्योंकि स्तंभ समष्टि संबंधित आव्यूह परिवर्तन की छवि है, आव्यूह का श्रेणी छवि के आयाम के समान होता है। उदाहरण के लिए, परिवर्तन उपरोक्त आव्यूह द्वारा वर्णित सभी मानचित्र कुछ त्रि-आयामी यूक्लिडियन उप-समष्टि के लिए होता है।

आव्यूह की शून्यता शून्य समष्टि का आयाम है, और अल्प पंक्ति सोपानक रूप में स्तंभों की संख्या के समान होती है, जिनमें पिवोट्स नहीं होते हैं।[7] n स्तंभ वाले आव्यूह A की श्रेणी और शून्यता समीकरण द्वारा संबंधित हैं:

इसे श्रेणी -शून्यता प्रमेय के रूप में जाना जाता है।

बाएँ शून्य समष्टि से संबंध

A का बायाँ शून्य समष्टि सभी सदिशों x का समुच्चय है, जैसे कि xTA = 0T होता है। यह A के समष्टिांतरण के शून्य समष्टि के समान है। आव्यूह AT और सदिश x का उत्पाद सदिशों के डॉट गुणनफल के रूप में लिखा जा सकता है:

क्योंकि AT के पंक्ति सदिश A के स्तंभ सदिश vk के समष्टिान्तरण हैं। इस प्रकार ATx = 0 यदि और केवल यदि x, A के प्रत्येक स्तंभ सदिश के लिए लंबकोणीय (लंबवत) है।

यह इस प्रकार है कि बायां शून्य समष्टि (AT का शून्य समष्टि) A के स्तंभ समष्टि का लंबकोणीय पूरक है।

आव्यूह A के लिए, स्तंभ समष्टि, पंक्ति समष्टि, शून्य समष्टि और बायाँ शून्य समष्टि को कभी-कभी चार मूलभूत उप-समष्टि के रूप में संदर्भित किया जाता है।

रिंग के ऊपर आव्यूहों के लिए

इसी प्रकार स्तंभ समष्टि (कभी-कभी उचित स्तंभ समष्टि के रूप में असंबद्ध) को रिंग K के रूप में आव्यूह के लिए परिभाषित किया जा सकता है।

किसी c1, ..., cn, के लिए, सदिश m-समष्टि के प्रतिस्थापन के साथ "उचित मुक्त मॉड्यूल" के साथ, जो सदिश vk के अदिश गुणन के क्रम को अदिश ck में परिवर्तित करता है, जैसे कि यह असामान्य क्रम सदिश-अदिश में लिखा गया है।[8]

पंक्ति समष्टि

परिभाषा

मान लीजिए K अदिशों का क्षेत्र है। मान लीजिए A m × n आव्यूह है, पंक्ति सदिश r1, r2, ..., rm के साथ है, इन सदिशों का रैखिक संयोजन किसी भी प्रकार का सदिश होता है।

जहाँ c1, c2, ..., cm अदिश राशियाँ हैं। r1, ..., rm के सभी संभव रैखिक संयोजनों के समुच्चय को A का पंक्ति समष्टि कहा जाता है। अर्थात A का पंक्ति समष्टि सदिशों r1, ..., rm का विस्तार है।

उदाहरण के लिए, यदि

तो पंक्ति सदिश r1 = [1, 0, 2] और r2 = [0, 1, 0] हैं। r1 और r2 का रैखिक संयोजन रूप का कोई सदिश है:

ऐसे सभी सदिशों का समुच्चय A का पंक्ति समष्टि है, इस स्थिति में, पंक्ति समष्टि उचित सदिशों (x, y, z) ∈ K3 का समुच्चय है, समीकरण z = 2x को संतुष्ट करता है (कार्टेशियन निर्देशांक का उपयोग करके, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से समष्टि है)।

आव्यूह के लिए जो रैखिक समीकरणों की सजातीय प्रणाली का प्रतिनिधित्व करता है, पंक्ति समष्टि में सभी रैखिक समीकरण होते हैं जो प्रणाली में उन लोगों से अनुसरण करते हैं।

A का स्तंभ समष्टि AT के पंक्ति समष्टि के समान है।

आधार

पंक्ति समष्टि प्रारंभिक पंक्ति संचालन से प्रभावित नहीं होता है। यह पंक्ति समष्टि के लिए आधार परीक्षण के लिए पंक्ति में अल्पता का उपयोग करना संभव बनाता है।

उदाहरण के लिए, आव्यूह पर विचार करें:

इस आव्यूह की पंक्तियाँ पंक्ति समष्टि को विस्तारित करती हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकती हैं, इस स्थिति में पंक्तियाँ आधार नहीं होंगी। आधार परीक्षण के लिए, हम A को पंक्ति सोपानक रूप में अल्प करते हैं:

r1, r2, r3 पंक्तियों का प्रतिनिधित्व करता है।

जब आव्यूह सोपानक रूप में होता है, तो गैर-शून्य पंक्तियाँ पंक्ति समष्टि के लिए आधार होती हैं। इस स्थिति में आधार { [1, 3, 2], [2, 7, 4] }है। अन्य संभावित आधार { [1, 0, 2], [0, 1, 0] } अल्पता से आता है।[9]

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

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

पिवोट्स प्रदर्शित करते हैं कि AT के पूर्व दो स्तंभ AT के स्तंभ समष्टि का आधार बनता है, इसलिए, A की प्रथम दो पंक्तियाँ (किसी भी पंक्ति में अल्पता से पूर्व) भी A की पंक्ति समष्टि का आधार बनता है।

आयाम

पंक्ति समष्टि के आयाम को आव्यूह की श्रेणी कहा जाता है। यह रैखिक रूप से स्वतंत्र पंक्तियों की अधिकतम संख्या के समान है जिसे आव्यूह द्वारा चयन किया जा सकता है, या समान रूप से पिवोट्स की संख्या होती है। उदाहरण के लिए, 3 ×3 आव्यूह की श्रेणी दो है।[9]

आव्यूह की श्रेणी भी स्तंभ समष्टि के आयाम के समान होती है। शून्य समष्टि के आयाम को आव्यूह की शून्यता कहा जाता है, और निम्न समीकरण द्वारा श्रेणी से संबंधित है:

जहाँ n आव्यूह A के स्तंभों की संख्या है, उपरोक्त समीकरण को श्रेणी-शून्यता प्रमेय के रूप में जाना जाता है।

शून्य समष्टि से संबंध

आव्यूह A का शून्य समष्टि सभी सदिशों x का समुच्चय है, जिसके लिए Ax = 0 है। आव्यूह A और सदिश x का उत्पाद सदिशों के डॉट गुणनफल के रूप में लिखा जा सकता है:

जहाँ r1, ..., rm A के पंक्ति सदिश हैं, इस प्रकार Ax = 0 यदि केवल x, A के प्रत्येक पंक्ति सदिश के लिए लंबकोणीय (लंबवत) है।

यह इस प्रकार है कि A का रिक्त समष्टि पंक्ति समष्टि के लिए लंबकोणीय पूरक है। उदाहरण के लिए, यदि पंक्ति समष्टि तीन आयामों में मूल के माध्यम से समष्टि है, तो रिक्त समष्टि मूल के माध्यम से लंबवत रेखा होगी। यह श्रेणी-शून्यता प्रमेय का प्रमाण प्रदान करता है (ऊपर आयाम देखें)।

पंक्ति समष्टि और अशक्त समष्टि आव्यूह A से जुड़े चार मूलभूत उप-समष्टिों में से दो हैं (अन्य दो स्तंभ समष्टि हैं और बाएँ रिक्त समष्टि हैं)।

सह-प्रतिबिंब से संबंध

यदि V और W सदिश समष्टियाँ हैं, तब रेखीय रूपांतरण T: VW सदिश vV का समुच्चय है जिसके लिए T(v) = 0 है। रेखीय परिवर्तन का कर्नेल आव्यूह शून्य समष्टि के अनुरूप होता है।

यदि V आंतरिक उत्पाद समष्टि है, तो कर्नेल के लंबकोणीय पूरक को पंक्ति समष्टि के सामान्यीकरण के रूप में माना जा सकता है। इसे कभी-कभी T का सह-प्रतिबिंब कहा जाता है, रूपान्तरण T सह-प्रतिबिंब है, और सह-प्रतिबिंब मानचित्र समाकृतिकता रूप से T की छवि है।

जब V आंतरिक उत्पाद समष्टि नहीं है, तो T के सह-प्रतिबिंब को भागफल समष्टि V / ker(T) के रूप में परिभाषित किया जा सकता है।

यह भी देखें

  • यूक्लिडियन उपक्षेत्र

संदर्भ और नोट्स

  1. Linear algebra, as discussed in this article, is a very well established mathematical discipline for which there are many sources. Almost all of the material in this article can be found in Lay 2005, Meyer 2001, and Strang 2005.
  2. Strang, Gilbert (2016). रैखिक बीजगणित का परिचय (Fifth ed.). Wellesley, MA: Wellesley-Cambridge Press. pp. 128, 168. ISBN 978-0-9802327-7-6. OCLC 956503593.
  3. Anton (1987, p. 179)
  4. Anton (1987, p. 183)
  5. Beauregard & Fraleigh (1973, p. 254)
  6. This computation uses the Gauss–Jordan row-reduction algorithm. Each of the shown steps involves multiple elementary row operations.
  7. Columns without pivots represent free variables in the associated homogeneous system of linear equations.
  8. Important only if K is not commutative. Actually, this form is merely a product Ac of the matrix A to the column vector c from Kn where the order of factors is preserved, unlike the formula above.
  9. 9.0 9.1 The example is valid over the real numbers, the rational numbers, and other number fields. It is not necessarily correct over fields and rings with non-zero characteristic.

अग्रिम पठन


बाहरी संबंध