रैखिक उपसमष्टि: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|In mathematics, vector subspace}} {| style="width:248px; float:right; margin-left:1em;" |120pxImage:Projectivisatio...")
 
No edit summary
 
(30 intermediate revisions by 4 users not shown)
Line 3: Line 3:
|[[Image:Projectivisation F5P^1.svg|120px]][[Image:Projectivisation F5P^1.svg|120px]]<br/>[[Image:Projectivisation F5P^1.svg|120px]][[Image:Projectivisation F5P^1.svg|120px]]
|[[Image:Projectivisation F5P^1.svg|120px]][[Image:Projectivisation F5P^1.svg|120px]]<br/>[[Image:Projectivisation F5P^1.svg|120px]][[Image:Projectivisation F5P^1.svg|120px]]
|-
|-
| style="font-size:87%" |One-dimensional subspaces in the two-dimensional vector space over the [[finite field]] '''F'''<sub>5</sub>. The [[origin (mathematics)|origin]] (0,&nbsp;0), marked with green circles, belongs to any of six 1-subspaces, while each of 24 remaining points belongs to exactly one; a property which holds for 1-subspaces over any field and in all [[Dimension (vector space)|dimensions]]. All '''F'''<sub>5</sub><sup>2</sup> (i.e. a 5&nbsp;×&nbsp;5 square) is pictured four times for a better visualization
| style="font-size:87%" |[[finite field|परिमित क्षेत्र]] '''F'''<sub>5</sub> पर द्विविमीय सदिश समष्टि में एक-विमीय उपसमष्टि। केंद्र (0,&nbsp;0), हरे रंग के वृतो द्वारा दर्शाया गया हैं, कोई भी छः-1 उपसमष्टियो के अंतर्गत आता हैं, जबकि शेष 24 बिंदु यथार्थतः एक के अंतर्गत आते हैं; एक गुण जो किसी भी क्षेत्र पर तथा सभी [[Dimension (vector space)|विमाओं]] 1 उपसमष्टि रखता हैं। सभी '''F'''<sub>5</sub><sup>2</sup> (i.e. a 5&nbsp;×&nbsp;5 वर्ग) अच्छे दृश्यकरण के लिए चार बार प्रदर्शित किया गया हैं।
|}
|}
गणित में, और विशेष रूप से रैखिक बीजगणित में, एक रैखिक उप-स्थान या वेक्टर उप-स्थान<ref>{{Harvtxt|Halmos|1974}} pp. 16-17, § 10</ref><ref group="note">The term ''linear subspace'' is sometimes used for referring to [[flat (geometry)|flats]] and [[affine subspace]]s. In the case of vector spaces over the reals, linear subspaces, flats, and affine subspaces are also called ''linear manifolds'' for emphasizing that there are also [[manifold]]s.</ref> एक सदिश समष्टि है जो किसी बड़े सदिश समष्टि का उपसमुच्चय है। एक रैखिक उप-स्थान को आमतौर पर केवल उप-स्थान कहा जाता है जब संदर्भ इसे अन्य प्रकार के उप-स्थानों से अलग करने का कार्य करता है।
गणित में, और विशेष रूप से रैखिक बीजगणित में, '''रैखिक उपसमष्टि''' या '''सदिश उपसमष्टि'''<ref>{{Harvtxt|Halmos|1974}} pp. 16-17, § 10</ref><ref group="note">The term ''linear subspace'' is sometimes used for referring to [[flat (geometry)|flats]] and [[affine subspace]]s. In the case of vector spaces over the reals, linear subspaces, flats, and affine subspaces are also called ''linear manifolds'' for emphasizing that there are also [[manifold]]s.</ref> एक सदिश समष्टि है जो किसी बड़े सदिश समष्टि का उपसमुच्चय है। रैखिक उपसमष्टि को साधारण तौर पर केवल उपसमष्टि कहा जाता है जब संदर्भ इसे अन्य प्रकार के उपसमष्टि से अलग करने का कार्य करता है।


==परिभाषा==
==परिभाषा==
यदि V एक [[फ़ील्ड (गणित)]] K के ऊपर एक सदिश समष्टि है और यदि W, V का एक उपसमुच्चय है, तो W, V का एक 'रैखिक उपसमष्टि' है यदि V के संचालन के तहत, W, K के ऊपर एक सदिश समष्टि है। समान रूप से, a रिक्त समुच्चय उपसमुच्चय, V का एक उपसमष्टि है यदि, जब भी {{math|''w''<sub>1</sub>, ''w''<sub>2</sub>}}W और के तत्व हैं {{math|''α'', ''β''}} K के तत्व हैं, यह उसका अनुसरण करता है {{math|''αw''<sub>1</sub> + ''βw''<sub>2</sub>}} डब्ल्यू में है.<ref>{{harvtxt|Anton|2005|p=155}}</ref><ref>{{harvtxt|Beauregard|Fraleigh|1973|p=176}}</ref><ref>{{harvtxt|Herstein|1964|p=132}}</ref><ref>{{harvtxt|Kreyszig|1972|p=200}}</ref><ref>{{harvtxt|Nering|1970|p=20}}</ref>
यदि V [[फ़ील्ड (गणित)|क्षेत्र (गणित)]] K पर सदिश समष्टि है और यदि W, V का उपसमुच्चय है, तो W, V का ''''रैखिक उपसमष्टि'''<nowiki/>' है यदि V के संचालन के अनुसार, W, K पर सदिश समष्टि है। समान रूप से, एक रिक्त उपसमुच्चय, V का उपसमष्टि है यदि, जब {{math|''w''<sub>1</sub>, ''w''<sub>2</sub>}}W और के अवयव हैं {{math|''α'', ''β''}} K के अवयव हैं, तो यह {{math|''αw''<sub>1</sub> + ''βw''<sub>2</sub>}} का ''W'' में अनुसरण करता है।<ref>{{harvtxt|Anton|2005|p=155}}</ref><ref>{{harvtxt|Beauregard|Fraleigh|1973|p=176}}</ref><ref>{{harvtxt|Herstein|1964|p=132}}</ref><ref>{{harvtxt|Kreyszig|1972|p=200}}</ref><ref>{{harvtxt|Nering|1970|p=20}}</ref>
परिणाम के रूप में, सभी वेक्टर स्थान कम से कम दो (संभवतः भिन्न) रैखिक उप-स्थानों से सुसज्जित होते हैं: [[शून्य वेक्टर]] स्थान जिसमें अकेले शून्य वेक्टर और संपूर्ण वेक्टर स्थान शामिल होता है। इन्हें सदिश समष्टि की तुच्छ उपसमष्टि कहा जाता है।<ref>{{harvtxt|Hefferon|2020}} p. 100, ch. 2, Definition 2.13</ref>
 


परिणाम के रूप में, सभी सदिश समष्टि कम से कम दो (संभवतः भिन्न) रैखिक उपसमष्टियो से सुसज्जित होते हैं: [[शून्य वेक्टर|शून्य सदिश समष्टि]] जिसमें अकेले शून्य सदिश और संपूर्ण सदिश समष्टि सम्मलित होता है। इन्हें सदिश समष्टि की '''विषम उपसमष्टि''' कहा जाता है।<ref>{{harvtxt|Hefferon|2020}} p. 100, ch. 2, Definition 2.13</ref>
== उदाहरण ==
== उदाहरण ==


=== उदाहरण मैं ===
=== उदाहरण I ===
सदिश समष्टि में V = 'R'<sup>3</sup> ([[वास्तविक संख्या]]ओं के क्षेत्र R पर [[वास्तविक समन्वय स्थान]]), ''W'' को ''V'' में सभी वैक्टरों के सेट के रूप में लें जिसका अंतिम घटक 0 है।
सदिश समष्टि में V = '''<nowiki/>'R'<sup>3</sup>''' ([[वास्तविक संख्या|वास्तविक संख्याओं]] के क्षेत्र '''R''' पर [[वास्तविक समन्वय स्थान|वास्तविक समन्वय समष्टि]]), ''W'' को ''V'' में सभी सदिशों के समुच्चयों के रूप में लें जिसका अंतिम घटक 0 है। तो ''W,'' ''V'' का उपसमष्टि है।
फिर ''W'' ''V'' का एक उपसमष्टि है।


''सबूत:''
''सिद्ध:''
#''W'' में u और v दिया गया है तो इन्हें इस प्रकार व्यक्त किया जा सकता है {{nowrap|1='''u''' = (''u''<sub>1</sub>, ''u''<sub>2</sub>, 0)}} और {{nowrap|1='''v''' = (''v''<sub>1</sub>, ''v''<sub>2</sub>, 0)}}. तब {{nowrap|1='''u''' + '''v''' = (''u''<sub>1</sub>+''v''<sub>1</sub>, ''u''<sub>2</sub>+''v''<sub>2</sub>, 0+0) = (''u''<sub>1</sub>+''v''<sub>1</sub>, ''u''<sub>2</sub>+''v''<sub>2</sub>, 0)}}. इस प्रकार, u + v ''W'' का भी एक तत्व है।
#''W'' में '''u''' और '''v''' दिया गया है तो इन्हें इस प्रकार {{nowrap|1='''u''' = (''u''<sub>1</sub>, ''u''<sub>2</sub>, 0)}} और {{nowrap|1='''v''' = (''v''<sub>1</sub>, ''v''<sub>2</sub>, 0)}} से व्यक्त किया जा सकता है। तब {{nowrap|1='''u''' + '''v''' = (''u''<sub>1</sub>+''v''<sub>1</sub>, ''u''<sub>2</sub>+''v''<sub>2</sub>, 0+0) = (''u''<sub>1</sub>+''v''<sub>1</sub>, ''u''<sub>2</sub>+''v''<sub>2</sub>, 0)}}इस प्रकार, '''u + v''', ''W'' का भी अवयव है।
#आपको ''W'' में और R में एक अदिश ''c'' दिया गया है, यदि {{nowrap|1='''u''' = (''u''<sub>1</sub>, ''u''<sub>2</sub>, 0)}} फिर, फिर {{nowrap|1=''c'''''u''' = (''cu''<sub>1</sub>, ''cu''<sub>2</sub>, ''c''0) = (''cu''<sub>1</sub>, ''cu''<sub>2</sub>,0)}}. इस प्रकार, c'u' W का भी एक तत्व है।
#आपको ''W'' में और '''R''' में अदिश ''c'' दिया गया है, यदि पुनः {{nowrap|1='''u''' = (''u''<sub>1</sub>, ''u''<sub>2</sub>, 0)}},तो {{nowrap|1=''c'''''u''' = (''cu''<sub>1</sub>, ''cu''<sub>2</sub>, ''c''0) = (''cu''<sub>1</sub>, ''cu''<sub>2</sub>,0)}} होता हैं। इस प्रकार, c'u', W का भी एक अवयव है।


=== उदाहरण II ===
=== उदाहरण II ===
मान लीजिए कि क्षेत्र फिर से R है, लेकिन अब सदिश समष्टि ''V'' [[कार्तीय तल]] R है<sup>2</sup>.
मान लीजिए कि क्षेत्र पुनः R है, लेकिन अब माना की सदिश समष्टि ''V'' [[कार्तीय तल]] '''R<sup>2</sup>''' हैं। W को 'R'<sup>2</sup> के बिंदुओं (x, y) का समुच्चय मानें जैसे कि x = yहो।
W को 'R' के बिंदुओं (x, y) का समुच्चय मानें<sup>2</sup>जैसे कि x = y.
तब W 'R'<sup>2</sup> का उपसमष्टि हैं। 
फिर W, 'R' का एक उपसमष्टि है<sup>2</sup>.


[[File:Example 2 subspace 2.svg|thumb|उदाहरण II सचित्र]]सबूत:
[[File:Example 2 subspace 2.svg|thumb|उदाहरण II सचित्र]]''सिद्ध'':
#होने देना {{nowrap|1='''p''' = (''p''<sub>1</sub>, ''p''<sub>2</sub>)}} और {{nowrap|1='''q''' = (''q''<sub>1</sub>, ''q''<sub>2</sub>)}}W के अवयव हों, अर्थात् समतल में ऐसे बिंदु हों कि p<sub>1</sub> = पी<sub>2</sub> और क्यू<sub>1</sub> = क्यू<sub>2</sub>. तब {{nowrap|1='''p''' + '''q''' = (''p''<sub>1</sub>+''q''<sub>1</sub>, ''p''<sub>2</sub>+''q''<sub>2</sub>)}}; चूंकि पी<sub>1</sub> = पी<sub>2</sub> और क्यू<sub>1</sub> = क्यू<sub>2</sub>, फिर पी<sub>1</sub> + क्यू<sub>1</sub> = पी<sub>2</sub> + क्यू<sub>2</sub>, इसलिए p + q ''W'' का एक तत्व है।
#माना {{nowrap|1='''p''' = (''p''<sub>1</sub>, ''p''<sub>2</sub>)}} और {{nowrap|1='''q''' = (''q''<sub>1</sub>, ''q''<sub>2</sub>)}} W के अवयव हों, अर्थात् समतल में बिंदु p<sub>1</sub> = p<sub>2</sub> और q<sub>1</sub> = q<sub>2</sub> हो। तब {{nowrap|1='''p''' + '''q''' = (''p''<sub>1</sub>+''q''<sub>1</sub>, ''p''<sub>2</sub>+''q''<sub>2</sub>)}}; चूंकि p<sub>1</sub> = p<sub>2</sub> और q<sub>1</sub> = q<sub>2</sub>, फिर p<sub>1</sub> + q<sub>1</sub> = p<sub>2</sub> + q<sub>2</sub>, इसलिए p + q, ''W'' का अवयव है।
#मान लीजिए p = (''p''<sub>1</sub>, पी<sub>2</sub>) W का एक तत्व हो, अर्थात, समतल में एक बिंदु ऐसा हो कि p<sub>1</sub> = पी<sub>2</sub>, और मान लीजिए कि c 'R' में एक अदिश राशि है। तब {{nowrap|1=''c'''''p''' = (''cp''<sub>1</sub>, ''cp''<sub>2</sub>)}}; चूंकि पी<sub>1</sub> = पी<sub>2</sub>, फिर सी.पी<sub>1</sub> = सी.पी<sub>2</sub>, इसलिए c'p' W का एक तत्व है।
#मान लीजिए p = (''p''<sub>1</sub>, p<sub>2</sub>) W का अवयव हो, अर्थात, समतल में बिंदु p<sub>1</sub> = p<sub>2</sub> हो और मान लीजिए कि c 'R' में अदिश राशि है। तब {{nowrap|1=''c'''''p''' = (''cp''<sub>1</sub>, ''cp''<sub>2</sub>)}}; चूंकि p<sub>1</sub> = p<sub>2</sub>, फिर c.p<sub>1</sub> = c.p<sub>2</sub>, इसलिए c'p', W का अवयव है।


सामान्य तौर पर, वास्तविक समन्वय स्थान 'आर' का कोई भी उपसमुच्चय<sup>n</sup> जिसे सजातीय रैखिक समीकरणों की एक प्रणाली द्वारा परिभाषित किया गया है, उससे एक उप-स्थान प्राप्त होगा।
सामान्यतया, वास्तविक समन्वय समष्टि 'R' का कोई भी उपसमुच्चय<sup>n</sup> जिसे सजातीय रैखिक समीकरणों की प्रणाली द्वारा परिभाषित किया गया है, उससे उप-समष्टि प्राप्त होता हैं। (उदाहरण I में समीकरण z = 0 था, और उदाहरण II में समीकरण x = y था।)
(उदाहरण I में समीकरण z = 0 था, और उदाहरण II में समीकरण x = y था।)


=== उदाहरण III ===
=== उदाहरण III ===
फिर से फ़ील्ड को R मानें, लेकिन अब वेक्टर स्पेस ''V'' को सेट R मानें<sup>R से R तक सभी [[फ़ंक्शन (गणित)]] का R</sup>।
पुनः क्षेत्र को '''R''' मानें, लेकिन अब सदिश समष्टि ''V'' को समुच्चय '''R''' मानें '''R''' से '''R''' तक के फलन होते हैं।
मान लीजिए C(R) निरंतर कार्यों से युक्त उपसमुच्चय है।
मान लीजिए C('''R''') सतत फलन से युक्त उपसमुच्चय है।
तब C(R) R की एक उपसमष्टि है<sup>आर</sup>.
तब C(R), R की उपसमष्टि है<sup>आर</sup>.


''सबूत:''
''सिद्ध:''
#कैलकुलस से हमें पता चलता है {{nowrap|0 ∈ C('''R''') ⊂ '''R'''<sup>'''R'''</sup>}}.
#अवकलन से हमें पता चलता है की {{nowrap|0 ∈ C('''R''') ⊂ '''R'''<sup>'''R'''</sup>}} होता हैं।
#कैलकुलस से हम जानते हैं कि सतत फलनों का योग सतत होता है।
#अवकलन से हम जानते हैं कि सतत फलनों का योग सतत होता है।
#फिर, हम कैलकुलस से जानते हैं कि एक सतत फलन और एक संख्या का गुणनफल सतत होता है।
#पुनः, हम अवकलन से जानते हैं कि सतत फलन और एक संख्या का गुणनफल सतत होता है।


=== उदाहरण IV ===
=== उदाहरण IV ===
फ़ील्ड और वेक्टर स्पेस को पहले जैसा ही रखें, लेकिन अब सभी अलग-अलग फ़ंक्शंस के सेट डिफ (आर) पर विचार करें।
क्षेत्र और सदिश समष्टि को पहले जैसा ही रखें, लेकिन अब सभी अवकलनीय फलनो के समुच्चय Diff ('''R''') पर विचार किया जाता हैं। पहले जैसे ही तर्क से पता चलता है कि यह भी उपसमष्टि है।
पहले जैसे ही तर्क से पता चलता है कि यह भी एक उप-स्थान है।


इन विषयों का विस्तार करने वाले उदाहरण [[कार्यात्मक विश्लेषण]] में आम हैं।
इन विषयों का विस्तार करने वाले उदाहरण [[कार्यात्मक विश्लेषण|फलनात्मक विश्लेषण]] में साधारण हैं।


==उपस्थानों के गुण ==
==उपसमष्टियों के गुण ==
वेक्टर रिक्त स्थान की परिभाषा से, यह निम्नानुसार है कि उप-स्थान गैर-रिक्त हैं, और योग के अंतर्गत और अदिश गुणकों के अंतर्गत क्लोजर (गणित) हैं।<ref>{{Harvtxt|MathWorld|2021}} Subspace.</ref> समान रूप से, उप-स्थानों को रैखिक संयोजनों के तहत बंद होने की संपत्ति द्वारा चित्रित किया जा सकता है। अर्थात्, एक गैर-रिक्त समुच्चय W एक उपसमष्टि है यदि और केवल यदि W के परिमित समुच्चय के कई तत्वों का प्रत्येक रैखिक संयोजन भी W से संबंधित हो।
सदिश रिक्त समष्टि की परिभाषा से, यह निम्नानुसार है कि उप-समष्टियों अरिक्त हैं, और योग के अंतर्गत और अदिश गुणकों के अंतर्गत बंद (गणित) हैं।<ref>{{Harvtxt|MathWorld|2021}} Subspace.</ref> समान रूप से, उपसमष्टियो को रैखिक संयोजनों के अंतर्गत बंद होने की गुण द्वारा चित्रित किया जा सकता है। अर्थात्, अरिक्त समुच्चय W उपसमष्टि है यदि और केवल यदि W के परिमित समुच्चय के कई अवयवों का प्रत्येक रैखिक संयोजन भी W से संबंधित होते हैं। समतुल्य परिभाषा बताती है कि यह एक समय में दो अवयवों के रैखिक संयोजनों पर विचार करने के भी समतुल्य है।
समतुल्य परिभाषा बताती है कि यह एक समय में दो तत्वों के रैखिक संयोजनों पर विचार करने के भी समतुल्य है।


[[टोपोलॉजिकल वेक्टर स्पेस]]<ref>{{harvtxt|DuChateau|2002}} Basic facts about Hilbert Space — class notes from Colorado State University on Partial Differential Equations (M645).</ref> यही बात परिमित संहिता आयाम के उप-स्थानों के लिए भी सत्य है (अर्थात, निरंतर [[रैखिक कार्यात्मक]]ताओं की एक सीमित संख्या द्वारा निर्धारित उप-स्थान)
[[टोपोलॉजिकल वेक्टर स्पेस|संश्थितिक सदिश समष्टि]]<ref>{{harvtxt|DuChateau|2002}} Basic facts about Hilbert Space — class notes from Colorado State University on Partial Differential Equations (M645).</ref> उप समष्ट्यि ''W'' के सश्थितिक रूप से सिमित होने की कोई आवस्यकता नहीं होती हैं, परन्तु परिमित विमा उपसम्मुचय सदैव सिमित होता हैं। यही बात परिमित सह विमा के उप-समष्टियों के लिए भी सत्य (अर्थात, निरंतर [[रैखिक कार्यात्मक|रैखिक फलनों]] की एक सीमित संख्या द्वारा निर्धारित उप-समष्टि) होता हैं।


==विवरण==
==विवरण==
उप-स्थानों के विवरण में रैखिक समीकरणों की एक सजातीय प्रणाली के लिए सेट समाधान, सजातीय रैखिक [[पैरामीट्रिक समीकरण]]ों की एक प्रणाली द्वारा वर्णित यूक्लिडियन अंतरिक्ष का उपसमुच्चय, वैक्टर के संग्रह की रैखिक अवधि, और शून्य स्थान, [[स्तंभ स्थान]] और [[पंक्ति स्थान]] शामिल हैं। एक [[मैट्रिक्स (गणित)]] का. ज्यामितीय रूप से (विशेष रूप से वास्तविक संख्याओं और उसके उपक्षेत्रों के क्षेत्र में), एक उप-स्थान एन-स्पेस में एक [[समतल (ज्यामिति)]] है जो मूल से होकर गुजरता है।
उप-समष्टियों के विवरण में रैखिक समीकरणों की सजातीय प्रणाली के लिए समुच्चय समाधान, सजातीय रैखिक प्रचलिक समीकरण की प्रणाली द्वारा वर्णित यूक्लिडियन समष्टि का उपसमुच्चय, सदिश के संग्रह की रैखिक अवधि, और शून्य समष्टि, [[स्तंभ स्थान|स्तंभ समष्टि]] और [[पंक्ति स्थान|पंक्ति समष्टि]] सम्मलित हैं। [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] का ज्यामितीय रूप से (विशेष रूप से वास्तविक संख्याओं और उसके उप-क्षेत्रों के क्षेत्र में), एक उप-समष्टि n-समष्टि में एक [[समतल (ज्यामिति)]] है जो मूल से होकर जाता है।


1-उपस्थान का प्राकृतिक वर्णन सभी संभावित अदिश मानों के लिए एक गैर-योज्य पहचान वेक्टर 'v' का अदिश गुणन है। 1-दो वैक्टरों द्वारा निर्दिष्ट उप-स्थान बराबर होते हैं यदि और केवल तभी जब एक वेक्टर को अदिश गुणन के साथ दूसरे से प्राप्त किया जा सके:
1-उपसमष्टि का प्राकृतिक वर्णन सभी संभावित अदिश मानों के लिए अयोज्य पहचान सदिश 'v' का अदिश गुणन है। 1-दो सदिशो द्वारा निर्दिष्ट उप-समष्टि बराबर होते हैं यदि और केवल तभी जब एक वेक्टर को अदिश गुणन के साथ दूसरे से प्राप्त किया जा सके:
:<math>\exist c\in K: \mathbf{v}' = c\mathbf{v}\text{ (or }\mathbf{v} = \frac{1}{c}\mathbf{v}'\text{)}</math>
:<math>\exist c\in K: \mathbf{v}' = c\mathbf{v}\text{ (or }\mathbf{v} = \frac{1}{c}\mathbf{v}'\text{)}</math>
इस विचार को रैखिक विस्तार के साथ उच्च आयामों के लिए सामान्यीकृत किया गया है, लेकिन k वैक्टर के सेट द्वारा निर्दिष्ट k-स्पेस की [[समानता (गणित)]] के मानदंड इतने सरल नहीं हैं।
इस विचार को रैखिक विस्तार के साथ उच्च विमाओं के लिए सामान्यीकृत किया गया है, लेकिन k सदिश के समुच्चय द्वारा निर्दिष्ट k-समष्टि की [[समानता (गणित)]] के मानदंड इतने सरल नहीं हैं।


एक द्वंद्व (गणित) विवरण [[रैखिक कार्यात्मकता]]ओं (आमतौर पर रैखिक समीकरणों के रूप में लागू) के साथ प्रदान किया जाता है। एक गैर-योज्य पहचान रैखिक कार्यात्मक 'एफ' अपने [[कर्नेल (रैखिक बीजगणित)]] कोडिमेंशन 1 के उप-स्थान 'एफ' = 0 को निर्दिष्ट करता है। दो रैखिक कार्यात्मकताओं द्वारा निर्दिष्ट कोडिमेंशन 1 के उप-स्थान बराबर होते हैं, यदि और केवल तभी जब एक कार्यात्मक दूसरे से प्राप्त किया जा सकता है अदिश गुणन के साथ (दोहरे स्थान में):
एक द्वैध (गणित) विवरण [[रैखिक कार्यात्मकता|रैखिक फलनात्मकताओं]] (साधारण तौर पर रैखिक समीकरणों के रूप में क्रियान्वित) के साथ प्रदान किया जाता है। एक अयोज्य पहचान रैखिक फलनात्मक ''''F'''<nowiki/>' अपने [[कर्नेल (रैखिक बीजगणित)]] सह विमा 1 के उप-समष्टि '''F''' = 0 को निर्दिष्ट करता है। दो रैखिक फलात्मकताओं द्वारा निर्दिष्ट सह विमा 1 के उप-समष्टि बराबर होते हैं, यदि और केवल तभी जब एक फलनात्मक अदिश गुणन के साथ (द्वैध समष्टि  में) दूसरे से प्राप्त किया जा सकता हैं:
:<math>\exist c\in K: \mathbf{F}' = c\mathbf{F}\text{ (or }\mathbf{F} = \frac{1}{c}\mathbf{F}'\text{)}</math>
:<math>\exist c\in K: \mathbf{F}' = c\mathbf{F}\text{ (or }\mathbf{F} = \frac{1}{c}\mathbf{F}'\text{)}</math>
इसे समीकरणों की एक प्रणाली के साथ उच्च आयामों के लिए सामान्यीकृत किया गया है। निम्नलिखित दो उपखंड इस बाद के विवरण को विस्तार से प्रस्तुत करेंगे, और #वेक्टरों का विस्तार चार उपखंड आगे रैखिक विस्तार के विचार का वर्णन करेंगे।
इसे समीकरणों की एक प्रणाली के साथ उच्च विमाओं के लिए सामान्यीकृत किया गया है। निम्नलिखित दो उपखंड इस बाद के विवरण को विस्तार से प्रस्तुत करते हैं, और शेष चार उपखंड आगे रैखिक विस्तार के विचार का वर्णन करते हैं।


===रैखिक समीकरणों की प्रणाली===
===रैखिक समीकरणों की प्रणाली===
n चर वाले रैखिक समीकरणों की किसी भी सजातीय प्रणाली के लिए सेट किया गया समाधान निर्देशांक स्थान K में एक उप-स्थान है<sup>n</sup>:
n चर वाले रैखिक समीकरणों की किसी भी सजातीय प्रणाली के लिए समुच्चय समाधान निर्देशांक समष्टि K<sup>n</sup> में उप-समष्टि हैं :
<math display="block">\left\{ \left[\!\! \begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array} \!\!\right]  \in K^n : \begin{alignat}{6}
<math display="block">\left\{ \left[\!\! \begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array} \!\!\right]  \in K^n : \begin{alignat}{6}
a_{11} x_1 &&\; + \;&& a_{12} x_2 &&\; + \cdots + \;&& a_{1n} x_n &&\; = 0&    \\
a_{11} x_1 &&\; + \;&& a_{12} x_2 &&\; + \cdots + \;&& a_{1n} x_n &&\; = 0&    \\
Line 75: Line 69:
a_{m1} x_1 &&\; + \;&& a_{m2} x_2 &&\; + \cdots + \;&& a_{mn} x_n &&\; = 0&
a_{m1} x_1 &&\; + \;&& a_{m2} x_2 &&\; + \cdots + \;&& a_{mn} x_n &&\; = 0&
\end{alignat} \right\}. </math>
\end{alignat} \right\}. </math>
उदाहरण के लिए, सभी वैक्टर का सेट {{math|(''x'', ''y'', ''z'')}} (वास्तविक या [[तर्कसंगत संख्या]]ओं पर) समीकरणों को संतुष्ट करना
उदाहरण के लिए, सभी सदिशों का समुच्चय {{math|(''x'', ''y'', ''z'')}} (वास्तविक या परिमेय संख्याओ पर) समीकरणों को संतुष्ट करना
<math display="block">x + 3y + 2z = 0 \quad\text{and}\quad 2x - 4y + 5z = 0</math>
<math display="block">x + 3y + 2z = 0 \quad\text{and}\quad 2x - 4y + 5z = 0</math>
एक आयामी उपस्थान है. अधिक सामान्यतः, कहने का तात्पर्य यह है कि n स्वतंत्र कार्यों का एक सेट दिया गया है, K में उप-स्थान का आयाम<sup>k</sup>n फ़ंक्शंस के समग्र मैट्रिक्स, A के [[शून्य सेट]] का आयाम होगा।
एक विमीय उप समष्टि है। अधिक सामान्यतः, कहने का तात्पर्य यह है कि n स्वतंत्र फलनों का एक समुच्चय दिया गया है, K<sup>k</sup> में उप-स्थान का विमा n फलन के समग्र आव्यूह, A के [[शून्य सेट|शून्य समुच्चय]] का विमा होता हैं।


===मैट्रिक्स का शून्य स्थान===
===आव्यूह का शून्य समष्टि ===
{{main|Null space}}
{{main|शून्य समष्टि }}
एक परिमित-आयामी स्थान में, रैखिक समीकरणों की एक सजातीय प्रणाली को एकल मैट्रिक्स समीकरण के रूप में लिखा जा सकता है:
 
एक परिमित-विमीय समष्टि में, रैखिक समीकरणों की सजातीय प्रणाली को एकल आव्यूह समीकरण के रूप में लिखा जा सकता है:


:<math>A\mathbf{x} = \mathbf{0}.</math>
:<math>A\mathbf{x} = \mathbf{0}.</math>
इस समीकरण के समाधान के सेट को मैट्रिक्स के शून्य स्थान के रूप में जाना जाता है। उदाहरण के लिए, ऊपर वर्णित उप-स्थान मैट्रिक्स का शून्य स्थान है
इस समीकरण के समाधान के समुच्चय को आव्यूह के शून्य स्थान के रूप में जाना जाता है। उदाहरण के लिए, ऊपर वर्णित उपसमष्टि आव्यूह का शून्य स्थान है


:<math>A = \begin{bmatrix} 1 & 3 & 2 \\ 2 & -4 & 5 \end{bmatrix} .</math>
:<math>A = \begin{bmatrix} 1 & 3 & 2 \\ 2 & -4 & 5 \end{bmatrix} .</math>
K का प्रत्येक उपस्थान<sup>n</sup> को कुछ मैट्रिक्स के शून्य स्थान के रूप में वर्णित किया जा सकता है (देखें)। {{slink||Algorithms}} अधिक जानकारी के लिए नीचे)।
K<sup>n</sup> का प्रत्येक उपसमष्टि को कुछ आव्यूह के शून्य स्थान के रूप में वर्णित किया जा सकता है। ( {{slink||एल्गोरिथ्म}} अधिक सुचना के लिए नीचे देखें)।


===रैखिक पैरामीट्रिक समीकरण===
===रैखिक प्राचलिक समीकरण ===
K का उपसमुच्चय<sup>n</sup>सजातीय रैखिक पैरामीट्रिक समीकरणों की एक प्रणाली द्वारा वर्णित एक उप-स्थान है:
K का उपसमुच्चय<sup>n</sup>सजातीय रैखिक प्राचलिक समीकरण की प्रणाली द्वारा वर्णित उप-उपसमष्टि है:


:<math>\left\{ \left[\!\! \begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array} \!\!\right]  \in K^n : \begin{alignat}{7}
:<math>\left\{ \left[\!\! \begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array} \!\!\right]  \in K^n : \begin{alignat}{7}
Line 98: Line 93:
x_n &&\; = \;&& a_{n1} t_1 &&\; + \;&& a_{n2} t_2 &&\; + \cdots + \;&& a_{nm} t_m &    \\
x_n &&\; = \;&& a_{n1} t_1 &&\; + \;&& a_{n2} t_2 &&\; + \cdots + \;&& a_{nm} t_m &    \\
\end{alignat} \text{ for some } t_1,\ldots,t_m\in K \right\}. </math>
\end{alignat} \text{ for some } t_1,\ldots,t_m\in K \right\}. </math>
उदाहरण के लिए, समीकरणों द्वारा पैरामीटरयुक्त सभी वैक्टर (x,y,z) का सेट
उदाहरण के लिए, समीकरणों द्वारा प्राचलयुक्त सभी सदिशों (x,y,z) का समुच्चय


:<math>x = 2t_1 + 3t_2,\;\;\;\;y = 5t_1 - 4t_2,\;\;\;\;\text{and}\;\;\;\;z = -t_1 + 2t_2</math>
:<math>x = 2t_1 + 3t_2,\;\;\;\;y = 5t_1 - 4t_2,\;\;\;\;\text{and}\;\;\;\;z = -t_1 + 2t_2</math>
K का द्वि-आयामी उपस्थान है<sup>3</sup>, यदि K एक संख्या फ़ील्ड है (जैसे वास्तविक या तर्कसंगत संख्याएँ)।<ref name="fields" group="note">Generally, ''K'' can be any field of such [[characteristic (algebra)|characteristic]] that the given integer matrix has the appropriate [[rank (matrix theory)|rank]] in it. All fields include [[integer]]s, but some integers may equal to zero in some fields.</ref>
K<sup>3</sup> का द्वि-विमीय उपसमष्टि है, यदि K एक संख्या क्षेत्र है (जैसे वास्तविक या परिमेय संख्याएँ)।<ref name="fields" group="note">Generally, ''K'' can be any field of such [[characteristic (algebra)|characteristic]] that the given integer matrix has the appropriate [[rank (matrix theory)|rank]] in it. All fields include [[integer]]s, but some integers may equal to zero in some fields.</ref>




===सदिशों का विस्तार===
===सदिशों का विस्तार===
{{main|Linear span}}
{{main|सदिश विस्तार }}
रैखिक बीजगणित में, पैरामीट्रिक समीकरणों की प्रणाली को एकल वेक्टर समीकरण के रूप में लिखा जा सकता है:
 
रैखिक बीजगणित में, प्राचलिक समीकरणों की प्रणाली को एकल सदिश समीकरण के रूप में लिखा जा सकता है:


:<math>\begin{bmatrix} x \\ y \\ z \end{bmatrix} \;=\; t_1 \!\begin{bmatrix} 2 \\ 5 \\ -1 \end{bmatrix} + t_2 \!\begin{bmatrix} 3 \\ -4 \\ 2 \end{bmatrix}.</math>
:<math>\begin{bmatrix} x \\ y \\ z \end{bmatrix} \;=\; t_1 \!\begin{bmatrix} 2 \\ 5 \\ -1 \end{bmatrix} + t_2 \!\begin{bmatrix} 3 \\ -4 \\ 2 \end{bmatrix}.</math>
दाईं ओर की अभिव्यक्ति को सदिशों का रैखिक संयोजन कहा जाता है
दाईं तरफ की अभिव्यक्ति को सदिशों (2, 5, −1) और (3, −4, 2) का रैखिक संयोजन कहा जाता है। बताया जाता है कि ये दोनों सदिशों परिणामी उपसमष्टि '''विस्तारित''' करते हैं।
(2, 5, −1) और (3, −4, 2). कहा जाता है कि ये दोनों वेक्टर परिणामी उप-स्थान को फैलाते हैं।


सामान्य तौर पर, सदिशों का एक रैखिक संयोजन v<sub>1</sub>, में<sub>2</sub>, ... , में<sub>''k''</sub> फॉर्म का कोई वेक्टर है
सामान्य तौर पर, सदिशों का एक '''रैखिक संयोजन''' v<sub>1</sub>, v<sub>2</sub>, ... , v<sub>''k''</sub> रूप का कोई सदिश है।


:<math>t_1 \mathbf{v}_1 + \cdots + t_k \mathbf{v}_k.</math>
:<math>t_1 \mathbf{v}_1 + \cdots + t_k \mathbf{v}_k.</math>
सभी संभावित रैखिक संयोजनों के समुच्चय को स्पैन कहा जाता है:
सभी संभावित रैखिक संयोजनों के समुच्चय का विस्तार कहा जाता है:


:<math>\text{Span} \{ \mathbf{v}_1, \ldots, \mathbf{v}_k \}
:<math>\text{Span} \{ \mathbf{v}_1, \ldots, \mathbf{v}_k \}
= \left\{ t_1 \mathbf{v}_1 + \cdots + t_k \mathbf{v}_k : t_1,\ldots,t_k\in K \right\} .</math>
= \left\{ t_1 \mathbf{v}_1 + \cdots + t_k \mathbf{v}_k : t_1,\ldots,t_k\in K \right\} .</math>
यदि सदिश v<sub>1</sub>, ... , में<sub>''k''</sub> n घटक हैं, तो उनका विस्तार K का एक उपसमष्टि है<sup>n</sup>. ज्यामितीय रूप से, स्पान मूल बिंदु के माध्यम से n-आयामी स्थान में समतल है जो बिंदु 'v' द्वारा निर्धारित होता है<sub>1</sub>, ... , में<sub>''k''</sub>.
यदि सदिश v<sub>1</sub>, ... , v<sub>''k''</sub> n घटक हैं, तो उनका विस्तार K<sup>n</sup> का  उपसमष्टि है। ज्यामितीय रूप से, विस्तार मूल बिंदु के माध्यम से n-विमीय समष्टि में समतल है जो बिंदु 'v'<sub>1</sub>, ... , v<sub>''k''</sub> द्वारा निर्धारित होता है।


; उदाहरण
; उदाहरण
: 'आर' में एक्सजेड-प्लेन<sup>3</sup> को समीकरणों द्वारा मानकीकृत किया जा सकता है
: 'R'<sup>3</sup> में xz-समतल को समीकरणों द्वारा मानकीकृत किया जा सकता है
::<math>x = t_1, \;\;\; y = 0, \;\;\; z = t_2.</math>
::<math>x = t_1, \;\;\; y = 0, \;\;\; z = t_2.</math>
:एक उप-स्थान के रूप में, xz-प्लेन वैक्टर (1,0,0) और (0,0,1) द्वारा फैला हुआ है। xz-तल में प्रत्येक वेक्टर को इन दोनों के रैखिक संयोजन के रूप में लिखा जा सकता है:
:एक उप-समष्टि के रूप में, xz-समतल सदिश (1,0,0) और (0,0,1) द्वारा विस्तारित हुआ है। xz-तल में प्रत्येक सदिश को इन दोनों के रैखिक संयोजन के रूप में लिखा जा सकता है:


::<math>(t_1, 0, t_2) = t_1(1,0,0) + t_2(0,0,1)\text{.}</math>
::<math>(t_1, 0, t_2) = t_1(1,0,0) + t_2(0,0,1)\text{.}</math>
:ज्यामितीय रूप से, यह इस तथ्य से मेल खाता है कि xz-तल पर प्रत्येक बिंदु तक पहले (1,0,0) की दिशा में कुछ दूरी तय करके और फिर (0, की दिशा में कुछ दूरी तय करके) मूल बिंदु से पहुंचा जा सकता है। 0, 1).
:ज्यामितीय रूप से, यह इस तथ्य से मिलता है कि xz-तल पर प्रत्येक बिंदु तक पहले (1,0,0) की दिशा में कुछ दूरी तय करके और फिर (0,0, 1 की दिशा में कुछ दूरी तय करके) मूल बिंदु से पहुंचा जा सकता है।  


===स्तंभ स्थान और पंक्ति स्थान===
===स्तंभ समष्टि और पंक्ति समष्टि ===
{{main|Row and column spaces}}
{{main|पंक्ति तथा स्तम्भ समष्टि }}
परिमित-आयामी स्थान में रैखिक पैरामीट्रिक समीकरणों की एक प्रणाली को एकल मैट्रिक्स समीकरण के रूप में भी लिखा जा सकता है:
 
परिमित-विमीय समष्टि में रैखिक प्राचलिक समीकरणों की प्रणाली को एकल आव्यूह समीकरण के रूप में भी लिखा जा सकता है:


:<math>\mathbf{x} = A\mathbf{t}\;\;\;\;\text{where}\;\;\;\;A = \left[ \begin{alignat}{2} 2 && 3 & \\ 5 && \;\;-4 & \\ -1 && 2 & \end{alignat} \,\right]\text{.}</math>
:<math>\mathbf{x} = A\mathbf{t}\;\;\;\;\text{where}\;\;\;\;A = \left[ \begin{alignat}{2} 2 && 3 & \\ 5 && \;\;-4 & \\ -1 && 2 & \end{alignat} \,\right]\text{.}</math>
इस मामले में, उप-स्थान में वेक्टर x के सभी संभावित मान शामिल हैं। रैखिक बीजगणित में, इस उप-स्थान को मैट्रिक्स '''' के स्तंभ स्थान (या [[छवि (गणित)]]) के रूप में जाना जाता है। यह बिल्कुल ''K'' का उपस्थान है<sup>n</sup>के कॉलम वैक्टर द्वारा फैलाया गया।
इस स्थिति में, उप-समष्टि में सदिश '''x''' के सभी संभावित मान सम्मलित हैं। रैखिक बीजगणित में, इस उप-समष्टि को आव्यूह ''A'' के स्तंभ समष्टि (या [[छवि (गणित)|चित्र (गणित)]]) के रूप में जाना जाता है। यह यथार्थतः ''K''<sup>n</sup> का उपस्थान हैं जो ''A'' के स्तम्भ सदिश द्वारा विस्तारित किया गया हैं।


एक मैट्रिक्स का पंक्ति स्थान उसके पंक्ति वैक्टर द्वारा फैला हुआ उपस्थान है। पंक्ति स्थान दिलचस्प है क्योंकि यह शून्य स्थान का [[ऑर्थोगोनल पूरक]] है (नीचे देखें)।
एक आव्यूह का पंक्ति समष्टि उसके पंक्ति सदिश द्वारा विस्तारित किया गया उपसमष्टि है। पंक्ति समष्टि रोचक है क्योंकि यह शून्य समष्टि का [[ऑर्थोगोनल पूरक|लंबकोणीय पूरक]] है (नीचे देखें)।


===स्वतंत्रता, आधार और आयाम===
===स्वतंत्रता, आधार और विमा ===
{{main|Linear independence|Basis (linear algebra)|Dimension (vector space)}}
{{main|रैखिक स्वतंत्रता|आधार (रैखिक बीजगणित)|आयाम (सदिश स्थान)}}
[[File:Basis for a plane.svg|thumb|280px|right|वेक्टर यू और वी आर के इस द्वि-आयामी उप-स्थान के लिए आधार हैं<sup>3</sup>.]]सामान्य तौर पर, K का एक उप-स्थान<sup>n</sup>k मापदंडों द्वारा निर्धारित (या k वैक्टर द्वारा फैलाया गया) का आयाम k है। हालाँकि, इस नियम के अपवाद भी हैं। उदाहरण के लिए, K का उपस्थान<sup>3</sup> तीन सदिशों (1,0,0), (0,0,1), और (2,0,3) द्वारा फैला हुआ केवल xz-तल है, जिसमें समतल पर प्रत्येक बिंदु का वर्णन अपरिमित रूप से किया गया है के कई अलग-अलग मूल्य {{nowrap| ''t''<sub>1</sub>, ''t''<sub>2</sub>, ''t''<sub>3</sub>}}.
[[File:Basis for a plane.svg|thumb|280px|right|वेक्टर यू और वी आर के इस द्वि-आयामी उप-स्थान के लिए आधार हैं<sup>3</sup>.]]सामान्य तौर पर, K<sup>n</sup> का एक उप-स्थान k मापदंडों द्वारा निर्धारित (या k सदिश द्वारा विस्तारित किया गया) का विमा k है। यद्यपि की, इस नियम के अपवाद भी हैं। उदाहरण के लिए, K<sup>3</sup> का उपस्थान तीन सदिशों (1,0,0), (0,0,1), और (2,0,3) द्वारा विस्तारित हुआ केवल xz-तल है, जिसमें समतल पर प्रत्येक बिंदु के कई अलग-अलग मान {{nowrap| ''t''<sub>1</sub>, ''t''<sub>2</sub>, ''t''<sub>3</sub>}} का वर्णन अपरिमित रूप से किया गया है।


सामान्य तौर पर, वैक्टर वी<sub>1</sub>, ... , में<sub>''k''</sub> यदि रैखिकतः स्वतंत्र कहलाते हैं
सामान्य तौर पर, सदिश '''v'''<sub>1</sub>, ... , '''v'''<sub>''k''</sub> यदि '''रैखिकतः स्वतंत्र''' कहलाते हैं


:<math>t_1 \mathbf{v}_1 + \cdots + t_k \mathbf{v}_k \;\ne\; u_1 \mathbf{v}_1 + \cdots + u_k \mathbf{v}_k</math>
:<math>t_1 \mathbf{v}_1 + \cdots + t_k \mathbf{v}_k \;\ne\; u_1 \mathbf{v}_1 + \cdots + u_k \mathbf{v}_k</math>
के लिए
के लिए
(टी<sub>1</sub>, टी<sub>2</sub>, ... , टी<sub>k</sub>) ≠ (में<sub>1</sub>, में<sub>2</sub>, ... , में<sub>k</sub>).<ref group="note">This definition is often stated differently: vectors '''v'''<sub>1</sub>, ..., '''v'''<sub>''k''</sub> are linearly independent if
(t<sub>1</sub>, t<sub>2</sub>, ... , t<sub>k</sub>) ≠ (v<sub>1</sub>, v<sub>2</sub>, ... , v<sub>k</sub>).<ref group="note">This definition is often stated differently: vectors '''v'''<sub>1</sub>, ..., '''v'''<sub>''k''</sub> are linearly independent if
{{nowrap| ''t''<sub>1</sub>'''v'''<sub>1</sub> + ··· + ''t<sub>k</sub>'''''v'''<sub>''k''</sub> ≠ '''0'''}} for {{nowrap| (''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t<sub>k</sub>'') ≠ (0, 0, ..., 0)}}. The two definitions are equivalent.</ref>
{{nowrap| ''t''<sub>1</sub>'''v'''<sub>1</sub> + ··· + ''t<sub>k</sub>'''''v'''<sub>''k''</sub> ≠ '''0'''}} for {{nowrap| (''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t<sub>k</sub>'') ≠ (0, 0, ..., 0)}}. The two definitions are equivalent.</ref>
अगर {{nowrap| '''v'''<sub>1</sub>, ..., '''v'''<sub>''k''</sub> }} रैखिक रूप से स्वतंत्र हैं, फिर निर्देशांक {{nowrap| ''t''<sub>1</sub>, ..., ''t<sub>k</sub>''}} स्पैन में एक वेक्टर के लिए विशिष्ट रूप से निर्धारित किया जाता है।
अगर {{nowrap| '''v'''<sub>1</sub>, ..., '''v'''<sub>''k''</sub> }} रैखिक रूप से स्वतंत्र हैं, फिर '''निर्देशांक'''{{nowrap| ''t''<sub>1</sub>, ..., ''t<sub>k</sub>''}} विस्तार में एक सदिश के लिए विशिष्ट रूप से निर्धारित किया जाता है।


उप-स्थान ''एस'' का आधार रैखिक रूप से स्वतंत्र वैक्टर का एक सेट है जिसका विस्तार ''एस'' है। किसी आधार में तत्वों की संख्या हमेशा उप-स्थान के ज्यामितीय आयाम के बराबर होती है। किसी उप-स्थान के लिए किसी भी स्पैनिंग सेट को अनावश्यक वैक्टर को हटाकर आधार में बदला जा सकता है (अधिक जानकारी के लिए नीचे #Algorithms|§ एल्गोरिदम देखें)।
उप-समष्टि ''S'' का आधार रैखिक रूप से स्वतंत्र सदिश का समुच्चय है जिसका विस्तार ''S'' है। किसी आधार में अवयवों की संख्या हमेशा उप-समष्टि के ज्यामितीय विमा के बराबर होती है। किसी उप-समष्टि के लिए किसी भी विस्तारित समुच्चय को अनावश्यक सदिश को हटाकर आधार में बदला जा सकता है (अधिक जानकारी के लिए नीचे एल्गोरिदम देखें)।


; उदाहरण
; उदाहरण
: मान लीजिए ''S'' R का उपसमष्टि है<sup>4</sup>समीकरणों द्वारा परिभाषित
: मान लीजिए ''S,'' '''R<sup>4</sup>''' का उपसमष्टि है समीकरणों द्वारा परिभाषित
::<math>x_1 = 2 x_2\;\;\;\;\text{and}\;\;\;\;x_3 = 5x_4.</math>
::<math>x_1 = 2 x_2\;\;\;\;\text{and}\;\;\;\;x_3 = 5x_4.</math>
:फिर वेक्टर (2,1,0,0) और (0,0,5,1) एस के लिए आधार हैं। विशेष रूप से, उपरोक्त समीकरणों को संतुष्ट करने वाले प्रत्येक वेक्टर को दोनों के रैखिक संयोजन के रूप में विशिष्ट रूप से लिखा जा सकता है आधार वैक्टर:
:फिर समष्टि (2,1,0,0) और (0,0,5,1) ''S'' के लिए आधार हैं। विशेष रूप से, उपरोक्त समीकरणों को संतुष्ट करने वाले प्रत्येक सदिश को दोनों आधार सदिश के रैखिक संयोजन के रूप में विशिष्ट रूप से लिखा जा सकता है:


::<math>(2t_1, t_1, 5t_2, t_2) = t_1(2, 1, 0, 0) + t_2(0, 0, 5, 1).</math>
::<math>(2t_1, t_1, 5t_2, t_2) = t_1(2, 1, 0, 0) + t_2(0, 0, 5, 1).</math>
:उपस्थान S द्वि-आयामी है। ज्यामितीय रूप से, यह 'R' में समतल है<sup>4</sup> बिंदुओं (0,0,0,0), (2,1,0,0), और (0,0,5,1) से गुजरते हुए।
:समष्टि S द्वि-आयामी है। ज्यामितीय रूप से, यह ''''R'<sup>4</sup>''' में समतल है बिंदुओं (0,0,0,0), (2,1,0,0), और (0,0,5,1) से जाता हैं।


==उपस्थानों पर संचालन और संबंध==
==समष्टियों पर संचालन और संबंध==


=== समावेशन ===
=== समावेशन ===
<!-- some illustration, please -->
समुच्चय [[समावेशन संबंध]] बाइनरी संबंध सभी उप-समष्टियों (किसी भी विमा के) के समुच्चय पर एक आंशिक क्रम निर्दिष्ट करता है।
[[समावेशन संबंध]]|सेट-सैद्धांतिक समावेशन बाइनरी संबंध सभी उप-स्थानों (किसी भी आयाम के) के सेट पर एक आंशिक क्रम निर्दिष्ट करता है।
 
एक उप-स्थान कम आयाम के किसी भी उप-स्थान में स्थित नहीं हो सकता। यदि dim U = k, एक परिमित संख्या है, और U ⊂ W, तो dim W = k यदि और केवल यदि U = W है।
 
===इंटरसेक्शन===
[[File:Intersecting Planes 2.svg|thumb|right|आर में<sup>3</sup>, दो अलग-अलग द्वि-आयामी उप-स्थानों का प्रतिच्छेदन एक-आयामी है]]सदिश समष्टि V के उप-स्थान U और W दिए गए हैं, तो उनका [[प्रतिच्छेदन (सेट सिद्धांत)]] U ∩ W := {'v' ∈ V : 'v' U और W दोनों का एक तत्व है} भी V का एक उपस्थान है।<ref>{{harvtxt|Nering|1970|p=21}}</ref>
सबूत:
# मान लें कि 'v' और 'w' U ∩ W के तत्व हैं। फिर 'v' और 'w' U और W दोनों से संबंधित हैं। क्योंकि U एक उपसमष्टि है, तो 'v' + 'w' U से संबंधित है। इसी प्रकार , चूँकि W एक उपसमष्टि है, तो 'v' + 'w' W से संबंधित है। इस प्रकार, 'v' + 'w' U ∩W से संबंधित है।
# मान लीजिए 'v' U ∩ W से संबंधित है, और मान लीजिए कि c एक अदिश राशि है। फिर 'v' U और W दोनों से संबंधित है। चूँकि U और W उप-स्थान हैं, c'v' U और W दोनों से संबंधित है।
# चूँकि U और W सदिश समष्टि हैं, तो '0' दोनों समुच्चयों से संबंधित है। इस प्रकार, '0' U ∩ W से संबंधित है।


प्रत्येक सदिश समष्टि V के लिए, शून्य सदिश समष्टि|सेट {'0'} और V स्वयं V की उपसमष्टि हैं।<ref>{{harvtxt|Hefferon|2020}} p. 100, ch. 2, Definition 2.13</ref><ref>{{harvtxt|Nering|1970|p=20}}</ref>
उप-समष्टि कम विमा के किसी भी उप-समष्टि में स्थित नहीं हो सकता। यदि dim U = k, परिमित संख्या है, और U ⊂ W, तो dim W = k यदि U = W है।


===प्रतिच्छेद===
[[File:Intersecting Planes 2.svg|thumb|right|R<sup>3</sup> में, दो अलग-अलग द्वि-विमीय उप समष्टि का प्रतिच्छेदन एक-विमीय है]]सदिश समष्टि V के उप-समष्टि U और W दिए गए हैं, तो उनका [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन (समुच्चय सिद्धांत)]] U ∩ W := {'v' ∈ V : 'v' U और W दोनों का अवयव है} भी V का एक उपसमष्टि है।<ref>{{harvtxt|Nering|1970|p=21}}</ref>
सिद्ध:
# माना कि '''<nowiki/>'v'<nowiki/>''' और '<nowiki/>'''w'''<nowiki/>' U ∩ W के अवयव हैं। फिर '''<nowiki/>'v'<nowiki/>''' और '''<nowiki/>'w'''' U और W दोनों से संबंधित हैं। क्योंकि U उपसमष्टि है, तो '''<nowiki/>'v' + 'w'''<nowiki/>' U से संबंधित है। इसी प्रकार , चूँकि W एक उपसमष्टि है, तो '''<nowiki/>'v' + 'w'''' W से संबंधित है। इस प्रकार, 'v' + 'w' U ∩W से संबंधित है।
# माना कि 'v' U ∩ W से संबंधित है, और माना कि c एक अदिश राशि है। फिर 'v' U और W दोनों से संबंधित है। चूँकि U और W उप-समष्टि हैं, c'v' U और W दोनों से संबंधित है।
# क्योकि U और W सदिश समष्टि हैं, तो ''''0'''<nowiki/>' दोनों समुच्चयों से संबंधित है। इस प्रकार, ''''0'''<nowiki/>' U ∩ W से संबंधित है।


प्रत्येक सदिश समष्टि V के लिए, शून्य सदिश समष्टि| समुच्चय {'0'} और ''V'' स्वयं ''V'' की उपसमष्टि हैं।<ref>{{harvtxt|Hefferon|2020}} p. 100, ch. 2, Definition 2.13</ref><ref>{{harvtxt|Nering|1970|p=20}}</ref>
===योग===
===योग===
यदि U और W उपसमष्टि हैं, तो उनका 'योग' उपसमष्टि है<ref>{{harvtxt|Nering|1970|p=21}}</ref><ref name=":1">Vector space related operators.</ref>
यदि U और W उपसमष्टि हैं, तो उनका 'योग' उपसमष्टि है<ref>{{harvtxt|Nering|1970|p=21}}</ref><ref name=":1">Vector space related operators.</ref>
<math display="block">U + W = \left\{ \mathbf{u} + \mathbf{w} \colon \mathbf{u}\in U, \mathbf{w}\in W \right\}.</math>
<math display="block">U + W = \left\{ \mathbf{u} + \mathbf{w} \colon \mathbf{u}\in U, \mathbf{w}\in W \right\}.</math>
उदाहरण के लिए, दो रेखाओं का योग वह तल है जिसमें वे दोनों समाहित हैं। योग का आयाम असमानता को संतुष्ट करता है
उदाहरण के लिए, दो रेखाओं का योग वह तल है जिसमें वे दोनों समाहित हैं। योग का विमा असमानता को संतुष्ट करता है
<math display="block">\max(\dim U,\dim W) \leq \dim(U + W) \leq \dim(U) + \dim(W).</math>
<math display="block">\max(\dim U,\dim W) \leq \dim(U + W) \leq \dim(U) + \dim(W).</math>
यहां, न्यूनतम केवल तब होता है जब एक उपस्थान दूसरे में समाहित होता है, जबकि अधिकतम सबसे सामान्य मामला होता है। प्रतिच्छेदन का आयाम और योग निम्नलिखित समीकरण से संबंधित हैं:<ref>{{harvtxt|Nering|1970|p=22}}</ref>
यहां, न्यूनतम केवल तब होता है जब एक उपसमष्टि दूसरे में समाहित होता है, जबकि अधिकतम सबसे सामान्य स्थिति में होता है। प्रतिच्छेदन का विमा और योग निम्नलिखित समीकरण से संबंधित हैं:<ref>{{harvtxt|Nering|1970|p=22}}</ref>
<math display="block">\dim(U+W) = \dim(U) + \dim(W) - \dim(U \cap W).</math>
<math display="block">\dim(U+W) = \dim(U) + \dim(W) - \dim(U \cap W).</math>
उप-स्थानों का एक सेट स्वतंत्र होता है जब उप-स्थानों के किसी भी जोड़े के बीच एकमात्र प्रतिच्छेदन तुच्छ उप-स्थान होता है। [[मॉड्यूल का प्रत्यक्ष योग]] स्वतंत्र उप-स्थानों का योग है, जिसे इस प्रकार लिखा जाता है <math>U \oplus W</math>. एक समतुल्य पुनर्कथन यह है कि प्रत्यक्ष योग एक उप-समष्टि योग है, इस शर्त के तहत कि प्रत्येक उप-स्थान योग की अवधि में योगदान देता है।<ref>{{harvtxt|Hefferon|2020}} p. 148, ch. 2, §4.10</ref><ref>{{harvtxt|Axler|2015}} p. 21 § 1.40</ref><ref>{{harvtxt|Katznelson|Katznelson|2008}} pp. 10-11, § 1.2.5</ref><ref>{{harvtxt|Halmos|1974}} pp. 28-29, § 18</ref>
उप-समष्टियों का समुच्चय स्वतंत्र होता है जब उप-समष्टियों के किसी भी जोड़े के बीच एकमात्र प्रतिच्छेदन विषम उप समष्टि होता है। [[मॉड्यूल का प्रत्यक्ष योग|प्रत्यक्ष योग]] स्वतंत्र उप-समष्टियों का योग है, जिसे <math>U \oplus W</math> प्रकार से लिखा जाता है।  एक समतुल्य पुनर्कथन यह है कि प्रत्यक्ष योग, उप-समष्टि योग है, इस स्थिति के अंतर्गत कि प्रत्येक उप-समष्टि योग की अवधि में योगदान देता है।<ref>{{harvtxt|Hefferon|2020}} p. 148, ch. 2, §4.10</ref><ref>{{harvtxt|Axler|2015}} p. 21 § 1.40</ref><ref>{{harvtxt|Katznelson|Katznelson|2008}} pp. 10-11, § 1.2.5</ref><ref>{{harvtxt|Halmos|1974}} pp. 28-29, § 18</ref>
प्रत्यक्ष योग का आयाम <math>U \oplus W</math> उप-स्थानों के योग के समान है, लेकिन इसे छोटा किया जा सकता है क्योंकि तुच्छ उप-स्थान का आयाम शून्य है।<ref>{{harvtxt|Halmos|1974}} pp. 30-31, § 19</ref>
प्रत्यक्ष योग का विमा <math>U \oplus W</math> उप-समष्टियों के योग के समान है, लेकिन इसे छोटा किया जा सकता है क्योंकि विषम उप समष्टि की विमा शून्य है।<ref>{{harvtxt|Halmos|1974}} pp. 30-31, § 19</ref>


<math display="block">\dim (U \oplus W) = \dim (U) + \dim (W)</math>
<math display="block">\dim (U \oplus W) = \dim (U) + \dim (W)</math>
=== उपसमष्टियों का नियम    ===
कार्य विधि प्रतिच्छेद तथा योग सभी उप-समष्टियों के समुच्चय को सीमित [[मॉड्यूलर जाली|प्रतिरूपक नियम]] बनाते हैं, जहां {0} उप-समष्टि, [[सबसे छोटा तत्व|सबसे छोटा अवयव]], योग कार्य का [[पहचान तत्व|समरूप अवयव]] है, और समान उप-समष्टि V, सबसे बड़ा अवयव है, प्रतिच्छेदन कार्य विधि का समरूप अवयव है।


=== लाम्बिक पूरक ===


=== उपस्थानों की जाली ===
यदि <math>V</math> [[आंतरिक उत्पाद स्थान|आंतरिक गुणन समष्टि]] है और <math>N</math> का <math>V</math> उपसमुच्चय है, फिर <math>N</math> का लाम्बिक पूरक, निरूपित <math>N^{\perp}</math>, फिर से समष्टि है।<ref>{{harvtxt|Axler|2015}} p. 193, § 6.46</ref> यदि <math>V</math> परिमित-विमीय है और <math>N</math> उपसमष्टि है, फिर के विमा <math>N</math> और <math>N^{\perp}</math> पूरक संबंध <math>\dim (N) + \dim (N^{\perp}) = \dim (V) </math> को संतुष्ट करता हैं। <ref>{{harvtxt|Axler|2015}} p. 195, § 6.50</ref> इसके अतिरिक्त, कोई भी सदिश स्वयं में लाम्बिक नहीं है इसलिए <math> N \cap N^\perp = \{ 0 \}</math> और <math>V</math> <math>N</math> और <math>N^{\perp}</math>का सीधा योग है।<ref>{{harvtxt|Axler|2015}} p. 194, § 6.47</ref> लाम्बिक  पूरकों को दो बार क्रियान्वित करने से मूल उपसमष्टि वापस आ जाता है: <math>(N^{\perp})^{\perp} = N</math> प्रत्येक उपसमष्टि <math>N</math> के लिए।<ref>{{harvtxt|Axler|2015}} p. 195, § 6.51</ref>
ऑपरेशन #Intersection और #Sum सभी उप-स्थानों के सेट को एक सीमित [[मॉड्यूलर जाली]] बनाते हैं, जहां शून्य वेक्टर स्थान|{0} उप-स्थान, [[सबसे छोटा तत्व]], योग ऑपरेशन का एक [[पहचान तत्व]] है, और समान उप-स्थान V, सबसे बड़ा है तत्व, प्रतिच्छेदन ऑपरेशन का एक पहचान तत्व है।
इस क्रियाविधि को निषेध के रूप में समझा जाता है (<math>\neg</math>), उप-समष्टियों की नियम को एक (संभवतः [[अनंत सेट]]) ऑर्थोपूरक नियम बनाता है (यद्यपि की वितरणात्मक नियम नहीं बना पाता है।)।


=== ऑर्थोगोनल पूरक ===
अन्य [[द्विरेखीय रूप]] वाले समष्टि में, इनमें से कुछ नहीं अपितु सभी परिणाम अभी भी मान्य हैं। उदाहरण के लिए, छद्म-यूक्लिडियन रिक्त समष्टि और [[सिम्प्लेक्टिक वेक्टर स्पेस|सिम्प्लेक्टिक सदिश समष्टि]] में, ऑर्थोगोनल पूरक उपस्थित हैं। यद्यापि की, इन समष्टियों में [[शून्य वेक्टर|शून्य सदिश]] हो सकते हैं जो स्वयं के लिए लाम्बिक हैं, और परिणामस्वरूप उप-समष्टि <math>N</math> उपस्थित हैं जैसे कि <math>N \cap N^{\perp} \ne \{ 0 \}</math>होता हैं। परिणामस्वरूप, यह क्रियाविधि उप-समष्टियों के नियम को बूलियन बीजगणित (न ही हेटिंग बीजगणित) में नहीं बदलता है।
 
अगर <math>V</math> एक [[आंतरिक उत्पाद स्थान]] है और <math>N</math> का एक उपसमुच्चय है <math>V</math>, फिर का ओर्थोगोनल पूरक <math>N</math>, निरूपित <math>N^{\perp}</math>, फिर से एक उपस्थान है।<ref>{{harvtxt|Axler|2015}} p. 193, § 6.46</ref> अगर <math>V</math> परिमित-आयामी है और <math>N</math> एक उपस्थान है, फिर के आयाम <math>N</math> और <math>N^{\perp}</math> पूरक संबंध को संतुष्ट करें <math>\dim (N) + \dim (N^{\perp}) = \dim (V) </math>.<ref>{{harvtxt|Axler|2015}} p. 195, § 6.50</ref> इसके अलावा, कोई भी वेक्टर अपने आप में ऑर्थोगोनल नहीं है <math> N \cap N^\perp = \{ 0 \}</math> और <math>V</math> का सीधा योग है <math>N</math> और <math>N^{\perp}</math>.<ref>{{harvtxt|Axler|2015}} p. 194, § 6.47</ref> ऑर्थोगोनल पूरकों को दो बार लागू करने से मूल उपस्थान वापस आ जाता है: <math>(N^{\perp})^{\perp} = N</math> प्रत्येक उपस्थान के लिए <math>N</math>.<ref>{{harvtxt|Axler|2015}} p. 195, § 6.51</ref>
इस ऑपरेशन को निषेध के रूप में समझा जाता है (<math>\neg</math>), उप-स्थानों की जाली को एक (संभवतः [[अनंत सेट]]) ऑर्थोपूरक जाली बनाता है (हालांकि वितरणात्मक जाली नहीं)।{{citation needed|date=January 2019}}
 
अन्य [[द्विरेखीय रूप]]ों वाले स्थानों में, इनमें से कुछ नहीं बल्कि सभी परिणाम अभी भी मान्य हैं। उदाहरण के लिए, छद्म-यूक्लिडियन रिक्त स्थान और [[सिम्प्लेक्टिक वेक्टर स्पेस]] स्थान में, ऑर्थोगोनल पूरक मौजूद हैं। हालाँकि, इन स्थानों में [[शून्य वेक्टर]] हो सकते हैं जो स्वयं के लिए ऑर्थोगोनल हैं, और परिणामस्वरूप उप-स्थान मौजूद हैं <math>N</math> ऐसा है कि <math>N \cap N^{\perp} \ne \{ 0 \}</math>. परिणामस्वरूप, यह ऑपरेशन उप-स्थानों की जाली को बूलियन बीजगणित (न ही हेटिंग बीजगणित) में नहीं बदलता है।{{citation needed|date=January 2019}}


==एल्गोरिदम==
==एल्गोरिदम==
उप-स्थानों से निपटने के लिए अधिकांश एल्गोरिदम में [[पंक्ति में कमी]] शामिल है। यह एक मैट्रिक्स में प्राथमिक पंक्ति संचालन को लागू करने की प्रक्रिया है, जब तक कि यह या तो पंक्ति सोपानक रूप या कम पंक्ति सोपानक रूप तक नहीं पहुंच जाता। पंक्ति कटौती में निम्नलिखित महत्वपूर्ण गुण हैं:
उप-समष्टियों से कार्यान्वित होने के लिए अधिकांश एल्गोरिदम में [[पंक्ति में कमी]] सम्मलित है। यह आव्यूह में प्राथमिक पंक्ति संचालन को क्रियान्वित करने की प्रक्रिया है, जब तक कि यह या तो पंक्ति स्तर रूप या निम्न  पंक्ति स्तर रूप तक नहीं पहुंच पाता हैं। पंक्ति कमी में निम्नलिखित महत्वपूर्ण गुण हैं:
# कम किए गए मैट्रिक्स में मूल के समान ही शून्य स्थान है।
# कम किए गए आव्यूह में मूल के समान ही शून्य समष्टि है।
# पंक्ति कटौती से पंक्ति सदिशों की अवधि नहीं बदलती है, यानी कम किए गए मैट्रिक्स में मूल के समान पंक्ति स्थान होता है।
# पंक्ति कमी से पंक्ति सदिशों की अवधि नहीं बदलती है, अर्थात कम किए गए आव्यूह में मूल के समान पंक्ति समष्टि होता है।
# पंक्ति में कमी कॉलम वैक्टर की रैखिक निर्भरता को प्रभावित नहीं करती है।
# पंक्ति में कमी स्तम्भ सदिश की रैखिक निर्भरता को प्रभावित नहीं करती है।


===पंक्ति स्थान का आधार===
===पंक्ति स्थान का आधार===
:इनपुट एन ''एम'' × ''एन'' मैट्रिक्स ''ए''।
:एक m×n आव्यूह ''A को '''इनपुट''' करते हैं'' ।
: '''' के पंक्ति स्थान के लिए आउटपुट ए आधार।
: ''A'' के पंक्ति समष्टि के लिए '''आउटपुट''' ''A'' आधार होता हैं।
:# '''' को पंक्ति सोपानक रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करें।
:# ''A'' को पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
:# सोपानक रूप की गैर-शून्य पंक्तियाँ '''' की पंक्ति स्थान के लिए आधार हैं।
:# स्तर रूप की अशून्य पंक्तियाँ ''A'' की पंक्ति समष्टि के लिए आधार हैं।
पंक्ति और स्तंभ स्थानों के लिए पंक्ति स्थान पर आलेख देखें#आधार 2।
पंक्ति और स्तंभ समष्टि के लिए पंक्तिसमष्टि पर आलेख देखें।


यदि हम इसके बजाय मैट्रिक्स '''' को कम पंक्ति सोपानक रूप में रखते हैं, तो पंक्ति स्थान के लिए परिणामी आधार विशिष्ट रूप से निर्धारित होता है। यह जाँचने के लिए एक एल्गोरिदम प्रदान करता है कि क्या दो पंक्ति स्थान समान हैं और, विस्तार से, क्या ''K'' के दो उप-स्थान समान हैं<sup>n</sup>बराबर हैं.
यदि हम इसके अतिरिक्त आव्यूह ''A'' को कम पंक्ति स्तर रूप में रखते हैं, तो पंक्ति समष्टि के लिए परिणामी आधार विशिष्ट रूप से निर्धारित होता है। यह जाँचने के लिए एक एल्गोरिदम प्रदान करता है कि क्या दो पंक्ति समष्टि समान हैं और, विस्तार से, क्या ''K''<sup>n</sup> के दो उप-समष्टि समान हैं।


===उपस्थान सदस्यता===
===उपसमष्टि सदस्यता===
:इनपुट आधार {बी<sub>1</sub>, बी<sub>2</sub>, ..., बी<sub>''k''</sub>} K के उप-स्थान S के लिए<sup>n</sup>, और n घटकों के साथ एक वेक्टर 'v'
:इनपुट A आधार {b<sub>1</sub>, b<sub>2</sub>, ..., b<sub>''k''</sub>} K<sup>n</sup> के उप-समष्टि S के लिए, और n घटकों के साथ सदिश 'v' होता हैं।
:'आउटपुट' यह निर्धारित करता है कि 'v' S का एक तत्व है या नहीं
:'आउटपुट' यह निर्धारित करता है कि 'v' S का अवयव है या नहीं हैं।
:# एक (k+1)×n मैट्रिक्स A बनाएं जिसकी पंक्तियाँ वेक्टर 'b' हों<sub>1</sub>, ... , बी<sub>''k''</sub> और वी.
:# एक (k+1)×n आव्यूह A बनाएं जिसकी पंक्तियाँ सदिश 'b'<sub>1</sub>, ... , b<sub>''k''</sub> और v होंती है।  
:# '''' को पंक्ति सोपानक रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करें।
:# ''A'' को पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
:# यदि सोपानक रूप में शून्यों की एक पंक्ति है, तो सदिश {{nowrap| {'''b'''<sub>1</sub>, ..., '''b'''<sub>''k''</sub>, '''v'''} }} रैखिक रूप से निर्भर हैं, और इसलिए {{nowrap| '''v''' ∈ ''S''}}.
:# यदि स्तर रूप में शून्यों की पंक्ति है, तो सदिश {{nowrap| {'''b'''<sub>1</sub>, ..., '''b'''<sub>''k''</sub>, '''v'''} }}और{{nowrap| '''v''' ∈ ''S''}} रैखिक रूप से निर्भर हैं।


===स्तंभ स्थान का आधार===
===स्तंभ स्थान का आधार===
:इनपुट एन ''एम'' × ''एन'' मैट्रिक्स ''''
:एक ''m × n'' आव्यूह ''A '''इनपुट''' होता हैं।''
:''' के कॉलम स्पेस के लिए आउटपुट ए आधार
:'A'' के स्तम्भ समष्टि  के लिए '''आउटपुट''' Aआधार होता हैं।''
:# '''' को पंक्ति सोपानक रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करें।
:# ''A'' को पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग किया जाता हैं।
:# निर्धारित करें कि सोपानक प्रपत्र के किन स्तंभों में पंक्ति सोपानक रूप है। मूल मैट्रिक्स के संबंधित कॉलम कॉलम स्थान के लिए आधार हैं।
:# निर्धारित करें कि स्तर प्रपत्र के किन स्तंभों में पंक्ति स्तर रूप है। मूल आव्यूह के संबंधित स्तम्भ, स्तम्भ समष्टि के लिए आधार हैं।
कॉलम स्पेस#आधार के लिए कॉलम स्पेस पर लेख देखें।
स्तम्भ समष्टि आधार के लिए स्तम्भ समष्टि पर लेख देखें।


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


===एक वेक्टर के लिए निर्देशांक===
===एक सदिश के लिए निर्देशांक===
:इनपुट ए आधार {बी<sub>1</sub>, बी<sub>2</sub>, ..., बी<sub>''k''</sub>} K के उप-स्थान S के लिए<sup>n</sup>, और एक वेक्टर {{nowrap| '''v''' ∈ ''S''}}
:एक आधार {b<sub>1</sub>, b<sub>2</sub>, ..., b<sub>''k''</sub>} K<sup>n</sup> के उप-समष्टि S के लिए, और एक सदिश{{nowrap| '''v''' ∈ ''S''}} '''इनपुट''' होता हैं।
:आउटपुट नंबर ''t''<sub>1</sub>, टी<sub>2</sub>, ..., टी<sub>''k''</sub> ऐसा है कि {{nowrap|1= '''v''' = ''t''<sub>1</sub>'''b'''<sub>1</sub> + ··· + ''t''<sub>''k''</sub>'''b'''<sub>''k''</sub>}}
:संख्या ''t''<sub>1</sub>, t<sub>2</sub>, ..., t<sub>''k''</sub> ऐसा है कि {{nowrap|1= '''v''' = ''t''<sub>1</sub>'''b'''<sub>1</sub> + ··· + ''t''<sub>''k''</sub>'''b'''<sub>''k''</sub>}} '''आउटपुट''' किया जाता हैं।
:# एक [[संवर्धित मैट्रिक्स]] बनाएं जिसके कॉलम 'बी' हैं<sub>1</sub>,...,बी<sub>''k''</sub> , अंतिम कॉलम v है।
:# एक [[संवर्धित मैट्रिक्स|संवर्धित आव्यूह]] A बनाएं जिसके स्तम्भ '''b'''<sub>1</sub>,...,'''b'''<small>k</small> , अंतिम स्तम्भ '''v''' है।
:# '''' को कम पंक्ति सोपानक रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करें।
:# ''A'' को कम पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
:# घटे हुए सोपानक रूप के अंतिम स्तंभ को पहले ''k'' स्तंभों के रैखिक संयोजन के रूप में व्यक्त करें। प्रयुक्त गुणांक वांछित संख्याएँ हैं {{nowrap| ''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t''<sub>''k''</sub>}}. (ये कम किए गए इकोलोन फॉर्म के अंतिम कॉलम में बिल्कुल पहली k प्रविष्टियाँ होनी चाहिए।)
:# घटे हुए स्तर रूप के अंतिम स्तंभ को पहले ''k'' स्तंभों के रैखिक संयोजन के रूप में व्यक्त करते हैं। प्रयुक्त गुणांक {{nowrap| ''t''<sub>1</sub>, ''t''<sub>2</sub>, ..., ''t''<sub>''k''</sub>}} वांछित संख्याएँ हैं (ये कम किए गए इकोलोन फॉर्म के अंतिम कॉलम में बिल्कुल पहली k प्रविष्टियाँ होनी चाहिए।)
यदि कम पंक्ति सोपानक प्रपत्र के अंतिम कॉलम में एक धुरी है, तो इनपुट वेक्टर 'v' S में नहीं है।
यदि कम पंक्ति स्तर प्रपत्र के अंतिम स्तम्भ में एक धुरी है, तो इनपुट वेक्टर ''''v'''<nowiki/>' S में नहीं है।


===शून्य स्थान का आधार===
===शून्य समष्टि का आधार===
:इनपुट एन ''एम'' × ''एन'' मैट्रिक्स ''''
:एक ''m'' × ''n'' आव्यूह ''A'' '''इनपुट''' करते हैं।
:आउटपुट '''' के शून्य स्थान के लिए एक आधार
:''A'' के शून्य समष्टि के लिए एक आधार '''आउटपुट''' होता हैं।
:# '''' को छोटी पंक्ति के सोपानक रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करें।
:# ''A'' को छोटी पंक्ति के स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
:# कम पंक्ति सोपानक प्रपत्र का उपयोग करके, निर्धारित करें कि कौन सा चर है {{nowrap| ''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>''}} मुक्त हैं। आश्रित चर के लिए मुक्त चर के संदर्भ में समीकरण लिखें।
:# कम पंक्ति स्तर प्रपत्र का उपयोग करके, निर्धारित करें कि {{nowrap| ''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>''}} कौन सा चर मुक्त हैं। आश्रित चर के लिए मुक्त चर के संदर्भ में समीकरण लिखा जाता हैं ।
:# प्रत्येक निःशुल्क चर x के लिए<sub>i</sub>, जिसके लिए शून्य स्थान में एक वेक्टर चुनें {{nowrap|1= ''x<sub>i</sub>'' = 1}} और शेष मुक्त चर शून्य हैं। सदिशों का परिणामी संग्रह A के शून्य स्थान का आधार है।
:# प्रत्येक स्वतंत्र चर x<sub>i</sub> के लिए, जिसके लिए शून्य समष्टि में एक सदिश चुना जाता हैं {{nowrap|1= ''x<sub>i</sub>'' = 1}} और शेष मुक्त चर शून्य हैं। सदिशों का परिणामी संग्रह A के शून्य स्थान का आधार है।
कर्नेल (मैट्रिक्स)#आधार के लिए शून्य स्थान पर लेख देखें।
कर्नेल (आव्यूह)#आधार के लिए शून्य स्थान पर लेख देखें।


===दो उपस्थानों के योग और प्रतिच्छेदन का आधार===
===दो उपसमष्टियों के योग और प्रतिच्छेदन का आधार===
दो उपस्थान दिए गए हैं {{mvar|U}} और {{mvar|W}} का {{mvar|V}}, योग का एक आधार <math>U + W</math> और चौराहा <math>U \cap W</math> [[ज़ैसेनहौस एल्गोरिथ्म]] का उपयोग करके गणना की जा सकती है।
दो उपसमष्टि {{mvar|U}} और {{mvar|W}} का {{mvar|V}} दिए गए हैं, योग का एक आधार <math>U + W</math> और प्रतिच्छेद <math>U \cap W</math> [[ज़ैसेनहौस एल्गोरिथ्म]] का उपयोग करके गणना की जा सकती है।


===उपसमष्टि के लिए समीकरण===
===उपसमष्टि के लिए समीकरण===
:इनपुट ए आधार {बी<sub>1</sub>, बी<sub>2</sub>, ..., बी<sub>''k''</sub>} K के उप-स्थान S के लिए<sup>n</sup>
:एक आधार {बी<sub>1</sub>, बी<sub>2</sub>, ..., बी<sub>''k''</sub>} K के उप-समष्टि S<sup>n</sup> के लिए '''इनपुट''' किया जाता हैं।
:'आउटपुट' एक (n − k) × n मैट्रिक्स जिसका शून्य स्थान S है।
:एक (n − k) × n आव्यूह जिसका शून्य स्थान S ''''आउटपुट'''<nowiki/>' किया जाता है।
:# एक मैट्रिक्स ए बनाएं जिसकी पंक्तियाँ हैं {{nowrap| '''b'''<sub>1</sub>, '''b'''<sub>2</sub>, ..., '''b'''<sub>''k''</sub>}}.
:# एक आव्यूह A बनाएं जिसकी पंक्तियाँ हैं {{nowrap| '''b'''<sub>1</sub>, '''b'''<sub>2</sub>, ..., '''b'''<sub>''k''</sub>}} होती हैं।
:# को कम पंक्ति सोपानक रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करें।
:# A को कम पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
:# होने देना {{nowrap| '''c'''<sub>1</sub>, '''c'''<sub>2</sub>, ..., '''c'''<sub>''n''</sub> }} कम पंक्ति सोपानक प्रपत्र के स्तंभ बनें। धुरी के बिना प्रत्येक स्तंभ के लिए, स्तंभ को धुरी वाले स्तंभों के रैखिक संयोजन के रूप में व्यक्त करते हुए एक समीकरण लिखें।
:# माना{{nowrap| '''c'''<sub>1</sub>, '''c'''<sub>2</sub>, ..., '''c'''<sub>''n''</sub> }} कम पंक्ति स्तर प्रपत्र के स्तंभ बनते हैं। धुरी के बिना प्रत्येक स्तंभ के लिए, स्तंभ को धुरी वाले स्तंभों के रैखिक संयोजन के रूप में व्यक्त करते हुए समीकरण लिखते हैं।
:# इसका परिणाम n - k रैखिक समीकरणों की एक सजातीय प्रणाली में होता है जिसमें चर 'c' शामिल होते हैं<sub>1</sub>,...,सी<sub>''n''</sub>. {{nowrap| (''n'' − ''k'') × ''n''}}} इस प्रणाली के अनुरूप मैट्रिक्स नलस्पेस एस के साथ वांछित मैट्रिक्स है।
:# इसका परिणाम n - k रैखिक समीकरणों की सजातीय प्रणाली में होता है जिसमें चर 'c' सम्मलित होते '''c'''<sub>1</sub>,...,'''c'''<sub>''n''</sub> होता हैं।{{nowrap| (''n'' − ''k'') × ''n''}}} इस प्रणाली के अनुरूप आव्यूह शून्य समष्टि S के साथ वांछित आव्यूह है।
; उदाहरण
; उदाहरण
:यदि A का लघु पंक्ति सोपानक रूप है
:यदि A का लघु पंक्ति स्तर रूप है


::<math>\left[ \begin{alignat}{6}
::<math>\left[ \begin{alignat}{6}
Line 266: Line 257:
0 && 0 &&  0 && 1 &&  7 && -9 \\
0 && 0 &&  0 && 1 &&  7 && -9 \\
0 && \;\;\;\;\;0 &&  \;\;\;\;\;0 && \;\;\;\;\;0 &&  \;\;\;\;\;0 && \;\;\;\;\;0 \end{alignat} \,\right] </math>
0 && \;\;\;\;\;0 &&  \;\;\;\;\;0 && \;\;\;\;\;0 &&  \;\;\;\;\;0 && \;\;\;\;\;0 \end{alignat} \,\right] </math>
:फिर कॉलम वैक्टर {{nowrap| '''c'''<sub>1</sub>, ..., '''c'''<sub>6</sub>}} समीकरणों को संतुष्ट करें
:फिर स्तम्भ सदिश {{nowrap| '''c'''<sub>1</sub>, ..., '''c'''<sub>6</sub>}} समीकरणों को संतुष्ट करते हैं।


::<math> \begin{alignat}{1}
::<math> \begin{alignat}{1}
Line 273: Line 264:
\mathbf{c}_6 &= 4\mathbf{c}_2 - 9\mathbf{c}_4
\mathbf{c}_6 &= 4\mathbf{c}_2 - 9\mathbf{c}_4
\end{alignat}</math>
\end{alignat}</math>
:इससे यह निष्कर्ष निकलता है कि A के पंक्ति सदिश समीकरणों को संतुष्ट करते हैं
:इससे यह निष्कर्ष निकलता है कि A के पंक्ति सदिश समीकरणों को संतुष्ट करते हैं।


::<math> \begin{alignat}{1}
::<math> \begin{alignat}{1}
Line 280: Line 271:
x_6 &= 4x_2 - 9x_4.
x_6 &= 4x_2 - 9x_4.
\end{alignat}</math>
\end{alignat}</math>
:विशेष रूप से, के पंक्ति वैक्टर संबंधित मैट्रिक्स के शून्य स्थान के लिए आधार हैं।
:विशेष रूप से, A के पंक्ति सदिश संबंधित आव्यूह के शून्य स्थान के लिए आधार हैं।


==यह भी देखें==
==यह भी देखें==
Line 366: Line 357:


{{Linear algebra}}
{{Linear algebra}}
[[Category: लीनियर अलजेब्रा]] [[Category: प्रमाण युक्त लेख]] [[Category: संचालिका सिद्धांत]] [[Category: कार्यात्मक विश्लेषण]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 30/06/2023]]
[[Category:Created On 30/06/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 metatemplates]]
[[Category:कार्यात्मक विश्लेषण]]
[[Category:प्रमाण युक्त लेख]]
[[Category:लीनियर अलजेब्रा]]
[[Category:संचालिका सिद्धांत]]

Latest revision as of 14:57, 14 July 2023

Projectivisation F5P^1.svgProjectivisation F5P^1.svg
Projectivisation F5P^1.svgProjectivisation F5P^1.svg
परिमित क्षेत्र F5 पर द्विविमीय सदिश समष्टि में एक-विमीय उपसमष्टि। केंद्र (0, 0), हरे रंग के वृतो द्वारा दर्शाया गया हैं, कोई भी छः-1 उपसमष्टियो के अंतर्गत आता हैं, जबकि शेष 24 बिंदु यथार्थतः एक के अंतर्गत आते हैं; एक गुण जो किसी भी क्षेत्र पर तथा सभी विमाओं 1 उपसमष्टि रखता हैं। सभी F52 (i.e. a 5 × 5 वर्ग) अच्छे दृश्यकरण के लिए चार बार प्रदर्शित किया गया हैं।

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

परिभाषा

यदि V क्षेत्र (गणित) K पर सदिश समष्टि है और यदि W, V का उपसमुच्चय है, तो W, V का 'रैखिक उपसमष्टि' है यदि V के संचालन के अनुसार, W, K पर सदिश समष्टि है। समान रूप से, एक रिक्त उपसमुच्चय, V का उपसमष्टि है यदि, जब w1, w2W और के अवयव हैं α, β K के अवयव हैं, तो यह αw1 + βw2 का W में अनुसरण करता है।[2][3][4][5][6]

परिणाम के रूप में, सभी सदिश समष्टि कम से कम दो (संभवतः भिन्न) रैखिक उपसमष्टियो से सुसज्जित होते हैं: शून्य सदिश समष्टि जिसमें अकेले शून्य सदिश और संपूर्ण सदिश समष्टि सम्मलित होता है। इन्हें सदिश समष्टि की विषम उपसमष्टि कहा जाता है।[7]

उदाहरण

उदाहरण I

सदिश समष्टि में V = 'R'3 (वास्तविक संख्याओं के क्षेत्र R पर वास्तविक समन्वय समष्टि), W को V में सभी सदिशों के समुच्चयों के रूप में लें जिसका अंतिम घटक 0 है। तो W, V का उपसमष्टि है।

सिद्ध:

  1. W में u और v दिया गया है तो इन्हें इस प्रकार u = (u1, u2, 0) और v = (v1, v2, 0) से व्यक्त किया जा सकता है। तब u + v = (u1+v1, u2+v2, 0+0) = (u1+v1, u2+v2, 0)। इस प्रकार, u + v, W का भी अवयव है।
  2. आपको W में और R में अदिश c दिया गया है, यदि पुनः u = (u1, u2, 0),तो cu = (cu1, cu2, c0) = (cu1, cu2,0) होता हैं। इस प्रकार, c'u', W का भी एक अवयव है।

उदाहरण II

मान लीजिए कि क्षेत्र पुनः R है, लेकिन अब माना की सदिश समष्टि V कार्तीय तल R2 हैं। W को 'R'2 के बिंदुओं (x, y) का समुच्चय मानें जैसे कि x = yहो। तब W 'R'2 का उपसमष्टि हैं।

उदाहरण II सचित्र

सिद्ध:

  1. माना p = (p1, p2) और q = (q1, q2) W के अवयव हों, अर्थात् समतल में बिंदु p1 = p2 और q1 = q2 हो। तब p + q = (p1+q1, p2+q2); चूंकि p1 = p2 और q1 = q2, फिर p1 + q1 = p2 + q2, इसलिए p + q, W का अवयव है।
  2. मान लीजिए p = (p1, p2) W का अवयव हो, अर्थात, समतल में बिंदु p1 = p2 हो और मान लीजिए कि c 'R' में अदिश राशि है। तब cp = (cp1, cp2); चूंकि p1 = p2, फिर c.p1 = c.p2, इसलिए c'p', W का अवयव है।

सामान्यतया, वास्तविक समन्वय समष्टि 'R' का कोई भी उपसमुच्चयn जिसे सजातीय रैखिक समीकरणों की प्रणाली द्वारा परिभाषित किया गया है, उससे उप-समष्टि प्राप्त होता हैं। (उदाहरण I में समीकरण z = 0 था, और उदाहरण II में समीकरण x = y था।)

उदाहरण III

पुनः क्षेत्र को R मानें, लेकिन अब सदिश समष्टि V को समुच्चय R मानें R से R तक के फलन होते हैं। मान लीजिए C(R) सतत फलन से युक्त उपसमुच्चय है। तब C(R), R की उपसमष्टि हैआर.

सिद्ध:

  1. अवकलन से हमें पता चलता है की 0 ∈ C(R) ⊂ RR होता हैं।
  2. अवकलन से हम जानते हैं कि सतत फलनों का योग सतत होता है।
  3. पुनः, हम अवकलन से जानते हैं कि सतत फलन और एक संख्या का गुणनफल सतत होता है।

उदाहरण IV

क्षेत्र और सदिश समष्टि को पहले जैसा ही रखें, लेकिन अब सभी अवकलनीय फलनो के समुच्चय Diff (R) पर विचार किया जाता हैं। पहले जैसे ही तर्क से पता चलता है कि यह भी उपसमष्टि है।

इन विषयों का विस्तार करने वाले उदाहरण फलनात्मक विश्लेषण में साधारण हैं।

उपसमष्टियों के गुण

सदिश रिक्त समष्टि की परिभाषा से, यह निम्नानुसार है कि उप-समष्टियों अरिक्त हैं, और योग के अंतर्गत और अदिश गुणकों के अंतर्गत बंद (गणित) हैं।[8] समान रूप से, उपसमष्टियो को रैखिक संयोजनों के अंतर्गत बंद होने की गुण द्वारा चित्रित किया जा सकता है। अर्थात्, अरिक्त समुच्चय W उपसमष्टि है यदि और केवल यदि W के परिमित समुच्चय के कई अवयवों का प्रत्येक रैखिक संयोजन भी W से संबंधित होते हैं। समतुल्य परिभाषा बताती है कि यह एक समय में दो अवयवों के रैखिक संयोजनों पर विचार करने के भी समतुल्य है।

संश्थितिक सदिश समष्टि[9] उप समष्ट्यि W के सश्थितिक रूप से सिमित होने की कोई आवस्यकता नहीं होती हैं, परन्तु परिमित विमा उपसम्मुचय सदैव सिमित होता हैं। यही बात परिमित सह विमा के उप-समष्टियों के लिए भी सत्य (अर्थात, निरंतर रैखिक फलनों की एक सीमित संख्या द्वारा निर्धारित उप-समष्टि) होता हैं।

विवरण

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

1-उपसमष्टि का प्राकृतिक वर्णन सभी संभावित अदिश मानों के लिए अयोज्य पहचान सदिश 'v' का अदिश गुणन है। 1-दो सदिशो द्वारा निर्दिष्ट उप-समष्टि बराबर होते हैं यदि और केवल तभी जब एक वेक्टर को अदिश गुणन के साथ दूसरे से प्राप्त किया जा सके:

इस विचार को रैखिक विस्तार के साथ उच्च विमाओं के लिए सामान्यीकृत किया गया है, लेकिन k सदिश के समुच्चय द्वारा निर्दिष्ट k-समष्टि की समानता (गणित) के मानदंड इतने सरल नहीं हैं।

एक द्वैध (गणित) विवरण रैखिक फलनात्मकताओं (साधारण तौर पर रैखिक समीकरणों के रूप में क्रियान्वित) के साथ प्रदान किया जाता है। एक अयोज्य पहचान रैखिक फलनात्मक 'F' अपने कर्नेल (रैखिक बीजगणित) सह विमा 1 के उप-समष्टि F = 0 को निर्दिष्ट करता है। दो रैखिक फलात्मकताओं द्वारा निर्दिष्ट सह विमा 1 के उप-समष्टि बराबर होते हैं, यदि और केवल तभी जब एक फलनात्मक अदिश गुणन के साथ (द्वैध समष्टि में) दूसरे से प्राप्त किया जा सकता हैं:

इसे समीकरणों की एक प्रणाली के साथ उच्च विमाओं के लिए सामान्यीकृत किया गया है। निम्नलिखित दो उपखंड इस बाद के विवरण को विस्तार से प्रस्तुत करते हैं, और शेष चार उपखंड आगे रैखिक विस्तार के विचार का वर्णन करते हैं।

रैखिक समीकरणों की प्रणाली

n चर वाले रैखिक समीकरणों की किसी भी सजातीय प्रणाली के लिए समुच्चय समाधान निर्देशांक समष्टि Kn में उप-समष्टि हैं :

उदाहरण के लिए, सभी सदिशों का समुच्चय (x, y, z) (वास्तविक या परिमेय संख्याओ पर) समीकरणों को संतुष्ट करना
एक विमीय उप समष्टि है। अधिक सामान्यतः, कहने का तात्पर्य यह है कि n स्वतंत्र फलनों का एक समुच्चय दिया गया है, Kk में उप-स्थान का विमा n फलन के समग्र आव्यूह, A के शून्य समुच्चय का विमा होता हैं।

आव्यूह का शून्य समष्टि

एक परिमित-विमीय समष्टि में, रैखिक समीकरणों की सजातीय प्रणाली को एकल आव्यूह समीकरण के रूप में लिखा जा सकता है:

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

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

रैखिक प्राचलिक समीकरण

K का उपसमुच्चयnसजातीय रैखिक प्राचलिक समीकरण की प्रणाली द्वारा वर्णित उप-उपसमष्टि है:

उदाहरण के लिए, समीकरणों द्वारा प्राचलयुक्त सभी सदिशों (x,y,z) का समुच्चय

K3 का द्वि-विमीय उपसमष्टि है, यदि K एक संख्या क्षेत्र है (जैसे वास्तविक या परिमेय संख्याएँ)।[note 2]


सदिशों का विस्तार

रैखिक बीजगणित में, प्राचलिक समीकरणों की प्रणाली को एकल सदिश समीकरण के रूप में लिखा जा सकता है:

दाईं तरफ की अभिव्यक्ति को सदिशों (2, 5, −1) और (3, −4, 2) का रैखिक संयोजन कहा जाता है। बताया जाता है कि ये दोनों सदिशों परिणामी उपसमष्टि विस्तारित करते हैं।

सामान्य तौर पर, सदिशों का एक रैखिक संयोजन v1, v2, ... , vk रूप का कोई सदिश है।

सभी संभावित रैखिक संयोजनों के समुच्चय का विस्तार कहा जाता है:

यदि सदिश v1, ... , vk n घटक हैं, तो उनका विस्तार Kn का उपसमष्टि है। ज्यामितीय रूप से, विस्तार मूल बिंदु के माध्यम से n-विमीय समष्टि में समतल है जो बिंदु 'v'1, ... , vk द्वारा निर्धारित होता है।

उदाहरण
'R'3 में xz-समतल को समीकरणों द्वारा मानकीकृत किया जा सकता है
एक उप-समष्टि के रूप में, xz-समतल सदिश (1,0,0) और (0,0,1) द्वारा विस्तारित हुआ है। xz-तल में प्रत्येक सदिश को इन दोनों के रैखिक संयोजन के रूप में लिखा जा सकता है:
ज्यामितीय रूप से, यह इस तथ्य से मिलता है कि xz-तल पर प्रत्येक बिंदु तक पहले (1,0,0) की दिशा में कुछ दूरी तय करके और फिर (0,0, 1 की दिशा में कुछ दूरी तय करके) मूल बिंदु से पहुंचा जा सकता है।

स्तंभ समष्टि और पंक्ति समष्टि

परिमित-विमीय समष्टि में रैखिक प्राचलिक समीकरणों की प्रणाली को एकल आव्यूह समीकरण के रूप में भी लिखा जा सकता है:

इस स्थिति में, उप-समष्टि में सदिश x के सभी संभावित मान सम्मलित हैं। रैखिक बीजगणित में, इस उप-समष्टि को आव्यूह A के स्तंभ समष्टि (या चित्र (गणित)) के रूप में जाना जाता है। यह यथार्थतः Kn का उपस्थान हैं जो A के स्तम्भ सदिश द्वारा विस्तारित किया गया हैं।

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

स्वतंत्रता, आधार और विमा

वेक्टर यू और वी आर के इस द्वि-आयामी उप-स्थान के लिए आधार हैं3.

सामान्य तौर पर, Kn का एक उप-स्थान k मापदंडों द्वारा निर्धारित (या k सदिश द्वारा विस्तारित किया गया) का विमा k है। यद्यपि की, इस नियम के अपवाद भी हैं। उदाहरण के लिए, K3 का उपस्थान तीन सदिशों (1,0,0), (0,0,1), और (2,0,3) द्वारा विस्तारित हुआ केवल xz-तल है, जिसमें समतल पर प्रत्येक बिंदु के कई अलग-अलग मान t1, t2, t3 का वर्णन अपरिमित रूप से किया गया है।

सामान्य तौर पर, सदिश v1, ... , vk यदि रैखिकतः स्वतंत्र कहलाते हैं

के लिए (t1, t2, ... , tk) ≠ (v1, v2, ... , vk).[note 3] अगर v1, ..., vk रैखिक रूप से स्वतंत्र हैं, फिर निर्देशांक t1, ..., tk विस्तार में एक सदिश के लिए विशिष्ट रूप से निर्धारित किया जाता है।

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

उदाहरण
मान लीजिए S, R4 का उपसमष्टि है समीकरणों द्वारा परिभाषित
फिर समष्टि (2,1,0,0) और (0,0,5,1) S के लिए आधार हैं। विशेष रूप से, उपरोक्त समीकरणों को संतुष्ट करने वाले प्रत्येक सदिश को दोनों आधार सदिश के रैखिक संयोजन के रूप में विशिष्ट रूप से लिखा जा सकता है:
समष्टि S द्वि-आयामी है। ज्यामितीय रूप से, यह 'R'4 में समतल है बिंदुओं (0,0,0,0), (2,1,0,0), और (0,0,5,1) से जाता हैं।

समष्टियों पर संचालन और संबंध

समावेशन

समुच्चय समावेशन संबंध बाइनरी संबंध सभी उप-समष्टियों (किसी भी विमा के) के समुच्चय पर एक आंशिक क्रम निर्दिष्ट करता है।

उप-समष्टि कम विमा के किसी भी उप-समष्टि में स्थित नहीं हो सकता। यदि dim U = k, परिमित संख्या है, और U ⊂ W, तो dim W = k यदि U = W है।

प्रतिच्छेद

R3 में, दो अलग-अलग द्वि-विमीय उप समष्टि का प्रतिच्छेदन एक-विमीय है

सदिश समष्टि V के उप-समष्टि U और W दिए गए हैं, तो उनका प्रतिच्छेदन (समुच्चय सिद्धांत) U ∩ W := {'v' ∈ V : 'v' U और W दोनों का अवयव है} भी V का एक उपसमष्टि है।[10]

सिद्ध:

  1. माना कि 'v' और 'w' U ∩ W के अवयव हैं। फिर 'v' और 'w' U और W दोनों से संबंधित हैं। क्योंकि U उपसमष्टि है, तो 'v' + 'w' U से संबंधित है। इसी प्रकार , चूँकि W एक उपसमष्टि है, तो 'v' + 'w' W से संबंधित है। इस प्रकार, 'v' + 'w' U ∩W से संबंधित है।
  2. माना कि 'v' U ∩ W से संबंधित है, और माना कि c एक अदिश राशि है। फिर 'v' U और W दोनों से संबंधित है। चूँकि U और W उप-समष्टि हैं, c'v' U और W दोनों से संबंधित है।
  3. क्योकि U और W सदिश समष्टि हैं, तो '0' दोनों समुच्चयों से संबंधित है। इस प्रकार, '0' U ∩ W से संबंधित है।

प्रत्येक सदिश समष्टि V के लिए, शून्य सदिश समष्टि| समुच्चय {'0'} और V स्वयं V की उपसमष्टि हैं।[11][12]

योग

यदि U और W उपसमष्टि हैं, तो उनका 'योग' उपसमष्टि है[13][14]

उदाहरण के लिए, दो रेखाओं का योग वह तल है जिसमें वे दोनों समाहित हैं। योग का विमा असमानता को संतुष्ट करता है
यहां, न्यूनतम केवल तब होता है जब एक उपसमष्टि दूसरे में समाहित होता है, जबकि अधिकतम सबसे सामान्य स्थिति में होता है। प्रतिच्छेदन का विमा और योग निम्नलिखित समीकरण से संबंधित हैं:[15]
उप-समष्टियों का समुच्चय स्वतंत्र होता है जब उप-समष्टियों के किसी भी जोड़े के बीच एकमात्र प्रतिच्छेदन विषम उप समष्टि होता है। प्रत्यक्ष योग स्वतंत्र उप-समष्टियों का योग है, जिसे प्रकार से लिखा जाता है। एक समतुल्य पुनर्कथन यह है कि प्रत्यक्ष योग, उप-समष्टि योग है, इस स्थिति के अंतर्गत कि प्रत्येक उप-समष्टि योग की अवधि में योगदान देता है।[16][17][18][19] प्रत्यक्ष योग का विमा उप-समष्टियों के योग के समान है, लेकिन इसे छोटा किया जा सकता है क्योंकि विषम उप समष्टि की विमा शून्य है।[20]

उपसमष्टियों का नियम   

कार्य विधि प्रतिच्छेद तथा योग सभी उप-समष्टियों के समुच्चय को सीमित प्रतिरूपक नियम बनाते हैं, जहां {0} उप-समष्टि, सबसे छोटा अवयव, योग कार्य का समरूप अवयव है, और समान उप-समष्टि V, सबसे बड़ा अवयव है, प्रतिच्छेदन कार्य विधि का समरूप अवयव है।

लाम्बिक पूरक

यदि आंतरिक गुणन समष्टि है और का उपसमुच्चय है, फिर का लाम्बिक पूरक, निरूपित , फिर से समष्टि है।[21] यदि परिमित-विमीय है और उपसमष्टि है, फिर के विमा और पूरक संबंध को संतुष्ट करता हैं। [22] इसके अतिरिक्त, कोई भी सदिश स्वयं में लाम्बिक नहीं है इसलिए और और का सीधा योग है।[23] लाम्बिक पूरकों को दो बार क्रियान्वित करने से मूल उपसमष्टि वापस आ जाता है: प्रत्येक उपसमष्टि के लिए।[24] इस क्रियाविधि को निषेध के रूप में समझा जाता है (), उप-समष्टियों की नियम को एक (संभवतः अनंत सेट) ऑर्थोपूरक नियम बनाता है (यद्यपि की वितरणात्मक नियम नहीं बना पाता है।)।

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

एल्गोरिदम

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

  1. कम किए गए आव्यूह में मूल के समान ही शून्य समष्टि है।
  2. पंक्ति कमी से पंक्ति सदिशों की अवधि नहीं बदलती है, अर्थात कम किए गए आव्यूह में मूल के समान पंक्ति समष्टि होता है।
  3. पंक्ति में कमी स्तम्भ सदिश की रैखिक निर्भरता को प्रभावित नहीं करती है।

पंक्ति स्थान का आधार

एक m×n आव्यूह A को इनपुट करते हैं
A के पंक्ति समष्टि के लिए आउटपुट A आधार होता हैं।
  1. A को पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
  2. स्तर रूप की अशून्य पंक्तियाँ A की पंक्ति समष्टि के लिए आधार हैं।

पंक्ति और स्तंभ समष्टि के लिए पंक्तिसमष्टि पर आलेख देखें।

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

उपसमष्टि सदस्यता

इनपुट A आधार {b1, b2, ..., bk} Kn के उप-समष्टि S के लिए, और n घटकों के साथ सदिश 'v' होता हैं।
'आउटपुट' यह निर्धारित करता है कि 'v' S का अवयव है या नहीं हैं।
  1. एक (k+1)×n आव्यूह A बनाएं जिसकी पंक्तियाँ सदिश 'b'1, ... , bk और v होंती है।  
  2. A को पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
  3. यदि स्तर रूप में शून्यों की पंक्ति है, तो सदिश {b1, ..., bk, v} और vS रैखिक रूप से निर्भर हैं।

स्तंभ स्थान का आधार

एक m × n आव्यूह A इनपुट होता हैं।
'A के स्तम्भ समष्टि के लिए आउटपुट Aआधार होता हैं।
  1. A को पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग किया जाता हैं।
  2. निर्धारित करें कि स्तर प्रपत्र के किन स्तंभों में पंक्ति स्तर रूप है। मूल आव्यूह के संबंधित स्तम्भ, स्तम्भ समष्टि के लिए आधार हैं।

स्तम्भ समष्टि आधार के लिए स्तम्भ समष्टि पर लेख देखें।

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

एक सदिश के लिए निर्देशांक

एक आधार {b1, b2, ..., bk} Kn के उप-समष्टि S के लिए, और एक सदिश vS इनपुट होता हैं।
संख्या t1, t2, ..., tk ऐसा है कि v = t1b1 + ··· + tkbk आउटपुट किया जाता हैं।
  1. एक संवर्धित आव्यूह A बनाएं जिसके स्तम्भ b1,...,bk , अंतिम स्तम्भ v है।
  2. A को कम पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
  3. घटे हुए स्तर रूप के अंतिम स्तंभ को पहले k स्तंभों के रैखिक संयोजन के रूप में व्यक्त करते हैं। प्रयुक्त गुणांक t1, t2, ..., tk वांछित संख्याएँ हैं (ये कम किए गए इकोलोन फॉर्म के अंतिम कॉलम में बिल्कुल पहली k प्रविष्टियाँ होनी चाहिए।)

यदि कम पंक्ति स्तर प्रपत्र के अंतिम स्तम्भ में एक धुरी है, तो इनपुट वेक्टर 'v' S में नहीं है।

शून्य समष्टि का आधार

एक m × n आव्यूह A इनपुट करते हैं।
A के शून्य समष्टि के लिए एक आधार आउटपुट होता हैं।
  1. A को छोटी पंक्ति के स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
  2. कम पंक्ति स्तर प्रपत्र का उपयोग करके, निर्धारित करें कि x1, x2, ..., xn कौन सा चर मुक्त हैं। आश्रित चर के लिए मुक्त चर के संदर्भ में समीकरण लिखा जाता हैं ।
  3. प्रत्येक स्वतंत्र चर xi के लिए, जिसके लिए शून्य समष्टि में एक सदिश चुना जाता हैं xi = 1 और शेष मुक्त चर शून्य हैं। सदिशों का परिणामी संग्रह A के शून्य स्थान का आधार है।

कर्नेल (आव्यूह)#आधार के लिए शून्य स्थान पर लेख देखें।

दो उपसमष्टियों के योग और प्रतिच्छेदन का आधार

दो उपसमष्टि U और W का V दिए गए हैं, योग का एक आधार और प्रतिच्छेद ज़ैसेनहौस एल्गोरिथ्म का उपयोग करके गणना की जा सकती है।

उपसमष्टि के लिए समीकरण

एक आधार {बी1, बी2, ..., बीk} K के उप-समष्टि Sn के लिए इनपुट किया जाता हैं।
एक (n − k) × n आव्यूह जिसका शून्य स्थान S 'आउटपुट' किया जाता है।
  1. एक आव्यूह A बनाएं जिसकी पंक्तियाँ हैं b1, b2, ..., bk होती हैं।
  2. A को कम पंक्ति स्तर रूप में रखने के लिए प्रारंभिक पंक्ति संचालन का उपयोग करते हैं।
  3. माना c1, c2, ..., cn कम पंक्ति स्तर प्रपत्र के स्तंभ बनते हैं। धुरी के बिना प्रत्येक स्तंभ के लिए, स्तंभ को धुरी वाले स्तंभों के रैखिक संयोजन के रूप में व्यक्त करते हुए समीकरण लिखते हैं।
  4. इसका परिणाम n - k रैखिक समीकरणों की सजातीय प्रणाली में होता है जिसमें चर 'c' सम्मलित होते c1,...,cn होता हैं। (nk) × n} इस प्रणाली के अनुरूप आव्यूह शून्य समष्टि S के साथ वांछित आव्यूह है।
उदाहरण
यदि A का लघु पंक्ति स्तर रूप है
फिर स्तम्भ सदिश c1, ..., c6 समीकरणों को संतुष्ट करते हैं।
इससे यह निष्कर्ष निकलता है कि A के पंक्ति सदिश समीकरणों को संतुष्ट करते हैं।
विशेष रूप से, A के पंक्ति सदिश संबंधित आव्यूह के शून्य स्थान के लिए आधार हैं।

यह भी देखें

टिप्पणियाँ

  1. The term linear subspace is sometimes used for referring to flats and affine subspaces. In the case of vector spaces over the reals, linear subspaces, flats, and affine subspaces are also called linear manifolds for emphasizing that there are also manifolds.
  2. Generally, K can be any field of such characteristic that the given integer matrix has the appropriate rank in it. All fields include integers, but some integers may equal to zero in some fields.
  3. This definition is often stated differently: vectors v1, ..., vk are linearly independent if t1v1 + ··· + tkvk0 for (t1, t2, ..., tk) ≠ (0, 0, ..., 0). The two definitions are equivalent.


उद्धरण

  1. Halmos (1974) pp. 16-17, § 10
  2. Anton (2005, p. 155)
  3. Beauregard & Fraleigh (1973, p. 176)
  4. Herstein (1964, p. 132)
  5. Kreyszig (1972, p. 200)
  6. Nering (1970, p. 20)
  7. Hefferon (2020) p. 100, ch. 2, Definition 2.13
  8. MathWorld (2021) Subspace.
  9. DuChateau (2002) Basic facts about Hilbert Space — class notes from Colorado State University on Partial Differential Equations (M645).
  10. Nering (1970, p. 21)
  11. Hefferon (2020) p. 100, ch. 2, Definition 2.13
  12. Nering (1970, p. 20)
  13. Nering (1970, p. 21)
  14. Vector space related operators.
  15. Nering (1970, p. 22)
  16. Hefferon (2020) p. 148, ch. 2, §4.10
  17. Axler (2015) p. 21 § 1.40
  18. Katznelson & Katznelson (2008) pp. 10-11, § 1.2.5
  19. Halmos (1974) pp. 28-29, § 18
  20. Halmos (1974) pp. 30-31, § 19
  21. Axler (2015) p. 193, § 6.46
  22. Axler (2015) p. 195, § 6.50
  23. Axler (2015) p. 194, § 6.47
  24. Axler (2015) p. 195, § 6.51


स्रोत

पाठ्यपुस्तक

  • Anton, Howard (2005), Elementary Linear Algebra (Applications Version) (9th ed.), Wiley International
  • Axler, Sheldon Jay (2015). रैखिक बीजगणित सही ढंग से किया गया (3rd ed.). Springer. ISBN 978-3-319-11079-0.
  • 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
  • Halmos, Paul Richard (1974) [1958]. परिमित-आयामी वेक्टर रिक्त स्थान (2nd ed.). Springer. ISBN 0-387-90093-4.
  • Hefferon, Jim (2020). लीनियर अलजेब्रा (4th ed.). Orthogonal Publishing. ISBN 978-1-944325-11-4.
  • Herstein, I. N. (1964), Topics In Algebra, Waltham: Blaisdell Publishing Company, ISBN 978-1114541016
  • Katznelson, Yitzhak; Katznelson, Yonatan R. (2008). ए (संक्षिप्त) रैखिक बीजगणित का परिचय. American Mathematical Society. ISBN 978-0-8218-4419-9.
  • Kreyszig, Erwin (1972), Advanced Engineering Mathematics (3rd ed.), New York: Wiley, ISBN 0-471-50728-8
  • 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
  • Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76091646
  • Poole, David (2006), Linear Algebra: A Modern Introduction (2nd ed.), Brooks/Cole, ISBN 0-534-99845-3

वेब

बाहरी संबंध