भागफल स्थान (रैखिक बीजगणित): Difference between revisions
(Created page with "{{Short description|Vector space consisting of affine subsets}} {{about|quotients of vector spaces|quotients of topological spaces|Quotient space (topology)}} रैखिक...") |
No edit summary |
||
(13 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Vector space consisting of affine subsets}} | {{Short description|Vector space consisting of affine subsets}} | ||
{{about| | {{about|वेक्टर रिक्त स्थान के गुणांक|टोपोलॉजिकल रिक्त स्थान के उद्धरण|भागफल स्थान (टोपोलॉजी)}} | ||
रेखीय बीजगणित में एक उप-स्थान <math>N</math> द्वारा एक सदिश स्थान <math>V</math> का भागफल एक सदिश स्थान है जो <math>N</math> को "ढहने" से शून्य तक प्राप्त होता है। प्राप्त स्थान को भागफल स्थान कहा जाता है और <math>V/N</math> ("<math>V</math> मॉड <math>N</math>" या "<math>V</math> द्वारा <math>N</math>" पढ़ें)। | |||
== परिभाषा == | == परिभाषा == | ||
औपचारिक रूप से | औपचारिक रूप से निर्माण इस प्रकार है<ref>{{Harvard citation text|Halmos|1974}} pp. 33-34 §§ 21-22</ref>। मान लीजिए कि <math>\mathbb{K}</math> पर <math>V</math> एक सदिश स्थान है और <math>N</math> को <math>V</math> का एक उपस्थान होना चाहिए। हम <math>V</math> पर एक तुल्यता संबंध<math>\sim</math> को <math>x \sim y</math> यदि {{nowrap| <math>x - y \in N</math>}} बताकर परिभाषित करते हैं। अर्थात्, <math>x</math>, <math>y</math> से संबंधित है यदि एक को <math>N</math> के एक तत्व को जोड़कर दूसरे से प्राप्त किया जा सकता है। इस परिभाषा से, यह निष्कर्ष निकाला जा सकता है कि <math>N</math> का कोई भी तत्व शून्य वेक्टर से संबंधित है अधिक स्पष्ट रूप से, <math>N</math> में सभी वैक्टर शून्य वेक्टर के समतुल्य वर्ग में मैप किए जाते हैं। | ||
[[तुल्यता वर्ग]] - या, इस | [[तुल्यता वर्ग]] - या, इस स्थिति में[[ सह समुच्चय | सह समुच्चय]] - का <math>x</math> अधिकांशतः निरूपित किया जाता है | ||
:<math>[x] = x + N</math> | :<math>[x] = x + N</math> | ||
चूंकि यह द्वारा दिया गया है | चूंकि यह द्वारा दिया गया है | ||
:<math>[x] = \{ x + n: n \in N \}</math> | :<math>[x] = \{ x + n: n \in N \}</math> | ||
भागफल स्थान <math>V/N</math> | तब भागफल स्थान <math>V/N</math> को <math>V/_\sim</math> के रूप में परिभाषित किया जाता है, <math>V</math> पर <math>\sim</math> द्वारा प्रेरित सभी तुल्यता वर्गों का सेट। स्केलर गुणन और जोड़ को तुल्यता वर्गों पर परिभाषित किया जाता है <ref>{{Harvard citation text|Katznelson|Katznelson|2008}} p. 9 § 1.2.4</ref><ref>{{Harvard citation text|Roman|2005}} p. 75-76, ch. 3</ref> | ||
<nowiki>*</nowiki><math>\alpha [x] = [\alpha x]</math> सभी के लिए <math>\alpha \in \mathbb{K}</math>, और | |||
*<math>[x] + [y] = [x+y]</math>. | *<math>[x] + [y] = [x+y]</math>. | ||
यह जांचना | यह जांचना कठिन नहीं है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं (अर्थात [[प्रतिनिधि (गणित)|प्रतिनिधि]] की पसंद पर निर्भर नहीं हैं)। ये ऑपरेशन भागफल स्थान <math>V/N</math> को <math>\mathbb{K}</math> पर एक सदिश स्थान में बदल देते हैं, जिसमें <math>N</math> शून्य वर्ग <math>[0]</math> है। | ||
मैपिंग जो इससे संबद्ध है {{nowrap|<math>v \in V</math>}} समतुल्य वर्ग <math>[v]</math> भागफल मानचित्र के रूप में जाना जाता है। | मैपिंग जो इससे संबद्ध है {{nowrap|<math>v \in V</math>}} समतुल्य वर्ग <math>[v]</math> भागफल मानचित्र के रूप में जाना जाता है। | ||
वैकल्पिक रूप से वाक्यांश, भागफल स्थान <math>V/N</math> के सभी | वैकल्पिक रूप से वाक्यांश, भागफल स्थान <math>V/N</math> के सभी अफिन स्थान का समुच्चय है <math>V</math> जो {{nowrap|<math>N</math>.}} [[समानांतर (ज्यामिति)]] हैं <ref>{{Harvard citation text|Axler|2015}} p. 95, § 3.83</ref> | ||
Line 24: | Line 27: | ||
=== कार्तीय तल में रेखाएँ === | === कार्तीय तल में रेखाएँ === | ||
होने देना {{nowrap|1=''X'' = '''R'''<sup>2</sup>}} मानक [[कार्टेशियन विमान]] हो, और Y को X में उत्पत्ति के माध्यम से एक [[रेखा (ज्यामिति)]] होने दें। फिर भागफल स्थान X/Y को X में सभी रेखाओं के स्थान से पहचाना जा सकता है जो Y के समानांतर हैं। कि, सेट X/Y के तत्व X में Y के समानांतर रेखाएँ हैं। ध्यान दें कि ऐसी किसी एक रेखा के साथ बिंदु तुल्यता संबंध को संतुष्ट करेंगे क्योंकि उनके अंतर वैक्टर Y से संबंधित हैं। यह भागफल रिक्त स्थान को ज्यामितीय रूप से देखने का एक | होने देना {{nowrap|1=''X'' = '''R'''<sup>2</sup>}} मानक [[कार्टेशियन विमान|कार्टेशियन तल]] हो, और Y को X में उत्पत्ति के माध्यम से एक [[रेखा (ज्यामिति)]] होने दें। फिर भागफल स्थान X/Y को X में सभी रेखाओं के स्थान से पहचाना जा सकता है जो Y के समानांतर हैं। कि, सेट X/Y के तत्व X में Y के समानांतर रेखाएँ हैं। ध्यान दें कि ऐसी किसी एक रेखा के साथ बिंदु तुल्यता संबंध को संतुष्ट करेंगे क्योंकि उनके अंतर वैक्टर Y से संबंधित हैं। यह भागफल रिक्त स्थान को ज्यामितीय रूप से देखने का एक विधि देता है। (इन पंक्तियों को फिर से पैरामीटरेट करके भागफल स्थान को पारंपरिक रूप से मूल के माध्यम से एक रेखा के साथ सभी बिंदुओं के स्थान के रूप में दर्शाया जा सकता है जो Y के समानांतर नहीं है। इसी तरह, ''''R'''<sup>3</sup> ' के लिए भागफल स्थान को फिर से सभी सह-समानांतर रेखाओं के समुच्चय के रूप में प्रस्तुत किया जा सकता है, या वैकल्पिक रूप से एक समतल (ज्यामिति) से युक्त सदिश स्थान के रूप में दर्शाया जा सकता है जो केवल मूल बिंदु पर रेखा को प्रतिच्छेद करता है।) | ||
=== कार्टेशियन स्पेस के सबस्पेस === | === कार्टेशियन स्पेस के सबस्पेस === | ||
एक अन्य उदाहरण R | एक अन्य उदाहरण '''R'''<sup>''n''</sup> का भागफल है प्रथम m मानक आधार सदिशों द्वारा फैलाए गए उपस्थान द्वारा स्थान ''''R'''<sup>''n''</sup> में [[वास्तविक संख्या]]ओं के सभी n-ट्यूपल्स होते हैं {{nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>)}}. उपस्थान, '''R'''<sup>''m''</sup> के साथ पहचाना गया, में सभी n-ट्यूपल्स सम्मिलित हैं जैसे कि अंतिम n-m प्रविष्टियाँ शून्य हैं: {{nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''m''</sub>, 0, 0, ..., 0)}}. '''R'''<sup>''n''</sup> के दो वैक्टर समान तुल्यता वर्ग मॉड्यूलो उपस्थान में हैं यदि और केवल यदि वे अंतिम n − m निर्देशांक में समान हैं। भागफल स्थान ''''R'''<sup>''n''</sup>/'''R'''<sup>''m''</sup> ''''R'''<sup>''n''−''m''</sup>' के लिए तुल्याकारी है एक स्पष्ट विधि से है । | ||
=== बहुपद सदिश स्थान === | === बहुपद सदिश स्थान === | ||
माना <math>\mathcal{P}_3(\mathbb{R})</math>वास्तविक संख्याओं पर सभी घन बहुपदों की वेक्टर स्पेस हो। तब <math>\mathcal{P}_3(\mathbb{R}) / \langle x^2 \rangle </math> एक भागफल स्थान है, जहां प्रत्येक तत्व बहुपदों के अनुरूप सेट है जो अलग-अलग है केवल एक द्विघात शब्द उदाहरण के लिए, भागफल स्थान का एक तत्व<math>\{x^3 + a x^2 - 2x + 3 : a \in \mathbb{R}\}</math> है, जबकि भागफल स्थान का एक अन्य तत्व <math>\{a x^2 + 2.7 x : a \in \mathbb{R}\}</math>है। | |||
=== सामान्य उप-स्थान === | === सामान्य उप-स्थान === | ||
अधिक | अधिक सामान्यतः यदि ''V'' एक (आंतरिक) उप-स्थानों U और W का [[प्रत्यक्ष योग]] है, | ||
:<math>V=U\oplus W</math> | :<math>V=U\oplus W</math> | ||
तो भागफल स्थान V/U W में [[प्राकृतिक परिवर्तन]] है।<ref>{{Harvard citation text|Halmos|1974}} p. 34, § 22, Theorem 1</ref> | तो भागफल स्थान V/U W में [[प्राकृतिक परिवर्तन]] है।<ref>{{Harvard citation text|Halmos|1974}} p. 34, § 22, Theorem 1</ref> | ||
Line 43: | Line 46: | ||
=== लेबेसेग इंटीग्रल्स === | === लेबेसेग इंटीग्रल्स === | ||
कार्यात्मक भागफल स्थान का एक महत्वपूर्ण उदाहरण एक L<sup>''p''</sup> स्थान है। | |||
== गुण == | == गुण == | ||
इसके समतुल्य वर्ग [x] को x भेजकर दिए गए भागफल स्थान V/U के लिए V से एक प्राकृतिक [[अधिरूपता]] है। इस एपिमोर्फिज्म का कर्नेल (रैखिक बीजगणित) (या नलस्पेस) उप-स्थान | इसके समतुल्य वर्ग [x] को x भेजकर दिए गए भागफल स्थान V/U के लिए V से एक प्राकृतिक [[अधिरूपता]] है। इस एपिमोर्फिज्म का कर्नेल (रैखिक बीजगणित) (या नलस्पेस) उप-स्थान ''U'' है। इस रिश्ते को संक्षिप्त स्पष्ट अनुक्रम द्वारा बड़े करीने से संक्षेपित किया गया है | ||
:<math>0\to U\to V\to V/U\to 0.\,</math> | :<math>0\to U\to V\to V/U\to 0.\,</math> | ||
यदि U, V की एक उपसमष्टि है, तो V/U के | यदि U, V की एक उपसमष्टि है, तो ''V''/''U'' के आयाम को V में U का कोडिमेंशन कहा जाता है। चूँकि V का आधार U के आधार A और ''V''/''U'' के आधार B से एक प्रतिनिधि जोड़कर बनाया जा सकता है। ''B'' से ''A'' के प्रत्येक तत्व, ''V'' का आयाम ''U'' और ''V''/''U'' के आयामों का योग है। यदि V परिमित-आयामी है, तो यह इस प्रकार है कि V में U का कोड V और U के आयामों के बीच का अंतर है:<ref>{{Harvard citation text|Axler|2015}} p. 97, § 3.89</ref><ref>{{Harvard citation text|Halmos|1974}} p. 34, § 22, Theorem 2</ref> | ||
:<math>\mathrm{codim}(U) = \dim(V/U) = \dim(V) - \dim(U).</math> | :<math>\mathrm{codim}(U) = \dim(V/U) = \dim(V) - \dim(U).</math> | ||
मान लीजिए T : V → W एक रैखिक संकारक है। T का कर्नेल, जिसे ker(T) के रूप में दर्शाया गया है, V में सभी x का समुच्चय है जैसे कि Tx = 0. कर्नेल V की एक उपसमष्टि है। ) | मान लीजिए T : V → W एक रैखिक संकारक है। T का कर्नेल, जिसे ker(T) के रूप में दर्शाया गया है, V में सभी x का समुच्चय है जैसे कि Tx = 0. कर्नेल V की एक उपसमष्टि है। ) ''W'' में V की [[छवि (गणित)]] के लिए आइसोमोर्फिक है। परिमित-आयामी रिक्त स्थान के लिए एक तत्काल [[परिणाम]], पद -शून्य प्रमेय है: V का आयाम कर्नेल के आयाम (''T'' की शून्यता) के आयाम के समान है छवि (''T'' की पद )। | ||
रैखिक संकारक T : V → W के [[ cokernel ]] को भागफल स्थान W/im(T) के रूप में परिभाषित किया गया है। | रैखिक संकारक T : V → W के [[ cokernel |cokernel]] को भागफल स्थान W/im(T) के रूप में परिभाषित किया गया है। | ||
== एक उप-स्थान द्वारा एक [[बनच स्थान]] का भागफल == | == एक उप-स्थान द्वारा एक [[बनच स्थान]] का भागफल == | ||
यदि X एक बनच स्थान है और M, X का एक [[बंद सेट]] उप-स्थान है, तो भागफल X/M फिर से एक | यदि X एक बनच स्थान है और M, X का एक [[बंद सेट]] उप-स्थान है, तो भागफल X/M फिर से एक बनच स्थान है। भागफल स्थान पहले से ही पिछले खंड के निर्माण से एक सदिश स्थान संरचना के साथ संपन्न है। हम X/M पर एक मानक (गणित) परिभाषित करते हैं | ||
:<math> \| [x] \|_{X/M} = \inf_{m \in M} \|x-m\|_X = \inf_{m \in M} \|x+m\|_X = \inf_{y\in [x]}\|y\|_X. </math> | :<math> \| [x] \|_{X/M} = \inf_{m \in M} \|x-m\|_X = \inf_{m \in M} \|x+m\|_X = \inf_{y\in [x]}\|y\|_X. </math> | ||
जब X पूर्ण होता है, तब मानक के संबंध में भागफल स्थान X/M पूर्ण स्थान होता है, और इसलिए एक | जब X पूर्ण होता है, तब मानक के संबंध में भागफल स्थान X/M पूर्ण स्थान होता है, और इसलिए एक बनच स्थान होता है। | ||
=== उदाहरण === | === उदाहरण === | ||
चलो C[0,1] अंतराल [0,1] पर निरंतर वास्तविक-मूल्यवान कार्यों के बनच स्थान को सुपर मानदंड के साथ दर्शाते हैं। f(0) = 0 के साथ सभी फलनों f ∈ C[0,1] की उपसमष्टि को M द्वारा निरूपित करें। तब कुछ फलन g का तुल्यता वर्ग 0 पर इसके मान और भागफल स्थान {{nowrap|''C''[0,1]/''M''}} द्वारा निर्धारित किया जाता है। R के लिए तुल्याकारी है। | |||
यदि X एक [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्थान]] है, तो भागफल स्थान X/M, M के ऑर्थोगोनल पूरक के लिए आइसोमॉर्फिक है। | |||
=== स्थानीय रूप से उत्तल रिक्त स्थान के लिए सामान्यीकरण === | === स्थानीय रूप से उत्तल रिक्त स्थान के लिए सामान्यीकरण === | ||
एक बंद उप-स्थान द्वारा [[स्थानीय रूप से उत्तल स्थान]] का अंश फिर से स्थानीय रूप से उत्तल होता है।<ref>{{Harvard citation text|Dieudonné|1976}} p. 65, § 12.14.8</ref> | एक बंद उप-स्थान द्वारा [[स्थानीय रूप से उत्तल स्थान]] का अंश फिर से स्थानीय रूप से उत्तल होता है।<ref>{{Harvard citation text|Dieudonné|1976}} p. 65, § 12.14.8</ref> वास्तव में मान लीजिए कि ''X'' स्थानीय रूप से उत्तल है जिससे X पर [[टोपोलॉजिकल स्पेस]] [[सेमिनोर्म]] {pα | α ∈ A} जहां A एक इंडेक्स सेट है। M को एक बंद उप-स्थान होने दें, और X/M पर सेमीनॉर्म्स ''q''<sub>α</sub> को परिभाषित करें | ||
:<math>q_\alpha([x]) = \inf_{v\in [x]} p_\alpha(v).</math> | :<math>q_\alpha([x]) = \inf_{v\in [x]} p_\alpha(v).</math> | ||
फिर | फिर ''X''/''M'' स्थानीय रूप से उत्तल स्थान है, और उस पर टोपोलॉजी [[भागफल टोपोलॉजी]] है। | ||
यदि, इसके | यदि, इसके अतिरिक्त X [[metrizable|मेट्रिज़ेबल]] है, तो X/M भी है। यदि X एक फ्रेचेट स्थान है, तो X/M भी ऐसा ही है।<ref>{{Harvard citation text|Dieudonné|1976}} p. 54, § 12.11.3</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[गुणक समूह]] | * [[गुणक समूह]] | ||
* [[भागफल मॉड्यूल]] | * [[भागफल मॉड्यूल]] | ||
Line 95: | Line 99: | ||
श्रेणी:कार्यात्मक विश्लेषण | श्रेणी:कार्यात्मक विश्लेषण | ||
श्रेणी:रैखिक बीजगणित | श्रेणी:रैखिक बीजगणित | ||
श्रेणी:भागफल वस्तुएं| | श्रेणी:भागफल वस्तुएं|स्थान (रैखिक बीजगणित) | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Collapse templates]] | |||
[[Category:Created On 13/05/2023]] | [[Category:Created On 13/05/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]] |
Latest revision as of 08:42, 15 June 2023
रेखीय बीजगणित में एक उप-स्थान द्वारा एक सदिश स्थान का भागफल एक सदिश स्थान है जो को "ढहने" से शून्य तक प्राप्त होता है। प्राप्त स्थान को भागफल स्थान कहा जाता है और (" मॉड " या " द्वारा " पढ़ें)।
परिभाषा
औपचारिक रूप से निर्माण इस प्रकार है[1]। मान लीजिए कि पर एक सदिश स्थान है और को का एक उपस्थान होना चाहिए। हम पर एक तुल्यता संबंध को यदि बताकर परिभाषित करते हैं। अर्थात्, , से संबंधित है यदि एक को के एक तत्व को जोड़कर दूसरे से प्राप्त किया जा सकता है। इस परिभाषा से, यह निष्कर्ष निकाला जा सकता है कि का कोई भी तत्व शून्य वेक्टर से संबंधित है अधिक स्पष्ट रूप से, में सभी वैक्टर शून्य वेक्टर के समतुल्य वर्ग में मैप किए जाते हैं।
तुल्यता वर्ग - या, इस स्थिति में सह समुच्चय - का अधिकांशतः निरूपित किया जाता है
चूंकि यह द्वारा दिया गया है
तब भागफल स्थान को के रूप में परिभाषित किया जाता है, पर द्वारा प्रेरित सभी तुल्यता वर्गों का सेट। स्केलर गुणन और जोड़ को तुल्यता वर्गों पर परिभाषित किया जाता है [2][3]
* सभी के लिए , और
- .
यह जांचना कठिन नहीं है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं (अर्थात प्रतिनिधि की पसंद पर निर्भर नहीं हैं)। ये ऑपरेशन भागफल स्थान को पर एक सदिश स्थान में बदल देते हैं, जिसमें शून्य वर्ग है।
मैपिंग जो इससे संबद्ध है समतुल्य वर्ग भागफल मानचित्र के रूप में जाना जाता है।
वैकल्पिक रूप से वाक्यांश, भागफल स्थान के सभी अफिन स्थान का समुच्चय है जो . समानांतर (ज्यामिति) हैं [4]
उदाहरण
कार्तीय तल में रेखाएँ
होने देना X = R2 मानक कार्टेशियन तल हो, और Y को X में उत्पत्ति के माध्यम से एक रेखा (ज्यामिति) होने दें। फिर भागफल स्थान X/Y को X में सभी रेखाओं के स्थान से पहचाना जा सकता है जो Y के समानांतर हैं। कि, सेट X/Y के तत्व X में Y के समानांतर रेखाएँ हैं। ध्यान दें कि ऐसी किसी एक रेखा के साथ बिंदु तुल्यता संबंध को संतुष्ट करेंगे क्योंकि उनके अंतर वैक्टर Y से संबंधित हैं। यह भागफल रिक्त स्थान को ज्यामितीय रूप से देखने का एक विधि देता है। (इन पंक्तियों को फिर से पैरामीटरेट करके भागफल स्थान को पारंपरिक रूप से मूल के माध्यम से एक रेखा के साथ सभी बिंदुओं के स्थान के रूप में दर्शाया जा सकता है जो Y के समानांतर नहीं है। इसी तरह, 'R3 ' के लिए भागफल स्थान को फिर से सभी सह-समानांतर रेखाओं के समुच्चय के रूप में प्रस्तुत किया जा सकता है, या वैकल्पिक रूप से एक समतल (ज्यामिति) से युक्त सदिश स्थान के रूप में दर्शाया जा सकता है जो केवल मूल बिंदु पर रेखा को प्रतिच्छेद करता है।)
कार्टेशियन स्पेस के सबस्पेस
एक अन्य उदाहरण Rn का भागफल है प्रथम m मानक आधार सदिशों द्वारा फैलाए गए उपस्थान द्वारा स्थान 'Rn में वास्तविक संख्याओं के सभी n-ट्यूपल्स होते हैं (x1, ..., xn). उपस्थान, Rm के साथ पहचाना गया, में सभी n-ट्यूपल्स सम्मिलित हैं जैसे कि अंतिम n-m प्रविष्टियाँ शून्य हैं: (x1, ..., xm, 0, 0, ..., 0). Rn के दो वैक्टर समान तुल्यता वर्ग मॉड्यूलो उपस्थान में हैं यदि और केवल यदि वे अंतिम n − m निर्देशांक में समान हैं। भागफल स्थान 'Rn/Rm 'Rn−m' के लिए तुल्याकारी है एक स्पष्ट विधि से है ।
बहुपद सदिश स्थान
माना वास्तविक संख्याओं पर सभी घन बहुपदों की वेक्टर स्पेस हो। तब एक भागफल स्थान है, जहां प्रत्येक तत्व बहुपदों के अनुरूप सेट है जो अलग-अलग है केवल एक द्विघात शब्द उदाहरण के लिए, भागफल स्थान का एक तत्व है, जबकि भागफल स्थान का एक अन्य तत्व है।
सामान्य उप-स्थान
अधिक सामान्यतः यदि V एक (आंतरिक) उप-स्थानों U और W का प्रत्यक्ष योग है,
तो भागफल स्थान V/U W में प्राकृतिक परिवर्तन है।[5]
लेबेसेग इंटीग्रल्स
कार्यात्मक भागफल स्थान का एक महत्वपूर्ण उदाहरण एक Lp स्थान है।
गुण
इसके समतुल्य वर्ग [x] को x भेजकर दिए गए भागफल स्थान V/U के लिए V से एक प्राकृतिक अधिरूपता है। इस एपिमोर्फिज्म का कर्नेल (रैखिक बीजगणित) (या नलस्पेस) उप-स्थान U है। इस रिश्ते को संक्षिप्त स्पष्ट अनुक्रम द्वारा बड़े करीने से संक्षेपित किया गया है
यदि U, V की एक उपसमष्टि है, तो V/U के आयाम को V में U का कोडिमेंशन कहा जाता है। चूँकि V का आधार U के आधार A और V/U के आधार B से एक प्रतिनिधि जोड़कर बनाया जा सकता है। B से A के प्रत्येक तत्व, V का आयाम U और V/U के आयामों का योग है। यदि V परिमित-आयामी है, तो यह इस प्रकार है कि V में U का कोड V और U के आयामों के बीच का अंतर है:[6][7]
मान लीजिए T : V → W एक रैखिक संकारक है। T का कर्नेल, जिसे ker(T) के रूप में दर्शाया गया है, V में सभी x का समुच्चय है जैसे कि Tx = 0. कर्नेल V की एक उपसमष्टि है। ) W में V की छवि (गणित) के लिए आइसोमोर्फिक है। परिमित-आयामी रिक्त स्थान के लिए एक तत्काल परिणाम, पद -शून्य प्रमेय है: V का आयाम कर्नेल के आयाम (T की शून्यता) के आयाम के समान है छवि (T की पद )।
रैखिक संकारक T : V → W के cokernel को भागफल स्थान W/im(T) के रूप में परिभाषित किया गया है।
एक उप-स्थान द्वारा एक बनच स्थान का भागफल
यदि X एक बनच स्थान है और M, X का एक बंद सेट उप-स्थान है, तो भागफल X/M फिर से एक बनच स्थान है। भागफल स्थान पहले से ही पिछले खंड के निर्माण से एक सदिश स्थान संरचना के साथ संपन्न है। हम X/M पर एक मानक (गणित) परिभाषित करते हैं
जब X पूर्ण होता है, तब मानक के संबंध में भागफल स्थान X/M पूर्ण स्थान होता है, और इसलिए एक बनच स्थान होता है।
उदाहरण
चलो C[0,1] अंतराल [0,1] पर निरंतर वास्तविक-मूल्यवान कार्यों के बनच स्थान को सुपर मानदंड के साथ दर्शाते हैं। f(0) = 0 के साथ सभी फलनों f ∈ C[0,1] की उपसमष्टि को M द्वारा निरूपित करें। तब कुछ फलन g का तुल्यता वर्ग 0 पर इसके मान और भागफल स्थान C[0,1]/M द्वारा निर्धारित किया जाता है। R के लिए तुल्याकारी है।
यदि X एक हिल्बर्ट स्थान है, तो भागफल स्थान X/M, M के ऑर्थोगोनल पूरक के लिए आइसोमॉर्फिक है।
स्थानीय रूप से उत्तल रिक्त स्थान के लिए सामान्यीकरण
एक बंद उप-स्थान द्वारा स्थानीय रूप से उत्तल स्थान का अंश फिर से स्थानीय रूप से उत्तल होता है।[8] वास्तव में मान लीजिए कि X स्थानीय रूप से उत्तल है जिससे X पर टोपोलॉजिकल स्पेस सेमिनोर्म {pα | α ∈ A} जहां A एक इंडेक्स सेट है। M को एक बंद उप-स्थान होने दें, और X/M पर सेमीनॉर्म्स qα को परिभाषित करें
फिर X/M स्थानीय रूप से उत्तल स्थान है, और उस पर टोपोलॉजी भागफल टोपोलॉजी है।
यदि, इसके अतिरिक्त X मेट्रिज़ेबल है, तो X/M भी है। यदि X एक फ्रेचेट स्थान है, तो X/M भी ऐसा ही है।[9]
यह भी देखें
- गुणक समूह
- भागफल मॉड्यूल
- भागफल सेट
- भागफल स्थान (टोपोलॉजी)
संदर्भ
- ↑ Halmos (1974) pp. 33-34 §§ 21-22
- ↑ Katznelson & Katznelson (2008) p. 9 § 1.2.4
- ↑ Roman (2005) p. 75-76, ch. 3
- ↑ Axler (2015) p. 95, § 3.83
- ↑ Halmos (1974) p. 34, § 22, Theorem 1
- ↑ Axler (2015) p. 97, § 3.89
- ↑ Halmos (1974) p. 34, § 22, Theorem 2
- ↑ Dieudonné (1976) p. 65, § 12.14.8
- ↑ Dieudonné (1976) p. 54, § 12.11.3
स्रोत
- Axler, Sheldon (2015). रेखीय बीजगणित सही किया. Undergraduate Texts in Mathematics (3rd ed.). Springer. ISBN 978-3-319-11079-0.
- Dieudonné, Jean (1976), Treatise on Analysis, vol. 2, Academic Press, ISBN 978-0122155024
- Halmos, Paul Richard (1974) [1958]. परिमित-आयामी वेक्टर रिक्त स्थान. Undergraduate Texts in Mathematics (2nd ed.). Springer. ISBN 0-387-90093-4.
- Katznelson, Yitzhak; Katznelson, Yonatan R. (2008). ए (संक्षिप्त) रेखीय बीजगणित का परिचय. American Mathematical Society. ISBN 978-0-8218-4419-9.
- Roman, Steven (2005). उन्नत रेखीय बीजगणित. Graduate Texts in Mathematics (2nd ed.). Springer. ISBN 0-387-24766-1.
श्रेणी:कार्यात्मक विश्लेषण श्रेणी:रैखिक बीजगणित श्रेणी:भागफल वस्तुएं|स्थान (रैखिक बीजगणित)