अल्प सम्मुचय: Difference between revisions
m (Abhishek moved page अल्प सेट to अल्प सम्मुचय without leaving a redirect) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|"Small" subset of a topological space}} | {{Short description|"Small" subset of a topological space}} | ||
[[सामान्य टोपोलॉजी]] के [[गणित]] | [[सामान्य टोपोलॉजी]] के [[गणित|गणितीय]] क्षेत्र में, एक छोटा [[सबसेट|समुच्चय]] (जिसे अल्प समुच्चय या पहली श्रेणी का समुच्चय भी कहा जाता है) एक [[टोपोलॉजिकल स्पेस]] का एक सबसेट है जो नीचे दिए गए सटीक अर्थों में छोटा या [[नगण्य सेट|नगण्य]] है। एक समुच्चय जो अल्प नहीं है, उसे गैर-समृद्ध या दूसरी श्रेणी का कहा जाता है। अन्य संबंधित शर्तों की परिभाषाओं के लिए नीचे देखें। | ||
एक निश्चित स्थान के | एक निश्चित स्थान के न्यूनतम उपसमुच्चय एक σ-मानक उपसमुच्चय बनाते हैं; अर्थात्, छोटे समुच्चय का कोई भी उपसमुच्चय छोटा होता है, और कई छोटे समुच्चयों का संघ छोटा होता है। | ||
[[बाहर की जगह]] और बेयर श्रेणी प्रमेय की धारणा के निर्माण में अल्प | [[बाहर की जगह|बेयर स्पेस]] और बेयर श्रेणी प्रमेय की धारणा के निर्माण में अल्प समुच्चय एक महत्वपूर्ण भूमिका निभाते हैं, जिसका उपयोग [[कार्यात्मक विश्लेषण]] के कई मूलभूत परिणामों के प्रमाण में किया जाता है। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
| Line 19: | Line 19: | ||
शब्दावली के एक अतिरिक्त बिंदु के रूप में, यदि एक उपसमुच्चय <math>A</math> एक टोपोलॉजिकल स्पेस का <math>X</math> से प्रेरित [[सबस्पेस टोपोलॉजी]] दी गई है <math>X</math>, कोई इसके बारे में एक अल्प स्थान होने के बारे में बात कर सकता है, अर्थात् स्वयं का एक अल्प उपसमुच्चय (जब अपने आप में एक स्थलीय स्थान के रूप में माना जाता है)। इस मामले में <math>A</math> की अल्प उपसमष्टि भी कहा जा सकता है <math>X</math>, जिसका अर्थ है एक अल्प स्थान जब उप-स्थान टोपोलॉजी दिया जाता है। महत्वपूर्ण रूप से, यह संपूर्ण स्थान में कम होने के समान नहीं है <math>X</math>. (दोनों के बीच संबंध के लिए नीचे दिए गए गुण और उदाहरण अनुभाग देखें।) इसी तरह, एक गैर-अंश उप-स्थान एक ऐसा सेट होगा जो अपने आप में गैर-अंश है, जो पूरे अंतरिक्ष में गैर-अंश के समान नहीं है। हालांकि जागरूक रहें कि [[टोपोलॉजिकल वेक्टर रिक्त स्थान]] के संदर्भ में कुछ लेखक एक वेक्टर सबस्पेस का अर्थ करने के लिए मेग्रे/नॉनमीग्रे सबस्पेस वाक्यांश का उपयोग कर सकते हैं जो पूरे स्थान के सापेक्ष एक अल्प/नॉनमेग्रे सेट है।<ref>{{cite web |last1=Schaefer |first1=Helmut H. |title=टोपोलॉजिकल वेक्टर स्पेस|url=https://books.google.com/books?id=5_1QAAAAMAAJ&q=%22meager+subspace%22&dq=%22meager+subspace%22 |publisher=Macmillan |date=1966}}</ref> | शब्दावली के एक अतिरिक्त बिंदु के रूप में, यदि एक उपसमुच्चय <math>A</math> एक टोपोलॉजिकल स्पेस का <math>X</math> से प्रेरित [[सबस्पेस टोपोलॉजी]] दी गई है <math>X</math>, कोई इसके बारे में एक अल्प स्थान होने के बारे में बात कर सकता है, अर्थात् स्वयं का एक अल्प उपसमुच्चय (जब अपने आप में एक स्थलीय स्थान के रूप में माना जाता है)। इस मामले में <math>A</math> की अल्प उपसमष्टि भी कहा जा सकता है <math>X</math>, जिसका अर्थ है एक अल्प स्थान जब उप-स्थान टोपोलॉजी दिया जाता है। महत्वपूर्ण रूप से, यह संपूर्ण स्थान में कम होने के समान नहीं है <math>X</math>. (दोनों के बीच संबंध के लिए नीचे दिए गए गुण और उदाहरण अनुभाग देखें।) इसी तरह, एक गैर-अंश उप-स्थान एक ऐसा सेट होगा जो अपने आप में गैर-अंश है, जो पूरे अंतरिक्ष में गैर-अंश के समान नहीं है। हालांकि जागरूक रहें कि [[टोपोलॉजिकल वेक्टर रिक्त स्थान]] के संदर्भ में कुछ लेखक एक वेक्टर सबस्पेस का अर्थ करने के लिए मेग्रे/नॉनमीग्रे सबस्पेस वाक्यांश का उपयोग कर सकते हैं जो पूरे स्थान के सापेक्ष एक अल्प/नॉनमेग्रे सेट है।<ref>{{cite web |last1=Schaefer |first1=Helmut H. |title=टोपोलॉजिकल वेक्टर स्पेस|url=https://books.google.com/books?id=5_1QAAAAMAAJ&q=%22meager+subspace%22&dq=%22meager+subspace%22 |publisher=Macmillan |date=1966}}</ref> | ||
पहली श्रेणी और दूसरी श्रेणी के शब्द मूल रूप से रेने बेयर द्वारा 1899 की अपनी थीसिस में इस्तेमाल किए गए थे।<ref>{{cite journal |last1=Baire |first1=René |title=वास्तविक चर के कार्यों पर|journal=Annali di Mat. Pura ed Appl. |date=1899 |pages=1-123 |url=https://archive.org/details/surlesfonctions00bairgoog/page/n12/mode/2up |series=3}}, page 65</ref> अल्प शब्दावली 1948 में [[निकोलस बोरबाकी]] द्वारा पेश की गई थी।<ref>{{cite journal |last1=Oxtoby |first1=J. |title=बेयर स्पेस के कार्टेशियन उत्पाद|journal=Fundamenta Mathematicae |date=1961 |volume=49 |issue=2 |pages=157–166 |doi=10.4064/fm-49-2-157-166 |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm49/fm49113.pdf}}"Following Bourbaki [...], a topological space is called a Baire space if ..."</ref>{{sfn|Bourbaki|1989|p=192}} | पहली श्रेणी और दूसरी श्रेणी के शब्द मूल रूप से रेने बेयर द्वारा 1899 की अपनी थीसिस में इस्तेमाल किए गए थे।<ref>{{cite journal |last1=Baire |first1=René |title=वास्तविक चर के कार्यों पर|journal=Annali di Mat. Pura ed Appl. |date=1899 |pages=1-123 |url=https://archive.org/details/surlesfonctions00bairgoog/page/n12/mode/2up |series=3}}, page 65</ref> अल्प शब्दावली 1948 में [[निकोलस बोरबाकी]] द्वारा पेश की गई थी।<ref>{{cite journal |last1=Oxtoby |first1=J. |title=बेयर स्पेस के कार्टेशियन उत्पाद|journal=Fundamenta Mathematicae |date=1961 |volume=49 |issue=2 |pages=157–166 |doi=10.4064/fm-49-2-157-166 |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm49/fm49113.pdf}}"Following Bourbaki [...], a topological space is called a Baire space if ..."</ref>{{sfn|Bourbaki|1989|p=192}} | ||
== गुण == | == गुण == | ||
Revision as of 17:18, 5 December 2022
सामान्य टोपोलॉजी के गणितीय क्षेत्र में, एक छोटा समुच्चय (जिसे अल्प समुच्चय या पहली श्रेणी का समुच्चय भी कहा जाता है) एक टोपोलॉजिकल स्पेस का एक सबसेट है जो नीचे दिए गए सटीक अर्थों में छोटा या नगण्य है। एक समुच्चय जो अल्प नहीं है, उसे गैर-समृद्ध या दूसरी श्रेणी का कहा जाता है। अन्य संबंधित शर्तों की परिभाषाओं के लिए नीचे देखें।
एक निश्चित स्थान के न्यूनतम उपसमुच्चय एक σ-मानक उपसमुच्चय बनाते हैं; अर्थात्, छोटे समुच्चय का कोई भी उपसमुच्चय छोटा होता है, और कई छोटे समुच्चयों का संघ छोटा होता है।
बेयर स्पेस और बेयर श्रेणी प्रमेय की धारणा के निर्माण में अल्प समुच्चय एक महत्वपूर्ण भूमिका निभाते हैं, जिसका उपयोग कार्यात्मक विश्लेषण के कई मूलभूत परिणामों के प्रमाण में किया जाता है।
परिभाषाएँ
हर जगह, एक टोपोलॉजिकल स्पेस होगा।
का एक उपसमुच्चय कहा जाता हैmeagre in एकmeagre subset का या काfirst category में अगर यह कहीं नहीं घने उपसमुच्चय का एक गणनीय संघ है (जहाँ कहीं नहीं सघन समुच्चय एक ऐसा समुच्चय होता है जिसके संवरण में खाली आंतरिक भाग होता है)।[1] क्वालीफायर में यदि परिवेश स्थान निश्चित है और संदर्भ से समझा जाता है तो छोड़ा जा सकता है।
एक उपसमुच्चय जो अल्प नहीं है कहा जाता हैnonmeagre in एकnonmeagre subset का या काsecond category में [1] एक टोपोलॉजिकल स्पेस कहा जाता हैmeagre(क्रमश,nonmeagre) यदि यह स्वयं का एक अल्प (क्रमशः, गैर-मामूली) उपसमुच्चय है।
उपसमुच्चय का कहा जाता हैcomeagre में याresidual में यदि इसका पूरक (सेट सिद्धांत) में अल्प है . (उपसर्ग सह का यह प्रयोग अन्य शब्दों जैसे कि सहमितता में इसके उपयोग के अनुरूप है।) एक उपसमुच्चय कॉमएग्रे में होता है अगर और केवल अगर यह सेट के एक गणनीय चौराहे (सेट सिद्धांत) के बराबर है, जिसका प्रत्येक इंटीरियर घना है नॉनमेग्रे और कॉमेग्रे की धारणाओं को भ्रमित नहीं किया जाना चाहिए। यदि अंतरिक्ष अल्प है, प्रत्येक उपसमुच्चय अल्प और लघु दोनों है, और कोई अल्पांश समुच्चय नहीं है। यदि अंतरिक्ष नॉनमेयर है, कोई भी सेट एक ही समय में छोटा और कम नहीं है, हर कॉमेग्रे सेट नॉनमेयर है, और ऐसे नॉनमेग्रे सेट हो सकते हैं जो कॉमेग्रे नहीं हैं, यानी नॉनमेग्रे कॉम्प्लिमेंट के साथ। नीचे उदाहरण अनुभाग देखें।
शब्दावली के एक अतिरिक्त बिंदु के रूप में, यदि एक उपसमुच्चय एक टोपोलॉजिकल स्पेस का से प्रेरित सबस्पेस टोपोलॉजी दी गई है , कोई इसके बारे में एक अल्प स्थान होने के बारे में बात कर सकता है, अर्थात् स्वयं का एक अल्प उपसमुच्चय (जब अपने आप में एक स्थलीय स्थान के रूप में माना जाता है)। इस मामले में की अल्प उपसमष्टि भी कहा जा सकता है , जिसका अर्थ है एक अल्प स्थान जब उप-स्थान टोपोलॉजी दिया जाता है। महत्वपूर्ण रूप से, यह संपूर्ण स्थान में कम होने के समान नहीं है . (दोनों के बीच संबंध के लिए नीचे दिए गए गुण और उदाहरण अनुभाग देखें।) इसी तरह, एक गैर-अंश उप-स्थान एक ऐसा सेट होगा जो अपने आप में गैर-अंश है, जो पूरे अंतरिक्ष में गैर-अंश के समान नहीं है। हालांकि जागरूक रहें कि टोपोलॉजिकल वेक्टर रिक्त स्थान के संदर्भ में कुछ लेखक एक वेक्टर सबस्पेस का अर्थ करने के लिए मेग्रे/नॉनमीग्रे सबस्पेस वाक्यांश का उपयोग कर सकते हैं जो पूरे स्थान के सापेक्ष एक अल्प/नॉनमेग्रे सेट है।[2] पहली श्रेणी और दूसरी श्रेणी के शब्द मूल रूप से रेने बेयर द्वारा 1899 की अपनी थीसिस में इस्तेमाल किए गए थे।[3] अल्प शब्दावली 1948 में निकोलस बोरबाकी द्वारा पेश की गई थी।[4][5]
गुण
कहीं नहीं का सघन उपसमुच्चय अल्प है। नतीजतन, खाली इंटीरियर वाला कोई भी बंद उपसमुच्चय अल्प है। इस प्रकार का एक बंद नॉनमेग्रे सबसेट गैर-खाली इंटीरियर होना चाहिए।
(1) अल्प समुच्चय का कोई भी उपसमुच्चय अल्प होता है; (2) अल्प समुच्चयों का कोई भी गणनीय संघ अल्प होता है। इस प्रकार एक निश्चित स्थान के अल्प उपसमुच्चय एक सिग्मा-आदर्श | σ-आदर्श उपसमुच्चयों का निर्माण करते हैं, नगण्य समुच्चय की एक उपयुक्त धारणा। और, समतुल्य (1) के लिए, एक गैर-समुच्चय का कोई भी सुपरसेट nonmeagre है।
वास्तव में, (1) कॉमएग्रे सेट का कोई भी सुपरसेट कॉमएग्रे होता है; (2) कॉमेग्रे समुच्चयों का कोई भी गणनीय प्रतिच्छेदन कॉमएग्रे होता है।
मान लीजिए कहाँ पे सबस्पेस टोपोलॉजी से प्रेरित है सेट में अल्प हो सकता है में अल्प होने के बिना हालाँकि निम्नलिखित परिणाम धारण करते हैं:[5]
- यदि में अल्प है फिर में अल्प है
- यदि में खुला है फिर में अल्प है अगर और केवल अगर में अल्प है
- यदि में घना है फिर में अल्प है अगर और केवल अगर में अल्प है
और तदनुसार गैर अल्प सेट के लिए:
- यदि में अल्प है फिर में अल्प है
- यदि में खुला है फिर में अल्प है अगर और केवल अगर में अल्प है
- यदि में घना है फिर में अल्प है