पंक्ति और स्तंभ समिष्ट: Difference between revisions
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|आव्यूह | [[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|न्यूनतम (''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}} के पंक्ति | आव्यूह {{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> | ||
== अवलोकन == | == अवलोकन == | ||
मान लीजिए {{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> के रूप में मानता है, तब आव्यूह का स्तंभ समष्टि इस रैखिक परिवर्तन की छवि के समान है। | ||
आव्यूह {{mvar|A}} का स्तंभ | आव्यूह {{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>}} की अवधारणा [[जटिल संख्या|जटिल संख्याओं]] के क्षेत्र, या किसी भी क्षेत्र पर आव्यूहों को सामान्य करती है। | ||
सरल रूप से, आव्यूह {{mvar|A}} दिया गया है, सदिश {{math|'''x'''}} पर आव्यूह {{mvar|A}} की क्रिया गुणांक के रूप में {{math|'''x'''}} के निर्देशांक द्वारा भारित {{mvar|A}} के स्तंभ के रैखिक संयोजन वापस कर देगी। इसे देखने का दूसरा प्रकार यह है कि (1) यह {{mvar|A}} के पंक्ति | सरल रूप से, आव्यूह {{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> }}}}है। | ||
चूँकि ये चार पंक्ति सदिश [[रैखिक स्वतंत्रता]] हैं, पंक्ति | चूँकि ये चार पंक्ति सदिश [[रैखिक स्वतंत्रता]] हैं, पंक्ति समष्टि 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>}} हैं। इन सदिशों का रैखिक संयोजन किसी प्रकार का सदिश होता है: | ||
:<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>}} की रैखिक अवधि है। | |||
आव्यूह के स्तंभ सदिश | आव्यूह {{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|'''x''' ∈ ''K''<sup>''n''</sup>}} के लिए सभी संभावित उत्पाद {{math|''A'''''x'''}} सम्मिलित हैं। यह संबंधित आव्यूह परिवर्तन की छवि (या किसी फलन की श्रेणी) के समान है। | ||
==== उदाहरण ==== | ==== उदाहरण ==== | ||
यदि <math>A = \begin{bmatrix} 1 & 0 \\ 0 & 1 \\ 2 & 0 \end{bmatrix}</math>, तो स्तंभ सदिश | यदि <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> का रैखिक संयोजन रूप का कोई सदिश है। | ||
<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>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}} को अल्प पंक्ति सोपानक रूप में घटाते हैं: | ||
:<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>\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>}} के पंक्ति समष्टि के लिए आधार परीक्षण के समान है। | ||
व्यावहारिक सेटिंग में आधार | व्यावहारिक सेटिंग में आधार परीक्षण के लिए (उदाहरण के लिए, बड़े आव्यूहों के लिए), एकवचन-मूल्य अपघटन सामान्यतः उपयोग किया जाता है। | ||
=== आयाम === | === आयाम === | ||
{{main| | {{main|श्रेणी (रैखिक बीजगणित)}} | ||
स्तंभ समष्टि के आयाम को आव्यूह का श्रेणी कहा जाता है। श्रेणी अल्प पंक्ति सोपानक रूप में पिवोट्स की संख्या के समान है, और आव्यूह द्वारा चयन किये जा सकने वाले रैखिक रूप से स्वतंत्र स्तंभों की अधिकतम संख्या है। उदाहरण के लिए, 4 × 4 आव्यूह की श्रेणी तीन है। | |||
[[गिरी (मैट्रिक्स)| | क्योंकि स्तंभ समष्टि संबंधित आव्यूह परिवर्तन की छवि है, आव्यूह का श्रेणी छवि के आयाम के समान होता है। उदाहरण के लिए, परिवर्तन <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}} का बायाँ शून्य | {{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|''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}} के स्तंभ समष्टि का लंबकोणीय पूरक है। | ||
आव्यूह {{mvar|A}} के लिए, स्तंभ | आव्यूह {{mvar|A}} के लिए, स्तंभ समष्टि, पंक्ति समष्टि, शून्य समष्टि और बायाँ शून्य समष्टि को कभी-कभी चार मूलभूत उप-समष्टि के रूप में संदर्भित किया जाता है। | ||
=== रिंग के ऊपर आव्यूहों के लिए === | === रिंग के ऊपर आव्यूहों के लिए === | ||
इसी प्रकार स्तंभ | इसी प्रकार स्तंभ समष्टि (कभी-कभी उचित स्तंभ समष्टि के रूप में असंबद्ध) को रिंग {{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|''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}} का पंक्ति | जहाँ {{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}} का पंक्ति | ऐसे सभी सदिशों का समुच्चय {{mvar|A}} का पंक्ति समष्टि है, इस स्थिति में, पंक्ति समष्टि उचित सदिशों {{math|(''x'', ''y'', ''z'') ∈ ''K''<sup>3</sup>}} का समुच्चय है, समीकरण {{math|1=''z'' = 2''x''}} को संतुष्ट करता है (कार्टेशियन निर्देशांक का उपयोग करके, यह समुच्चय त्रि-आयामी अंतरिक्ष में उत्पत्ति के माध्यम से समष्टि है)। | ||
आव्यूह के लिए जो रैखिक समीकरणों की सजातीय प्रणाली का प्रतिनिधित्व करता है, पंक्ति | आव्यूह के लिए जो रैखिक समीकरणों की सजातीय प्रणाली का प्रतिनिधित्व करता है, पंक्ति समष्टि में सभी रैखिक समीकरण होते हैं जो प्रणाली में उन लोगों से अनुसरण करते हैं। | ||
{{mvar|A}} का स्तंभ | {{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}} को पंक्ति सोपानक रूप में अल्प करते हैं: | ||
{{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|''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>}} के स्तंभ | पिवोट्स प्रदर्शित करते हैं कि {{math|''A''<sup>T</sup>}} के पूर्व दो स्तंभ {{math|''A''<sup>T</sup>}} के स्तंभ समष्टि का आधार बनता है, इसलिए, {{mvar|A}} की प्रथम दो पंक्तियाँ (किसी भी पंक्ति में अल्पता से पूर्व) भी {{mvar|A}} की पंक्ति समष्टि का आधार बनता है। | ||
=== आयाम === | === आयाम === | ||
{{main| | {{main|श्रेणी (रैखिक बीजगणित)}} | ||
पंक्ति | पंक्ति समष्टि के आयाम को आव्यूह की श्रेणी कहा जाता है। यह रैखिक रूप से स्वतंत्र पंक्तियों की अधिकतम संख्या के समान है जिसे आव्यूह द्वारा चयन किया जा सकता है, या समान रूप से पिवोट्स की संख्या होती है। उदाहरण के लिए, 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}} का शून्य | आव्यूह {{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|'''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|V}} और {{mvar|W}} सदिश समष्टियाँ हैं, तब रेखीय रूपांतरण {{math|''T'': ''V'' → ''W''}} | यदि {{mvar|V}} और {{mvar|W}} सदिश समष्टियाँ हैं, तब रेखीय रूपांतरण {{math|''T'': ''V'' → ''W''}} सदिश {{math|'''v''' ∈ ''V''}} का समुच्चय है जिसके लिए {{math|1=''T''('''v''') = '''0'''}} है। रेखीय परिवर्तन का कर्नेल आव्यूह शून्य समष्टि के अनुरूप होता है। | ||
यदि {{mvar|V}} [[आंतरिक उत्पाद स्थान|आंतरिक उत्पाद समष्टि]] है, तो कर्नेल के लंबकोणीय पूरक को पंक्ति | यदि {{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: | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
*{{MathWorld |title=Row Space |urlname=RowSpace}} | *{{MathWorld |title=Row Space |urlname=RowSpace}} | ||
Line 296: | Line 294: | ||
{{linear algebra}} | {{linear algebra}} | ||
[[Category: | [[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 आव्यूह है। तब:
- rank(A) = dim(rowsp(A)) = dim(colsp(A)),[4]
- rank(A) = A के किसी सोपानक रूप में धुरी तत्व की संख्या है।
- rank(A) = A की रैखिक रूप से स्वतंत्र पंक्तियों या स्तंभों की अधिकतम संख्या है।[5]
यदि किसी आव्यूह को रैखिक परिवर्तन को के रूप में मानता है, तब आव्यूह का स्तंभ समष्टि इस रैखिक परिवर्तन की छवि के समान है।
आव्यूह A का स्तंभ समष्टि A में स्तंभ के सभी रैखिक संयोजनों का समुच्चय है। यदि A = [a1 ⋯ an], तब 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 के स्तंभ समष्टि में x ∈ Kn के लिए सभी संभावित उत्पाद Ax सम्मिलित हैं। यह संबंधित आव्यूह परिवर्तन की छवि (या किसी फलन की श्रेणी) के समान है।
उदाहरण
यदि , तो स्तंभ सदिश v1 = [1, 0, 2]T और v2 = [0, 1, 0]T हैं। v1और v2 का रैखिक संयोजन रूप का कोई सदिश है।
आधार
A के स्तंभ, स्तंभ समष्टि का विस्तार करते हैं, किन्तु यदि स्तंभ सदिश रैखिक रूप से स्वतंत्र नहीं हैं तो वे आधार नहीं बना सकते हैं। प्राथमिक पंक्ति संचालन स्तंभ सदिश के मध्य निर्भरता संबंधों को प्रभावित नहीं करते हैं। यह स्तंभ समष्टि आधार परीक्षण के लिए पंक्ति में अल्पता का उपयोग करना संभव बनाता है।
उदाहरण के लिए, आव्यूह पर विचार करें:
इस आव्यूह के स्तंभ, स्तंभ समष्टि का विस्तार करते हैं, किन्तु वे रैखिक रूप से स्वतंत्र नहीं हो सकते हैं, जिस स्थिति में उनमें से कुछ उपसमुच्चय आधार बनेंगे। इस आधार परीक्षण के लिए, हम A को अल्प पंक्ति सोपानक रूप में घटाते हैं:
इस बिंदु पर, यह स्पष्ट है कि प्रथम , दूसरा और चौथा स्तंभ रैखिक रूप से स्वतंत्र हैं, जबकि तीसरा स्तंभ पूर्व दो का रैखिक संयोजन है। (विशेष रूप से, 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: V → W सदिश v ∈ V का समुच्चय है जिसके लिए T(v) = 0 है। रेखीय परिवर्तन का कर्नेल आव्यूह शून्य समष्टि के अनुरूप होता है।
यदि V आंतरिक उत्पाद समष्टि है, तो कर्नेल के लंबकोणीय पूरक को पंक्ति समष्टि के सामान्यीकरण के रूप में माना जा सकता है। इसे कभी-कभी T का सह-प्रतिबिंब कहा जाता है, रूपान्तरण T सह-प्रतिबिंब है, और सह-प्रतिबिंब मानचित्र समाकृतिकता रूप से T की छवि है।
जब V आंतरिक उत्पाद समष्टि नहीं है, तो T के सह-प्रतिबिंब को भागफल समष्टि V / ker(T) के रूप में परिभाषित किया जा सकता है।
यह भी देखें
- यूक्लिडियन उपक्षेत्र
संदर्भ और नोट्स
- ↑ 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.
- ↑ Strang, Gilbert (2016). रैखिक बीजगणित का परिचय (Fifth ed.). Wellesley, MA: Wellesley-Cambridge Press. pp. 128, 168. ISBN 978-0-9802327-7-6. OCLC 956503593.
- ↑ Anton (1987, p. 179)
- ↑ Anton (1987, p. 183)
- ↑ Beauregard & Fraleigh (1973, p. 254)
- ↑ This computation uses the Gauss–Jordan row-reduction algorithm. Each of the shown steps involves multiple elementary row operations.
- ↑ Columns without pivots represent free variables in the associated homogeneous system of linear equations.
- ↑ 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.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.
अग्रिम पठन
- Anton, Howard (1987), Elementary Linear Algebra (5th ed.), New York: Wiley, ISBN 0-471-84819-0
- Axler, Sheldon Jay (1997), Linear Algebra Done Right (2nd ed.), Springer-Verlag, ISBN 0-387-98259-0
- Banerjee, Sudipto; Roy, Anindya (June 6, 2014), Linear Algebra and Matrix Analysis for Statistics (1st ed.), CRC Press, ISBN 978-1-42-009538-8
- Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Company, ISBN 0-395-14017-X
- Lay, David C. (August 22, 2005), Linear Algebra and Its Applications (3rd ed.), Addison Wesley, ISBN 978-0-321-28713-7
- Leon, Steven J. (2006), Linear Algebra With Applications (7th ed.), Pearson Prentice Hall
- Meyer, Carl D. (February 15, 2001), Matrix Analysis and Applied Linear Algebra, Society for Industrial and Applied Mathematics (SIAM), ISBN 978-0-89871-454-8, archived from the original on March 1, 2001
- Poole, David (2006), Linear Algebra: A Modern Introduction (2nd ed.), Brooks/Cole, ISBN 0-534-99845-3
- Strang, Gilbert (July 19, 2005), Linear Algebra and Its Applications (4th ed.), Brooks Cole, ISBN 978-0-03-010567-8
बाहरी संबंध
- Weisstein, Eric W. "Row Space". MathWorld.
- Weisstein, Eric W. "Column Space". MathWorld.
- Gilbert Strang, MIT Linear Algebra Lecture on the Four Fundamental Subspaces at Google Video, from MIT OpenCourseWare
- Khan Academy video tutorial
- Lecture on column space and nullspace by Gilbert Strang of MIT
- Row Space and Column Space