नेट (गणित)

This article is about यह लेख सांस्थितिक अंतराल में नेट्स के बारे में है।. For बहुफलक के व्यक्त करने के लिए, see नेट (बहुफलक) देखें।.

गणित में, विशेष रूप से सामान्य सांस्थितिकी और संबंधित शाखाओं में, नेट या मूर-स्मिथ अनुक्रम अनुक्रम की धारणा का सामान्यीकरण है। संक्षेप में, अनुक्रम एक ऐसा फलन है जिसका क्षेत्र प्राकृतिक संख्याएं हैं। इस फलन का सहक्षेत्र प्रायः कुछ सांस्थितिक अंतराल होता है।

अनुक्रम की धारणा को सामान्य बनाने के लिए प्रेरणा यह है कि, सांस्थितिकी के संदर्भ में, अनुक्रम सांस्थितिक अंतराल के बीच फलनों के बारे में सभी सूचनाओं को पूरी तरह से एन्कोड नहीं करते हैं। विशेष रूप से, निम्नलिखित दो स्थितियाँ, सामान्य रूप से, सांस्थितिक अंतराल $X$ और $Y$ के बीच के मानचित्र $f$ के समतुल्य नहीं हैं-

1. मानचित्र $f$ सांस्थितिक अर्थों में सतत है
2. किसी भी बिंदु $x$ में, $X,$ और $X$ में किसी भी अनुक्रम को $x,$ में परिवर्तित करने के लिए, इस अनुक्रम के साथ $f$ की संरचना $f(x)$ (अनुक्रमिक अर्थ में सतत) में परिवर्तित हो जाती है।

जबकि शर्त 1 हमेशा शर्त 2 की गारंटी देती है, यदि सांस्थितिक अंतराल दोनों प्रथम-गणनीय नहीं हैं, तो इसका विपरीत आवश्यक रूप से सत्य नहीं है। विशेष रूप से, दो शर्तें मीट्रिक अंतरालों के लिए समान हैं। वे अंतराल जिनके लिए व्युत्क्रम धारण करती है अनुक्रमिक अंतराल हैं।

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

नेट सांस्थितिकी में उपयोग किए जाने वाले कई उपकरणों में से एक हैं, जो कुछ अवधारणाओं को सामान्य बनाने के लिए उपयोग किए जाते हैं जो मीट्रिक अंतरालों के संदर्भ में पर्याप्त सामान्य नहीं हो सकते हैं। संबंधित धारणा, फ़िल्टर की, 1937 में हेनरी कार्टन द्वारा विकसित की गई थी।

परिभाषाएँ

कोई भी फलन जिसका क्षेत्र निर्देशित समुच्चय है, उसे नेट कहा जाता है। यदि यह फलन किसी समुच्चय $X$ में मान लेता है तो इसे $X$ में नेट के रूप में भी संदर्भित किया जा सकता है।

स्पष्ट रूप से, $X$ में नेट $f:A\to X$ के रूप का फलन है जहां $A$ कुछ निर्देशित समुच्चय है। नेट के क्षेत्र के अल्पांशों को इसका सूचकांक कहा जाता है। एक निर्देशित समुच्चय अरिक्त समुच्चय $A$ है जो पूर्वक्रम के साथ होता है, प्रायः स्वचालित रूप से $\,\leq \,$ (जब तक अन्यथा इंगित नहीं किया जाता है) द्वारा दर्शाया जाता है, गुण के साथ यह भी (ऊपर की ओर) निर्देशित होता है, जिसका अर्थ है कि किसी भी $a,b\in A,$ के लिए कुछ $c\in A$ का अस्तित्व है जैसे कि $a\leq c$ और $b\leq c$। शब्दों में, इस गुण का अर्थ है कि किसी भी दो अल्पांशों ($A$) के दिए जाने पर, सदैव कुछ ऐसा अल्पांश होता है जो दोनों के "ऊपर" होता है (अर्थात, उनमें से प्रत्येक से अधिक या उसके बराबर) इस तरह, निर्देशित समुच्चय गणितीय रूप से परिशुद्ध तरीके से "एक दिशा" की धारणा को सामान्यीकृत करते हैं। प्राकृतिक संख्या $\mathbb {N}$ सामान्य पूर्णांक तुलना $\,\leq \,$ पूर्वक्रम के साथ मिलकर निर्देशित समुच्चय का आदर्श उदाहरण बनाती हैं। वास्तव में, नेट जिसका क्षेत्र प्राकृतिक संख्या है, एक अनुक्रम है क्योंकि परिभाषा के अनुसार, $X$ में अनुक्रम $\mathbb {N} =\{1,2,\ldots \}$ से $X$ में केवल एक फलन है। यह इस प्रकार है कि नेट्स अनुक्रमों का सामान्यीकरण है। महत्वपूर्ण रूप से, हालांकि, प्राकृतिक संख्याओं के विपरीत, निर्देशित समुच्चयों को कुल क्रम या आंशिक क्रम होने की आवश्यकता नहीं है। इसके अलावा, निर्देशित समुच्चय में सबसे बड़े अल्पांश और/या अधिकतम अल्पांश होने की अनुमति है, यही कारण है कि नेट का उपयोग करते समय, प्रेरित विशुद्ध पूर्वक्रम $\,<\,$ के स्थान पर मूल (अविशुद्ध) पर्वक्रम $\,\leq$, विशेष रूप से, यदि निर्देशित समुच्चय, $(A,\leq )$ में सबसे बड़ा अल्पांश $a\in A$ है तो कोई भी $b\in A$ उपस्थित नहीं है, जैसे कि $a<b$ (इसके विपरीत, वहाँ सदैव कुछ $b\in A$ उपस्थित हैं जैसे कि $a\leq b$।

नेट को प्रायः अंकन का उपयोग करके निरूपित किया जाता है जो अनुक्रमों के साथ उपयोग किए जाने वाले (और प्रेरित) के समान होता है। $X$ में नेट को $\left(x_{a}\right)_{a\in A},$ द्वारा दर्शाया जा सकता है, जहां अन्यथा सोचने का कोई कारण नहीं है, यह स्वचालित रूप से माना जाना चाहिए कि समुच्चय $A$ निर्देशित है और इससे संबंधित पूर्वक्रम को $\,\leq$ द्वारा दर्शाया जाता है। हालाँकि, नेट के लिए अंकन कुछ लेखकों के साथ भिन्न होता है, उदाहरण के लिए, कोष्ठक के स्थान पर कोण वाले कोष्ठक $\left\langle x_{a}\right\rangle _{a\in A}$ का उपयोग करते हैं। $X$ में नेट को $x_{\bullet }=\left(x_{a}\right)_{a\in A},$ के रूप में भी लिखा जा सकता है, जो इस तथ्य को व्यक्त करता है कि यह नेट $x_{\bullet }$एक फलन $x_{\bullet }:A\to X$ है, जिसका मान इसके क्षेत्र में तत्व $a$ पर $x_{\bullet }(a)$ द्वारा दर्शाया जाता है, बजाय सामान्य कोष्ठक संकेतन के $x_{a}$ जिसका प्रायः उपयोग किया जाता है फलनों के साथ (यह पादांक नोटेशन अनुक्रमों से लिया जा रहा है)। जैसे कि बीजगणितीय सांस्थितिकी के क्षेत्र में, भरी हुई डिस्क या "बुलेट" उस स्थान को दर्शाती है जहां नेट के लिए तर्क (अर्थात, नेट के क्षेत्र के अल्पांश $a\in A$) रखे गए हैं यह महत्त्व देने में सहायता करता है कि नेट एक फलन है और उन सूचकांक और अन्य प्रतीकों की संख्या को भी कम करता है जिन्हें बाद में संदर्भित करते समय लिखा जाना चाहिए।

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

सबनेट केवल $A;$ के निर्देशित उपसमुच्चय के लिए नेट $f$ का प्रतिबंध नहीं है, परिभाषा के लिए लिंक किए गए पृष्ठ को देखें।

नेट्स के उदाहरण

प्रत्येक अरिक्त पूर्णतः क्रमित समुच्चय को निर्देशित किया जाता है। इसलिए, ऐसे समुच्चय का प्रत्येक फलन एक नेट होता है। विशेष रूप से, सामान्य क्रम वाली प्राकृतिक संख्याएं इस तरह के समुच्चय का निर्माण करती हैं, और अनुक्रम प्राकृतिक संख्याओं पर फलन होता है, इसलिए प्रत्येक अनुक्रम नेट होता है।

एक अन्य महत्वपूर्ण उदाहरण इस प्रकार है। सांस्थितिक अंतराल में एक बिंदु $x$ दिया गया है, माना $N_{x}$ $x$ वाले सभी प्रतिवेशों के समुच्चय को दर्शाता है। फिर $N_{x}$ निर्देशित समुच्चय है, जहां विपरीत समावेशन द्वारा दिशा दी जाती है, ताकि $S\geq T$ यदि और केवल यदि $S$, $T$ में निहित हो। माना $S\in N_{x},$ के लिए $x_{S}$ को $S$ में बिंदु हैं। तब $\left(x_{S}\right)$ नेट है। जैसे ही $S$ $\,\geq ,$ के संबंध में बढ़ता है, बिंदु $x_{S}$ नेट में, $x$ के घटते प्रतिवेश में लाई के लिए विवश हैं, इसलिए सहज रूप से बोलना, हम इस विचार की ओर अग्रसर हैं कि $x_{S}$ को किसी अर्थ में $x$ की ओर प्रवृत्त होना चाहिए। हम इस सीमित अवधारणा को सटीक बना सकते हैं।

एक अनुक्रम का सबनेट आवश्यक नहीं कि अनुक्रम हो। उदाहरण के लिए, मान लीजिए $X=\mathbb {R} ^{n}$ और मान लीजिए $x_{i}=0$ प्रत्येक $i\in \mathbb {N} ,$ के लिए, ताकि $x_{\bullet }=(0)_{i\in \mathbb {N} }:\mathbb {N} \to X$ सतत शून्य क्रम हो। मान लीजिए $I=\{r\in \mathbb {R} :r>0\}$ को सामान्य क्रम $\,\leq \,$ द्वारा निर्देशित किया जाता है और प्रत्येक $r\in R.$ के लिए $s_{r}=0$ है। $\varphi :I\to \mathbb {N}$ को $\varphi (r)=\lceil r\rceil$ को $r$ की सीमा मान कर परिभाषित करें। मानचित्र $\varphi :I\to \mathbb {N}$ क्रम आकारिकी है जिसका चित्र इसके सहक्षेत्र में अंतिम है और $\left(x_{\bullet }\circ \varphi \right)(r)=x_{\varphi (r)}=0=s_{r}$ प्रत्येक $r\in R$ के लिए है। इससे पता चलता है कि $\left(s_{r}\right)_{r\in R}=x_{\bullet }\circ \varphi$ अनुक्रम $x_{\bullet }$ का एक सबनेट है (जहां यह सबनेट $x_{\bullet }$ का अनुवर्ती नहीं है क्योंकि यह अनुक्रम भी नहीं है क्योंकि इसका क्षेत्र अगणनीय समुच्चय है)।

नेट की सीमाएँ

नेट $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ को समुच्चय $S$ में अंततः या अवशिष्ट रूप से कहा जाता है यदि कुछ $a\in A$ उपस्थित है जैसे कि प्रत्येक $b\in A$ के साथ $b\geq a,$ बिंदु $x_{b}\in S$। और इसे $S$ में बार-बार या अंतिम रूप से कहा जाता है यदि प्रत्येक $a\in A$ के लिए कुछ $b\in A$ उपस्थित है जैसे कि $b\geq a$ और $x_{b}\in S$। बिंदु को नेट का एक सीमा बिंदु (क्रमशः, क्लस्टर बिंदु) कहा जाता है यदि वह नेट अंततः (क्रमशः, अंतिम रूप से) उस बिंदु के प्रत्येक प्रतिवेश में होता है।

स्पष्ट रूप से, बिंदु $x\in X$ को नेट का संचय बिंदु या गुच्छ बिंदु कहा जाता है यदि $x$ के प्रत्येक प्रतिवेश $U$ के लिए, नेट प्रायः $U$ में होता है।

बिंदु $x\in X$ को $X$ में नेट $x_{\bullet }$ की सीमा बिंदु या सीमा कहा जाता है यदि (और केवल अगर)

$x$ के प्रत्येक विवृत प्रतिवेश $U$ के लिए, नेट $x_{\bullet }$ अंततः $U$ में है,

किस स्थिति में, इस नेट को तब $x$ की ओर अभिसरण करने के लिए और $x$ को एक सीमा के रूप में रखने के लिए भी कहा जाता है।

सहज रूप से, नेट $\left(x_{a}\right)_{a\in A}$ के अभिसरण का अर्थ है कि मान $x_{a}$ आते हैं और उतने ही समीप रहते हैं जितना हम चाहते हैं कि $x$ पर्याप्त बड़ा $a$ के लिए हो। एक बिंदु $x$ के प्रतिवेश प्रणाली पर ऊपर दिया गया उदाहरण नेट वास्तव में इस परिभाषा के अनुसार $x$ में अभिसरण करता है।

सीमाओं के लिए संकेतन

यदि नेट $x_{\bullet }$ $X$ में बिंदु $x\in X$ पर अभिसरित होता है तो इस तथ्य को निम्न में से किसी को लिखकर व्यक्त किया जा सकता है-

$${\begin{alignedat}{4}&x_{\bullet }&&\to \;&&x&&\;\;{\text{ in }}X\\&x_{a}&&\to \;&&x&&\;\;{\text{ in }}X\\\lim _{}\;&x_{\bullet }&&\to \;&&x&&\;\;{\text{ in }}X\\\lim _{a\in A}\;&x_{a}&&\to \;&&x&&\;\;{\text{ in }}X\\\lim _{}{}_{a}\;&x_{a}&&\to \;&&x&&\;\;{\text{ in }}X\\\end{alignedat}}$$

जहां अगर सांस्थितिक अंतराल $X$ संदर्भ से स्पष्ट है तो "$X$ में" शब्दों को छोड़ा जा सकता है। यदि $\lim _{}x_{\bullet }\to x$ में $X$ और यदि $X$ में यह सीमा अद्वितीय है ($X$ में अद्वितीयता का अर्थ है कि यदि $y\in X$ ऐसा है कि $\lim _{}x_{\bullet }\to y,$ तो आवश्यक रूप से $x=y$) तो इस तथ्य को लिखकर दर्शाया जा सकता है

$$\lim _{}x_{\bullet }=x\;~~{\text{ or }}~~\;\lim _{}x_{a}=x\;~~{\text{ or }}~~\;\lim _{a\in A}x_{a}=x$$

जहां तीर $\to .$ के स्थान पर बराबर चिह्न का उपयोग किया जाता है। हॉसडॉर्फ अंतराल में, प्रत्येक नेट की अधिकतम एक सीमा होती है, इसलिए हॉसडॉर्फ अंतराल में अभिसारी नेट की सीमा सदैव अद्वितीय होती है। इसके स्थान पर कुछ लेखक "$\lim _{}x_{\bullet }=x$" का अर्थ $\lim _{}x_{\bullet }\to x$ के लिए संकेतन का उपयोग करते हैं, बिना सीमा के अद्वितीय होने की आवश्यकता के बिना हालाँकि, यदि इस संकेतन को इस तरह से परिभाषित किया जाता है तो बराबर चिह्न $=$ अब सकर्मक संबंध को दर्शाने की गारंटी नहीं है और इसलिए अब समानता को नहीं दर्शाता है। विशेष रूप से, विशिष्टता आवश्यकता के बिना, यदि $x,y\in X$ भिन्न हैं और यदि $X$ में प्रत्येक $x_{\bullet }$ की सीमा भी है तो $\lim _{}x_{\bullet }=x$ और $\lim _{}x_{\bullet }=y$ को $x=y$ असत्य होने के बावजूद (बराबर चिह्न $=$ का उपयोग करके) लिखा जा सकता है।

आधार और उप आधार

$X$ पर सांस्थितिकी के लिए उप आधार ${\mathcal {B}}$ दिया गया है (जहां ध्यान दें कि सांस्थितिकी के लिए प्रत्येक आधार भी उप आधार है) और दिया गया बिंदु $x\in X,$ नेट $x_{\bullet }$ $X$ में अभिसरण करता है यदि और केवल यदि यह अंततः $x$ के प्रत्येक प्रतिवेश $U\in {\mathcal {B}}$ में है। यह लक्षण वर्णन दिए गए बिंदु $x$ के प्रतिवेश के उप आधारों (और इसी तरह प्रतिवेश के आधार) तक फैला हुआ है।

मीट्रिक अंतराल में अभिसरण

मान लीजिए कि $(X,d)$ मीट्रिक अंतराल (या एक स्यूडोमेट्रिक अंतराल) है और $X$ मीट्रिक सांस्थितिकी से संपन्न है। यदि $x\in X$ बिंदु है और $x_{\bullet }=\left(x_{i}\right)_{a\in A}$ नेट है, तो $x_{\bullet }\to x$ में $(X,d)$ यदि और केवल यदि $d\left(x,x_{\bullet }\right)\to 0$ $\mathbb {R} ,$ जहां $d\left(x,x_{\bullet }\right):=\left(d\left(x,x_{a}\right)\right)_{a\in A}$ वास्तविक संख्याओं का नेट है। सामान्य अंग्रेजी में, यह विशेषता कहती है कि नेट मीट्रिक अंतराल में बिंदु पर अभिसरण करता है यदि और केवल अगर नेट और बिंदु के बीच की दूरी शून्य हो जाती है। यदि $(X,\|\cdot \|)$ एक आदर्श स्थान (या एक सेमिनोर्म्ड अंतराल) है तो $x_{\bullet }\to x$ में $(X,\|\cdot \|)$ यदि और केवल यदि $\left\|x-x_{\bullet }\right\|\to 0$ $\mathbb {R} ,$ में जहां $\left\|x-x_{\bullet }\right\|:=\left(\left\|x-x_{a}\right\|\right)_{a\in A}$ है।

सांस्थितिक उप-अंतरालों में अभिसरण

यदि समुच्चय $S=\{x\}\cup \left\{x_{a}:a\in A\right\}$ $X,$ द्वारा प्रेरित उप अंतराल सांस्थितिकी से संपन्न है, तो $\lim _{}x_{\bullet }\to x$ $X$ में यदि और केवल अगर $\lim _{}x_{\bullet }\to x$ $S$ में। इस तरह, नेट $x_{\bullet }$ दिए गए बिंदु $x$ पर अभिसरण करता है या नहीं, यह सवाल पूरी तरह से इस सांस्थितिक उप अंतराल $S$ पर निर्भर करता है जिसमें $x$ और (अर्थात, बिंदु) नेट $x_{\bullet }$ का चित्र सम्मिलित है।

कार्तीय गुणनफल में सीमाएं

गुणनफल अंतराल में नेट की सीमा होती है यदि और केवल यदि प्रत्येक प्रक्षेपण की सीमा होती है।

स्पष्ट रूप से, मान लीजिए $\left(X_{i}\right)_{i\in I}$ सांस्थितिक अंतराल हो, उनके कार्तीय गुणनफल को समाप्त करें

$${\textstyle \prod }X_{\bullet }:=\prod _{i\in I}X_{i}$$

गुणनफल सांस्थितिकी के साथ, और वह प्रत्येक सूचकांक $l\in I,$ के लिए $X_{l}$ द्वारा विहित प्रक्षेपण को दर्शाता है

$${\begin{alignedat}{4}\pi _{l}:\;&&{\textstyle \prod }X_{\bullet }&&\;\to \;&X_{l}\\[0.3ex]&&\left(x_{i}\right)_{i\in I}&&\;\mapsto \;&x_{l}\\\end{alignedat}}$$

मान लीजिए $f_{\bullet }=\left(f_{a}\right)_{a\in A}$ $A$ द्वारा निर्देशित ${\textstyle \prod }X_{\bullet }$ में नेट है और प्रत्येक सूचकांक $i\in I,$ के लिए

$$\pi _{i}\left(f_{\bullet }\right)~{\stackrel {\scriptscriptstyle {\text{def}}}{=}}~\left(\pi _{i}\left(f_{a}\right)\right)_{a\in A}$$

"रोधन $f_{\bullet }$ को $\pi _{i}$ के परिणाम को निरूपित करें, जिसके परिणामस्वरूप नेट $\pi _{i}\left(f_{\bullet }\right):A\to X_{i}.$ होता है, यह कभी-कभी फलन संरचना के संदर्भ में इस परिभाषा के बारे में सोचने के लिए उपयोगी होता है- नेट $f_{\bullet }:A\to {\textstyle \prod }X_{\bullet }$ प्रक्षेपण $\pi _{i}:{\textstyle \prod }X_{\bullet }\to X_{i};$ अर्थात $\pi _{i}\left(f_{\bullet }\right)~{\stackrel {\scriptscriptstyle {\text{def}}}{=}}~\pi _{i}\,\circ \,f_{\bullet }.$ के साथ नेट $\pi _{i}\left(f_{\bullet }\right)$ की संरचना के बराबर है किसी दिए गए बिंदु के लिए $L=\left(L_{i}\right)_{i\in I}\in {\textstyle \prod \limits _{i\in I}}X_{i},$ नेट $f_{\bullet }$ गुणन अंतराल${\textstyle \prod }X_{\bullet }$ में $L$ में अभिसरण करता है यदि और केवल यदि प्रत्येक सूचकांक $i\in I$ के लिए, $\pi _{i}\left(f_{\bullet }\right)\;{\stackrel {\scriptscriptstyle {\text{def}}}{=}}\;\left(\pi _{i}\left(f_{a}\right)\right)_{a\in A}$ $X_{i}$ में $L_{i}$ में अभिसरण करता है। और जब भी ${\textstyle \prod }X_{\bullet }$ में $L$ पर नेट $f_{\bullet }$ समूहबद्ध होता है तो प्रत्येक सूचकांक $i\in I$ के लिए $\pi _{i}\left(f_{\bullet }\right)$समूहबद्ध $L_{i}$ पर होता है। हालांकि, परिवर्तित सामान्य रूप से नहीं होता है। उदाहरण के लिए, मान लें कि $X_{1}=X_{2}=\mathbb {R}$ और $f_{\bullet }=\left(f_{a}\right)_{a\in \mathbb {N} }$ अनुक्रम$(1,1),(0,0),(1,1),(0,0),\ldots$ को दर्शाता है, जो $(1,1)$ और $(0,0)$ के बीच वैकल्पिक होता है। फिर $L_{1}:=0$ और $L_{2}:=1$, $X_{1}\times X_{2}=\mathbb {R} ^{2}$ में $\pi _{1}\left(f_{\bullet }\right)$ और $\pi _{2}\left(f_{\bullet }\right)$ दोनों के क्लस्टर बिंदु हैं, लेकिन $\left(L_{1},L_{2}\right)=(0,1)$ $f_{\bullet }$ का क्लस्टर बिंदु नहीं है क्योंकि त्रिज्या $1$ की विवृत गोलक $(0,1)$ पर केंद्रित है, जिसमें एक भी बिंदु $f_{\bullet }$ सम्मिलित नहीं है।

टाइकोनॉफ की प्रमेय और चयन के स्वयंसिद्ध से संबंध

यदि कोई $L\in X$ नहीं दिया गया है, लेकिन प्रत्येक $i\in I$ के लिए कुछ $L_{i}\in X_{i}$ उपस्थित है जैसे कि $\pi _{i}\left(f_{\bullet }\right)\to L_{i}$ $X_{i}$ में है तो $L=\left(L_{i}\right)_{i\in I}$ द्वारा परिभाषित टपल $X$ में $f_{\bullet }$ की एक सीमा होगी। हालाँकि, यह निष्कर्ष निकालने के लिए चयन के स्वयंसिद्ध को ग्रहण करने की आवश्यकता हो सकती है कि यह टपल $L$ उपस्थित है कुछ स्थितियों में चयन की अभिगृहीत की आवश्यकता नहीं होती है, जैसे कि जब $I$ परिमित होता है या जब प्रत्येक $L_{i}\in X_{i}$ नेट $\pi _{i}\left(f_{\bullet }\right)$ की अद्वितीय सीमा होती है (क्योंकि तब इसके बीच चयन करने के लिए कुछ नहीं होता है), जो उदाहरण के लिए होता है, जब प्रत्येक $X_{i}$ एक हॉसडॉर्फ अंतराल है। यदि $I$ अनंत है और ${\textstyle \prod }X_{\bullet }={\textstyle \prod \limits _{j\in I}}X_{j}$ खाली नहीं है, तो चयन के स्वयंसिद्ध (सामान्य रूप से) अभी भी यह निष्कर्ष निकालने की आवश्यकता होगी कि अनुमान $\pi _{i}:{\textstyle \prod }X_{\bullet }\to X_{i}$ विशेषण मानचित्र हैं।

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

नेट के क्लस्टर बिंदु

बिंदु $x\in X$ किसी दिए गए नेट का एक क्लस्टर बिंदु है यदि और केवल यदि इसका उपसमुच्चय है जो $x$ में अभिसरण करता है। यदि $x_{\bullet }=\left(x_{a}\right)_{a\in A}$, $X$ में एक नेट है, तो $X$ में $x_{\bullet }$ के सभी क्लस्टर बिंदुओं का समुच्चय बराबर है

$$\bigcap _{a\in A}\operatorname {cl} _{X}\left(x_{\geq a}\right)$$

जहाँ $x_{\geq a}:=\left\{x_{b}:b\geq a,b\in A\right\}$ प्रत्येक $a\in A$ के लिए। यदि $x\in X$, $x_{\bullet }$ के कुछ सबनेट का क्लस्टर बिंदु है तो $x$ भी $x_{\bullet }$ का क्लस्टर बिंंदु है।

अल्ट्रानेट

समुच्चय $X$ में नेट $x_{\bullet }$ को सार्वभौमिक नेट या अल्ट्रानेट कहा जाता है यदि प्रत्येक उपसमुच्चय $S\subseteq X,$ के लिए, $x_{\bullet }$ अंततः $S$ में है या $x_{\bullet }$ अंततः पूरक $X\setminus S$ में है। अल्ट्रानेट अल्ट्राफिल्टर से निकटता से संबंधित हैं।

प्रत्येक सतत नेट अल्ट्रानेट है। अल्ट्रानेट का प्रत्येक सबनेट एक अल्ट्रानेट होता है। प्रत्येक नेट का कुछ सबनेट होता है जो कि अल्ट्रानेट होता है। यदि $x_{\bullet }=\left(x_{a}\right)_{a\in A}$, $X$ में अल्ट्रानेट है और $f:X\to Y$ फलन है तो $f\circ x_{\bullet }=\left(f\left(x_{a}\right)\right)_{a\in A}$ $Y$ में अल्ट्रानेट है।

$x\in X,$ $x$ पर एक अल्ट्रानेट क्लस्टर दिया गया है यदि और केवल यह $x$ में परिवर्तित होता है।

नेट की सीमाओं के उदाहरण

अनुक्रम की प्रत्येक सीमा और किसी फलन की सीमा की व्याख्या नेट की सीमा के रूप में की जा सकती है (जैसा कि नीचे वर्णित है)।

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

प्रोटोटाइप $f:\mathbb {R} \to \mathbb {R}$ के साथ सभी फलनों के समुच्चय $\mathbb {R} ^{\mathbb {R} }$ को कार्तीय गुणनफल ${\textstyle \prod \limits _{x\in \mathbb {R} }}\mathbb {R}$ के रूप में व्याख्या करें (टपल $(f(x))_{x\in \mathbb {R} },$ के साथ फलन $f$ की पहचान करके और इसके विपरीत) और इसे गुणनफल सांस्थितिकी के साथ समाप्त करें। $\mathbb {R} ^{\mathbb {R} }$ पर यह (गुणनफल) सांस्थितिकी बिंदुवार अभिसरण की सांस्थितिकी के समान है। माना $E$ सभी फलनों के समुच्चय को इंगित करता है $f:\mathbb {R} \to \{0,1\}$ जो कि प्रत्येक स्थान $1$ के बराबर हैं, बजाय इसके कि बहुत से बिंदु हैं (अर्थात, जैसे कि समुच्चय $\{x:f(x)=0\}$ परिमित है) फिर सतत $0$ फलन $\mathbf {0} :\mathbb {R} \to \{0\}$, $\mathbb {R} ^{\mathbb {R} }$ में $E$ के समापन होने से संबंधित है, अर्थात, $\mathbf {0} \in \operatorname {cl} _{\mathbb {R} ^{\mathbb {R} }}E$। यह $E$ में नेट बनाकर सिद्ध किया जाएगा जो कि $\mathbf {0}$ में अभिसरण करता है। हालाँकि, $E$ में ऐसा कोई अनुक्रम उपस्थित नहीं है जो $\mathbf {0}$ में अभिसरण करता है जो इसे उदाहरण बनाता है जहाँ (गैर-अनुक्रम) नेट का उपयोग किया जाना चाहिए क्योंकि केवल अनुक्रम वांछित निष्कर्ष तक नहीं पहुँच सकते है। सभी $x$ के लिए $f\geq g$ यदि और केवल अगर $f(x)\geq g(x)$ की घोषणा करके सामान्य तरीके से $\mathbb {R} ^{\mathbb {R} }$ के अल्पांशों की तुलना करें। यह बिंदुवार तुलना आंशिक क्रम है जो $(E,\geq )$ को एक निर्देशित समुच्चय बनाता है क्योंकि किसी भी $f,g\in E$ को दिए जाने के बाद से उनका बिंदुवार न्यूनतम $m:=\min\{f,g\}$ $E$ से संबंधित है और $f\geq m$ और $g\geq m.$ को संतुष्ट करता है। यह आंशिक क्रम पहचान मानचित्र $\operatorname {Id} :(E,\geq )\to E$ ($f\mapsto f$ द्वारा परिभाषित) को $E$-मूल्यवान नेट में बदल देता है। यह नेट $\mathbb {R} ^{\mathbb {R} }$ में $\mathbf {0}$ के लिए बिंदुवार परिवर्तित होता है जिसका अर्थ है कि $\mathbf {0}$ $\mathbb {R} ^{\mathbb {R} }$ में $E$ के समापन होने के अंतर्गत आता है।

उदाहरण

टोपोलॉजिकल स्पेस में अनुक्रम

एक क्रम $a_{1},a_{2},\ldots$ एक टोपोलॉजिकल स्पेस में $X$ में नेट माना जा सकता है $X$ पर परिभाषित $\mathbb {N} .$ नेट अंततः एक सबसेट में है $S$ का $X$ यदि कोई मौजूद है $N\in \mathbb {N}$ ऐसा है कि हर पूर्णांक के लिए $n\geq N,$ बिंदु $a_{n}$ में है $S.$ इसलिए $\lim {}_{n}a_{n}\to L$ अगर और केवल अगर हर पड़ोस के लिए $V$ का $L,$ नेट अंत में अंदर है $V.$ नेट अक्सर एक सबसेट में होता है $S$ का $X$ यदि और केवल यदि प्रत्येक के लिए $N\in \mathbb {N}$ कुछ पूर्णांक मौजूद है $n\geq N$ ऐसा है कि $a_{n}\in S,$ यानी, अगर और केवल अगर अनुक्रम के असीमित रूप से कई तत्व अंदर हैं $S.$ इस प्रकार एक बिंदु $y\in X$ नेट का एक क्लस्टर बिंदु है अगर और केवल अगर हर पड़ोस $V$ का $y$ अनुक्रम के असीमित रूप से कई तत्व शामिल हैं।

मेट्रिक स्पेस से टोपोलॉजिकल स्पेस तक फंक्शन

एक बिंदु ठीक करें $c\in M$ एक मीट्रिक अंतरिक्ष में $(M,d)$ जिसमें कम से कम दो बिंदु हों (जैसे $M:=\mathbb {R} ^{n}$ यूक्लिडियन मीट्रिक के साथ $c:=0$ मूल होना, उदाहरण के लिए) और सेट को निर्देशित करें $I:=M\setminus \{c\}$ से दूरी के अनुसार उलटा $c$ यह घोषित करके $i\leq j$ अगर और केवल अगर $d(j,c)\leq d(i,c).$ दूसरे शब्दों में, संबंध की कम से कम समान दूरी है $c$ के रूप में, इसलिए कि इस संबंध के संबंध में काफी बड़े का मतलब काफी करीब है $c$. डोमेन के साथ कोई फ़ंक्शन दिया गया $M,$ इसके लिए प्रतिबंध $I:=M\setminus \{c\}$ द्वारा निर्देशित नेट के रूप में कैनोनिक रूप से व्याख्या की जा सकती है $(I,\leq ).$

एक शुद्ध $f:M\setminus \{c\}\to X$ अंततः एक उपसमुच्चय में है $S$ एक टोपोलॉजिकल स्पेस का $X$ अगर और केवल अगर कुछ मौजूद है $n\in M\setminus \{c\}$ ऐसा कि प्रत्येक के लिए $m\in M\setminus \{c\}$ संतुष्टि देने वाला $d(m,c)\leq d(n,c),$ बिंदु $f(m)$ में है $S.$ ऐसा जाल $f$ में विलीन हो जाता है $X$ किसी दिए गए बिंदु पर $L\in X$ अगर और केवल अगर $\lim _{m\to c}f(m)\to L$ सामान्य अर्थों में (जिसका अर्थ है कि हर पड़ोस के लिए $V$ का $L,$ $f$ अंत में है $V$).

जाल $f:M\setminus \{c\}\to X$ अक्सर उपसमुच्चय में होता है $S$ का $X$ यदि और केवल यदि प्रत्येक के लिए $n\in M\setminus \{c\}$ कुछ मौजूद है $m\in M\setminus \{c\}$ साथ $d(m,c)\leq d(n,c)$ ऐसा है कि $f(m)$ में है $S.$ नतीजतन, एक बिंदु $L\in X$ नेट का एक क्लस्टर बिंदु है $f$ अगर और केवल अगर हर पड़ोस के लिए $V$ का $L,$ नेट अक्सर अंदर होता है $V.$

एक सुव्यवस्थित सेट से एक टोपोलॉजिकल स्पेस में कार्य

एक सुव्यवस्थित सेट पर विचार करें | सुव्यवस्थित सेट $[0,c]$ सीमा बिंदु के साथ $t$ और एक समारोह $f$ से $[0,t)$ एक टोपोलॉजिकल स्पेस के लिए $X.$ यह फ़ंक्शन नेट ऑन है $[0,t).$ यह अंततः एक उपसमुच्चय में है $V$ का $X$ यदि कोई मौजूद है $r\in [0,t)$ ऐसा कि प्रत्येक के लिए $s\in [r,t)$ बिंदु $f(s)$ में है $V.$ इसलिए $\lim _{x\to t}f(x)\to L$ अगर और केवल अगर हर पड़ोस के लिए $V$ का $L,$ $f$ अंत में है $V.$ जाल $f$ अक्सर उपसमुच्चय में होता है $V$ का $X$ यदि और केवल यदि प्रत्येक के लिए $r\in [0,t)$ कुछ मौजूद है $s\in [r,t)$ ऐसा है कि $f(s)\in V.$ एक बिंदु $y\in X$ नेट का एक क्लस्टर बिंदु है $f$ अगर और केवल अगर हर पड़ोस के लिए $V$ का $y,$ नेट अक्सर अंदर होता है $V.$ पहला उदाहरण इसका एक विशेष मामला है $c=\omega .$ ऑर्डर टोपोलॉजी#ऑर्डिनल-इंडेक्स्ड सीक्वेंस|ऑर्डिनल-इंडेक्स्ड सीक्वेंस भी देखें।

सबनेट

Main article: Subnet (mathematics)

See also: Filters in topology § Subnets

नेट के लिए अनुगामी का एनालॉग एक सबनेट की धारणा है। सबनेट की कई अलग-अलग गैर-समतुल्य परिभाषाएँ हैं और यह लेख 1970 में स्टीफन विलार्ड द्वारा शुरू की गई परिभाषा का उपयोग करेगा, जो इस प्रकार है: अगर $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ और $s_{\bullet }=\left(s_{i}\right)_{i\in I}$ नेट हैं तो $s_{\bullet }$ ए कहा जाता है subnet या Willard-subnet का $x_{\bullet }$ यदि कोई आदेश-संरक्षण मानचित्र मौजूद है $h:I\to A$ ऐसा है कि $h(I)$ का अंतिम उपसमुच्चय है $A$ और

$$s_{i}=x_{h(i)}\quad {\text{ for all }}i\in I.$$
 वो नक्शा $h:I\to A$ कहा जाता है order-preserving और एक order homomorphism अगर कभी भी $i\leq j$ तब $h(i)\leq h(j).$ सेट $h(I)$ प्राणी cofinal में $A$ का अर्थ है कि प्रत्येक के लिए $a\in A,$ कुछ मौजूद है $b\in h(I)$ ऐसा है कि $b\geq a.$

गुण

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

स्थलाकृतिक गुणों की विशेषताएं

बंद सेट और बंद

उपसमुच्चय $S\subseteq X$ में बंद है $X$ यदि और केवल यदि प्रत्येक अभिसरण नेट का प्रत्येक सीमा बिंदु $S$ का अनिवार्य रूप से है $S.$ स्पष्ट रूप से, एक उपसमूह $S\subseteq X$ बंद है अगर और केवल अगर जब भी $x\in X$ और $s_{\bullet }=\left(s_{a}\right)_{a\in A}$ में नेट वैल्यू है $S$ (मतलब है कि $s_{a}\in S$ सभी के लिए $a\in A$) ऐसा है कि $\lim {}_{}s_{\bullet }\to x$ में $X,$ फिर अनिवार्य रूप से $x\in S.$ अधिक सामान्यतः, यदि $S\subseteq X$ कोई उपसमुच्चय है तो एक बिंदु $x\in X$ के क्लोजर (टोपोलॉजी) में है $S$ अगर और केवल अगर कोई नेट मौजूद है $\left(s_{a}\right)_{a\in A}$ में $S$ सीमा के साथ $x\in X$ और ऐसा है $s_{a}\in S$ प्रत्येक सूचकांक के लिए $a\in A.$

टोपोलॉजी के खुले सेट और लक्षण वर्णन

See also: Characterizations of the category of topological spaces § Convergent net characterization

उपसमुच्चय $S\subseteq X$ खुला है अगर और केवल अगर कोई नेट नहीं है $X\setminus S$ के एक बिन्दु पर आ जाता है $S.$ इसके अलावा, सबसेट $S\subseteq X$ खुला है अगर और केवल अगर प्रत्येक नेट के एक तत्व में परिवर्तित हो रहा है $S$ अंत में निहित है $S.$ यह खुले उपसमुच्चय की ये विशेषताएँ हैं जो नेट को टोपोलॉजी (संरचना) को चिह्नित करने की अनुमति देती हैं। टोपोलॉजी को बंद उपसमुच्चय द्वारा भी चित्रित किया जा सकता है क्योंकि एक सेट खुला है अगर और केवल अगर इसका पूरक बंद है। तो नेट के संदर्भ में बंद सेट के लक्षण वर्णन का उपयोग टोपोलॉजी को चिह्नित करने के लिए भी किया जा सकता है।

निरंतरता

एक समारोह $f:X\to Y$ टोपोलॉजिकल स्पेस के बीच एक दिए गए बिंदु पर निरंतर कार्य (टोपोलॉजी) है $x$ अगर और केवल अगर हर नेट के लिए $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ इसके डोमेन में, यदि $\lim _{}x_{\bullet }\to x$ में $X$ तब $\lim {}f\left(x_{\bullet }\right)\to f(x)$ में $Y.$ अधिक संक्षेप में, एक समारोह कहा $f:X\to Y$ निरंतर है अगर और केवल अगर जब भी $x_{\bullet }\to x$ में $X$ तब $f\left(x_{\bullet }\right)\to f(x)$ में $Y.$ सामान्य तौर पर, यह कथन सत्य नहीं होगा यदि शब्द नेट को अनुक्रम द्वारा प्रतिस्थापित किया गया हो; यही है, केवल प्राकृतिक संख्याओं के अलावा अन्य निर्देशित सेटों के लिए अनुमति देना आवश्यक है $X$ प्रथम-गणनीय स्थान नहीं है (या अनुक्रमिक स्थान नहीं है)।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:left; " | Proof

($\implies$) होने देना $f$ बिंदु पर निरंतर रहें $x,$ और जाने $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ ऐसा जाल बनो $\lim _{}x_{\bullet }\to x.$ फिर हर खुले पड़ोस के लिए $U$ का $f(x),$ इसके तहत पूर्वकल्पना $f,$ $V:=f^{-1}(U),$ का पड़ोस है $x$ (की निरंतरता से $f$ पर $x$). इस प्रकार का आंतरिक (टोपोलॉजी)। $V,$ जिसे द्वारा दर्शाया गया है $\operatorname {int} V,$ का खुला पड़ोस है $x,$ और इसके परिणामस्वरूप $x_{\bullet }$ अंत में है $\operatorname {int} V.$ इसलिए $\left(f\left(x_{a}\right)\right)_{a\in A}$ अंत में है $f(\operatorname {int} V)$ और इस प्रकार अंत में भी $f(V)$ जो का उपसमुच्चय है $U.$ इस प्रकार $\lim _{}\left(f\left(x_{a}\right)\right)_{a\in A}\to f(x),$ और यह दिशा सिद्ध होती है। ($\Longleftarrow$) होने देना $x$ एक बिंदु ऐसा हो कि हर नेट के लिए $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ ऐसा है कि $\lim _{}x_{\bullet }\to x,$ $\lim _{}\left(f\left(x_{a}\right)\right)_{a\in A}\to f(x).$ अब मान लीजिए $f$ पर निरंतर नहीं है $x.$ फिर एक पड़ोस है (गणित) $U$ का $f(x)$ जिसके तहत प्रीइमेज है $f,$ $V,$ का पड़ोस नहीं है $x.$ क्योंकि $f(x)\in U,$ अनिवार्य रूप से $x\in V.$ अब के खुले पड़ोस का सेट $x$ सबसेट प्रीऑर्डर के साथ एक निर्देशित सेट है (चूंकि इस तरह के हर दो पड़ोस का चौराहा एक खुला पड़ोस है $x$ भी)। हम जाल बनाते हैं $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ ऐसा कि हर खुले पड़ोस के लिए $x$ जिसका सूचकांक है $a,$ $x_{a}$ इस पड़ोस में एक बिंदु है जो अंदर नहीं है $V$; कि वहाँ हमेशा एक बिंदु इस तथ्य से अनुसरण करता है कि कोई खुला पड़ोस नहीं है $x$ में शामिल है $V$ (क्योंकि धारणा से, $V$ का पड़ोस नहीं है $x$). यह इस प्रकार है कि $f\left(x_{a}\right)$ इसमें नहीं है $U.$ अब, प्रत्येक खुले पड़ोस के लिए $W$ का $x,$ यह पड़ोस उस निर्देशित सेट का सदस्य है जिसका सूचकांक हम निरूपित करते हैं $a_{0}.$ हरएक के लिए $b\geq a_{0},$ निर्देशित सेट का सदस्य जिसका सूचकांक है $b$ के भीतर निहित है $W$; इसलिए $x_{b}\in W.$ इस प्रकार $\lim _{}x_{\bullet }\to x.$ और हमारी धारणा से $\lim _{}\left(f\left(x_{a}\right)\right)_{a\in A}\to f(x).$ लेकिन $\operatorname {int} U$ का खुला पड़ोस है $f(x)$ और इस तरह $f\left(x_{a}\right)$ अंत में है $\operatorname {int} U$ और इसलिए में भी $U,$ के विपरीत $f\left(x_{a}\right)$ में नहीं होना $U$ हरएक के लिए $a.$ यह एक विरोधाभास है $f$ पर निरंतर होना चाहिए $x.$ यह प्रमाण को पूरा करता है।

सघनता

एक स्थान $X$ कॉम्पैक्ट जगह है अगर और केवल अगर हर नेट $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ में $X$ में एक सीमा के साथ एक सबनेट है $X.$ इसे बोलजानो-वीयरस्ट्रास प्रमेय और हेइन-बोरेल प्रमेय के सामान्यीकरण के रूप में देखा जा सकता है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:left; " | Proof

($\implies$) सबसे पहले, मान लीजिए $X$ कॉम्पैक्ट है। हमें निम्नलिखित अवलोकन की आवश्यकता होगी (परिमित चौराहे की संपत्ति देखें)। होने देना $I$ कोई भी गैर-खाली सेट हो और $\left\{C_{i}\right\}_{i\in I}$ के बंद उपसमुच्चय का संग्रह हो $X$ ऐसा है कि $\bigcap _{i\in J}C_{i}\neq \varnothing$ प्रत्येक परिमित के लिए $J\subseteq I.$ तब $\bigcap _{i\in I}C_{i}\neq \varnothing$ भी। अन्यथा, $\left\{C_{i}^{c}\right\}_{i\in I}$ के लिए एक खुला आवरण होगा $X$ की सघनता के विपरीत कोई परिमित उपकवर नहीं है $X.$ होने देना $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ में एक जाल हो $X$ निर्देशक $A.$ हरएक के लिए $a\in A$ परिभाषित करना $$E_{a}\triangleq \left\{x_{b}:b\geq a\right\}.$$ संग्रह $\{\operatorname {cl} \left(E_{a}\right):a\in A\}$ संपत्ति है कि प्रत्येक परिमित उपसंग्रह में गैर-रिक्त चौराहा है। इस प्रकार, ऊपर की टिप्पणी से, हमारे पास वह है $$\bigcap _{a\in A}\operatorname {cl} E_{a}\neq \varnothing$$ और यह सटीक रूप से क्लस्टर बिंदुओं का सेट है $x_{\bullet }.$ अगले खंड में दिए गए सबूत से, यह अभिसरण सबनेट की सीमाओं के सेट के बराबर है $x_{\bullet }.$ इस प्रकार $x_{\bullet }$ एक अभिसारी सबनेट है। ($\Longleftarrow$) इसके विपरीत, मान लीजिए कि प्रत्येक नेट इन $X$ एक अभिसारी सबनेट है। विरोधाभास के लिए, चलो $\left\{U_{i}:i\in I\right\}$ का खुला आवरण हो $X$ बिना किसी परिमित उपकवर के। विचार करना $D\triangleq \{J\subset I:|J|<\infty \}.$ उसका अवलोकन करो $D$ समावेशन के तहत और प्रत्येक के लिए एक निर्देशित सेट है $C\in D,$ वहाँ मौजूद है $x_{C}\in X$ ऐसा है कि $x_{C}\notin U_{a}$ सभी के लिए $a\in C.$ नेट पर विचार करें $\left(x_{C}\right)_{C\in D}.$ इस नेट में अभिसारी सबनेट नहीं हो सकता, क्योंकि प्रत्येक के लिए $x\in X$ वहां मौजूद $c\in I$ ऐसा है कि $U_{c}$ का पड़ोस है $x$; हालाँकि, सभी के लिए $B\supseteq \{c\},$ हमारे पास वह है $x_{B}\notin U_{c}.$ यह एक विरोधाभास है और प्रमाण को पूरा करता है।

क्लस्टर और सीमा बिंदु

किसी नेट के क्लस्टर बिंदुओं का समुच्चय उसके अभिसारी सबनेट (गणित) की सीमाओं के समुच्चय के बराबर होता है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:left; " | Proof

होने देना $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ एक टोपोलॉजिकल स्पेस में नेट बनें $X$ (जहां हमेशा की तरह $A$ स्वचालित रूप से एक निर्देशित सेट माना जाता है) और जाने भी $y\in X.$ अगर $y$ के सबनेट की एक सीमा है $x_{\bullet }$ तब $y$ का समूह बिन्दु है $x_{\bullet }.$ इसके विपरीत मान लीजिए $y$ का समूह बिन्दु है $x_{\bullet }.$ होने देना $B$ जोड़े का सेट हो $(U,a)$ कहाँ $U$ का खुला पड़ोस है $y$ में $X$ और $a\in A$ इस प्रकार कि $x_{a}\in U.$ वो नक्शा $h:B\to A$ मानचित्रण $(U,a)$ को $a$ तो अंतिम है। इसके अलावा दे रहा है $B$ उत्पाद क्रम (के पड़ोस $y$ समावेशन द्वारा आदेश दिया जाता है) इसे एक निर्देशित सेट बनाता है, और net $\left(y_{b}\right)_{b\in B}$ द्वारा परिभाषित $y_{b}=x_{h(b)}$ में विलीन हो जाता है $y.$

एक नेट की एक सीमा होती है यदि और केवल यदि उसके सभी सबनेट की सीमाएँ हों। ऐसे में नेट की हर सीमा हर सबनेट की भी एक सीमा होती है।

अन्य गुण

सामान्य तौर पर, एक अंतरिक्ष में एक जाल $X$ एक से अधिक सीमा हो सकती है, लेकिन यदि $X$ हॉसडॉर्फ स्पेस है, तो नेट की सीमा, यदि यह मौजूद है, अद्वितीय है। इसके विपरीत यदि $X$ हॉसडॉर्फ नहीं है, तो वहां एक नेट मौजूद है $X$ दो अलग-अलग सीमाओं के साथ। इस प्रकार सीमा की विशिष्टता है equivalent अंतरिक्ष पर हॉसडॉर्फ स्थिति के लिए, और वास्तव में इसे परिभाषा के रूप में लिया जा सकता है। यह परिणाम दिशात्मकता की स्थिति पर निर्भर करता है; एक सामान्य प्रीऑर्डर या आंशिक ऑर्डर द्वारा अनुक्रमित एक सेट में हौसडॉर्फ स्पेस में भी अलग सीमा बिंदु हो सकते हैं।

कॉची नेट्स

एक कॉची नेट एकसमान स्थानों पर परिभाषित नेट के लिए कॉची अनुक्रम की धारणा को सामान्यीकृत करता है। एक शुद्ध $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ एक है Cauchy net यदि प्रत्येक प्रतिवेश (गणित) के लिए $V$ वहां मौजूद $c\in A$ ऐसा कि सभी के लिए $a,b\geq c,$ $\left(x_{a},x_{b}\right)$ का सदस्य है $V.$ अधिक आम तौर पर, कॉची स्पेस में, एक नेट $x_{\bullet }$ कॉची है अगर नेट द्वारा उत्पन्न फ़िल्टर कॉची फिल्टर है।

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

फिल्टर से संबंध

See also: Filters in topology § Filters and nets

एक फ़िल्टर (गणित) टोपोलॉजी में एक और विचार है जो सामान्य टोपोलॉजिकल रिक्त स्थान में अभिसरण के लिए सामान्य परिभाषा की अनुमति देता है। दो विचार इस अर्थ में समतुल्य हैं कि वे अभिसरण की समान अवधारणा देते हैं। अधिक विशेष रूप से, प्रत्येक फ़िल्टर आधार के लिए a associated net का निर्माण किया जा सकता है, और फिल्टर बेस के अभिसरण का तात्पर्य संबंधित नेट के अभिसरण से है - और इसके विपरीत (प्रत्येक नेट के लिए एक फिल्टर बेस है, और नेट के अभिसरण का तात्पर्य फिल्टर बेस के अभिसरण से है)। उदाहरण के लिए, कोई भी net $\left(x_{a}\right)_{a\in A}$ में $X$ पूंछ के एक फिल्टर बेस को प्रेरित करता है $\left\{\left\{x_{a}:a\in A,a_{0}\leq a\right\}:a_{0}\in A\right\}$ जहां फ़िल्टर अंदर है $X$ इस फ़िल्टर बेस द्वारा उत्पन्न को नेट कहा जाता है eventuality filter. यह पत्राचार किसी भी प्रमेय के लिए अनुमति देता है जिसे एक अवधारणा के साथ दूसरे के साथ सिद्ध किया जा सकता है।उदाहरण के लिए, एक टोपोलॉजिकल स्पेस से दूसरे तक किसी फ़ंक्शन की निरंतरता को या तो डोमेन में नेट के अभिसरण द्वारा विशेषता दी जा सकती है, जो कोडोमेन में संबंधित नेट के अभिसरण को दर्शाता है, या फ़िल्टर बेस के साथ एक ही कथन द्वारा।

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

सीमा श्रेष्ठ

वास्तविक संख्याओं के जाल की सीमा श्रेष्ठ और सीमा अवर को उसी तरह से परिभाषित किया जा सकता है जैसे अनुक्रमों के लिए। कुछ लेखक वास्तविक रेखा की तुलना में अधिक सामान्य संरचनाओं के साथ भी काम करते हैं, जैसे पूर्ण जाली। एक जाल के लिए $\left(x_{a}\right)_{a\in A},$ रखना

$$\limsup x_{a}=\lim _{a\in A}\sup _{b\succeq a}x_{b}=\inf _{a\in A}\sup _{b\succeq a}x_{b}.$$

वास्तविक संख्याओं के जाल की सीमा श्रेष्ठता में अनुक्रमों के मामले के अनुरूप कई गुण होते हैं। उदाहरण के लिए,

$$\limsup(x_{a}+y_{a})\leq \limsup x_{a}+\limsup y_{a},$$

जहां जब भी जालों में से कोई एक अभिसरण होता है तो समानता धारण करती है।

यह भी देखें

• Characterizations of the category of topological spaces
• Filter (set theory)
• Filters in topology
• Preorder – Reflexive and transitive binary relation
• Sequential space
• Ultrafilter (set theory)

संदर्भ

• Sundström, Manya Raman (2010). "A pedagogical history of compactness". arXiv:1006.4131v1 [math.HO].
• Aliprantis, Charalambos D.; Border, Kim C. (2006). Infinite dimensional analysis: A hitchhiker's guide (3rd ed.). Berlin: Springer. pp. xxii, 703. ISBN 978-3-540-32696-0. MR 2378491.
• Beer, Gerald (1993). Topologies on closed and closed convex sets. Mathematics and its Applications 268. Dordrecht: Kluwer Academic Publishers Group. pp. xii, 340. ISBN 0-7923-2531-1. MR 1269778.
• Howes, Norman R. (23 June 1995). Modern Analysis and Topology. Graduate Texts in Mathematics. New York: Springer-Verlag Science & Business Media. ISBN 978-0-387-97986-1. OCLC 31969970. OL 1272666M.
• Kelley, John L. (1975). General Topology. Graduate Texts in Mathematics. Vol. 27. New York: Springer Science & Business Media. ISBN 978-0-387-90125-1. OCLC 338047.
• Kelley, John L. (1991). General Topology. Springer. ISBN 3-540-90125-6.
• Megginson, Robert E. (1998). An Introduction to Banach Space Theory. Graduate Texts in Mathematics. Vol. 193. New York: Springer. ISBN 0-387-98431-3.
• Schechter, Eric (1997). Handbook of Analysis and Its Foundations. San Diego: Academic Press. ISBN 9780080532998. Retrieved 22 June 2013.
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
• Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.