भागफल स्थान (रैखिक बीजगणित): Difference between revisions

From Vigyanwiki
(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|quotients of vector spaces|quotients of topological spaces|Quotient space (topology)}}
{{about|वेक्टर रिक्त स्थान के गुणांक|टोपोलॉजिकल रिक्त स्थान के उद्धरण|भागफल स्थान (टोपोलॉजी)}}


रैखिक बीजगणित में, सदिश समष्टि का भागफल <math>V</math> एक रेखीय उप-स्थान द्वारा <math>N</math> एक सदिश स्थान है जो ढहने से प्राप्त होता है <math>N</math> शून्य करने के लिए। प्राप्त स्थान को भागफल स्थान कहा जाता है और इसे निरूपित किया जाता है <math>V/N</math> (पढ़ना<math>V</math> ख़िलाफ़ <math>N</math>या<math>V</math> द्वारा <math>N</math>).
रेखीय बीजगणित में एक उप-स्थान <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>V</math> एक क्षेत्र पर एक वेक्टर स्थान बनें (गणित) <math>\mathbb{K}</math>, और जाने <math>N</math> की एक रेखीय उपसमष्टि हो <math>V</math>. हम एक [[तुल्यता संबंध]] को परिभाषित करते हैं <math>\sim</math> पर <math>V</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> शून्य वेक्टर के समतुल्य वर्ग में मैप करें।
औपचारिक रूप से निर्माण इस प्रकार है<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</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/_\sim</math>, द्वारा प्रेरित सभी तुल्यता वर्गों का सेट <math>\sim</math> पर <math>V</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> *<math>\alpha [x] = [\alpha x]</math> सभी के लिए <math>\alpha \in \mathbb{K}</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>.
यह जांचना कठिन नहीं है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं (अर्थात [[प्रतिनिधि (गणित)|प्रतिनिधि]] की पसंद पर निर्भर नहीं हैं)। ये ऑपरेशन भागफल स्थान <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> के सभी Affine स्थान का समुच्चय है <math>V</math> जो [[समानांतर (ज्यामिति)]] हैं {{nowrap|<math>N</math>.}}<ref>{{Harvard citation text|Axler|2015}} p. 95, § 3.83</ref>
वैकल्पिक रूप से वाक्यांश, भागफल स्थान <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 से संबंधित हैं। यह भागफल रिक्त स्थान को ज्यामितीय रूप से देखने का एक तरीका देता है। (इन पंक्तियों को फिर से पैरामीटरेट करके, भागफल स्थान को पारंपरिक रूप से मूल के माध्यम से एक रेखा के साथ सभी बिंदुओं के स्थान के रूप में दर्शाया जा सकता है जो Y के समानांतर नहीं है। इसी तरह, 'R' के लिए भागफल स्थान<sup>3</sup> को फिर से सभी सह-समानांतर रेखाओं के समुच्चय के रूप में प्रस्तुत किया जा सकता है, या वैकल्पिक रूप से एक समतल (ज्यामिति) से युक्त सदिश स्थान के रूप में दर्शाया जा सकता है जो केवल मूल बिंदु पर रेखा को प्रतिच्छेद करता है।)
होने देना {{nowrap|1=''X'' = '''R'''<sup>2</sup>}} मानक [[कार्टेशियन विमान|कार्टेशियन तल]] हो, और Y को X में उत्पत्ति के माध्यम से एक [[रेखा (ज्यामिति)]] होने दें। फिर भागफल स्थान X/Y को X में सभी रेखाओं के स्थान से पहचाना जा सकता है जो Y के समानांतर हैं। कि, सेट X/Y के तत्व X में Y के समानांतर रेखाएँ हैं। ध्यान दें कि ऐसी किसी एक रेखा के साथ बिंदु तुल्यता संबंध को संतुष्ट करेंगे क्योंकि उनके अंतर वैक्टर Y से संबंधित हैं। यह भागफल रिक्त स्थान को ज्यामितीय रूप से देखने का एक विधि देता है। (इन पंक्तियों को फिर से पैरामीटरेट करके भागफल स्थान को पारंपरिक रूप से मूल के माध्यम से एक रेखा के साथ सभी बिंदुओं के स्थान के रूप में दर्शाया जा सकता है जो Y के समानांतर नहीं है। इसी तरह, ''''R'''<sup>3</sup> ' के लिए भागफल स्थान को फिर से सभी सह-समानांतर रेखाओं के समुच्चय के रूप में प्रस्तुत किया जा सकता है, या वैकल्पिक रूप से एक समतल (ज्यामिति) से युक्त सदिश स्थान के रूप में दर्शाया जा सकता है जो केवल मूल बिंदु पर रेखा को प्रतिच्छेद करता है।)


=== कार्टेशियन स्पेस के सबस्पेस ===
=== कार्टेशियन स्पेस के सबस्पेस ===


एक अन्य उदाहरण R का भागफल है<sup>n</sup> प्रथम m मानक आधार सदिशों द्वारा फैलाए गए उपस्थान द्वारा। अंतरिक्ष 'आर'<sup>n</sup> में [[वास्तविक संख्या]]ओं के सभी n-tuples होते हैं {{nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>)}}. सबस्पेस, आर के साथ पहचाना गया<sup>m</sup>, में सभी n-tuples शामिल हैं जैसे कि अंतिम n-m प्रविष्टियाँ शून्य हैं: {{nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''m''</sub>, 0, 0, ..., 0)}}. आर के दो वैक्टर<sup>n</sup> समान तुल्यता वर्ग मॉड्यूलो उपस्थान में हैं यदि और केवल यदि वे अंतिम n − m निर्देशांक में समान हैं। भागफल स्थान 'आर'<sup>एन</sup>/'आर'<sup>m</sup> 'R' के लिए तुल्याकारी है<sup>n−m</sup> एक स्पष्ट तरीके से।
एक अन्य उदाहरण '''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>.
माना <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:
=== लेबेसेग इंटीग्रल्स ===
=== लेबेसेग इंटीग्रल्स ===


एक कार्यात्मक भागफल स्थान का एक महत्वपूर्ण उदाहरण एक एलपी स्थान # एलपी रिक्त स्थान और लेबेसेग इंटीग्रल | एल है<sup>पी </सुप> स्थान।
कार्यात्मक भागफल स्थान का एक महत्वपूर्ण उदाहरण एक 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 के [[आयाम (वेक्टर स्थान)]] को V में U का '[[ codimension ]]' कहा जाता है। वी/यू का बी बी से ए के प्रत्येक तत्व के एक प्रतिनिधि (गणित) को जोड़कर, वी का आयाम यू और वी/यू के आयामों का योग है। यदि वी आयाम (वेक्टर स्पेस) | परिमित-आयामी है, तो यह इस प्रकार है कि वी में यू का कोड वी और यू के आयामों के बीच का अंतर है:<ref>{{Harvard citation text|Axler|2015}} p. 97, § 3.89</ref><ref>{{Harvard citation text|Halmos|1974}} p. 34, § 22, Theorem 2</ref>
यदि 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 का) प्लस छवि का आयाम (T का [[रैंक (रैखिक बीजगणित)]]
मान लीजिए 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 फिर से एक Banach स्थान है। भागफल स्थान पहले से ही पिछले खंड के निर्माण से एक सदिश अंतरिक्ष संरचना के साथ संपन्न है। हम एक्स/एम पर एक मानक (गणित) परिभाषित करते हैं
यदि 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 पूर्ण स्थान होता है, और इसलिए एक Banach स्थान होता है।{{Citation needed|date=November 2018}}
जब X पूर्ण होता है, तब मानक के संबंध में भागफल स्थान X/M पूर्ण स्थान होता है, और इसलिए एक बनच स्थान होता है।


=== उदाहरण ===
=== उदाहरण ===
सी [0,1] [[अंतराल (गणित)]] [0,1] पर निरंतर फ़ंक्शन वास्तविक-मूल्यवान फ़ंक्शन (गणित) के बानाच स्पेस को सुपर मानदंड के साथ इंगित करें। f(0) = 0 के साथ सभी फलनों f ∈ C[0,1] की उप-समष्टि को M द्वारा निरूपित करें। तब कुछ फलन g का तुल्यता वर्ग 0 पर इसके मान और भागफल स्थान द्वारा निर्धारित किया जाता है। {{nowrap|''C''[0,1]/''M''}} R के लिए तुल्याकारी है।
चलो 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'' के अनुमान।
यदि X एक [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्थान]] है, तो भागफल स्थान X/M, M के ऑर्थोगोनल पूरक के लिए आइसोमॉर्फिक है।


=== स्थानीय रूप से उत्तल रिक्त स्थान के लिए सामान्यीकरण ===
=== स्थानीय रूप से उत्तल रिक्त स्थान के लिए सामान्यीकरण ===
एक बंद उप-स्थान द्वारा [[स्थानीय रूप से उत्तल स्थान]] का अंश फिर से स्थानीय रूप से उत्तल होता है।<ref>{{Harvard citation text|Dieudonné|1976}} p. 65, § 12.14.8</ref> दरअसल, मान लीजिए कि एक्स स्थानीय रूप से उत्तल है ताकि एक्स पर [[टोपोलॉजिकल स्पेस]] [[सेमिनोर्म]] {पी के एक परिवार द्वारा उत्पन्न हो<sub>α</sub>| α ∈ A} जहां A एक इंडेक्स सेट है। मान लीजिए कि M एक बंद उपसमष्टि है और सेमीनॉर्म्स q परिभाषित करें<sub>α</sub> एक्स/एम पर
एक बंद उप-स्थान द्वारा [[स्थानीय रूप से उत्तल स्थान]] का अंश फिर से स्थानीय रूप से उत्तल होता है।<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>
यदि, इसके अतिरिक्त X [[metrizable|मेट्रिज़ेबल]] है, तो X/M भी है। यदि X एक फ्रेचेट स्थान है, तो X/M भी ऐसा ही है।<ref>{{Harvard citation text|Dieudonné|1976}} p. 54, § 12.11.3</ref>




== यह भी देखें ==
== यह भी देखें                         ==
* [[गुणक समूह]]
* [[गुणक समूह]]
* [[भागफल मॉड्यूल]]
* [[भागफल मॉड्यूल]]
Line 95: Line 99:
श्रेणी:कार्यात्मक विश्लेषण
श्रेणी:कार्यात्मक विश्लेषण
श्रेणी:रैखिक बीजगणित
श्रेणी:रैखिक बीजगणित
श्रेणी:भागफल वस्तुएं|अंतरिक्ष (रैखिक बीजगणित)
श्रेणी:भागफल वस्तुएं|स्थान (रैखिक बीजगणित)
 


[[Category: Machine Translated Page]]
[[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 'Rnm' के लिए तुल्याकारी है एक स्पष्ट विधि से है ।

बहुपद सदिश स्थान

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

सामान्य उप-स्थान

अधिक सामान्यतः यदि 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]


यह भी देखें

संदर्भ

  1. Halmos (1974) pp. 33-34 §§ 21-22
  2. Katznelson & Katznelson (2008) p. 9 § 1.2.4
  3. Roman (2005) p. 75-76, ch. 3
  4. Axler (2015) p. 95, § 3.83
  5. Halmos (1974) p. 34, § 22, Theorem 1
  6. Axler (2015) p. 97, § 3.89
  7. Halmos (1974) p. 34, § 22, Theorem 2
  8. Dieudonné (1976) p. 65, § 12.14.8
  9. 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.

श्रेणी:कार्यात्मक विश्लेषण श्रेणी:रैखिक बीजगणित श्रेणी:भागफल वस्तुएं|स्थान (रैखिक बीजगणित)