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

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

परिभाषा
औपचारिक रूप से, निर्माण इस प्रकार है । मान लीजिए कि $$\mathbb{K}$$ पर $$V$$ एक सदिश स्थान है, और $$N$$ को $$V$$ का एक उपस्थान होना चाहिए। हम $$V$$ पर एक तुल्यता संबंध$$\sim$$ को $$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$$ के रूप में परिभाषित किया जाता है, $$V$$ पर $$\sim$$ द्वारा प्रेरित सभी तुल्यता वर्गों का सेट। स्केलर गुणन और जोड़ को तुल्यता वर्गों पर परिभाषित किया जाता है

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

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

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

कार्तीय तल में रेखाएँ
होने देना 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' के लिए तुल्याकारी है एक स्पष्ट विधि  से है ।

बहुपद सदिश स्थान
माना $$\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 और W का प्रत्यक्ष योग है,
 * $$V=U\oplus W$$

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

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

कार्यात्मक भागफल स्थान का एक महत्वपूर्ण उदाहरण एक Lp स्थान है।

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

यदि U, V की एक उपसमष्टि है, तो V/U के आयाम को V में U का कोडिमेंशन कहा जाता है। चूँकि V का आधार U के आधार A और V/U के आधार B से एक प्रतिनिधि जोड़कर बनाया जा सकता है। B से A के प्रत्येक तत्व, V का आयाम U और V/U के आयामों का योग है। यदि V परिमित-आयामी है, तो यह इस प्रकार है कि V में U का कोड V और U के आयामों के बीच का अंतर है:


 * $$\mathrm{codim}(U) = \dim(V/U) = \dim(V) - \dim(U).$$

मान लीजिए 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 फिर से एक 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 भी ऐसा ही है।

यह भी देखें

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

स्रोत


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