एक सेट (हल्के नीले रंग में) और इसकी सीमा (गहरे नीले रंग में)।
सामान्य रूप से टोपोलॉजी और गणित में, एक उपसमुच्चय की सीमाS एक टोपोलॉजिकल स्थान X के पास में बिंदुओं का समुच्चय होता है S आंतरिक से संबंधित नही होता है S इसके सीमा का एक तत्व को S की सीमा बिंदु कहा जाता है। सीमा संचालन शब्द एक सेट की सीमा को खोजने या लेने के लिए संदर्भित करता है। एक सेट की सीमा के लिए प्रयुक्त संकेतन S सम्मलित होते है तथा कुछ लेखक (उदाहरण के लिए विलार्ड, सामान्य टोपोलॉजी में) बीजगणितीय टोपोलॉजी और मैनिफोल्ड के सिद्धांत में उपयोग की जाने वाली सीमा के साथ मैनिफोल्ड के साथ भ्रम से बचने के प्रयास में सीमा के अतिरिक्त 'फ्रंटियर' शब्द का उपयोग करते है। सीमा के अर्थ की व्यापक स्वीकृति के अतिरिक्त, कभी-कभी उनका उपयोग अन्य सेटों को संदर्भित करने के लिए किया जाता है। उदाहरण के लिए, ई टी कॉपसन द्वारा मीट्रिक स्थान फेलिक्स हॉसडॉर्फ की 'सीमा' को संदर्भित करने के लिए सीमा शब्द का उपयोग करता है, जिसे इसकी सीमा के साथ एक सेट के प्रतिच्छेदन के रूप में परिभाषित किया गया है।[1] हॉसडॉर्फ ने अवशेष शब्द भी प्रस्तुत किया था, जिसे इसके पूरक की सीमा के बंद होने के साथ एक सेट के प्रतिच्छेदन के रूप में परिभाषित किया गया है।[2]
S की सीमा से जुड़े घटक को S का सीमा घटक कहा जाता है।
इसके लिए कई समान परिभाषाएं है सीमा एक उपसमुच्चय का एक टोपोलॉजिकल स्थान जिसे दर्शाया जाता है या केवल यदि विदित होता है:
यह क्लोजर (टोपोलॉजी) है का आंतरिक (टोपोलॉजी) घटाव सेट करता है में :
जहाँ पे के क्लोजर (टोपोलॉजी) को दर्शाता है में तथा आंतरिक (टोपोलॉजी) को दर्शाता है में
यह बंद होने का स्थान होता है इसके पूरक (सेट सिद्धांत) के बंद होने के साथ होता है:
यह बिंदुओं का समूह होता है ऐसा है कि हर निकटतम (टोपोलॉजी) कम से कम एक बिंदु सम्मलित होती है और कम से कम एक बिंदु नही होती है :
सेट का एक सीमा बिंदु उस सेट की सीमा के किसी भी तत्व को संदर्भित करता है। सीमा ऊपर परिभाषित को कभी-कभी समुच्चय कहा जाता है टोपोलॉजिकल सीमा इसे अन्य समान रूप से नामित धारणाओं से अलग करने के लिए जैसे कि सीमा के साथ कई गुना की सीमा या कोनों के साथ कई गुना की सीमा, बस कुछ उदाहरण देने के लिए होता है।
गुण
एक सेट का बंद होना इसकी सीमा के साथ समुच्चय के मिलन के बराबर होता है:
जहाँ पे के क्लोजर (टोपोलॉजी) को दर्शाता है में एक सेट अगर और केवल तभी बंद होता है जब उसकी सीमा होती है, और अगर और केवल तभी खुलता है जब वह अपनी सीमा से अलग होता है। एक सेट की सीमा बंद सेट होती है,[3] यह सूत्र से इस प्रकार है जो व्यक्त करता है कि दो बंद उपसमुच्चयों के प्रतिच्छेदन के रूप में किसी उपसमुच्चय को देखते हुए प्रत्येक बिंदु ठीक तीन सेटों में से एक में स्थित होते है तथा अलग होता है,
और ये तीनों समुच्चय असंयुक्त होते है। नतीजतन, अगर ये सेट खाली नही होते है[note 1] तब वे के समुच्चय का विभाजन बनाते है एक बिंदु एक सेट की एक सीमा बिंदु होती है यदि और केवल प्रत्येक निकटतम सेट में कम से कम एक बिंदु होती है।
समुच्चय के आंतरिक भाग की सीमा और समुच्चय के बंद होने की सीमा दोनों ही समुच्चय की सीमा में समाहित होते है।
एक उपसमुच्चय के विभिन्न बिंदुओं के बीच संबंधों को दर्शाने वाला संकल्पनात्मक वेन आरेख का = सीमा बिंदुओं का सेट सीमा बिंदुओं का सेट क्षेत्र छायांकित हरा = के आंतरिक बिंदुओं का समुच्चय क्षेत्र छायांकित पीला = के पृथक बिंदुओं का समुच्चय क्षेत्र छायांकित काला = खाली सेट होता है। इसका हर बिंदु या तो एक आंतरिक बिंदु या एक सीमा बिंदु होती है। इसके अतिरिक्त, हर बिंदु या तो एक संचय बिंदु या एक पृथक बिंदु होती है। इसी तरह, हर सीमा बिंदु या तो एक संचय बिंदु या एक पृथक बिंदु होती है। पृथक बिंदु हमेशा सीमा बिंदु होती है।
उदाहरण
लक्षण और सामान्य उदाहरण
एक सेट की सीमा सेट के पूरक की सीमा के बराबर है:
एक सेट का एक सघन उपसमुच्चय है। का खुला समुच्चय उपसमुच्चय है अगर और केवल अगर बंद समुच्चय की सीमा का आंतरिक भाग समुच्चय होता है।[proof 1] नतीजतन, एक सेट के बंद होने की सीमा का आंतरिक भाग खाली सेट होता है। किसी खुले समुच्चय की सीमा का आंतरिक भाग भी समुच्चय ही होता है।[proof 2] नतीजतन, एक सेट के आंतरिक की सीमा का आंतरिक भाग खाली सेट होता है। विशेष रूप से, यदि का एक बंद या खुला उपसमुच्चय होता है तब कोई गैर उपसमुच्चय उपस्थित नही होता है ऐसा है कि का एक खुला उपसमुच्चय भी होता है यह तथ्य नोव्हेयर डेंस सेट, मेगर सेट और बेयर स्थान की परिभाषा और उपयोग के लिए महत्वपूर्ण होते है।
एक समुच्चय किसी खुले समुच्चय की सीमा होती है यदि और केवल बंद होता है और कहीं भी सघन समुच्चय नही होता है। एक सेट की सीमा खाली होती है यदि और केवल तभी जब सेट बंद और खुला होता है।
ठोस उदाहरण
मंडेलब्रॉट सेट के अतिपरवलयिक घटकों की सीमा
वास्तविक रेखा पर विचार करते है सामान्य टोपोलॉजी के साथ (अर्थात टोपोलॉजी जिसका आधार खुला अंतराल होता है) और परिमेय संख्याओं का उपसमुच्चय (जिसका आंतरिक (टोपोलॉजी) खाली होता है)। फिर
ये अंतिम दो उदाहरण इस तथ्य को स्पष्ट करते है कि खाली आंतरिक भाग वाले घने समुच्चय की सीमा उसका बंद होता है। वे यह भी दिखाते है कि यह सीमा के लिए संभव होता है एक उपसमुच्चय का का एक गैर खुला उपसमुच्चय समाहित करने के लिए है, कि आंतरिक के लिए में खाली नही होता है। चूंकि, एक बंद उपसमुच्चय की सीमा में हमेशा एक खाली आंतरिक भाग होता है।
सामान्य टोपोलॉजी के साथ परिमेय संख्याओं के स्थान में (उप-स्थान टोपोलॉजी) , की सीमा जहाँ पे तर्कहीन होते है, खाली होते है।
एक सेट की सीमा एक टोपोलॉजी धारणा करता है और यदि कोई टोपोलॉजी बदलता है तो बदल सकता है। उदाहरण के लिए, सामान्य टोपोलॉजी को देखते हुए एक बंद डिस्क की सीमा डिस्क के आसपास का चक्र होता है: यदि डिस्क को एक सेट के रूप में देखा जाता है अपनी सामान्य टोपोलॉजी के साथ, अर्थात्, तब डिस्क की सीमा डिस्क ही होती है: यदि डिस्क को अपने स्वयं के टोपोलॉजिकल स्थान के रूप में देखा जाता है (उप-स्थान टोपोलॉजी के साथ) , तो डिस्क की सीमा खाली होती है।
खुली गेंद बनाम उसके आसपास के गोले की सीमा
यह उदाहरण दर्शाता है कि त्रिज्या की एक खुली गेंद की टोपोलॉजिकल सीमा है आवश्यक रूप से त्रिज्या के संगत गोले के बराबर होते है (एक ही बिंदु पर केंद्रित), यह भी दर्शाता है कि त्रिज्या की एक खुली गेंद का बंद होना होता है आवश्यक रूप से त्रिज्या की बंद गेंद के बराबर होती है (फिर से उसी बिंदु पर केंद्रित होती है)।
सामान्य यूक्लिडियन मीट्रिक को निरूपित करता है जिसके द्वारा
जो प्रेरित करता है सामान्य यूक्लिडियन टोपोलॉजी को प्रेरित करता है।
के संघ को निरूपित करता है -एक्सिस यूनिट सर्कल के साथ
मूल पर केंद्रित है, जो एक टोपोलॉजिकल सबस्थान है जिसकी टोपोलॉजी मीट्रिक के (प्रतिबंध) द्वारा प्रेरित के बराबर होती है विशेष रूप से, सेट तथा सभी बंद उपसमुच्चय होते है और इस प्रकार इसके उप-स्थान के उपसमुच्चय भी बंद हो जाते है इसके बाद, जब तक कि यह स्पष्ट रूप से अन्यथा इंगित नही होता है, प्रत्येक खुली गेंद, बंद गेंद और गोले को मूल बिंदु पर केंद्रित माना जाता है। और इसके अतिरिक्त, केवल मीट्रिक स्थान माना जाता है (और इसका सुपरस्थान नही होता है ), यह एक पथ से जुड़ा हुआ स्थान होता है | पथ से जुड़ा और स्थानीय रूप से पथ से जुड़ा पूर्ण मीट्रिक स्थान होता है।
त्रिज्या की खुली गेंद को निरूपित करता है में जिसके द्वारा
जिससे कि जब फिर
इसका खुला उप-अंतराल होता है से तथा इकाई क्षेत्र में (इकाई का अर्थ है कि इसकी त्रिज्या है )
जबकि बंद इकाई गेंद खुली इकाई गेंद का मिलन होता है और इसी बिंदु पर केंद्रित इकाई क्षेत्र है:
चूंकि, टोपोलॉजिकल सीमा और टोपोलॉजिकल क्लोजर में ओपन यूनिट बॉल का होता है:
विशेष रूप से, ओपन यूनिट बॉल की टोपोलॉजिकल सीमा एक है इकाई क्षेत्र का सबसेट है में और ओपन यूनिट बॉल का टोपोलॉजिकल क्लोजर बंद इकाई गेंद का एक उचित उपसमुच्चय है में बिंदु उदाहरण के लिए, से संबंधित नही हो सकता क्योंकि इसमें कोई क्रम उपस्थित नही होते है जो उसमें समा जाता है, एक ही तर्क यह भी समझाने के लिए सामान्यीकृत करता है कि कोई बिंदु क्यों नही होती है बंद उप-अंतराल के बाहर का होता है क्योंकि सेट की टोपोलॉजिकल सीमा हमेशा का एक सबसेट है जिसका समापन, यह इस प्रकार है का एक सबसेट भी होता है किसी भी मीट्रिक स्थान में टोपोलॉजिकल सीमा त्रिज्या की एक खुली गेंद का एक बिंदु पर केंद्रित हमेशा त्रिज्या के गोले का एक उपसमुच्चय होता है उसी बिंदु पर केंद्रित है,
हमेशा धारण करता है।
इसके अतिरिक्त, इकाई क्षेत्र रोकना जो कि एक खुला उपसमुच्चय होता है [proof 3] यह दिखाता है, विशेष रूप से, कि इकाई क्षेत्र में इसमें सम्मलित होता है a का भाग होता है
एक सीमा की सीमा
किसी भी सेट के लिए जहांसमानता धारण के साथ सुपरसेट को दर्शाता है यदि और केवल सीमा कोई आंतरिक बिंदु नही होती है, जो उदाहरण के लिए होता है यदि या तो बंद होता है या खुला होता है। चूँकि समुच्चय की परिसीमा बंद होती है, किसी भी सेट के लिए सीमा संचालिका इस प्रकार एक कमजोर प्रकार की निष्क्रियता को संतुष्ट करती है।
मैनिफोल्ड्स या सिम्प्लेक्स की सीमाओं और उनके सरल परिसरों पर चर्चा करते हुए, अधिकांशतः यह कहा जाता है कि एक सीमा की सीमा हमेशा खाली होती है। वास्तव में, एकवचन गृहविज्ञान का निर्माण इसी तथ्य पर समालोचनात्मक रूप से टिका हुआ होता है। स्पष्ट असंगति के लिए स्पष्टीकरण यह है कि टोपोलॉजिकल सीमा कई गुना या एक साधारण परिसर की सीमा से थोड़ी अलग अवधारणा होती है। उदाहरण के लिए, एक खुली डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, खाली होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है। इसके विपरीत, एक बंद डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, सीमांकन घेरा होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है। विशेष रूप से, टोपोलॉजिकल सीमा परिवेश स्थान पर निर्भर करती है, जबकि कई गुना की सीमा अपरिवर्तनीय होती है।
यह भी देखें
अधिक विवरण के लिए टोपोलॉजिकल मैनिफोल्ड में सीमा की चर्चा देखें।
↑The condition that these sets be non-empty is needed because sets in a partition are by definition required to be non-empty.
↑Let be a closed subset of so that and thus also If is an open subset of such that then (because ) so that (because by definition, is the largest open subset of contained in ). But implies that Thus is simultaneously a subset of and disjoint from which is only possible if Q.E.D.
↑Let be an open subset of so that Let so that which implies that If then pick so that Because is an open neighborhood of in and the definition of the topological closure implies that which is a contradiction. Alternatively, if is open in then is closed in so that by using the general formula and the fact that the interior of the boundary of a closed set (such as ) is empty, it follows that
↑The -axis is closed in because it is a product of two closed subsets of Consequently, is an open subset of Because has the subspace topology induced by the intersection is an open subset of