सीमा (टोपोलॉजी): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|All points not part of the interior of a subset of a topological space}}
{{Short description|All points not part of the interior of a subset of a topological space}}
{{about-distinguish|सामान्य टोपोलॉजी में सीमाएँ|कई गुना की सीमा|स्थानीय रूप से बंद उपसमुच्चय की सीमा}}
{{about-distinguish|सामान्य टोपोलॉजी में सीमाएँ|कई गुना की सीमा|स्थानीय रूप से बंद उपसमुच्चय की सीमा}}
[[File:Runge theorem.svg|right|thumb|एक सेट (हल्के नीले रंग में) और इसकी सीमा (गहरे नीले रंग में)।]]सामान्य रूप से टोपोलॉजी और गणित में, एक उपसमुच्चय की '''सीमा''' {{mvar|S}} एक टोपोलॉजिकल स्पेस {{mvar|X}} के पास में बिंदुओं का समुच्चय होता है {{mvar|S}} आंतरिक से संबंधित नहीं होता है {{mvar|S}}. इसके सीमा का एक तत्व को {{mvar|S}} की सीमा बिंदु कहा जाता है। सीमा संचालन शब्द एक सेट की सीमा को खोजने या लेने के लिए संदर्भित करता है। एक सेट की सीमा के लिए प्रयुक्त संकेतन {{mvar|S}} सम्मलित होते है <math>\operatorname{bd}(S), \operatorname{fr}(S),</math> तथा <math>\partial S</math>. कुछ लेखक (उदाहरण के लिए विलार्ड, सामान्य टोपोलॉजी में) बीजगणितीय टोपोलॉजी और मैनिफोल्ड के सिद्धांत में उपयोग की जाने वाली सीमा के साथ मैनिफोल्ड के साथ भ्रम से बचने के प्रयास में सीमा के अतिरिक्त 'फ्रंटियर' शब्द का उपयोग करते है। सीमा के अर्थ की व्यापक स्वीकृति के अतिरिक्त, कभी-कभी उनका उपयोग अन्य सेटों को संदर्भित करने के लिए किया जाता है। उदाहरण के लिए, ई टी कॉपसन द्वारा मीट्रिक स्पेस फेलिक्स हॉसडॉर्फ की 'सीमा' को संदर्भित करने के लिए सीमा शब्द का उपयोग करता है, जिसे इसकी सीमा के साथ एक सेट के प्रतिच्छेदन के रूप में परिभाषित किया गया है।<ref>{{cite book|last=Hausdorff|first=Felix|year=1914|title=सेट सिद्धांत के मूल सिद्धांत|publisher=Veit|place=Leipzig|page=[https://archive.org/details/grundzgedermen00hausuoft/page/214 214]|url=https://archive.org/details/grundzgedermen00hausuoft|isbn=978-0-8284-0061-9}} Reprinted by Chelsea in 1949.</ref> हॉसडॉर्फ ने अवशेष शब्द भी प्रस्तुत किया, जिसे इसके पूरक की सीमा के बंद होने के साथ एक सेट के प्रतिच्छेदन के रूप में परिभाषित किया गया है।<ref>{{cite book|last=Hausdorff|first=Felix |year=1914|title=सेट सिद्धांत के मूल सिद्धांत|publisher=Veit|place=Leipzig |page=[https://archive.org/details/grundzgedermen00hausuoft/page/281 281]|url=https://archive.org/details/grundzgedermen00hausuoft|isbn=978-0-8284-0061-9}} Reprinted by Chelsea in 1949.</ref>
[[File:Runge theorem.svg|right|thumb|एक सेट (हल्के नीले रंग में) और इसकी सीमा (गहरे नीले रंग में)।]]सामान्य रूप से टोपोलॉजी और गणित में, एक उपसमुच्चय की '''सीमा''' {{mvar|S}} एक टोपोलॉजिकल स्थान {{mvar|X}} के पास में बिंदुओं का समुच्चय होता है {{mvar|S}} आंतरिक से संबंधित नही होता है {{mvar|S}} इसके सीमा का एक तत्व को {{mvar|S}} की सीमा बिंदु कहा जाता है। सीमा संचालन शब्द एक सेट की सीमा को खोजने या लेने के लिए संदर्भित करता है। एक सेट की सीमा के लिए प्रयुक्त संकेतन {{mvar|S}} सम्मलित होते है <math>\operatorname{bd}(S), \operatorname{fr}(S),</math> तथा <math>\partial S</math> कुछ लेखक (उदाहरण के लिए विलार्ड, सामान्य टोपोलॉजी में) बीजगणितीय टोपोलॉजी और मैनिफोल्ड के सिद्धांत में उपयोग की जाने वाली सीमा के साथ मैनिफोल्ड के साथ भ्रम से बचने के प्रयास में सीमा के अतिरिक्त 'फ्रंटियर' शब्द का उपयोग करते है। सीमा के अर्थ की व्यापक स्वीकृति के अतिरिक्त, कभी-कभी उनका उपयोग अन्य सेटों को संदर्भित करने के लिए किया जाता है। उदाहरण के लिए, ई टी कॉपसन द्वारा मीट्रिक स्थान फेलिक्स हॉसडॉर्फ की 'सीमा' को संदर्भित करने के लिए सीमा शब्द का उपयोग करता है, जिसे इसकी सीमा के साथ एक सेट के प्रतिच्छेदन के रूप में परिभाषित किया गया है।<ref>{{cite book|last=Hausdorff|first=Felix|year=1914|title=सेट सिद्धांत के मूल सिद्धांत|publisher=Veit|place=Leipzig|page=[https://archive.org/details/grundzgedermen00hausuoft/page/214 214]|url=https://archive.org/details/grundzgedermen00hausuoft|isbn=978-0-8284-0061-9}} Reprinted by Chelsea in 1949.</ref> हॉसडॉर्फ ने अवशेष शब्द भी प्रस्तुत किया था, जिसे इसके पूरक की सीमा के बंद होने के साथ एक सेट के प्रतिच्छेदन के रूप में परिभाषित किया गया है।<ref>{{cite book|last=Hausdorff|first=Felix |year=1914|title=सेट सिद्धांत के मूल सिद्धांत|publisher=Veit|place=Leipzig |page=[https://archive.org/details/grundzgedermen00hausuoft/page/281 281]|url=https://archive.org/details/grundzgedermen00hausuoft|isbn=978-0-8284-0061-9}} Reprinted by Chelsea in 1949.</ref>
S की सीमा से जुड़े घटक को S का सीमा घटक कहा जाता है।
S की सीमा से जुड़े घटक को S का सीमा घटक कहा जाता है।


== सामान्य परिभाषाएं ==
== सामान्य परिभाषाएं ==


के लिए कई समान परिभाषाएं है {{em|सीमा}} एक उपसमुच्चय का <math>S \subseteq X</math> एक टोपोलॉजिकल स्पेस <math>X,</math> जिसे दर्शाया जाता है <math>\partial_X S,</math> <math>\operatorname{Bd}_X S,</math> या केवल <math>\partial S</math> यदि <math>X</math> विदित होता है:
इसके लिए कई समान परिभाषाएं है {{em|सीमा}} एक उपसमुच्चय का <math>S \subseteq X</math> एक टोपोलॉजिकल स्थान <math>X,</math> जिसे दर्शाया जाता है <math>\partial_X S,</math> <math>\operatorname{Bd}_X S,</math> या केवल <math>\partial S</math> यदि <math>X</math> विदित होता है:
<ol start=1>
<ol start=1>
<li>यह क्लोजर (टोपोलॉजी) है <math>S</math> का आंतरिक (टोपोलॉजी) घटाव सेट करता है <math>S</math> में <math>X</math>:  <math display="block">\partial S ~:=~ \overline{S} \setminus \operatorname{int}_X S</math>
<li>यह क्लोजर (टोपोलॉजी) है <math>S</math> का आंतरिक (टोपोलॉजी) घटाव सेट करता है <math>S</math> में <math>X</math>:  <math display="block">\partial S ~:=~ \overline{S} \setminus \operatorname{int}_X S</math>
Line 12: Line 12:
</li>
</li>
<li>यह बंद होने का स्थान होता है <math>S</math> इसके पूरक (सेट सिद्धांत) के बंद होने के साथ होता है: <math display="block">\partial S ~:=~ \overline{S} \cap \overline{(X \setminus S)}</math></li>
<li>यह बंद होने का स्थान होता है <math>S</math> इसके पूरक (सेट सिद्धांत) के बंद होने के साथ होता है: <math display="block">\partial S ~:=~ \overline{S} \cap \overline{(X \setminus S)}</math></li>
<li>यह बिंदुओं का समूह होता है <math>p \in X</math> ऐसा है कि हर निकटतम (टोपोलॉजी) <math>p</math> कम से कम एक बिंदु सम्मलित होती है <math>S</math> और कम से कम एक बिंदु नहीं होती है <math>S</math>: <math display="block">\partial S ~:=~ \{ p \in X : \text{ for every neighborhood } O \text{ of } p, \ O \cap S \neq \varnothing \,\text{ and }\, O \cap (X \setminus S) \neq \varnothing \}.</math></li>
<li>यह बिंदुओं का समूह होता है <math>p \in X</math> ऐसा है कि हर निकटतम (टोपोलॉजी) <math>p</math> कम से कम एक बिंदु सम्मलित होती है <math>S</math> और कम से कम एक बिंदु नही होती है <math>S</math>: <math display="block">\partial S ~:=~ \{ p \in X : \text{ for every neighborhood } O \text{ of } p, \ O \cap S \neq \varnothing \,\text{ and }\, O \cap (X \setminus S) \neq \varnothing \}.</math></li>
</ol>
</ol>


Line 20: Line 20:


एक सेट का बंद होना <math>S</math> इसकी सीमा के साथ समुच्चय के मिलन के बराबर होता है:
एक सेट का बंद होना <math>S</math> इसकी सीमा के साथ समुच्चय के मिलन के बराबर होता है:
<math display="block">\overline{S} = S \cup \partial_X S</math> जहाँ पे <math>\overline{S} = \operatorname{cl}_X S</math> के क्लोजर (टोपोलॉजी) को दर्शाता है <math>S</math> में <math>X.</math> एक सेट अगर और केवल तभी बंद होता है जब उसकी सीमा होती है, और अगर और केवल तभी खुलता है जब वह अपनी सीमा से अलग होता है। एक सेट की सीमा बंद सेट है;<ref>{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=86|quote=परिणाम 4.15 प्रत्येक उपसमुच्चय के लिए <math>A,</math> <math>\operatorname{Bdry} (A)</math> बंद है।}}</ref> यह सूत्र से इस प्रकार है <math>\partial_X S ~:=~ \overline{S} \cap \overline{(X \setminus S)},</math> जो व्यक्त करता है <math>\partial_X S</math> के दो बंद उपसमुच्चयों के प्रतिच्छेदन के रूप में <math>X.</math> किसी उपसमुच्चय को देखते हुए <math>S \subseteq X,</math> के प्रत्येक बिंदु <math>X</math> ठीक तीन सेटों में से एक में स्थित होते है <math>\operatorname{int}_X S, \partial_X S,</math> तथा <math>\operatorname{int}_X (X \setminus S).</math> अलग होता है, <math display="block">X ~=~ \left(\operatorname{int}_X S\right) \;\cup\; \left(\partial_X S\right) \;\cup\; \left(\operatorname{int}_X (X \setminus S)\right)</math> और ये तीनों समुच्चय जोड़ीवार असंयुक्त होते है। नतीजतन, अगर ये सेट खाली नही होते है<ref group=note>The condition that these sets be non-empty is needed because sets in a [[Partition of a set|partition]] are by definition required to be non-empty.</ref> तब वे के समुच्चय का विभाजन बनाते है <math>X.</math> एक बिंदु <math>p \in X</math> एक सेट का एक सीमा बिंदु है यदि और केवल प्रत्येक निकटतम <math>p</math> सेट में कम से कम एक बिंदु होता है और कम से कम एक बिंदु सेट में नहीं होता है।
<math display="block">\overline{S} = S \cup \partial_X S</math> जहाँ पे <math>\overline{S} = \operatorname{cl}_X S</math> के क्लोजर (टोपोलॉजी) को दर्शाता है <math>S</math> में <math>X.</math> एक सेट अगर और केवल तभी बंद होता है जब उसकी सीमा होती है, और अगर और केवल तभी खुलता है जब वह अपनी सीमा से अलग होता है। एक सेट की सीमा बंद सेट होती है,<ref>{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=86|quote=परिणाम 4.15 प्रत्येक उपसमुच्चय के लिए <math>A,</math> <math>\operatorname{Bdry} (A)</math> बंद है।}}</ref> यह सूत्र से इस प्रकार है <math>\partial_X S ~:=~ \overline{S} \cap \overline{(X \setminus S)},</math> जो व्यक्त करता है <math>\partial_X S</math> कि दो बंद उपसमुच्चयों के प्रतिच्छेदन के रूप में <math>X.</math> किसी उपसमुच्चय को देखते हुए <math>S \subseteq X,</math> प्रत्येक बिंदु <math>X</math> ठीक तीन सेटों में से एक में स्थित होते है <math>\operatorname{int}_X S, \partial_X S,</math> तथा <math>\operatorname{int}_X (X \setminus S).</math> अलग होता है, <math display="block">X ~=~ \left(\operatorname{int}_X S\right) \;\cup\; \left(\partial_X S\right) \;\cup\; \left(\operatorname{int}_X (X \setminus S)\right)</math> और ये तीनों समुच्चय असंयुक्त होते है। नतीजतन, अगर ये सेट खाली नही होते है<ref group=note>The condition that these sets be non-empty is needed because sets in a [[Partition of a set|partition]] are by definition required to be non-empty.</ref> तब वे के समुच्चय का विभाजन बनाते है <math>X.</math> एक बिंदु <math>p \in X</math> एक सेट की एक सीमा बिंदु होती है यदि और केवल प्रत्येक निकटतम <math>p</math> सेट में कम से कम एक बिंदु होती है।
समुच्चय के आंतरिक भाग की सीमा और समुच्चय के बंद होने की सीमा दोनों ही समुच्चय की सीमा में समाहित होते है।
समुच्चय के आंतरिक भाग की सीमा और समुच्चय के बंद होने की सीमा दोनों ही समुच्चय की सीमा में समाहित होते है।


[[File:Accumulation And Boundary Points Of S.PNG]]<br/>एक उपसमुच्चय के विभिन्न बिंदुओं के बीच संबंधों को दर्शाने वाला संकल्पनात्मक वेन आरेख <math>S</math> का <math>\R^n.</math> <math>A</math> = सीमा बिंदुओं का सेट <math>S,</math> <math>B = </math> सीमा बिंदुओं का सेट <math>S,</math> क्षेत्र छायांकित हरा = के आंतरिक बिंदुओं का समुच्चय <math>S,</math> क्षेत्र छायांकित पीला = के पृथक बिंदुओं का समुच्चय <math>S,</math> क्षेत्र छायांकित काला = खाली सेट होता है। इसका हर बिंदु <math>S</math> या तो एक आंतरिक बिंदु या एक सीमा बिंदु होती है। इसके अतिरिक्त, के हर बिंदु <math>S</math> या तो एक संचय बिंदु या एक पृथक बिंदु है। इसी तरह, हर सीमा बिंदु <math>S</math> या तो एक संचय बिंदु या एक पृथक बिंदु है। पृथक बिंदु हमेशा सीमा बिंदु होते है।
[[File:Accumulation And Boundary Points Of S.PNG]]<br/>एक उपसमुच्चय के विभिन्न बिंदुओं के बीच संबंधों को दर्शाने वाला संकल्पनात्मक वेन आरेख <math>S</math> का <math>\R^n.</math> <math>A</math> = सीमा बिंदुओं का सेट <math>S,</math> <math>B = </math> सीमा बिंदुओं का सेट <math>S,</math> क्षेत्र छायांकित हरा = के आंतरिक बिंदुओं का समुच्चय <math>S,</math> क्षेत्र छायांकित पीला = के पृथक बिंदुओं का समुच्चय <math>S,</math> क्षेत्र छायांकित काला = खाली सेट होता है। इसका हर बिंदु <math>S</math> या तो एक आंतरिक बिंदु या एक सीमा बिंदु होती है। इसके अतिरिक्त, हर बिंदु <math>S</math> या तो एक संचय बिंदु या एक पृथक बिंदु होती है। इसी तरह, हर सीमा बिंदु <math>S</math> या तो एक संचय बिंदु या एक पृथक बिंदु होती है। पृथक बिंदु हमेशा सीमा बिंदु होती है।


== उदाहरण ==
== उदाहरण ==
Line 31: Line 31:
एक सेट की सीमा सेट के पूरक की सीमा के बराबर है:
एक सेट की सीमा सेट के पूरक की सीमा के बराबर है:
  <math display="block">\partial_X S = \partial_X (X \setminus S).</math>
  <math display="block">\partial_X S = \partial_X (X \setminus S).</math>
एक सेट <math>U</math> का एक सघन उपसमुच्चय है। का खुला समुच्चय उपसमुच्चय है <math>X</math> अगर और केवल अगर <math>\partial_X U = X \setminus U.</math> बंद समुच्चय की सीमा का आंतरिक भाग रिक्त समुच्चय है।<ref group="proof">Let <math>S</math> be a closed subset of <math>X</math> so that <math>\overline{S} = S</math> and thus also <math>\partial_X S := \overline{S} \setminus \operatorname{int}_X S = S \setminus \operatorname{int}_X S.</math> If <math>U</math> is an open subset of <math>X</math> such that <math>U \subseteq \partial_X S</math> then  <math>U \subseteq S</math> (because <math>\partial_X S \subseteq S</math>) so that <math>U \subseteq \operatorname{int}_X S</math> (because [[Interior (topology)|by definition]], <math>\operatorname{int}_X S</math> is the largest open subset of <math>X</math> contained in <math>S</math>). But <math>U \subseteq \partial_X S = S \setminus \operatorname{int}_X S</math> implies that <math>U \cap \operatorname{int}_X S = \varnothing.</math> Thus <math>U</math> is simultaneously a subset of <math>\operatorname{int}_X S</math> and disjoint from <math>\operatorname{int}_X S,</math> which is only possible if <math>U = \varnothing.</math> [[Q.E.D.]]</ref> नतीजतन, एक सेट के बंद होने की सीमा का आंतरिक भाग खाली सेट है। किसी खुले समुच्चय की सीमा का आंतरिक भाग भी रिक्त समुच्चय ही होता है।<ref group="proof">Let <math>S</math> be an open subset of <math>X</math> so that <math>\partial_X S := \overline{S} \setminus \operatorname{int}_X S = \overline{S} \setminus S.</math> Let <math>U := \operatorname{int}_X \left(\partial_X S\right)</math> so that <math>U = \operatorname{int}_X \left(\partial_X S\right) \subseteq \partial_X S = \overline{S} \setminus S,</math> which implies that <math>U \cap S = \varnothing.</math> If <math>U \neq \varnothing</math> then pick <math>u \in U,</math> so that <math>u \in U \subseteq \partial_X S \subseteq \overline{S}.</math> Because <math>U</math> is an open neighborhood of <math>u</math> in <math>X</math> and <math>u \in \overline{S},</math> the definition of the [[Closure (topology)|topological closure]] <math>\overline{S}</math> implies that <math>U \cap S \neq \varnothing,</math> which is a contradiction. <math>\blacksquare</math> Alternatively, if <math>S</math> is open in <math>X</math> then <math>X \setminus S</math> is closed in <math>X,</math> so that by using the general formula <math>\partial_X S = \partial_X (X \setminus S)</math> and the fact that the interior of the boundary of a closed set (such as <math>X \setminus S</math>) is empty, it follows that <math>\operatorname{int}_X \partial_X S = \operatorname{int}_X \partial_X (X \setminus S) = \varnothing.</math> <math>\blacksquare</math></ref> नतीजतन, एक सेट के आंतरिक की सीमा का आंतरिक भाग खाली सेट होता है। विशेष रूप से, यदि <math>S \subseteq X</math> का एक बंद या खुला उपसमुच्चय होता है <math>X</math> तब कोई गैर-रिक्त उपसमुच्चय उपस्थित नही होता है <math>U \subseteq \partial_X S</math> ऐसा है कि <math>U</math> का एक खुला उपसमुच्चय भी है <math>X.</math> यह तथ्य नोव्हेयर डेंस सेट, मेगर सेट और बेयर स्पेस की परिभाषा और उपयोग के लिए महत्वपूर्ण होते है।
एक सेट <math>U</math> का एक सघन उपसमुच्चय है। का खुला समुच्चय उपसमुच्चय है <math>X</math> अगर और केवल अगर <math>\partial_X U = X \setminus U.</math> बंद समुच्चय की सीमा का आंतरिक भाग समुच्चय होता है।<ref group="proof">Let <math>S</math> be a closed subset of <math>X</math> so that <math>\overline{S} = S</math> and thus also <math>\partial_X S := \overline{S} \setminus \operatorname{int}_X S = S \setminus \operatorname{int}_X S.</math> If <math>U</math> is an open subset of <math>X</math> such that <math>U \subseteq \partial_X S</math> then  <math>U \subseteq S</math> (because <math>\partial_X S \subseteq S</math>) so that <math>U \subseteq \operatorname{int}_X S</math> (because [[Interior (topology)|by definition]], <math>\operatorname{int}_X S</math> is the largest open subset of <math>X</math> contained in <math>S</math>). But <math>U \subseteq \partial_X S = S \setminus \operatorname{int}_X S</math> implies that <math>U \cap \operatorname{int}_X S = \varnothing.</math> Thus <math>U</math> is simultaneously a subset of <math>\operatorname{int}_X S</math> and disjoint from <math>\operatorname{int}_X S,</math> which is only possible if <math>U = \varnothing.</math> [[Q.E.D.]]</ref> नतीजतन, एक सेट के बंद होने की सीमा का आंतरिक भाग खाली सेट होता है। किसी खुले समुच्चय की सीमा का आंतरिक भाग भी समुच्चय ही होता है।<ref group="proof">Let <math>S</math> be an open subset of <math>X</math> so that <math>\partial_X S := \overline{S} \setminus \operatorname{int}_X S = \overline{S} \setminus S.</math> Let <math>U := \operatorname{int}_X \left(\partial_X S\right)</math> so that <math>U = \operatorname{int}_X \left(\partial_X S\right) \subseteq \partial_X S = \overline{S} \setminus S,</math> which implies that <math>U \cap S = \varnothing.</math> If <math>U \neq \varnothing</math> then pick <math>u \in U,</math> so that <math>u \in U \subseteq \partial_X S \subseteq \overline{S}.</math> Because <math>U</math> is an open neighborhood of <math>u</math> in <math>X</math> and <math>u \in \overline{S},</math> the definition of the [[Closure (topology)|topological closure]] <math>\overline{S}</math> implies that <math>U \cap S \neq \varnothing,</math> which is a contradiction. <math>\blacksquare</math> Alternatively, if <math>S</math> is open in <math>X</math> then <math>X \setminus S</math> is closed in <math>X,</math> so that by using the general formula <math>\partial_X S = \partial_X (X \setminus S)</math> and the fact that the interior of the boundary of a closed set (such as <math>X \setminus S</math>) is empty, it follows that <math>\operatorname{int}_X \partial_X S = \operatorname{int}_X \partial_X (X \setminus S) = \varnothing.</math> <math>\blacksquare</math></ref> नतीजतन, एक सेट के आंतरिक की सीमा का आंतरिक भाग खाली सेट होता है। विशेष रूप से, यदि <math>S \subseteq X</math> का एक बंद या खुला उपसमुच्चय होता है <math>X</math> तब कोई गैर उपसमुच्चय उपस्थित नही होता है <math>U \subseteq \partial_X S</math> ऐसा है कि <math>U</math> का एक खुला उपसमुच्चय भी होता है <math>X.</math> यह तथ्य नोव्हेयर डेंस सेट, मेगर सेट और बेयर स्थान की परिभाषा और उपयोग के लिए महत्वपूर्ण होते है।


एक समुच्चय किसी खुले समुच्चय की सीमा है यदि और केवल बंद है और कहीं भी सघन समुच्चय नही होता है। एक सेट की सीमा खाली होती है यदि और केवल तभी जब सेट बंद और खुला दोनों होता है।
एक समुच्चय किसी खुले समुच्चय की सीमा होती है यदि और केवल बंद होता है और कहीं भी सघन समुच्चय नही होता है। एक सेट की सीमा खाली होती है यदि और केवल तभी जब सेट बंद और खुला होता है।


=== ठोस उदाहरण ===
=== ठोस उदाहरण ===


[[File:Mandelbrot Components.svg|right|thumb|मंडेलब्रॉट सेट के अतिपरवलयिक घटकों की सीमा]]वास्तविक रेखा पर विचार करते है <math>\R</math> सामान्य टोपोलॉजी के साथ (अर्थात टोपोलॉजी जिसका आधार (टोपोलॉजी) खुले अंतराल है) और <math>\Q,</math> परिमेय संख्याओं का उपसमुच्चय (जिसका आंतरिक (टोपोलॉजी) in <math>\R</math> खाली होता है)। फिर
[[File:Mandelbrot Components.svg|right|thumb|मंडेलब्रॉट सेट के अतिपरवलयिक घटकों की सीमा]]वास्तविक रेखा पर विचार करते है <math>\R</math> सामान्य टोपोलॉजी के साथ (अर्थात टोपोलॉजी जिसका आधार खुला अंतराल होता है) और <math>\Q,</math> परिमेय संख्याओं का उपसमुच्चय (जिसका आंतरिक (टोपोलॉजी) <math>\R</math> खाली होता है)। फिर


* <math>\partial (0,5) = \partial [0,5) = \partial (0,5] = \partial [0,5] = \{0, 5\}</math>
* <math>\partial (0,5) = \partial [0,5) = \partial (0,5] = \partial [0,5] = \{0, 5\}</math>
Line 43: Line 43:
* <math>\partial \Q = \R</math>
* <math>\partial \Q = \R</math>
* <math>\partial (\Q \cap [0, 1]) = [0, 1]</math>
* <math>\partial (\Q \cap [0, 1]) = [0, 1]</math>
ये अंतिम दो उदाहरण इस तथ्य को स्पष्ट करते है कि खाली आंतरिक भाग वाले घने समुच्चय की सीमा उसका बंद होता है। वे यह भी दिखाते है कि यह सीमा के लिए संभव होता है <math>\partial S</math> एक उपसमुच्चय का <math>S</math> का एक गैर-रिक्त खुला उपसमुच्चय समाहित करने के लिए <math>X := \R</math>; वह है, के आंतरिक के लिए <math>\partial S</math> में <math>X</math> खाली नही होता है। चूंकि, एक {{em|बंद}} उपसमुच्चय की सीमा में हमेशा एक खाली आंतरिक भाग होता है।
ये अंतिम दो उदाहरण इस तथ्य को स्पष्ट करते है कि खाली आंतरिक भाग वाले घने समुच्चय की सीमा उसका बंद होता है। वे यह भी दिखाते है कि यह सीमा के लिए संभव होता है <math>\partial S</math> एक उपसमुच्चय का <math>S</math> का एक गैर खुला उपसमुच्चय समाहित करने के लिए <math>X := \R</math> है, कि आंतरिक के लिए <math>\partial S</math> में <math>X</math> खाली नही होता है। चूंकि, एक {{em|बंद}} उपसमुच्चय की सीमा में हमेशा एक खाली आंतरिक भाग होता है।


सामान्य टोपोलॉजी के साथ परिमेय संख्याओं के स्थान में ( . का उप-स्थान टोपोलॉजी) <math>\R</math>), की सीमा <math>(-\infty, a),</math> जहाँ पे <math>a</math> तर्कहीन होते है, खाली होते है।
सामान्य टोपोलॉजी के साथ परिमेय संख्याओं के स्थान में (उप-स्थान टोपोलॉजी) <math>\R</math>, की सीमा <math>(-\infty, a),</math> जहाँ पे <math>a</math> तर्कहीन होते है, खाली होते है।


एक सेट की सीमा एक टोपोलॉजी धारणा करता है और यदि कोई टोपोलॉजी बदलता है तो बदल सकता है। उदाहरण के लिए, सामान्य टोपोलॉजी को देखते हुए <math>\R^2,</math> एक बंद डिस्क की सीमा <math>\Omega = \left\{(x, y) : x^2 + y^2 \leq 1 \right\}</math> डिस्क के आसपास का चक्र होता है: <math>\partial \Omega = \left\{(x, y) : x^2 + y^2 = 1 \right\}.</math> यदि डिस्क को एक सेट के रूप में देखा जाता है <math>\R^3</math> अपनी सामान्य टोपोलॉजी के साथ, अर्थात्, <math>\Omega = \left\{(x, y, 0) : x^2 + y^2 \leq 1 \right\},</math> तब डिस्क की सीमा डिस्क ही है: <math>\partial \Omega = \Omega.</math> यदि डिस्क को अपने स्वयं के टोपोलॉजिकल स्पेस के रूप में देखा जाता है (उप-स्थान टोपोलॉजी के साथ) <math>\R^2</math>), तो डिस्क की सीमा खाली होती है।
एक सेट की सीमा एक टोपोलॉजी धारणा करता है और यदि कोई टोपोलॉजी बदलता है तो बदल सकता है। उदाहरण के लिए, सामान्य टोपोलॉजी को देखते हुए <math>\R^2,</math> एक बंद डिस्क की सीमा <math>\Omega = \left\{(x, y) : x^2 + y^2 \leq 1 \right\}</math> डिस्क के आसपास का चक्र होता है: <math>\partial \Omega = \left\{(x, y) : x^2 + y^2 = 1 \right\}.</math> यदि डिस्क को एक सेट के रूप में देखा जाता है <math>\R^3</math> अपनी सामान्य टोपोलॉजी के साथ, अर्थात्, <math>\Omega = \left\{(x, y, 0) : x^2 + y^2 \leq 1 \right\},</math> तब डिस्क की सीमा डिस्क ही होती है: <math>\partial \Omega = \Omega.</math> यदि डिस्क को अपने स्वयं के टोपोलॉजिकल स्थान के रूप में देखा जाता है (उप-स्थान टोपोलॉजी के साथ) <math>\R^2</math>, तो डिस्क की सीमा खाली होती है।


=== खुली गेंद बनाम उसके आसपास के गोले की सीमा ===
=== खुली गेंद बनाम उसके आसपास के गोले की सीमा ===


यह उदाहरण दर्शाता है कि त्रिज्या की एक खुली गेंद की टोपोलॉजिकल सीमा <math>r > 0</math> है {{em|not}} आवश्यक रूप से त्रिज्या के संगत गोले के बराबर होते है <math>r</math> (एक ही बिंदु पर केंद्रित); यह यह भी दर्शाता है कि त्रिज्या की एक खुली गेंद का बंद होना <math>r > 0</math> होता है आवश्यक रूप से त्रिज्या की बंद गेंद के बराबर होता है <math>r</math> (फिर से उसी बिंदु पर केंद्रित)।
यह उदाहरण दर्शाता है कि त्रिज्या की एक खुली गेंद की टोपोलॉजिकल सीमा <math>r > 0</math> है आवश्यक रूप से त्रिज्या के संगत गोले के बराबर होते है <math>r</math> (एक ही बिंदु पर केंद्रित), यह भी दर्शाता है कि त्रिज्या की एक खुली गेंद का बंद होना <math>r > 0</math> होता है आवश्यक रूप से त्रिज्या की बंद गेंद के बराबर होती है <math>r</math> (फिर से उसी बिंदु पर केंद्रित होती है)।


सामान्य यूक्लिडियन मीट्रिक को निरूपित करता है <math>\R^2</math> जिसके द्वारा
सामान्य यूक्लिडियन मीट्रिक को निरूपित करता है <math>\R^2</math> जिसके द्वारा
<math display="block">d((a, b), (x, y)) := \sqrt{(x - a)^2 + (y - b)^2}</math>
<math display="block">d((a, b), (x, y)) := \sqrt{(x - a)^2 + (y - b)^2}</math>
जो प्रेरित करता है <math>\R^2</math> सामान्य यूक्लिडियन टोपोलॉजी को प्रेरित करता है।
जो प्रेरित करता है <math>\R^2</math> सामान्य यूक्लिडियन टोपोलॉजी को प्रेरित करता है।
<math>X \subseteq \R^2</math> के संघ को निरूपित करता है <math>y</math>-एक्सिस <math>Y := \{ 0 \} \times \R</math> यूनिट सर्कल के साथ <math display="block">S^1 := \left\{ p \in \R^2 : d(p, \mathbf{0}) = 1 \right\} = \left\{ (x, y) \in \R^2 : x^2 + y^2 = 1 \right\}</math> मूल पर केंद्रित <math>\mathbf{0} := (0, 0) \in \R^2</math>; वह है, <math>X := Y \cup S^1,</math> जो का एक टोपोलॉजिकल सबस्पेस है <math>\R^2</math> जिसकी टोपोलॉजी मीट्रिक के (प्रतिबंध) द्वारा प्रेरित के बराबर होता है <math>d.</math> विशेष रूप से, सेट <math>Y, S^1, Y \cap S^1 = \{ (0, \pm 1) \},</math> तथा <math>\{ 0 \} \times [-1, 1]</math> सभी बंद उपसमुच्चय है <math>\R^2</math> और इस प्रकार इसके उप-स्थान के उपसमुच्चय भी बंद हो गए <math>X.</math> इसके बाद, जब तक कि यह स्पष्ट रूप से अन्यथा इंगित नही होता है, प्रत्येक खुली गेंद, बंद गेंद और गोले को मूल बिंदु पर केंद्रित माना जाता है। <math>\mathbf{0} = (0, 0)</math> और इसके अतिरिक्त, केवल मीट्रिक स्थान <math>(X, d)</math> माना जाता है (और इसके सुपरस्पेस नही है <math>(\R^2, d)</math>); यह एक पथ से जुड़ा हुआ स्थान होता है | पथ से जुड़ा और स्थानीय रूप से पथ से जुड़ा पूर्ण मीट्रिक स्थान होता है।
<math>X \subseteq \R^2</math> के संघ को निरूपित करता है <math>y</math>-एक्सिस <math>Y := \{ 0 \} \times \R</math> यूनिट सर्कल के साथ <math display="block">S^1 := \left\{ p \in \R^2 : d(p, \mathbf{0}) = 1 \right\} = \left\{ (x, y) \in \R^2 : x^2 + y^2 = 1 \right\}</math> मूल पर केंद्रित <math>\mathbf{0} := (0, 0) \in \R^2</math> है, <math>X := Y \cup S^1,</math> जो एक टोपोलॉजिकल सबस्थान है <math>\R^2</math> जिसकी टोपोलॉजी मीट्रिक के (प्रतिबंध) द्वारा प्रेरित के बराबर होती है <math>d.</math> विशेष रूप से, सेट <math>Y, S^1, Y \cap S^1 = \{ (0, \pm 1) \},</math> तथा <math>\{ 0 \} \times [-1, 1]</math> सभी बंद उपसमुच्चय होते है <math>\R^2</math> और इस प्रकार इसके उप-स्थान के उपसमुच्चय भी बंद हो जाते है <math>X.</math> इसके बाद, जब तक कि यह स्पष्ट रूप से अन्यथा इंगित नही होता है, प्रत्येक खुली गेंद, बंद गेंद और गोले को मूल बिंदु पर केंद्रित माना जाता है। <math>\mathbf{0} = (0, 0)</math> और इसके अतिरिक्त, केवल मीट्रिक स्थान <math>(X, d)</math> माना जाता है (और इसका सुपरस्थान नही होता है <math>(\R^2, d)</math>), यह एक पथ से जुड़ा हुआ स्थान होता है | पथ से जुड़ा और स्थानीय रूप से पथ से जुड़ा पूर्ण मीट्रिक स्थान होता है।


त्रिज्या की खुली गेंद को निरूपित करता है <math>r > 0</math> में <math>(X, d)</math> जिसके द्वारा
त्रिज्या की खुली गेंद को निरूपित करता है <math>r > 0</math> में <math>(X, d)</math> जिसके द्वारा
Line 62: Line 62:
जिससे कि जब <math>r = 1</math> फिर
जिससे कि जब <math>r = 1</math> फिर
<math display="block">B_1 = \{ 0 \} \times (-1, 1)</math>
<math display="block">B_1 = \{ 0 \} \times (-1, 1)</math>
का खुला उप-अंतराल होता है <math>y</math>-अक्ष सख्ती से <math>y = -1</math> तथा <math>y = 1.</math> इकाई क्षेत्र . में <math>(X, d)</math> (इकाई का अर्थ है कि इसकी त्रिज्या है <math>r = 1</math>) है
इसका खुला उप-अंतराल होता है <math>y</math> से <math>y = -1</math> तथा <math>y = 1.</math> इकाई क्षेत्र में <math>(X, d)</math> (इकाई का अर्थ है कि इसकी त्रिज्या है <math>r = 1</math>)
<math display="block">\left\{ p \in X : d(p, \mathbf{0}) = 1 \right\} = S^1</math>
<math display="block">\left\{ p \in X : d(p, \mathbf{0}) = 1 \right\} = S^1</math>
जबकि बंद इकाई गेंद <math>(X, d)</math> खुली इकाई गेंद का मिलन होता है और इसी बिंदु पर केंद्रित इकाई क्षेत्र है:
जबकि बंद इकाई गेंद <math>(X, d)</math> खुली इकाई गेंद का मिलन होता है और इसी बिंदु पर केंद्रित इकाई क्षेत्र है:
Line 68: Line 68:
चूंकि, टोपोलॉजिकल सीमा <math>\partial_X B_1</math> और टोपोलॉजिकल क्लोजर <math>\operatorname{cl}_X B_1</math> में <math>X</math> ओपन यूनिट बॉल का <math>B_1</math> होता है:
चूंकि, टोपोलॉजिकल सीमा <math>\partial_X B_1</math> और टोपोलॉजिकल क्लोजर <math>\operatorname{cl}_X B_1</math> में <math>X</math> ओपन यूनिट बॉल का <math>B_1</math> होता है:
<math display="block">\partial_X B_1 = \{ (0, 1), (0, -1) \} \quad \text{ and } \quad \operatorname{cl}_X B_1 ~=~ B_1 \cup \partial_X B_1 ~=~ B_1 \cup\{ (0, 1), (0, -1) \} ~=~\{ 0 \} \times [-1, 1].</math>
<math display="block">\partial_X B_1 = \{ (0, 1), (0, -1) \} \quad \text{ and } \quad \operatorname{cl}_X B_1 ~=~ B_1 \cup \partial_X B_1 ~=~ B_1 \cup\{ (0, 1), (0, -1) \} ~=~\{ 0 \} \times [-1, 1].</math>
विशेष रूप से, ओपन यूनिट बॉल की टोपोलॉजिकल सीमा <math>\partial_X B_1 = \{ (0, 1), (0, -1) \}</math> एक है {{em|proper}} इकाई क्षेत्र का सबसेट <math>\left\{ p \in X : d(p, \mathbf{0}) = 1 \right\} = S^1</math> में <math>(X, d).</math> और ओपन यूनिट बॉल का टोपोलॉजिकल क्लोजर <math>\operatorname{cl}_X B_1 = B_1 \cup \{ (0, 1), (0, -1) \}</math> बंद इकाई गेंद का एक उचित उपसमुच्चय है <math>\left\{ p \in X : d(p, \mathbf{0}) \leq 1 \right\} = S^1 \cup \left(\{ 0 \} \times [-1, 1]\right)</math> में <math>(X, d).</math> बिंदु <math>(1, 0) \in X,</math> उदाहरण के लिए, से संबंधित नहीं हो सकता <math>\operatorname{cl}_X B_1</math> क्योंकि इसमें कोई क्रम उपस्थित नहीं है <math>B_1 = \{ 0 \} \times (-1, 1)</math> जो उसमें समा जाता है; एक ही तर्क यह भी समझाने के लिए सामान्यीकृत करता है कि कोई बिंदु क्यों नहीं है <math>X</math> बंद उप-अंतराल के बाहर <math>\{ 0 \} \times [-1, 1]</math> का है <math>\operatorname{cl}_X B_1.</math> क्योंकि सेट की टोपोलॉजिकल सीमा <math>B_1</math> हमेशा का एक सबसेट है <math>B_1</math>जिसका समापन, यह इस प्रकार है <math>\partial_X B_1</math> का एक सबसेट भी होता है <math>\{ 0 \} \times [-1, 1].</math> किसी भी मीट्रिक स्थान में <math>(M, \rho),</math> टोपोलॉजिकल सीमा <math>M</math> त्रिज्या की एक खुली गेंद का <math>r > 0</math> एक बिंदु पर केंद्रित <math>c \in M</math> हमेशा त्रिज्या के गोले का एक उपसमुच्चय होता है <math>r</math> उसी बिंदु पर केंद्रित <math>c</math>; वह है,
विशेष रूप से, ओपन यूनिट बॉल की टोपोलॉजिकल सीमा <math>\partial_X B_1 = \{ (0, 1), (0, -1) \}</math> एक है इकाई क्षेत्र का सबसेट है <math>\left\{ p \in X : d(p, \mathbf{0}) = 1 \right\} = S^1</math> में <math>(X, d).</math> और ओपन यूनिट बॉल का टोपोलॉजिकल क्लोजर <math>\operatorname{cl}_X B_1 = B_1 \cup \{ (0, 1), (0, -1) \}</math> बंद इकाई गेंद का एक उचित उपसमुच्चय है <math>\left\{ p \in X : d(p, \mathbf{0}) \leq 1 \right\} = S^1 \cup \left(\{ 0 \} \times [-1, 1]\right)</math> में <math>(X, d).</math> बिंदु <math>(1, 0) \in X,</math> उदाहरण के लिए, से संबंधित नही हो सकता <math>\operatorname{cl}_X B_1</math> क्योंकि इसमें कोई क्रम उपस्थित नही होते है <math>B_1 = \{ 0 \} \times (-1, 1)</math> जो उसमें समा जाता है, एक ही तर्क यह भी समझाने के लिए सामान्यीकृत करता है कि कोई बिंदु क्यों नही होती है <math>X</math> बंद उप-अंतराल के बाहर <math>\{ 0 \} \times [-1, 1]</math> का होता है <math>\operatorname{cl}_X B_1.</math> क्योंकि सेट की टोपोलॉजिकल सीमा <math>B_1</math> हमेशा का एक सबसेट है <math>B_1</math>जिसका समापन, यह इस प्रकार है <math>\partial_X B_1</math> का एक सबसेट भी होता है <math>\{ 0 \} \times [-1, 1].</math> किसी भी मीट्रिक स्थान में <math>(M, \rho),</math> टोपोलॉजिकल सीमा <math>M</math> त्रिज्या की एक खुली गेंद का <math>r > 0</math> एक बिंदु पर केंद्रित <math>c \in M</math> हमेशा त्रिज्या के गोले का एक उपसमुच्चय होता है <math>r</math> उसी बिंदु पर केंद्रित <math>c</math> है,
<math display="block">\partial_M \left(\left\{ m \in M : \rho(m, c) < r \right\}\right) ~\subseteq~ \left\{ m \in M : \rho(m, c)= r \right\}</math>
<math display="block">\partial_M \left(\left\{ m \in M : \rho(m, c) < r \right\}\right) ~\subseteq~ \left\{ m \in M : \rho(m, c)= r \right\}</math>
हमेशा धारण करता है।
हमेशा धारण करता है।


इसके अतिरिक्त, इकाई क्षेत्र <math>(X, d)</math> रोकना <math>X \setminus Y = S^1 \setminus \{ (0, \pm 1) \},</math> जो का एक खुला उपसमुच्चय होता है <math>X.</math><ref group="proof">The <math>y</math>-axis <math>Y = \{ 0 \} \times \R</math> is closed in <math>\R^2</math> because it is a product of two closed subsets of <math>\R.</math> Consequently, <math>\R^2 \setminus Y</math> is an open subset of <math>\R^2.</math> Because <math>X</math> has the subspace topology induced by <math>\R^2,</math> the intersection <math>X \cap \left(\R^2 \setminus Y\right) = X \setminus Y</math> is an open subset of <math>X.</math> <math>\blacksquare</math></ref> यह दिखाता है, विशेष रूप से, कि इकाई क्षेत्र <math>\left\{ p \in X : d(p, \mathbf{0}) = 1 \right\}</math> में <math>(X, d)</math> इसमें सम्मलित होता है a का भाग है <math>X.</math>
इसके अतिरिक्त, इकाई क्षेत्र <math>(X, d)</math> रोकना <math>X \setminus Y = S^1 \setminus \{ (0, \pm 1) \},</math> जो कि एक खुला उपसमुच्चय होता है <math>X.</math><ref group="proof">The <math>y</math>-axis <math>Y = \{ 0 \} \times \R</math> is closed in <math>\R^2</math> because it is a product of two closed subsets of <math>\R.</math> Consequently, <math>\R^2 \setminus Y</math> is an open subset of <math>\R^2.</math> Because <math>X</math> has the subspace topology induced by <math>\R^2,</math> the intersection <math>X \cap \left(\R^2 \setminus Y\right) = X \setminus Y</math> is an open subset of <math>X.</math> <math>\blacksquare</math></ref> यह दिखाता है, विशेष रूप से, कि इकाई क्षेत्र <math>\left\{ p \in X : d(p, \mathbf{0}) = 1 \right\}</math> में <math>(X, d)</math> इसमें सम्मलित होता है a का भाग होता है <math>X.</math>
== एक सीमा की सीमा ==
== एक सीमा की सीमा ==


किसी भी सेट के लिए <math>S, \partial S \supseteq \partial\partial S,</math> जहां<math>\,\supseteq\,</math>समानता धारण के साथ सुपरसेट को दर्शाता है यदि और केवल सीमा <math>S</math> कोई आंतरिक बिंदु नही होता है, जो उदाहरण के लिए होता है यदि <math>S</math> या तो बंद होता है या खुला होता है। चूँकि समुच्चय की परिसीमा बंद है, <math>\partial \partial S = \partial \partial \partial S</math> किसी भी सेट के लिए <math>S.</math> सीमा संचालिका इस प्रकार एक कमजोर प्रकार की निष्क्रियता को संतुष्ट करती है।
किसी भी सेट के लिए <math>S, \partial S \supseteq \partial\partial S,</math> जहां<math>\,\supseteq\,</math>समानता धारण के साथ सुपरसेट को दर्शाता है यदि और केवल सीमा <math>S</math> कोई आंतरिक बिंदु नही होती है, जो उदाहरण के लिए होता है यदि <math>S</math> या तो बंद होता है या खुला होता है। चूँकि समुच्चय की परिसीमा बंद होती है, <math>\partial \partial S = \partial \partial \partial S</math> किसी भी सेट के लिए <math>S.</math> सीमा संचालिका इस प्रकार एक कमजोर प्रकार की निष्क्रियता को संतुष्ट करती है।


मैनिफोल्ड्स या सिम्प्लेक्स की सीमाओं और उनके सरल परिसरों पर चर्चा करते हुए, अधिकांशतः यह कहा जाता है कि एक सीमा की सीमा हमेशा खाली होती है। वास्तव में, एकवचन गृहविज्ञान का निर्माण इसी तथ्य पर समालोचनात्मक रूप से टिका हुआ होता है। स्पष्ट असंगति के लिए स्पष्टीकरण यह है कि टोपोलॉजिकल सीमा कई गुना या एक साधारण परिसर की सीमा से थोड़ी अलग अवधारणा है। उदाहरण के लिए, एक खुली डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, खाली होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को वास्तविक विमान के सबसेट के रूप में देखा जाता है, जो डिस्क के आसपास का सर्कल होता है। इसके विपरीत, एक बंद डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, बाउंडिंग सर्कल होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है। विशेष रूप से, टोपोलॉजिकल सीमा परिवेश स्थान पर निर्भर करती है, जबकि कई गुना की सीमा अपरिवर्तनीय होती है।
मैनिफोल्ड्स या सिम्प्लेक्स की सीमाओं और उनके सरल परिसरों पर चर्चा करते हुए, अधिकांशतः यह कहा जाता है कि एक सीमा की सीमा हमेशा खाली होती है। वास्तव में, एकवचन गृहविज्ञान का निर्माण इसी तथ्य पर समालोचनात्मक रूप से टिका हुआ होता है। स्पष्ट असंगति के लिए स्पष्टीकरण यह है कि टोपोलॉजिकल सीमा कई गुना या एक साधारण परिसर की सीमा से थोड़ी अलग अवधारणा होती है। उदाहरण के लिए, एक खुली डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, खाली होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है। इसके विपरीत, एक बंद डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, सीमांकन घेरा होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है। विशेष रूप से, टोपोलॉजिकल सीमा परिवेश स्थान पर निर्भर करती है, जबकि कई गुना की सीमा अपरिवर्तनीय होती है।


== यह भी देखें ==
== यह भी देखें ==
Line 113: Line 113:


{{Topology|expanded}}
{{Topology|expanded}}
[[Category: सामान्य टोपोलॉजी]]


 
[[Category:Collapse templates]]
[[Category: Machine Translated Page]]
[[Category:Created On 11/11/2022]]
[[Category:Created On 11/11/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:सामान्य टोपोलॉजी]]

Latest revision as of 16:27, 15 June 2023

एक सेट (हल्के नीले रंग में) और इसकी सीमा (गहरे नीले रंग में)।

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

S की सीमा से जुड़े घटक को S का सीमा घटक कहा जाता है।

सामान्य परिभाषाएं

इसके लिए कई समान परिभाषाएं है सीमा एक उपसमुच्चय का एक टोपोलॉजिकल स्थान जिसे दर्शाया जाता है या केवल यदि विदित होता है:

  1. यह क्लोजर (टोपोलॉजी) है का आंतरिक (टोपोलॉजी) घटाव सेट करता है में :
    जहाँ पे के क्लोजर (टोपोलॉजी) को दर्शाता है में तथा आंतरिक (टोपोलॉजी) को दर्शाता है में
  2. यह बंद होने का स्थान होता है इसके पूरक (सेट सिद्धांत) के बंद होने के साथ होता है:
  3. यह बिंदुओं का समूह होता है ऐसा है कि हर निकटतम (टोपोलॉजी) कम से कम एक बिंदु सम्मलित होती है और कम से कम एक बिंदु नही होती है :

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

गुण

एक सेट का बंद होना इसकी सीमा के साथ समुच्चय के मिलन के बराबर होता है:

जहाँ पे के क्लोजर (टोपोलॉजी) को दर्शाता है में एक सेट अगर और केवल तभी बंद होता है जब उसकी सीमा होती है, और अगर और केवल तभी खुलता है जब वह अपनी सीमा से अलग होता है। एक सेट की सीमा बंद सेट होती है,[3] यह सूत्र से इस प्रकार है जो व्यक्त करता है कि दो बंद उपसमुच्चयों के प्रतिच्छेदन के रूप में किसी उपसमुच्चय को देखते हुए प्रत्येक बिंदु ठीक तीन सेटों में से एक में स्थित होते है तथा अलग होता है,
और ये तीनों समुच्चय असंयुक्त होते है। नतीजतन, अगर ये सेट खाली नही होते है[note 1] तब वे के समुच्चय का विभाजन बनाते है एक बिंदु एक सेट की एक सीमा बिंदु होती है यदि और केवल प्रत्येक निकटतम सेट में कम से कम एक बिंदु होती है। समुच्चय के आंतरिक भाग की सीमा और समुच्चय के बंद होने की सीमा दोनों ही समुच्चय की सीमा में समाहित होते है।

Accumulation And Boundary Points Of S.PNG
एक उपसमुच्चय के विभिन्न बिंदुओं के बीच संबंधों को दर्शाने वाला संकल्पनात्मक वेन आरेख का = सीमा बिंदुओं का सेट सीमा बिंदुओं का सेट क्षेत्र छायांकित हरा = के आंतरिक बिंदुओं का समुच्चय क्षेत्र छायांकित पीला = के पृथक बिंदुओं का समुच्चय क्षेत्र छायांकित काला = खाली सेट होता है। इसका हर बिंदु या तो एक आंतरिक बिंदु या एक सीमा बिंदु होती है। इसके अतिरिक्त, हर बिंदु या तो एक संचय बिंदु या एक पृथक बिंदु होती है। इसी तरह, हर सीमा बिंदु या तो एक संचय बिंदु या एक पृथक बिंदु होती है। पृथक बिंदु हमेशा सीमा बिंदु होती है।

उदाहरण

लक्षण और सामान्य उदाहरण

एक सेट की सीमा सेट के पूरक की सीमा के बराबर है:

एक सेट का एक सघन उपसमुच्चय है। का खुला समुच्चय उपसमुच्चय है अगर और केवल अगर बंद समुच्चय की सीमा का आंतरिक भाग समुच्चय होता है।[proof 1] नतीजतन, एक सेट के बंद होने की सीमा का आंतरिक भाग खाली सेट होता है। किसी खुले समुच्चय की सीमा का आंतरिक भाग भी समुच्चय ही होता है।[proof 2] नतीजतन, एक सेट के आंतरिक की सीमा का आंतरिक भाग खाली सेट होता है। विशेष रूप से, यदि का एक बंद या खुला उपसमुच्चय होता है तब कोई गैर उपसमुच्चय उपस्थित नही होता है ऐसा है कि का एक खुला उपसमुच्चय भी होता है यह तथ्य नोव्हेयर डेंस सेट, मेगर सेट और बेयर स्थान की परिभाषा और उपयोग के लिए महत्वपूर्ण होते है।

एक समुच्चय किसी खुले समुच्चय की सीमा होती है यदि और केवल बंद होता है और कहीं भी सघन समुच्चय नही होता है। एक सेट की सीमा खाली होती है यदि और केवल तभी जब सेट बंद और खुला होता है।

ठोस उदाहरण

मंडेलब्रॉट सेट के अतिपरवलयिक घटकों की सीमा

वास्तविक रेखा पर विचार करते है सामान्य टोपोलॉजी के साथ (अर्थात टोपोलॉजी जिसका आधार खुला अंतराल होता है) और परिमेय संख्याओं का उपसमुच्चय (जिसका आंतरिक (टोपोलॉजी) खाली होता है)। फिर

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

सामान्य टोपोलॉजी के साथ परिमेय संख्याओं के स्थान में (उप-स्थान टोपोलॉजी) , की सीमा जहाँ पे तर्कहीन होते है, खाली होते है।

एक सेट की सीमा एक टोपोलॉजी धारणा करता है और यदि कोई टोपोलॉजी बदलता है तो बदल सकता है। उदाहरण के लिए, सामान्य टोपोलॉजी को देखते हुए एक बंद डिस्क की सीमा डिस्क के आसपास का चक्र होता है: यदि डिस्क को एक सेट के रूप में देखा जाता है अपनी सामान्य टोपोलॉजी के साथ, अर्थात्, तब डिस्क की सीमा डिस्क ही होती है: यदि डिस्क को अपने स्वयं के टोपोलॉजिकल स्थान के रूप में देखा जाता है (उप-स्थान टोपोलॉजी के साथ) , तो डिस्क की सीमा खाली होती है।

खुली गेंद बनाम उसके आसपास के गोले की सीमा

यह उदाहरण दर्शाता है कि त्रिज्या की एक खुली गेंद की टोपोलॉजिकल सीमा है आवश्यक रूप से त्रिज्या के संगत गोले के बराबर होते है (एक ही बिंदु पर केंद्रित), यह भी दर्शाता है कि त्रिज्या की एक खुली गेंद का बंद होना होता है आवश्यक रूप से त्रिज्या की बंद गेंद के बराबर होती है (फिर से उसी बिंदु पर केंद्रित होती है)।

सामान्य यूक्लिडियन मीट्रिक को निरूपित करता है जिसके द्वारा

जो प्रेरित करता है सामान्य यूक्लिडियन टोपोलॉजी को प्रेरित करता है। के संघ को निरूपित करता है -एक्सिस यूनिट सर्कल के साथ
मूल पर केंद्रित है, जो एक टोपोलॉजिकल सबस्थान है जिसकी टोपोलॉजी मीट्रिक के (प्रतिबंध) द्वारा प्रेरित के बराबर होती है विशेष रूप से, सेट तथा सभी बंद उपसमुच्चय होते है और इस प्रकार इसके उप-स्थान के उपसमुच्चय भी बंद हो जाते है इसके बाद, जब तक कि यह स्पष्ट रूप से अन्यथा इंगित नही होता है, प्रत्येक खुली गेंद, बंद गेंद और गोले को मूल बिंदु पर केंद्रित माना जाता है। और इसके अतिरिक्त, केवल मीट्रिक स्थान माना जाता है (और इसका सुपरस्थान नही होता है ), यह एक पथ से जुड़ा हुआ स्थान होता है | पथ से जुड़ा और स्थानीय रूप से पथ से जुड़ा पूर्ण मीट्रिक स्थान होता है।

त्रिज्या की खुली गेंद को निरूपित करता है में जिसके द्वारा


जिससे कि जब फिर

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

इसके अतिरिक्त, इकाई क्षेत्र रोकना जो कि एक खुला उपसमुच्चय होता है [proof 3] यह दिखाता है, विशेष रूप से, कि इकाई क्षेत्र में इसमें सम्मलित होता है a का भाग होता है

एक सीमा की सीमा

किसी भी सेट के लिए जहांसमानता धारण के साथ सुपरसेट को दर्शाता है यदि और केवल सीमा कोई आंतरिक बिंदु नही होती है, जो उदाहरण के लिए होता है यदि या तो बंद होता है या खुला होता है। चूँकि समुच्चय की परिसीमा बंद होती है, किसी भी सेट के लिए सीमा संचालिका इस प्रकार एक कमजोर प्रकार की निष्क्रियता को संतुष्ट करती है।

मैनिफोल्ड्स या सिम्प्लेक्स की सीमाओं और उनके सरल परिसरों पर चर्चा करते हुए, अधिकांशतः यह कहा जाता है कि एक सीमा की सीमा हमेशा खाली होती है। वास्तव में, एकवचन गृहविज्ञान का निर्माण इसी तथ्य पर समालोचनात्मक रूप से टिका हुआ होता है। स्पष्ट असंगति के लिए स्पष्टीकरण यह है कि टोपोलॉजिकल सीमा कई गुना या एक साधारण परिसर की सीमा से थोड़ी अलग अवधारणा होती है। उदाहरण के लिए, एक खुली डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, खाली होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है। इसके विपरीत, एक बंद डिस्क की सीमा जिसे मैनिफोल्ड के रूप में देखा जाता है, सीमांकन घेरा होता है, जैसा कि इसकी टोपोलॉजिकल सीमा को वास्तविक सबसेट के रूप में देखा जाता है, जबकि इसकी टोपोलॉजिकल सीमा को स्वयं के सबसेट के रूप में देखा जाता है। विशेष रूप से, टोपोलॉजिकल सीमा परिवेश स्थान पर निर्भर करती है, जबकि कई गुना की सीमा अपरिवर्तनीय होती है।

यह भी देखें


टिप्पणियाँ

  1. The condition that these sets be non-empty is needed because sets in a partition are by definition required to be non-empty.
  1. 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.
  2. 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
  3. 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


उद्धरण

  1. Hausdorff, Felix (1914). सेट सिद्धांत के मूल सिद्धांत. Leipzig: Veit. p. 214. ISBN 978-0-8284-0061-9. Reprinted by Chelsea in 1949.
  2. Hausdorff, Felix (1914). सेट सिद्धांत के मूल सिद्धांत. Leipzig: Veit. p. 281. ISBN 978-0-8284-0061-9. Reprinted by Chelsea in 1949.
  3. Mendelson, Bert (1990) [1975]. टोपोलॉजी का परिचय (Third ed.). Dover. p. 86. ISBN 0-486-66352-3. परिणाम 4.15 प्रत्येक उपसमुच्चय के लिए बंद है।


इस पृष्ठ में अनुपलब्ध आंतरिक लिंक की सूची

संदर्भ