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

रैखिक बीजगणित में, सदिश समष्टि का भागफल $$V$$ एक रेखीय उप-स्थान द्वारा $$N$$ एक सदिश स्थान है जो ढहने से प्राप्त होता है $$N$$ शून्य करने के लिए। प्राप्त स्थान को भागफल स्थान कहा जाता है और इसे निरूपित किया जाता है $$V/N$$ (पढ़ना$$V$$ ख़िलाफ़ $$N$$या$$V$$ द्वारा $$N$$).

परिभाषा
औपचारिक रूप से, निर्माण इस प्रकार है। होने देना $$V$$ एक क्षेत्र पर एक वेक्टर स्थान बनें (गणित) $$\mathbb{K}$$, और जाने $$N$$ की एक रेखीय उपसमष्टि हो $$V$$. हम एक तुल्यता संबंध को परिभाषित करते हैं $$\sim$$ पर $$V$$ यह बताते हुए $$x \sim y$$ अगर $x - y \in N$. वह है, $$x$$ से संबंधित है $$y$$ यदि एक का तत्व जोड़कर दूसरे से प्राप्त किया जा सकता है $$N$$. इस परिभाषा से कोई यह निष्कर्ष निकाल सकता है कि कोई भी तत्व $$N$$ शून्य वेक्टर से संबंधित है; अधिक सटीक रूप से, सभी वैक्टर में $$N$$ शून्य वेक्टर के समतुल्य वर्ग में मैप करें।

तुल्यता वर्ग - या, इस मामले में, सह समुच्चय  - का $$x$$ अक्सर निरूपित किया जाता है
 * $$[x] = x + N$$

चूंकि यह द्वारा दिया गया है
 * $$[x] = \{ x + n: n \in N \}$$

भागफल स्थान $$V/N$$ तब के रूप में परिभाषित किया गया है $$V/_\sim$$, द्वारा प्रेरित सभी तुल्यता वर्गों का सेट $$\sim$$ पर $$V$$. स्केलर गुणन और जोड़ को समतुल्यता वर्गों द्वारा परिभाषित किया गया है *$$\alpha [x] = [\alpha x]$$ सभी के लिए $$\alpha \in \mathbb{K}$$, और यह जांचना मुश्किल नहीं है कि ये ऑपरेशन अच्छी तरह से परिभाषित हैं (यानी प्रतिनिधि (गणित) की पसंद पर निर्भर नहीं हैं)। ये ऑपरेशन भागफल स्थान को बदल देते हैं $$V/N$$ एक सदिश स्थान में $$\mathbb{K}$$ साथ $$N$$ शून्य वर्ग होने के नाते, $$[0]$$.
 * $$[x] + [y] = [x+y]$$.

मैपिंग जो इससे संबद्ध है $v \in V$ समतुल्य वर्ग $$[v]$$ भागफल मानचित्र के रूप में जाना जाता है।

वैकल्पिक रूप से वाक्यांश, भागफल स्थान $$V/N$$ के सभी Affine स्थान का समुच्चय है $$V$$ जो समानांतर (ज्यामिति) हैं $N$.

कार्तीय तल में रेखाएँ
होने देना X = R2 मानक कार्टेशियन विमान हो, और Y को X में उत्पत्ति के माध्यम से एक रेखा (ज्यामिति) होने दें। फिर भागफल स्थान X/Y को X में सभी रेखाओं के स्थान से पहचाना जा सकता है जो Y के समानांतर हैं। कि, सेट X/Y के तत्व X में Y के समानांतर रेखाएँ हैं। ध्यान दें कि ऐसी किसी एक रेखा के साथ बिंदु तुल्यता संबंध को संतुष्ट करेंगे क्योंकि उनके अंतर वैक्टर Y से संबंधित हैं। यह भागफल रिक्त स्थान को ज्यामितीय रूप से देखने का एक तरीका देता है। (इन पंक्तियों को फिर से पैरामीटरेट करके, भागफल स्थान को पारंपरिक रूप से मूल के माध्यम से एक रेखा के साथ सभी बिंदुओं के स्थान के रूप में दर्शाया जा सकता है जो Y के समानांतर नहीं है। इसी तरह, 'R' के लिए भागफल स्थान3 को फिर से सभी सह-समानांतर रेखाओं के समुच्चय के रूप में प्रस्तुत किया जा सकता है, या वैकल्पिक रूप से एक समतल (ज्यामिति) से युक्त सदिश स्थान के रूप में दर्शाया जा सकता है जो केवल मूल बिंदु पर रेखा को प्रतिच्छेद करता है।)

कार्टेशियन स्पेस के सबस्पेस
एक अन्य उदाहरण R का भागफल हैn प्रथम m मानक आधार सदिशों द्वारा फैलाए गए उपस्थान द्वारा। अंतरिक्ष 'आर'n में वास्तविक संख्याओं के सभी n-tuples होते हैं (x1, ..., xn). सबस्पेस, आर के साथ पहचाना गयाm, में सभी n-tuples शामिल हैं जैसे कि अंतिम n-m प्रविष्टियाँ शून्य हैं: (x1, ..., xm, 0, 0, ..., 0). आर के दो वैक्टरn समान तुल्यता वर्ग मॉड्यूलो उपस्थान में हैं यदि और केवल यदि वे अंतिम n − m निर्देशांक में समान हैं। भागफल स्थान 'आर'एन/'आर'm 'R' के लिए तुल्याकारी हैn−m एक स्पष्ट तरीके से।

बहुपद सदिश स्थान
होने देना $$\mathcal{P}_3(\mathbb{R})$$ वास्तविक संख्याओं पर सभी घन बहुपदों का सदिश स्थान हो। तब $$\mathcal{P}_3(\mathbb{R}) / \langle x^2 \rangle $$ भागफल स्थान है, जहां प्रत्येक तत्व बहुपदों के अनुरूप सेट है जो केवल द्विघात पद से भिन्न होता है। उदाहरण के लिए, भागफल स्थान का एक तत्व है $$\{x^3 + a x^2 - 2x + 3 : a \in \mathbb{R}\}$$, जबकि भागफल स्थान का एक अन्य तत्व है $$\{a x^2 + 2.7 x : a \in \mathbb{R}\}$$.

सामान्य उप-स्थान
अधिक आम तौर पर, यदि वी एक (आंतरिक) उप-स्थानों यू और डब्ल्यू का प्रत्यक्ष योग है,
 * $$V=U\oplus W$$

तो भागफल स्थान V/U W में प्राकृतिक परिवर्तन है।

लेबेसेग इंटीग्रल्स
एक कार्यात्मक भागफल स्थान का एक महत्वपूर्ण उदाहरण एक एलपी स्थान # एलपी रिक्त स्थान और लेबेसेग इंटीग्रल | एल है पी  स्थान।

गुण
इसके समतुल्य वर्ग [x] को x भेजकर दिए गए भागफल स्थान V/U के लिए V से एक प्राकृतिक अधिरूपता है। इस एपिमोर्फिज्म का कर्नेल (रैखिक बीजगणित) (या नलस्पेस) उप-स्थान यू है। इस रिश्ते को संक्षिप्त सटीक अनुक्रम द्वारा बड़े करीने से संक्षेपित किया गया है
 * $$0\to U\to V\to V/U\to 0.\,$$

यदि U, V की एक उपसमष्टि है, तो V/U के आयाम (वेक्टर स्थान) को V में U का ' codimension ' कहा जाता है। वी/यू का बी बी से ए के प्रत्येक तत्व के एक प्रतिनिधि (गणित) को जोड़कर, वी का आयाम यू और वी/यू के आयामों का योग है। यदि वी आयाम (वेक्टर स्पेस) | परिमित-आयामी है, तो यह इस प्रकार है कि वी में यू का कोड वी और यू के आयामों के बीच का अंतर है:
 * $$\mathrm{codim}(U) = \dim(V/U) = \dim(V) - \dim(U).$$

मान लीजिए T : V → W एक रैखिक संकारक है। T का कर्नेल, जिसे ker(T) के रूप में दर्शाया गया है, V में सभी x का समुच्चय है जैसे कि Tx = 0. कर्नेल V की एक उपसमष्टि है। ) डब्ल्यू में वी की छवि (गणित) के लिए आइसोमोर्फिक है। परिमित-आयामी रिक्त स्थान के लिए एक तत्काल परिणाम, रैंक-शून्य प्रमेय है: वी का आयाम कर्नेल (कर्नेल (रैखिक बीजगणित) के आयाम के बराबर है) T का) प्लस छवि का आयाम (T का रैंक (रैखिक बीजगणित)।

रैखिक संकारक T : V → W के cokernel  को भागफल स्थान W/im(T) के रूप में परिभाषित किया गया है।

एक उप-स्थान द्वारा एक बनच स्थान का भागफल
यदि X एक बनच स्थान है और M, X का एक बंद सेट उप-स्थान है, तो भागफल X/M फिर से एक Banach स्थान है। भागफल स्थान पहले से ही पिछले खंड के निर्माण से एक सदिश अंतरिक्ष संरचना के साथ संपन्न है। हम एक्स/एम पर एक मानक (गणित) परिभाषित करते हैं
 * $$ \| [x] \|_{X/M} = \inf_{m \in M} \|x-m\|_X = \inf_{m \in M} \|x+m\|_X = \inf_{y\in [x]}\|y\|_X. $$

जब X पूर्ण होता है, तब मानक के संबंध में भागफल स्थान X/M पूर्ण स्थान होता है, और इसलिए एक Banach स्थान होता है।

उदाहरण
सी [0,1] अंतराल (गणित) [0,1] पर निरंतर फ़ंक्शन वास्तविक-मूल्यवान फ़ंक्शन (गणित) के बानाच स्पेस को सुपर मानदंड के साथ इंगित करें। f(0) = 0 के साथ सभी फलनों f ∈ C[0,1] की उप-समष्टि को M द्वारा निरूपित करें। तब कुछ फलन g का तुल्यता वर्ग 0 पर इसके मान और भागफल स्थान द्वारा निर्धारित किया जाता है। C[0,1]/M R के लिए तुल्याकारी है।

अगर X एक हिल्बर्ट अंतरिक्ष  है, तो भागफल स्पेस X/M हिल्बर्ट स्पेस के लिए आइसोमोर्फिक है #ऑर्थोगोनल पूरक और M के अनुमान।

स्थानीय रूप से उत्तल रिक्त स्थान के लिए सामान्यीकरण
एक बंद उप-स्थान द्वारा स्थानीय रूप से उत्तल स्थान का अंश फिर से स्थानीय रूप से उत्तल होता है। दरअसल, मान लीजिए कि एक्स स्थानीय रूप से उत्तल है ताकि एक्स पर टोपोलॉजिकल स्पेस सेमिनोर्म {पी के एक परिवार द्वारा उत्पन्न होα| α ∈ A} जहां A एक इंडेक्स सेट है। मान लीजिए कि M एक बंद उपसमष्टि है और सेमीनॉर्म्स q परिभाषित करेंα एक्स/एम पर


 * $$q_\alpha([x]) = \inf_{v\in [x]} p_\alpha(v).$$

फिर एक्स/एम स्थानीय रूप से उत्तल स्थान है, और उस पर टोपोलॉजी भागफल टोपोलॉजी है।

यदि, इसके अलावा, X metrizable है, तो X/M भी है। यदि X एक फ्रेचेट स्थान है, तो X/M भी ऐसा ही है।

यह भी देखें

 * गुणक समूह
 * भागफल मॉड्यूल
 * भागफल सेट
 * भागफल स्थान (टोपोलॉजी)

स्रोत


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