अल्प सम्मुचय: Difference between revisions

From Vigyanwiki
Line 25: Line 25:
== गुण ==
== गुण ==


कहीं नहीं का सघन उपसमुच्चय <math>X</math> अल्प है। नतीजतन, खाली इंटीरियर वाला कोई भी बंद उपसमुच्चय अल्प है। इस प्रकार का एक बंद नॉनमेग्रे सबसेट <math>X</math> गैर-खाली इंटीरियर होना चाहिए।
<math>X</math> का हर कहीं नहीं-सघन उपसमुच्चय अल्प है। नतीजतन, एक खाली इंटीरियर के साथ कोई भी बंद उपसमुच्चय अल्प है। इस प्रकार <math>X</math> के एक बंद गैर-मामूली उपसमुच्चय में एक गैर-खाली इंटीरियर होना चाहिए।


(1) अल्प समुच्चय का कोई भी उपसमुच्चय अल्प होता है; (2) अल्प समुच्चयों का कोई भी गणनीय संघ अल्प होता है। इस प्रकार एक निश्चित स्थान के अल्प उपसमुच्चय एक सिग्मा-आदर्श | σ-आदर्श उपसमुच्चयों का निर्माण करते हैं, नगण्य समुच्चय की एक उपयुक्त धारणा। और, समतुल्य (1) के लिए, एक गैर-समुच्चय का कोई भी सुपरसेट nonmeagre है।
(1) किसी छोटे समुच्चय का कोई उपसमुच्चय छोटा होता है; (2) छोटे समुच्चयों का कोई भी गणनीय संघ छोटा होता है। इस प्रकार एक निश्चित स्थान के तुच्छ उपसमुच्चय, उपसमुच्चयों के σ-मानक का निर्माण करते हैं, जो नगण्य समुच्चय की एक उपयुक्त धारणा है। और, समतुल्य (1), गैर-लघु समुच्चय का कोई भी सुपरसेट गैर-अल्प है।


वास्तव में, (1) कॉमएग्रे सेट का कोई भी सुपरसेट कॉमएग्रे होता है; (2) कॉमेग्रे समुच्चयों का कोई भी गणनीय प्रतिच्छेदन कॉमएग्रे होता है।
वास्तव में, (1) कोमाग्रे सेट का कोई सुपरसेट कॉमाग्रे है; (2) कॉमग्रे सेट का कोई भी गणनीय कॉमग्रे है।


मान लीजिए <math>A\subseteq Y\subseteq X,</math> कहाँ पे <math>Y</math> सबस्पेस टोपोलॉजी से प्रेरित है <math>X.</math> सेट <math>A</math> में अल्प हो सकता है <math>X</math> में अल्प होने के बिना <math>Y.</math> हालाँकि निम्नलिखित परिणाम धारण करते हैं:{{sfn|Bourbaki|1989|p=192}}
मान लीजिए <math>A\subseteq Y\subseteq X,</math> कहाँ पे <math>Y</math> सबस्पेस टोपोलॉजी से प्रेरित है <math>X.</math> सेट <math>A</math> में अल्प हो सकता है <math>X</math> में अल्प होने के बिना <math>Y.</math> हालाँकि निम्नलिखित परिणाम धारण करते हैं:{{sfn|Bourbaki|1989|p=192}}
Line 39: Line 39:
* यदि <math>Y</math> में खुला है <math>X,</math> फिर <math>A</math> में अल्प है <math>Y</math> अगर और केवल अगर <math>A</math> में अल्प है <math>X.</math>
* यदि <math>Y</math> में खुला है <math>X,</math> फिर <math>A</math> में अल्प है <math>Y</math> अगर और केवल अगर <math>A</math> में अल्प है <math>X.</math>
* यदि <math>Y</math> में घना है <math>X,</math> फिर <math>A</math> में अल्प है <math>Y</math> अगर और केवल अगर <math>A</math> में अल्प है <math>X.</math>
* यदि <math>Y</math> में घना है <math>X,</math> फिर <math>A</math> में अल्प है <math>Y</math> अगर और केवल अगर <math>A</math> में अल्प है <math>X.</math>
विशेष रूप से, का हर सबसेट <math>X</math> जो अपने आप में अल्प है वह अपने आप में अल्प है <math>X.</math> का हर उपसमुच्चय <math>X</math> वह गैर-मामूली है <math>X</math> अपने आप में तुच्छ है। और एक खुले सेट या घने सेट के लिए <math>X,</math> में अल्प होना <math>X</math> अपने आप में अल्प होने के बराबर है, और इसी तरह गैर-संपत्ति के लिए।
विशेष रूप से, का हर सबसेट <math>X</math> जो अपने आप में अल्प है वह अपने आप में अल्प है <math>X.</math> का हर उपसमुच्चय <math>X</math> वह गैर-अल्प है <math>X</math> अपने आप में तुच्छ है। और एक खुले सेट या घने समुच्चय के लिए <math>X,</math> में अल्प होना <math>X</math> अपने आप में अल्प होने के बराबर है, और इसी तरह गैर-संपत्ति के लिए।


कोई भी टोपोलॉजिकल स्पेस जिसमें एक [[पृथक बिंदु]] होता है, नॉनमग्रे होता है (क्योंकि पृथक बिंदु वाला कोई भी सेट कहीं भी घना नहीं हो सकता है)। विशेष रूप से, प्रत्येक गैर-खाली [[असतत स्थान]] गैर-महत्वपूर्ण है।
कोई भी टोपोलॉजिकल स्पेस जिसमें एक [[पृथक बिंदु]] होता है, नॉनमग्रे होता है (क्योंकि पृथक बिंदु वाला कोई भी सेट कहीं भी घना नहीं हो सकता है)। विशेष रूप से, प्रत्येक गैर-खाली [[असतत स्थान]] गैर-महत्वपूर्ण है।


एक टोपोलॉजिकल स्पेस <math>X</math> नॉनमेग्रे है अगर और केवल अगर घने खुले सेट के प्रत्येक गणनीय चौराहे में <math>X</math> खाली नहीं है।{{sfn|Willard|2004|loc=Theorem 25.2}}
'''''एक टोपोलॉजिकल स्पेस''''' <math>X</math> गैर-अल्प है अगर और केवल अगर घने खुले सेट के प्रत्येक गणनीय चौराहे में <math>X</math> खाली नहीं है।{{sfn|Willard|2004|loc=Theorem 25.2}}
 
प्रत्येक गैर-खाली बायर स्थान गैर-अंक है। विशेष रूप से, बायर श्रेणी प्रमेय द्वारा प्रत्येक गैर-खाली [[पूर्ण मीट्रिक स्थान]] और प्रत्येक गैर-खाली [[स्थानीय रूप से कॉम्पैक्ट हौसडॉर्फ]] स्थान गैर-अंश है।
प्रत्येक गैर-खाली बायर स्थान गैर-अंक है। विशेष रूप से, बायर श्रेणी प्रमेय द्वारा प्रत्येक गैर-खाली [[पूर्ण मीट्रिक स्थान]] और प्रत्येक गैर-खाली [[स्थानीय रूप से कॉम्पैक्ट हौसडॉर्फ]] स्थान गैर-अंश है।


Revision as of 17:49, 5 December 2022

सामान्य टोपोलॉजी के गणितीय क्षेत्र में, एक छोटा समुच्चय (जिसे अल्प समुच्चय या पहली श्रेणी का समुच्चय भी कहा जाता है) एक टोपोलॉजिकल स्पेस का एक सबसेट है जो नीचे दिए गए सटीक अर्थों में छोटा या नगण्य है। एक समुच्चय जो अल्प नहीं है, उसे गैर-समृद्ध या दूसरी श्रेणी का कहा जाता है। अन्य संबंधित शर्तों की परिभाषाओं के लिए नीचे देखें।

एक निश्चित स्थान के न्यूनतम उपसमुच्चय एक σ-मानक उपसमुच्चय बनाते हैं; अर्थात्, छोटे समुच्चय का कोई भी उपसमुच्चय छोटा होता है, और कई छोटे समुच्चयों का संघ छोटा होता है।

बेयर स्पेस और बेयर श्रेणी प्रमेय की धारणा के निर्माण में अल्प समुच्चय एक महत्वपूर्ण भूमिका निभाते हैं, जिसका उपयोग कार्यात्मक विश्लेषण के कई मूलभूत परिणामों के प्रमाण में किया जाता है।

परिभाषाएँ

हर जगह, एक टोपोलॉजिकल स्पेस होगा।

के एक उपसमुच्चय को में अल्प कहा जाता है, का अल्प उपसमुच्चय, या में पहली श्रेणी का, यदि यह X के कहीं नहीं सघन उपसमुच्चय का एक गणनीय संघ है (जहाँ कहीं भी सघन समुच्चय एक ऐसा समुच्चय है जिसका संवरण एक रिक्त आंतरिक भाग है ).[1] क्वालिफायर " में" छोड़ा जा सकता है यदि परिवेश स्थान तय हो और संदर्भ से समझा जाए।

एक उपसमुच्चय जो में कम नहीं है, में गैर अल्प उपसमुच्चय है या में दूसरी श्रेणी का है।[1]

एक टोपोलॉजिकल स्पेस को अल्प (क्रमशः, गैर अल्प उपसमुच्चय) कहा जाता है यदि यह स्वयं का अल्प (क्रमशः, गैर अल्प उपसमुच्चय) उपसमुच्चय है।[1]

X का एक उपसमुच्चय को में कोमेग्रे कहा जाता है, या में अवशिष्ट कहा जाता है, यदि इसका पूरक (सेट सिद्धांत सेट माइनस में अल्प है। (उपसर्ग "co" का यह प्रयोग अन्य शब्दों में इसके उपयोग के अनुरूप है जैसे " कोफिनिट"।) एक उपसमुच्चय में कमग्रे है अगर और केवल अगर यह समुच्चय के एक गणनीय क्रॉस के बराबर है, जिसका प्रत्येक इंटीरियर में घना है।

गैर अल्प और कॉमेग्रे की धारणाओं को भ्रमित नहीं किया जाना चाहिए। यदि स्थान अल्प है, तो प्रत्येक उपसमुच्चय अल्प और लघु दोनों है, और कोई भी अल्पांश समुच्चय नहीं है। यदि स्पेस नॉनमेयर है, तो कोई भी सेट एक ही समय में कम और कम नहीं है, प्रत्येक कॉमेग्रे सेट नॉनमेयर है, और ऐसे गैर अल्प समुच्चय हो सकते हैं जो कॉमेग्रे नहीं हैं, यानी गैर अल्प कॉम्प्लिमेंट के साथ। नीचे उदाहरण अनुभाग देखें।

शब्दावली के एक अतिरिक्त बिंदु के रूप में, यदि एक टोपोलॉजिकल स्पेस के एक उपसमुच्चय को से प्रेरित सबस्पेस टोपोलॉजी दिया जाता है, तो कोई इसके बारे में बात कर सकता है कि यह एक अल्प स्थान है, अर्थात् स्वयं का एक अल्प उपसमुच्चय (जब एक टोपोलॉजिकल स्पेस के रूप में माना जाता है) इसका अपना अधिकार)। इस मामले में, को का अल्प उप-स्थान भी कहा जा सकता है, जिसका अर्थ उप-स्थान टोपोलॉजी दिए जाने पर अल्प स्थान है। महत्वपूर्ण रूप से, यह संपूर्ण स्थान में अल्प होने के समान नहीं है। (दोनों के बीच संबंध के लिए नीचे गुण और उदाहरण अनुभाग देखें।) , जो पूरे स्पेस में गैर-अल्प होने के समान नहीं है। हालांकि जागरूक रहें कि टोपोलॉजिकल वेक्टर रिक्त स्थान के संदर्भ में कुछ लेखक "अल्प/गैर-अल्प उप-स्थान" वाक्यांश का उपयोग एक वेक्टर उप-स्थान के अर्थ में कर सकते हैं जो पूरे स्थान के सापेक्ष एक अल्प/गैर-अल्प समुच्चय है।[2]

पहली श्रेणी और दूसरी श्रेणी के शब्दों का मूल रूप से रेने बेयर ने अपने 1899 थीसिस में उपयोग किया था।[3] 1948 में निकोलस बोरबाकी द्वारा अल्पावधि पेश की गई थी।[4][5]

गुण

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

(1) किसी छोटे समुच्चय का कोई उपसमुच्चय छोटा होता है; (2) छोटे समुच्चयों का कोई भी गणनीय संघ छोटा होता है। इस प्रकार एक निश्चित स्थान के तुच्छ उपसमुच्चय, उपसमुच्चयों के σ-मानक का निर्माण करते हैं, जो नगण्य समुच्चय की एक उपयुक्त धारणा है। और, समतुल्य (1), गैर-लघु समुच्चय का कोई भी सुपरसेट गैर-अल्प है।

वास्तव में, (1) कोमाग्रे सेट का कोई सुपरसेट कॉमाग्रे है; (2) कॉमग्रे सेट का कोई भी गणनीय कॉमग्रे है।

मान लीजिए कहाँ पे सबस्पेस टोपोलॉजी से प्रेरित है सेट में अल्प हो सकता है में अल्प होने के बिना हालाँकि निम्नलिखित परिणाम धारण करते हैं:[5]

  • यदि में अल्प है फिर में अल्प है
  • यदि में खुला है फिर में अल्प है अगर और केवल अगर में अल्प है
  • यदि में घना है फिर में अल्प है अगर और केवल अगर में अल्प है

और तदनुसार गैर अल्प सेट के लिए:

  • यदि में अल्प है फिर में अल्प है
  • यदि में खुला है फिर में अल्प है अगर और केवल अगर में अल्प है
  • यदि में घना है फिर में अल्प है अगर और केवल अगर में अल्प है

विशेष रूप से, का हर सबसेट जो अपने आप में अल्प है वह अपने आप में अल्प है का हर उपसमुच्चय वह गैर-अल्प है अपने आप में तुच्छ है। और एक खुले सेट या घने समुच्चय के लिए