अंतिम टोपोलॉजी: Difference between revisions

From Vigyanwiki
No edit summary
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Short description|Finest topology making some functions continuous}}
गणित के सामान्य टोपोलॉजी और संबंधित क्षेत्रों में, '''अंतिम टोपोलॉजी''' ('''अंतिम सांस्थिति''') <ref>
गणित के सामान्य सांस्थिति और संबंधित क्षेत्रों में, अंतिम सांस्थिति <ref>
{{cite book |url=https://books.google.com/books?id=kHPOBQAAQBAJ&pg=PA202 |title=Elements of Topology |last=Singh |first=Tej Bahadur |date=May 5, 2013 |publisher=CRC Press |isbn=9781482215663 |access-date=July 21, 2020}}</ref> (या सहप्रेरित, शक्तिशाली, कोलिमिट, या इंडक्टिव टोपोलॉजी) एक सम्मुच्चय <math>X</math> पर, सांस्थितिक समष्टि से <math>X</math> में कार्यों के वर्ग के संबंध में <math>X</math> पर बेहतरीन टोपोलॉजी है जो उन सभी कार्यों को निरंतर बनाता है।
{{cite book |url=https://books.google.com/books?id=kHPOBQAAQBAJ&pg=PA202 |title=Elements of Topology |last=Singh |first=Tej Bahadur |date=May 5, 2013 |publisher=CRC Press |isbn=9781482215663 |access-date=July 21, 2020}}</ref> (या सहप्रेरित, शक्तिशाली, कोलिमिट, या इंडक्टिव सांस्थिति) एक सम्मुच्चय <math>X</math> पर, सांस्थितिक समष्टि से <math>X</math> में कार्यों के वर्ग के संबंध में <math>X</math> पर बेहतरीन सांस्थिति है जो उन सभी कार्यों को निरंतर बनाता है।


अनुपात स्थल (सांस्थिति) एक अंतिम सांस्थिति है, जो कि एकल विशेषण फलन के संबंध में है, अर्थात् भागफल मानचित्र। समावेशन मानचित्रों के संबंध में [[ विसंधित संघ (टोपोलॉजी) |विसंधित संघ (सांस्थिति)]] अंतिम सांस्थिति है। अंतिम सांस्थिति भी सांस्थिति है जो सांस्थितिक समष्टि की श्रेणी में प्रत्येक सीधी सीमा से संपन्न है, और यह [[प्रत्यक्ष सीमा]] के संदर्भ में है कि अंतिम सांस्थिति प्रायः प्रकट होती है। एक सांस्थिति [[सबस्पेस टोपोलॉजी|उपसमष्‍टि सांस्थिति]] के कुछ संग्रह के साथ [[सुसंगत टोपोलॉजी|सुसंगत सांस्थिति]] है यदि और केवल यदि यह प्राकृतिक समावेशन से प्रेरित अंतिम सांस्थिति है।
अनुपात स्थल (टोपोलॉजी) एक अंतिम टोपोलॉजी है, जो कि एकल विशेषण फलन के संबंध में है, अर्थात् भागफल मानचित्र। समावेशन मानचित्रों के संबंध में [[विसंधित संघ (टोपोलॉजी)]] अंतिम टोपोलॉजी है। अंतिम टोपोलॉजी भी टोपोलॉजी है जो सांस्थितिक समष्टि की श्रेणी में प्रत्येक सीधी सीमा से संपन्न है, और यह [[प्रत्यक्ष सीमा]] के संदर्भ में है कि अंतिम टोपोलॉजी प्रायः प्रकट होती है। एक टोपोलॉजी [[सबस्पेस टोपोलॉजी|उपसमष्‍टि टोपोलॉजी]] के कुछ संग्रह के साथ [[सुसंगत टोपोलॉजी]] है यदि और केवल यदि यह प्राकृतिक समावेशन से प्रेरित अंतिम टोपोलॉजी है।


दोहरी धारणा [[प्रारंभिक टोपोलॉजी|प्रारंभिक सांस्थिति]] है, जो एक सम्मुच्चय से कार्यों के दिए गए वर्ग सांस्थितिक समष्टि के लिए <math>X</math> है सांस्थितिक समष्टि में [[सबसे मोटे टोपोलॉजी|सबसे मोटे सांस्थिति]] <math>X</math> है जो उन कार्यों को निरंतर करता है।
दोहरी धारणा [[प्रारंभिक टोपोलॉजी]] है, जो एक सम्मुच्चय से कार्यों के दिए गए वर्ग सांस्थितिक समष्टि के लिए <math>X</math> है सांस्थितिक समष्टि में [[सबसे मोटे टोपोलॉजी]] <math>X</math> है जो उन कार्यों को निरंतर करता है।


== परिभाषा ==
== परिभाषा ==
Line 11: Line 10:
संबंधित कार्यों के साथ सांस्थितिक स्थल <math>\left(Y_i, \upsilon_i\right)</math> के सम्मुच्चय <math>X</math> और <math>I</math>-तालिका वर्ग को देखते हुए  
संबंधित कार्यों के साथ सांस्थितिक स्थल <math>\left(Y_i, \upsilon_i\right)</math> के सम्मुच्चय <math>X</math> और <math>I</math>-तालिका वर्ग को देखते हुए  
<math display="block">f_i : Y_i \to X,</math>
<math display="block">f_i : Y_i \to X,</math>
  {{em|<math>X</math> '''अंतिम सांस्थिति'''  कार्यों के वर्ग द्वारा प्रेरित <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math>}} <math>X</math> पर बेहतरीन सांस्थिति <math>\tau_{\mathcal{F}}</math> है पर ऐसा है कि
  {{em|<math>X</math> '''अंतिम सांस्थिति'''  कार्यों के वर्ग द्वारा प्रेरित <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math>}} <math>X</math> पर बेहतरीन टोपोलॉजी <math>\tau_{\mathcal{F}}</math> है पर ऐसा है कि
<math display="block">f_i : \left(Y_i, \upsilon_i\right) \to \left(X, \tau_{\mathcal{F}}\right)</math>
<math display="block">f_i : \left(Y_i, \upsilon_i\right) \to \left(X, \tau_{\mathcal{F}}\right)</math>
प्रत्येक <math>i\in I</math> के लिए [[निरंतर (टोपोलॉजी)|निरंतर (सांस्थिति)]] है।
प्रत्येक <math>i\in I</math> के लिए [[निरंतर (टोपोलॉजी)]] है।


स्पष्ट रूप से, अंतिम सांस्थिति को निम्नानुसार वर्णित किया जा सकता है:
स्पष्ट रूप से, अंतिम टोपोलॉजी को निम्नानुसार वर्णित किया जा सकता है:
:उपसमुच्चय <math>U</math> का <math>X</math> अंतिम सांस्थिति <math>\left(X, \tau_{\mathcal{F}}\right)</math> (वह है, <math>U \in \tau_{\mathcal{F}}</math>) में खुला है  [[अगर और केवल अगर|यदि और केवल यदि]] <math>f_i^{-1}(U)</math> में <math>\left(Y_i, \upsilon_i\right)</math> खुला <math>i\in I</math> है  .
:उपसमुच्चय <math>U</math> का <math>X</math> अंतिम टोपोलॉजी <math>\left(X, \tau_{\mathcal{F}}\right)</math> (वह है, <math>U \in \tau_{\mathcal{F}}</math>) में खुला है  [[अगर और केवल अगर|यदि और केवल यदि]] <math>f_i^{-1}(U)</math> में <math>\left(Y_i, \upsilon_i\right)</math> खुला <math>i\in I</math> है  .


बंद उपसमुच्चय में एक समान विशेषता है:
बंद उपसमुच्चय में एक समान विशेषता है:
:उपसमुच्चय <math>C</math> का <math>X</math> अंतिम सांस्थिति में बंद <math>\left(X, \tau_{\mathcal{F}}\right)</math> है यदि और केवल यदि <math>f_i^{-1}(C)</math> में बंद <math>\left(Y_i, \upsilon_i\right)</math> है।
:उपसमुच्चय <math>C</math> का <math>X</math> अंतिम टोपोलॉजी में बंद <math>\left(X, \tau_{\mathcal{F}}\right)</math> है यदि और केवल यदि <math>f_i^{-1}(C)</math> में बंद <math>\left(Y_i, \upsilon_i\right)</math> है।


<math>X</math> पर अंतिम सांस्थिति को प्रेरित करने वाले कार्यों का वर्ग <math>\mathcal{F}</math> सामान्यतः कार्यों का एक सम्मुच्चय है। लेकिन वही निर्माण किया जा सकता है यदि <math>\mathcal{F}</math> कार्यों का एक [[उचित वर्ग]] है, और परिणाम अभी भी ज़र्मेलो-फ्रेंकेल सम्मुच्चय सिद्धांत में अच्छी तरह से परिभाषित है। उस मामले में हमेशा <math>\mathcal{F}</math> का एक उपवर्ग <math>\mathcal{G}</math> होता है, जिसमें <math>\mathcal{G}</math> एक सम्मुच्चय होता है, जैसे कि <math>X</math> पर अंतिम सांस्थिति <math>\mathcal{F}</math> द्वारा प्रेरित होती है। और <math>\mathcal{G}</math> से संपाती हैं। इस पर अधिक जानकारी के लिए, उदाहरण के लिए यहां चर्चा देखें।<ref>{{cite web |title=के-स्पेस या अंतिम टोपोलॉजी की परिभाषा में सैद्धान्तिक मुद्दों को उचित वर्ग के कार्यों के संदर्भ में सेट करें|url=https://math.stackexchange.com/questions/4639381 |website=Mathematics Stack Exchange}}</ref> एक उदाहरण के रूप में, सघन रूप से उत्पन्न स्थान की धारणा के एक सामान्य रूप से प्रयुक्त संस्करण को कार्यों के एक उचित वर्ग के संबंध में अंतिम सांस्थिति के रूप में परिभाषित किया गया है।{{sfn|Brown|2006|loc=Section 5.9, p. 182}}
<math>X</math> पर अंतिम टोपोलॉजी को प्रेरित करने वाले कार्यों का वर्ग <math>\mathcal{F}</math> सामान्यतः कार्यों का एक सम्मुच्चय है। लेकिन वही निर्माण किया जा सकता है यदि <math>\mathcal{F}</math> कार्यों का एक [[उचित वर्ग]] है, और परिणाम अभी भी ज़र्मेलो-फ्रेंकेल सम्मुच्चय सिद्धांत में अच्छी तरह से परिभाषित है। उस मामले में हमेशा <math>\mathcal{F}</math> का एक उपवर्ग <math>\mathcal{G}</math> होता है, जिसमें <math>\mathcal{G}</math> एक सम्मुच्चय होता है, जैसे कि <math>X</math> पर अंतिम टोपोलॉजी <math>\mathcal{F}</math> द्वारा प्रेरित होती है। और <math>\mathcal{G}</math> से संपाती हैं। इस पर अधिक जानकारी के लिए, उदाहरण के लिए यहां चर्चा देखें।<ref>{{cite web |title=के-स्पेस या अंतिम टोपोलॉजी की परिभाषा में सैद्धान्तिक मुद्दों को उचित वर्ग के कार्यों के संदर्भ में सेट करें|url=https://math.stackexchange.com/questions/4639381 |website=Mathematics Stack Exchange}}</ref> एक उदाहरण के रूप में, सघन रूप से उत्पन्न स्थान की धारणा के एक सामान्य रूप से प्रयुक्त संस्करण को कार्यों के एक उचित वर्ग के संबंध में अंतिम टोपोलॉजी के रूप में परिभाषित किया गया है।{{sfn|Brown|2006|loc=Section 5.9, p. 182}}


== उदाहरण ==
== उदाहरण ==


महत्वपूर्ण विशेष स्तिथि जहां मानचित्र का वर्ग <math>\mathcal{F}</math> एक विशेषण मानचित्र से मिलकर [[भागफल मानचित्र]] की धारणा का उपयोग करके पूरी तरह से चित्रित किया जा सकता है। एक विशेषण फलन <math>f : (Y, \upsilon) \to \left(X, \tau\right)</math> सांस्थितिक समष्टि के बीच एक भागफल मानचित्र है यदि और केवल यदि सांस्थिति <math>\tau</math> पर <math>X</math> अंतिम सांस्थिति <math>\mathcal{F}=\{f\}</math> वर्ग द्वारा प्रेरित  <math>\tau_{\mathcal{F}}</math> के साथ मेल खाता है।  विशेष रूप से: भागफल स्थान (सांस्थिति) द्वारा प्रेरित भागफल स्थान पर [[भागफल टोपोलॉजी|भागफल सांस्थिति]] अंतिम सांस्थिति है।
महत्वपूर्ण विशेष स्तिथि जहां मानचित्र का वर्ग <math>\mathcal{F}</math> एक विशेषण मानचित्र से मिलकर [[भागफल मानचित्र]] की धारणा का उपयोग करके पूरी तरह से चित्रित किया जा सकता है। एक विशेषण फलन <math>f : (Y, \upsilon) \to \left(X, \tau\right)</math> सांस्थितिक समष्टि के बीच एक भागफल मानचित्र है यदि और केवल यदि टोपोलॉजी <math>\tau</math> पर <math>X</math> अंतिम टोपोलॉजी <math>\mathcal{F}=\{f\}</math> वर्ग द्वारा प्रेरित  <math>\tau_{\mathcal{F}}</math> के साथ मेल खाता है।  विशेष रूप से: भागफल स्थान (टोपोलॉजी) द्वारा प्रेरित भागफल स्थान पर [[भागफल टोपोलॉजी]] अंतिम टोपोलॉजी है।


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


सांस्थितिक रिक्त स्थान <math>X_i</math> दिया गया, विसंधित संघ पर विसंधित संघ (सांस्थिति) <math>\coprod_i X_i</math> प्राकृतिक अंतःक्षेपण द्वारा प्रेरित विसंधित संघ पर अंतिम सांस्थिति है।
सांस्थितिक रिक्त स्थान <math>X_i</math> दिया गया, विसंधित संघ पर विसंधित संघ (टोपोलॉजी) <math>\coprod_i X_i</math> प्राकृतिक अंतःक्षेपण द्वारा प्रेरित विसंधित संघ पर अंतिम टोपोलॉजी है।


सांस्थिति के सम्मुच्चय के एक वर्ग <math>\left(\tau_i\right)_{i \in I}</math> को देखते हुए एक निश्चित सम्मुच्चय <math>X</math> पर अंतिम सांस्थिति पहचान <math>X</math> मानचित्र के संबंध में <math>\operatorname{id}_{\tau_i} : \left(X, \tau_i\right) \to X</math> जैसा <math>i</math> <math>I,</math> से अधिक है इसे <math>\tau,</math>कहते हैं और इन सांस्थिति में से कम (या मिलना)  <math>\left(\tau_i\right)_{i \in I}</math>है सांस्थिति के जाल में <math>X</math> यानी अंतिम सांस्थिति <math>\tau</math> प्रतिच्छेदन <math>\tau = \bigcap_{i \in I} \tau_i</math> (सम्मुच्चय सिद्धांत) के बराबर है। रिक्त स्थान और निरंतर मानचित्रों के किसी भी प्रत्यक्ष प्रणाली (गणित) की प्रत्यक्ष सीमा सम्मुच्चय-सैद्धांतिक प्रत्यक्ष सीमा है, जो कैनोनिकल मोर्फिज्म द्वारा निर्धारित अंतिम सांस्थिति के साथ है। स्पष्ट रूप से, इसका अर्थ यह है कि यदि <math>\operatorname{Sys}_Y = \left(Y_i, f_{ji}, I\right)</math> सांस्थितिक रिक्त स्थान की श्रेणी में एक [[प्रत्यक्ष प्रणाली]] है और यदि <math>\left(X, \left(f_i\right)_{i \in I}\right)</math> की सीधी सीमा सम्मुच्चय की श्रेणी में <math>\operatorname{Sys}_Y</math> है, फिर एंडोइंग द्वारा <math>X</math> अंतिम सांस्थिति के साथ <math>\tau_{\mathcal{F}}</math> प्रेरक <math>\mathcal{F} := \left\{ f_i : i \in I \right\},</math> <math>\left(\left(X, \tau_{\mathcal{F}}\right), \left(f_i\right)_{i \in I}\right)</math> की सीधी सीमा शीर्ष श्रेणी में <math>\operatorname{Sys}_Y</math> बन जाती है।
टोपोलॉजी के सम्मुच्चय के एक वर्ग <math>\left(\tau_i\right)_{i \in I}</math> को देखते हुए एक निश्चित सम्मुच्चय <math>X</math> पर अंतिम टोपोलॉजी पहचान <math>X</math> मानचित्र के संबंध में <math>\operatorname{id}_{\tau_i} : \left(X, \tau_i\right) \to X</math> जैसा <math>i</math> <math>I,</math> से अधिक है इसे <math>\tau,</math>कहते हैं और इन टोपोलॉजी में से कम (या मिलना)  <math>\left(\tau_i\right)_{i \in I}</math>है टोपोलॉजी के जाल में <math>X</math> यानी अंतिम टोपोलॉजी <math>\tau</math> प्रतिच्छेदन <math>\tau = \bigcap_{i \in I} \tau_i</math> (सम्मुच्चय सिद्धांत) के बराबर है। रिक्त स्थान और निरंतर मानचित्रों के किसी भी प्रत्यक्ष प्रणाली (गणित) की प्रत्यक्ष सीमा सम्मुच्चय-सैद्धांतिक प्रत्यक्ष सीमा है, जो कैनोनिकल मोर्फिज्म द्वारा निर्धारित अंतिम टोपोलॉजी के साथ है। स्पष्ट रूप से, इसका अर्थ यह है कि यदि <math>\operatorname{Sys}_Y = \left(Y_i, f_{ji}, I\right)</math> सांस्थितिक रिक्त स्थान की श्रेणी में एक [[प्रत्यक्ष प्रणाली]] है और यदि <math>\left(X, \left(f_i\right)_{i \in I}\right)</math> की सीधी सीमा सम्मुच्चय की श्रेणी में <math>\operatorname{Sys}_Y</math> है, फिर एंडोइंग द्वारा <math>X</math> अंतिम टोपोलॉजी के साथ <math>\tau_{\mathcal{F}}</math> प्रेरक <math>\mathcal{F} := \left\{ f_i : i \in I \right\},</math> <math>\left(\left(X, \tau_{\mathcal{F}}\right), \left(f_i\right)_{i \in I}\right)</math> की सीधी सीमा शीर्ष श्रेणी में <math>\operatorname{Sys}_Y</math> बन जाती है।


एक पुलिंदा के ईटेल स्थान को अंतिम सांस्थिति द्वारा टोपोलॉजीकृत किया जाता है।
एक पुलिंदा के ईटेल स्थान को अंतिम टोपोलॉजी द्वारा टोपोलॉजीकृत किया जाता है।


एक [[प्रथम-गणनीय]] हौसडॉर्फ स्थान <math>(X, \tau)</math> स्थानीय रूप से पथ से जुड़ा हुआ है यदि और केवल यदि <math>\tau</math> पर <math>C\left([0, 1]; X\right)</math>अंतिम सांस्थिति के बराबर <math>X</math> है। सम्मुच्चय से प्रेरित सभी निरंतर मानचित्रों की <math>[0, 1] \to (X, \tau),</math> जहां ऐसे किसी मानचित्र को [[पथ (गणित)]] <math>(X, \tau).</math> कहा जाता है  
एक [[प्रथम-गणनीय]] हौसडॉर्फ स्थान <math>(X, \tau)</math> स्थानीय रूप से पथ से जुड़ा हुआ है यदि और केवल यदि <math>\tau</math> पर <math>C\left([0, 1]; X\right)</math>अंतिम टोपोलॉजी के बराबर <math>X</math> है। सम्मुच्चय से प्रेरित सभी निरंतर मानचित्रों की <math>[0, 1] \to (X, \tau),</math> जहां ऐसे किसी मानचित्र को [[पथ (गणित)]] <math>(X, \tau).</math> कहा जाता है  
यदि हॉसडॉर्फ स्थानीय रूप से उत्तल [[टोपोलॉजिकल वेक्टर स्पेस|सांस्थितिक सदिश स्थल]] सांस्थितिक सदिश स्थल <math>(X, \tau)</math> है तब एक फ्रेचेट-उरीसोहन स्थान <math>\tau</math> पर अंतिम सांस्थिति के बराबर है <math>X</math> सम्मुच्चय से प्रेरित <math>\operatorname{Arc}\left([0, 1]; X\right)</math> <math>(X, \tau)</math> सभी [[आर्क (टोपोलॉजी)|वृत्त (सांस्थिति)]] में  जो परिभाषा के अनुसार निरंतर पथ <math>[0, 1] \to (X, \tau)</math> (गणित) हैं जो [[टोपोलॉजिकल एम्बेडिंग|सांस्थितिक अंतःस्थापन]] भी हैं।
यदि हॉसडॉर्फ स्थानीय रूप से उत्तल [[टोपोलॉजिकल वेक्टर स्पेस|सांस्थितिक सदिश स्थल]] सांस्थितिक सदिश स्थल <math>(X, \tau)</math> है तब एक फ्रेचेट-उरीसोहन स्थान <math>\tau</math> पर अंतिम टोपोलॉजी के बराबर है <math>X</math> सम्मुच्चय से प्रेरित <math>\operatorname{Arc}\left([0, 1]; X\right)</math> <math>(X, \tau)</math> सभी [[आर्क (टोपोलॉजी)|वृत्त (टोपोलॉजी)]] में  जो परिभाषा के अनुसार निरंतर पथ <math>[0, 1] \to (X, \tau)</math> (गणित) हैं जो [[टोपोलॉजिकल एम्बेडिंग|सांस्थितिक अंतःस्थापन]] भी हैं।


== गुण ==
== गुण ==


=== निरंतर मानचित्रों के माध्यम से लक्षण वर्णन ===
=== निरंतर मानचित्रों के माध्यम से लक्षण वर्णन ===
सांस्थितिक समष्टि <math>Y_i</math> से  <math>X</math> सम्मुच्चय पर दिए गए कार्य <math>f_i : Y_i \to X,</math> अंतिम सांस्थिति चालू <math>X</math> इन कार्यों के संबंध में <math>f_i</math> निम्नलिखित संपत्ति को संतुष्ट करता है:
सांस्थितिक समष्टि <math>Y_i</math> से  <math>X</math> सम्मुच्चय पर दिए गए कार्य <math>f_i : Y_i \to X,</math> अंतिम टोपोलॉजी चालू <math>X</math> इन कार्यों के संबंध में <math>f_i</math> निम्नलिखित संपत्ति को संतुष्ट करता है:
:एक फलन <math>g</math> से <math>X</math> किसी जगह को <math>Z</math> निरंतर है यदि और केवल यदि <math>g \circ f_i</math> प्रत्येक <math>i \in I.</math> के लिए निरंतर है  
:एक फलन <math>g</math> से <math>X</math> किसी जगह को <math>Z</math> निरंतर है यदि और केवल यदि <math>g \circ f_i</math> प्रत्येक <math>i \in I.</math> के लिए निरंतर है  
[[Image:FinalTopology-01.png|center|अंतिम सांस्थिति की विशेषता संपत्ति]]यह गुण इस अर्थ में अंतिम सांस्थिति की विशेषता बताता है कि यदि कोई सांस्थिति चालू है <math>X</math> उपरोक्त संपत्ति को सभी रिक्त स्थान के लिए <math>Z</math> और सभी कार्य <math>g:X\to Z</math> संतुष्ट करता है, फिर सांस्थिति चालू <math>X</math> के संबंध में अंतिम सांस्थिति <math>f_i.</math> है  
[[Image:FinalTopology-01.png|center|अंतिम टोपोलॉजी की विशेषता संपत्ति|alt=अंतिम सांस्थिति की विशेषता संपत्ति]]यह गुण इस अर्थ में अंतिम टोपोलॉजी की विशेषता बताता है कि यदि कोई टोपोलॉजी चालू है <math>X</math> उपरोक्त संपत्ति को सभी रिक्त स्थान के लिए <math>Z</math> और सभी कार्य <math>g:X\to Z</math> संतुष्ट करता है, फिर टोपोलॉजी चालू <math>X</math> के संबंध में अंतिम टोपोलॉजी <math>f_i.</math> है  




=== संरचना के अंतर्गत व्यवहार ===
=== संरचना के अंतर्गत व्यवहार ===
मान लीजिये <math>\mathcal{F} := \left\{ f_i:Y_i \to X \mid i \in I \right\}</math> मानचित्र का एक वर्ग है, और हर किसी <math>i \in I,</math> के लिए सांस्थिति <math>Y_i</math> पर <math>\upsilon_i</math> कुछ वर्ग द्वारा प्रेरित अंतिम सांस्थिति <math>\mathcal{G}_i</math> <math>Y_i</math> में मूल्यवान मानचित्रों का है फिर अंतिम सांस्थिति चालू <math>X</math> प्रेरक <math>\mathcal{F}</math> पर अंतिम सांस्थिति <math>X</math> के बराबर है।  मानचित्रों <math>\left\{ f_i \circ g ~:~ i \in I \text{ and } g \in \cal G_i \right\}</math> से प्रेरित है परिणामस्वरूप: यदि <math>\tau_{\mathcal{F}}</math> पर अंतिम सांस्थिति है <math>X</math> वर्ग द्वारा प्रेरित <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math> और यदि <math>\pi : X \to (S, \sigma)</math> क्या कोई आच्छादन मानचित्र है जिसका किसी सांस्थितिक समष्टि में महत्व है, <math>(S, \sigma),</math> तब <math>\pi : \left(X, \tau_{\mathcal{F}}\right) \to (S, \sigma)</math> यदि और केवल यदि एक भागफल मानचित्र <math>(S, \sigma)</math> है  मानचित्र से प्रेरित अंतिम सांस्थिति <math>\left\{ \pi \circ f_i ~:~ i \in I \right\}</math>है, [[असंयुक्त संघ टोपोलॉजी|असंयुक्त संघ सांस्थिति]] की सार्वभौमिक संपत्ति से हम जानते हैं कि निरंतर मानचित्रों के किसी भी वर्ग <math>f_i : Y_i \to X,</math> को दिया गया एक अनूठा निरंतर मानचित्र है
मान लीजिये <math>\mathcal{F} := \left\{ f_i:Y_i \to X \mid i \in I \right\}</math> मानचित्र का एक वर्ग है, और हर किसी <math>i \in I,</math> के लिए टोपोलॉजी <math>Y_i</math> पर <math>\upsilon_i</math> कुछ वर्ग द्वारा प्रेरित अंतिम टोपोलॉजी <math>\mathcal{G}_i</math> <math>Y_i</math> में मूल्यवान मानचित्रों का है फिर अंतिम टोपोलॉजी चालू <math>X</math> प्रेरक <math>\mathcal{F}</math> पर अंतिम टोपोलॉजी <math>X</math> के बराबर है।  मानचित्रों <math>\left\{ f_i \circ g ~:~ i \in I \text{ and } g \in \cal G_i \right\}</math> से प्रेरित है परिणामस्वरूप: यदि <math>\tau_{\mathcal{F}}</math> पर अंतिम टोपोलॉजी है <math>X</math> वर्ग द्वारा प्रेरित <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math> और यदि <math>\pi : X \to (S, \sigma)</math> क्या कोई आच्छादन मानचित्र है जिसका किसी सांस्थितिक समष्टि में महत्व है, <math>(S, \sigma),</math> तब <math>\pi : \left(X, \tau_{\mathcal{F}}\right) \to (S, \sigma)</math> यदि और केवल यदि एक भागफल मानचित्र <math>(S, \sigma)</math> है  मानचित्र से प्रेरित अंतिम टोपोलॉजी <math>\left\{ \pi \circ f_i ~:~ i \in I \right\}</math>है, [[असंयुक्त संघ टोपोलॉजी]] की सार्वभौमिक संपत्ति से हम जानते हैं कि निरंतर मानचित्रों के किसी भी वर्ग <math>f_i : Y_i \to X,</math> को दिया गया एक अनूठा निरंतर मानचित्र है
<math display="block">f : \coprod_i Y_i \to X</math>
<math display="block">f : \coprod_i Y_i \to X</math>
यह प्राकृतिक अन्तःक्षेपण के साथ संगत है। यदि मानचित्र का वर्ग <math>f_i</math> {{em|आच्छादित}} <math>X</math> (यानी प्रत्येक <math>x \in X</math> कुछ की छवि <math>f_i</math> में निहित है) फिर मानचित्र <math>f</math> यदि और केवल यदि एक भागफल मानचित्र होगा <math>X</math> मानचित्र से प्रेरित अंतिम सांस्थिति <math>f_i</math> है  
यह प्राकृतिक अन्तःक्षेपण के साथ संगत है। यदि मानचित्र का वर्ग <math>f_i</math> {{em|आच्छादित}} <math>X</math> (यानी प्रत्येक <math>x \in X</math> कुछ की छवि <math>f_i</math> में निहित है) फिर मानचित्र <math>f</math> यदि और केवल यदि एक भागफल मानचित्र होगा <math>X</math> मानचित्र से प्रेरित अंतिम टोपोलॉजी <math>f_i</math> है  




===मानचित्र के वर्ग बदलने के प्रभाव===
===मानचित्र के वर्ग बदलने के प्रभाव===


मान लीजिये <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math> का वर्ग <math>X</math>-मूल्यवान मानचित्र हो जिसमें प्रत्येक मानचित्र <math>f_i : \left(Y_i, \upsilon_i\right) \to X</math> प्ररूप का हो और मान लीजिये <math>\tau_{\mathcal{F}}</math> <math>\mathcal{F}</math> द्वारा प्रेरित <math>X</math> पर अंतिम सांस्थिति को निरूपित करें। अंतिम सांस्थिति की परिभाषा प्रत्याभुति देती है कि प्रत्येक सूचकांक <math>i,</math> के लिए  वो मानचित्र <math>f_i : \left(Y_i, \upsilon_i\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> सतत कार्य (सांस्थिति) है।
मान लीजिये <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math> का वर्ग <math>X</math>-मूल्यवान मानचित्र हो जिसमें प्रत्येक मानचित्र <math>f_i : \left(Y_i, \upsilon_i\right) \to X</math> प्ररूप का हो और मान लीजिये <math>\tau_{\mathcal{F}}</math> <math>\mathcal{F}</math> द्वारा प्रेरित <math>X</math> पर अंतिम टोपोलॉजी को निरूपित करें। अंतिम टोपोलॉजी की परिभाषा प्रत्याभुति देती है कि प्रत्येक सूचकांक <math>i,</math> के लिए  वो मानचित्र <math>f_i : \left(Y_i, \upsilon_i\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> सतत कार्य (टोपोलॉजी) है।


किसी उपसमुच्चय <math>\mathcal{S} \subseteq \mathcal{F}</math> के लिए, अंतिम सांस्थिति <math>\tau_{\mathcal{S}}</math> पर <math>X</math> सांस्थिति की तुलना <math>\tau_{\mathcal{F}}</math> में (और संभवतः इसके बराबर) सूक्ष्मतर होगी। इसका अर्थ है कि, <math>\mathcal{S} \subseteq \mathcal{F}</math> तात्पर्य <math>\tau_{\mathcal{F}} \subseteq \tau_{\mathcal{S}},</math> जहां सम्मुच्चय समानता हो सकती है भले ही <math>\mathcal{S}</math> का उचित उपसमुच्चय <math>\mathcal{F}</math> है।  यदि <math>\tau</math> क्या कोई सांस्थिति <math>X</math> चालू है तो ऐसा है कि <math>\tau \neq \tau_{\mathcal{F}}</math> और <math>f_i : \left(Y_i, \upsilon_i\right) \to (X, \tau)</math> प्रत्येक सूचकांक के लिए निरंतर <math>i \in I</math> है,  तब <math>\tau</math> होना चाहिए सांस्थिति की तुलना |{{em|अनुशासनपूर्वक स्थूलतर}} स्थान <math>\tau_{\mathcal{F}}</math> पर  (मतलब है कि <math>\tau \subseteq \tau_{\mathcal{F}}</math> और <math>\tau \neq \tau_{\mathcal{F}};</math> यह लिखा जाएगा <math>\tau \subsetneq \tau_{\mathcal{F}}</math>) और इसके अतिरिक्त, किसी भी उपवर्ग के लिए <math>\mathcal{S} \subseteq \mathcal{F}</math> सांस्थिति <math>\tau</math> यह भी होगा {{em|अनुशासनपूर्वक स्थूलतर}} अंतिम सांस्थिति की तुलना में <math>\tau_{\mathcal{S}}</math> वह <math>\mathcal{S}</math> <math>X</math> प्रवृत्त करता है  (क्योंकि <math>\tau_{\mathcal{F}} \subseteq \tau_{\mathcal{S}}</math>); अर्थात्, <math>\tau \subsetneq \tau_{\mathcal{S}}</math>। मान लीजिए कि इसके अतिरिक्त, <math>\mathcal{G} := \left\{g_a : a \in A\right\}</math> एक <math>A</math>-अनुक्रमित वर्ग <math>X</math>-मूल्यवान मानचित्र <math>g_a : Z_a \to X</math> जिनके कार्यक्षेत्र सांस्थितिक समष्टि <math>\left(Z_a, \zeta_a\right)</math> हैं।  यदि हर <math>g_a : \left(Z_a, \zeta_a\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> निरंतर है तो इन मानचित्र को वर्ग में जोड़ रहा है अर्थात्, <math>\tau_{\mathcal{F} \cup \mathcal{G}} = \tau_{\mathcal{F}}</math>। स्पष्ट रूप से, इसका मतलब है कि अंतिम सांस्थिति <math>X</math> चालू है  विस्तारित वर्ग से प्रेरित <math>\mathcal{F} \cup \mathcal{G}</math> अंतिम सांस्थिति के बराबर है <math>\tau_{\mathcal{F}}</math> मूल वर्ग से प्रेरित <math>\mathcal{F} = \left\{ f_i : i \in I \right\}.</math> हालाँकि, क्या इसके स्थान पर सिर्फ एक मानचित्र <math>g_{a_0}</math> भी उपस्थित था यह इस प्रकार है कि <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> था {{em|न कि}} निरंतर, फिर अंतिम सांस्थिति <math>\tau_{\mathcal{F} \cup \mathcal{G}}</math> पर <math>X</math> विस्तारित वर्ग से प्रेरित <math>\mathcal{F} \cup \mathcal{G}</math> अनिवार्य रूप से सांस्थिति की तुलना होगी {{em|अनुशासनपूर्वक स्थूलतर}} अंतिम सांस्थिति की तुलना में <math>\tau_{\mathcal{F}}</math> प्रेरक <math>\mathcal{F};</math> अर्थात, <math>\tau_{\mathcal{F} \cup \mathcal{G}} \subsetneq \tau_{\mathcal{F}}</math> (यह फुटनोट देखें<ref group="note">By definition, the map <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> not being continuous means that there exists at least one open set <math>U \in \tau_{\mathcal{F}}</math> such that <math>g_{a_0}^{-1}(U)</math> is not open in <math>\left(Z_{a_0}, \zeta_{a_0}\right).</math> In contrast, by definition of the final topology <math>\tau_{\mathcal{F} \cup \{g_{a_0}\}},</math> the map <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F} \cup \{g_{a_0}\}}\right)</math> {{em|must}} be continuous. So the reason why <math>\tau_{\mathcal{F} \cup \mathcal{G}}</math> must be strictly coarser, rather than strictly finer, than <math>\tau_{\mathcal{F}}</math> is because the failure of the map <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> to be continuous necessitates that one or more open subsets of <math>\tau_{\mathcal{F}}</math> must be "removed" in order for <math>g_{a_0}</math> to become continuous. Thus <math>\tau_{\mathcal{F} \cup \{g_{a_0}\}}</math> is just <math>\tau_{\mathcal{F}}</math> but some open sets "removed" from <math>\tau_{\mathcal{F}}.</math></ref> स्पष्टीकरण के लिए)।
किसी उपसमुच्चय <math>\mathcal{S} \subseteq \mathcal{F}</math> के लिए, अंतिम टोपोलॉजी <math>\tau_{\mathcal{S}}</math> पर <math>X</math> टोपोलॉजी की तुलना <math>\tau_{\mathcal{F}}</math> में (और संभवतः इसके बराबर) सूक्ष्मतर होगी। इसका अर्थ है कि, <math>\mathcal{S} \subseteq \mathcal{F}</math> तात्पर्य <math>\tau_{\mathcal{F}} \subseteq \tau_{\mathcal{S}},</math> जहां सम्मुच्चय समानता हो सकती है भले ही <math>\mathcal{S}</math> का उचित उपसमुच्चय <math>\mathcal{F}</math> है।  यदि <math>\tau</math> क्या कोई टोपोलॉजी <math>X</math> चालू है तो ऐसा है कि <math>\tau \neq \tau_{\mathcal{F}}</math> और <math>f_i : \left(Y_i, \upsilon_i\right) \to (X, \tau)</math> प्रत्येक सूचकांक के लिए निरंतर <math>i \in I</math> है,  तब <math>\tau</math> होना चाहिए टोपोलॉजी की तुलना |{{em|अनुशासनपूर्वक स्थूलतर}} स्थान <math>\tau_{\mathcal{F}}</math> पर  (मतलब है कि <math>\tau \subseteq \tau_{\mathcal{F}}</math> और <math>\tau \neq \tau_{\mathcal{F}};</math> यह लिखा जाएगा <math>\tau \subsetneq \tau_{\mathcal{F}}</math>) और इसके अतिरिक्त, किसी भी उपवर्ग के लिए <math>\mathcal{S} \subseteq \mathcal{F}</math> टोपोलॉजी <math>\tau</math> यह भी होगा {{em|अनुशासनपूर्वक स्थूलतर}} अंतिम टोपोलॉजी की तुलना में <math>\tau_{\mathcal{S}}</math> वह <math>\mathcal{S}</math> <math>X</math> प्रवृत्त करता है  (क्योंकि <math>\tau_{\mathcal{F}} \subseteq \tau_{\mathcal{S}}</math>); अर्थात्, <math>\tau \subsetneq \tau_{\mathcal{S}}</math>। मान लीजिए कि इसके अतिरिक्त, <math>\mathcal{G} := \left\{g_a : a \in A\right\}</math> एक <math>A</math>-अनुक्रमित वर्ग <math>X</math>-मूल्यवान मानचित्र <math>g_a : Z_a \to X</math> जिनके कार्यक्षेत्र सांस्थितिक समष्टि <math>\left(Z_a, \zeta_a\right)</math> हैं।  यदि हर <math>g_a : \left(Z_a, \zeta_a\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> निरंतर है तो इन मानचित्र को वर्ग में जोड़ रहा है अर्थात्, <math>\tau_{\mathcal{F} \cup \mathcal{G}} = \tau_{\mathcal{F}}</math>। स्पष्ट रूप से, इसका मतलब है कि अंतिम टोपोलॉजी <math>X</math> चालू है  विस्तारित वर्ग से प्रेरित <math>\mathcal{F} \cup \mathcal{G}</math> अंतिम टोपोलॉजी के बराबर है <math>\tau_{\mathcal{F}}</math> मूल वर्ग से प्रेरित <math>\mathcal{F} = \left\{ f_i : i \in I \right\}.</math> हालाँकि, क्या इसके स्थान पर सिर्फ एक मानचित्र <math>g_{a_0}</math> भी उपस्थित था यह इस प्रकार है कि <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> था {{em|न कि}} निरंतर, फिर अंतिम टोपोलॉजी <math>\tau_{\mathcal{F} \cup \mathcal{G}}</math> पर <math>X</math> विस्तारित वर्ग से प्रेरित <math>\mathcal{F} \cup \mathcal{G}</math> अनिवार्य रूप से टोपोलॉजी की तुलना होगी {{em|अनुशासनपूर्वक स्थूलतर}} अंतिम टोपोलॉजी की तुलना में <math>\tau_{\mathcal{F}}</math> प्रेरक <math>\mathcal{F};</math> अर्थात, <math>\tau_{\mathcal{F} \cup \mathcal{G}} \subsetneq \tau_{\mathcal{F}}</math> (यह फुटनोट देखें<ref group="note">By definition, the map <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> not being continuous means that there exists at least one open set <math>U \in \tau_{\mathcal{F}}</math> such that <math>g_{a_0}^{-1}(U)</math> is not open in <math>\left(Z_{a_0}, \zeta_{a_0}\right).</math> In contrast, by definition of the final topology <math>\tau_{\mathcal{F} \cup \{g_{a_0}\}},</math> the map <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F} \cup \{g_{a_0}\}}\right)</math> {{em|must}} be continuous. So the reason why <math>\tau_{\mathcal{F} \cup \mathcal{G}}</math> must be strictly coarser, rather than strictly finer, than <math>\tau_{\mathcal{F}}</math> is because the failure of the map <math>g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right)</math> to be continuous necessitates that one or more open subsets of <math>\tau_{\mathcal{F}}</math> must be "removed" in order for <math>g_{a_0}</math> to become continuous. Thus <math>\tau_{\mathcal{F} \cup \{g_{a_0}\}}</math> is just <math>\tau_{\mathcal{F}}</math> but some open sets "removed" from <math>\tau_{\mathcal{F}}.</math></ref> स्पष्टीकरण के लिए)।


== उप-स्थानों के साथ सामंजस्य ==
== उप-स्थानों के साथ सामंजस्य ==


मान लीजिए <math>(X, \tau)</math> एक सांस्थितिक समष्टि है और <math>\mathbb{S}</math> को <math>(X, \tau)</math> के उपसमष्‍टि का एक वर्ग होने दें जहां महत्वपूर्ण रूप से, शब्द "उपसमष्‍टि" का उपयोग यह इंगित करने के लिए किया जाता है कि प्रत्येक उपसमुच्चय <math>S \in \mathbb{S}</math> में उपसमष्‍टि सांस्थिति <math>\tau_{\mathcal{S}}</math>  है जो <math>(X, \tau)</math> से विरासत में मिली है।} स्पेस <math>(X, \tau)</math> कहा जाता है  
मान लीजिए <math>(X, \tau)</math> एक सांस्थितिक समष्टि है और <math>\mathbb{S}</math> को <math>(X, \tau)</math> के उपसमष्‍टि का एक वर्ग होने दें जहां महत्वपूर्ण रूप से, शब्द "उपसमष्‍टि" का उपयोग यह इंगित करने के लिए किया जाता है कि प्रत्येक उपसमुच्चय <math>S \in \mathbb{S}</math> में उपसमष्‍टि टोपोलॉजी <math>\tau_{\mathcal{S}}</math>  है जो <math>(X, \tau)</math> से विरासत में मिली है।} स्पेस <math>(X, \tau)</math> कहा जाता है  


<math>\mathcal{S} := \left\{ \operatorname{In}_S^X ~:~ S \in \mathbb{S} \right\}</math>समावेशन मानचित्र रूप लेता है
<math>\mathcal{S} := \left\{ \operatorname{In}_S^X ~:~ S \in \mathbb{S} \right\}</math>समावेशन मानचित्र रूप लेता है
:<math>\operatorname{In}_S^X : \left( S, \tau\vert_S \right) \to X.</math> परिभाषा को सुलझाना, <math>(X, \tau)</math> से सुसंगत है <math>\mathbb{S}</math> यदि और केवल यदि निम्न कथन सत्य है:
:<math>\operatorname{In}_S^X : \left( S, \tau\vert_S \right) \to X.</math> परिभाषा को सुलझाना, <math>(X, \tau)</math> से सुसंगत है <math>\mathbb{S}</math> यदि और केवल यदि निम्न कथन सत्य है:
: प्रत्येक उपसमुच्चय के लिए <math>U \subseteq X,</math> <math>U</math> में खुला है <math>(X, \tau)</math> यदि और केवल यदि प्रत्येक के लिए <math>S \in \mathbb{S},</math> <math>U \cap S</math> उपसमष्‍टि सांस्थिति में खुला <math>\left(S, \tau\vert_S\right)</math>है।  
: प्रत्येक उपसमुच्चय के लिए <math>U \subseteq X,</math> <math>U</math> में खुला है <math>(X, \tau)</math> यदि और केवल यदि प्रत्येक के लिए <math>S \in \mathbb{S},</math> <math>U \cap S</math> उपसमष्‍टि टोपोलॉजी में खुला <math>\left(S, \tau\vert_S\right)</math>है।  
इसके स्थान पर बंद सम्मुच्चयों  की जाँच की जा सकती है: <math>(X, \tau)</math> <math>\mathbb{S}</math> से सुसंगत है यदि और केवल यदि हर उपवर्ग के लिए <math>C \subseteq X,</math> <math>C</math> में बंद <math>(X, \tau)</math> है। यदि और केवल यदि प्रत्येक <math>S \in \mathbb{S},</math> के लिए  <math>C \cap S</math> में बंद <math>\left( S, \tau\vert_S \right)</math>है उदाहरण के लिए, यदि <math>\mathbb{O}</math> एक सांस्थितिक समष्टि का आवरण <math>(X, \tau)</math> है खुले उप-स्थानों द्वारा (यानी के खुले उपसमुच्चय <math>(X, \tau)</math> उपसमष्‍टि सांस्थिति के साथ संपन्न) तब <math>\tau</math> से सुसंगत <math>\mathbb{O}</math> है  इसके विपरीत यदि <math>\mathbb{S}</math> के सभी [[सिंगलटन सेट|सिंगलटन सम्मुच्चय]] का सम्मुच्चय है <math>(X, \tau)</math> (प्रत्येक सम्मुच्चय को अपनी अनूठी सांस्थिति के साथ संपन्न किया जा रहा है) तब <math>(X, \tau)</math> से सुसंगत है <math>\mathbb{S}</math> यदि और केवल यदि <math>\tau</math> [[असतत टोपोलॉजी|असतत सांस्थिति]] चालू है <math>X</math> [[विहित इंजेक्शन|विहित अन्तःक्षेपण]] के वर्ग के संबंध में असंयुक्त सम्मिलन (सांस्थिति) अंतिम सांस्थिति है। एक स्थान <math>(X, \tau)</math> कहा जाता है{{em|[[असंयुक्त सम्मिलन space|असंयुक्त सम्मिलन]]}} और {{em|के-स्थल}} यदि <math>\tau</math> सम्मुच्चय  <math>\mathbb{K}</math> के सभी सघन उप-स्थानों में से <math>(X, \tau)</math> के अनुरूप है। सभी प्रथम-गिनने योग्य स्थान और सभी हौसडॉर्फ स्थान [[स्थानीय रूप से कॉम्पैक्ट स्थान|स्थानीय रूप से सघन स्थान]] हैं {{em|k}}-स्थल, ताकि विशेष रूप से, हर [[ कई गुना |बहुविध]] और हर [[मेट्रिजेबल स्पेस|मेट्रिजेबल स्थल]] अपने सभी सघन उपसमष्‍टि के वर्ग के साथ सुसंगत हो।
इसके स्थान पर बंद सम्मुच्चयों  की जाँच की जा सकती है: <math>(X, \tau)</math> <math>\mathbb{S}</math> से सुसंगत है यदि और केवल यदि हर उपवर्ग के लिए <math>C \subseteq X,</math> <math>C</math> में बंद <math>(X, \tau)</math> है। यदि और केवल यदि प्रत्येक <math>S \in \mathbb{S},</math> के लिए  <math>C \cap S</math> में बंद <math>\left( S, \tau\vert_S \right)</math>है उदाहरण के लिए, यदि <math>\mathbb{O}</math> एक सांस्थितिक समष्टि का आवरण <math>(X, \tau)</math> है खुले उप-स्थानों द्वारा (यानी के खुले उपसमुच्चय <math>(X, \tau)</math> उपसमष्‍टि टोपोलॉजी के साथ संपन्न) तब <math>\tau</math> से सुसंगत <math>\mathbb{O}</math> है  इसके विपरीत यदि <math>\mathbb{S}</math> के सभी [[सिंगलटन सेट|सिंगलटन सम्मुच्चय]] का सम्मुच्चय है <math>(X, \tau)</math> (प्रत्येक सम्मुच्चय को अपनी अनूठी टोपोलॉजी के साथ संपन्न किया जा रहा है) तब <math>(X, \tau)</math> से सुसंगत है <math>\mathbb{S}</math> यदि और केवल यदि <math>\tau</math> [[असतत टोपोलॉजी]] चालू है <math>X</math> [[विहित इंजेक्शन|विहित अन्तःक्षेपण]] के वर्ग के संबंध में असंयुक्त सम्मिलन (टोपोलॉजी) अंतिम टोपोलॉजी है। एक स्थान <math>(X, \tau)</math> कहा जाता है{{em|[[असंयुक्त सम्मिलन space|असंयुक्त सम्मिलन]]}} और {{em|के-स्थल}} यदि <math>\tau</math> सम्मुच्चय  <math>\mathbb{K}</math> के सभी सघन उप-स्थानों में से <math>(X, \tau)</math> के अनुरूप है। सभी प्रथम-गिनने योग्य स्थान और सभी हौसडॉर्फ स्थान [[स्थानीय रूप से कॉम्पैक्ट स्थान|स्थानीय रूप से सघन स्थान]] हैं {{em|k}}-स्थल, ताकि विशेष रूप से, हर [[ कई गुना |बहुविध]] और हर [[मेट्रिजेबल स्पेस|मेट्रिजेबल स्थल]] अपने सभी सघन उपसमष्‍टि के वर्ग के साथ सुसंगत हो।


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


मान लीजिये <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math> का वर्ग हो <math>X</math>-वैल्यूड मानचित्र जिसमें प्रत्येक मानचित्र प्ररूप का हो <math>f_i : \left(Y_i, \upsilon_i\right) \to X</math> और जाने <math>\tau_{\mathcal{F}}</math> अंतिम सांस्थिति को निरूपित करें <math>X</math> प्रेरक <math>\mathcal{F}.</math> लगता है कि <math>\tau</math> पर एक सांस्थिति है <math>X</math> और हर सूचकांक के लिए <math>i \in I,</math> [[छवि (गणित)]] <math>\operatorname{Im} f_i := f_i(Y_i)</math> उपसमष्‍टि सांस्थिति से संपन्न है <math>\tau\vert_{\operatorname{Im} f_i}</math> विरासत में मिला <math>(X, \tau).</math> यदि प्रत्येक के लिए <math>i \in I,</math> वो मानचित्र <math>f_i : \left(Y_i, \upsilon_i\right) \to \left( \operatorname{Im} f_i, \tau\vert_{\operatorname{Im} f_i} \right)</math> तब एक भागफल मानचित्र है <math>\tau = \tau_{\mathcal{F}}</math> यदि और केवल यदि <math>(X, \tau)</math> सभी छवियों के सम्मुच्चय के साथ सुसंगत है <math>\left\{ \left( \operatorname{Im} f_i, \tau\vert_{\operatorname{Im} f_i} \right) ~:~ i \in I \right\}.</math>
मान लीजिये <math>\mathcal{F} := \left\{ f_i : i \in I \right\}</math> का वर्ग हो <math>X</math>-वैल्यूड मानचित्र जिसमें प्रत्येक मानचित्र प्ररूप का हो <math>f_i : \left(Y_i, \upsilon_i\right) \to X</math> और जाने <math>\tau_{\mathcal{F}}</math> अंतिम टोपोलॉजी को निरूपित करें <math>X</math> प्रेरक <math>\mathcal{F}.</math> लगता है कि <math>\tau</math> पर एक टोपोलॉजी है <math>X</math> और हर सूचकांक के लिए <math>i \in I,</math> [[छवि (गणित)]] <math>\operatorname{Im} f_i := f_i(Y_i)</math> उपसमष्‍टि टोपोलॉजी से संपन्न है <math>\tau\vert_{\operatorname{Im} f_i}</math> विरासत में मिला <math>(X, \tau).</math> यदि प्रत्येक के लिए <math>i \in I,</math> वो मानचित्र <math>f_i : \left(Y_i, \upsilon_i\right) \to \left( \operatorname{Im} f_i, \tau\vert_{\operatorname{Im} f_i} \right)</math> तब एक भागफल मानचित्र है <math>\tau = \tau_{\mathcal{F}}</math> यदि और केवल यदि <math>(X, \tau)</math> सभी छवियों के सम्मुच्चय के साथ सुसंगत है <math>\left\{ \left( \operatorname{Im} f_i, \tau\vert_{\operatorname{Im} f_i} \right) ~:~ i \in I \right\}.</math>






== परिमित-आयामी यूक्लिडियन रिक्त स्थान की सीधी सीमा पर अंतिम सांस्थिति ==
== परिमित-आयामी यूक्लिडियन रिक्त स्थान की सीधी सीमा पर अंतिम टोपोलॉजी ==


मान लीजिये
मान लीजिये
  <math display="block">\R^{\infty} ~:=~ \left\{ \left(x_1, x_2, \ldots\right) \in \R^{\N} ~:~ \text{ सभी लेकिन निश्चित रूप से बहुत } x_i \text{  से बराबर हैं } 0 \right\},</math>
  <math display="block">\R^{\infty} ~:=~ \left\{ \left(x_1, x_2, \ldots\right) \in \R^{\N} ~:~ \text{ सभी लेकिन निश्चित रूप से बहुत } x_i \text{  से बराबर हैं } 0 \right\},</math>
निरूपित करें{{em|[[परिमित अनुक्रमों का स्थान]]}}, जहाँ <math>\R^{\N}</math> सभी वास्तविक अनुक्रमों के स्थान को दर्शाता है। प्रत्येक [[प्राकृतिक संख्या]] के लिए <math>n \in \N,</math> मान लीजिये <math>\R^n</math> [[यूक्लिडियन टोपोलॉजी|यूक्लिडियन सांस्थिति]] के साथ संपन्न सामान्य [[यूक्लिडियन अंतरिक्ष]] को निरूपित करें और जाने दें <math>\operatorname{In}_{\R^n} : \R^n \to \R^{\infty}</math> द्वारा परिभाषित समावेशन मानचित्र को निरूपित करें <math>\operatorname{In}_{\R^n}\left(x_1, \ldots, x_n\right) := \left(x_1, \ldots, x_n, 0, 0, \ldots\right)</math> ताकि इसकी छवि (गणित) हो
निरूपित करें{{em|[[परिमित अनुक्रमों का स्थान]]}}, जहाँ <math>\R^{\N}</math> सभी वास्तविक अनुक्रमों के स्थान को दर्शाता है। प्रत्येक [[प्राकृतिक संख्या]] के लिए <math>n \in \N,</math> मान लीजिये <math>\R^n</math> [[यूक्लिडियन टोपोलॉजी]] के साथ संपन्न सामान्य [[यूक्लिडियन अंतरिक्ष]] को निरूपित करें और जाने दें <math>\operatorname{In}_{\R^n} : \R^n \to \R^{\infty}</math> द्वारा परिभाषित समावेशन मानचित्र को निरूपित करें <math>\operatorname{In}_{\R^n}\left(x_1, \ldots, x_n\right) := \left(x_1, \ldots, x_n, 0, 0, \ldots\right)</math> ताकि इसकी छवि (गणित) हो
<math display="block">\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)  
<math display="block">\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)  
= \left\{ \left(x_1, \ldots, x_n, 0, 0, \ldots\right) ~:~ x_1, \ldots, x_n \in \R \right\}  
= \left\{ \left(x_1, \ldots, x_n, 0, 0, \ldots\right) ~:~ x_1, \ldots, x_n \in \R \right\}  
= \R^n \times \left\{ (0, 0, \ldots) \right\}</math>
= \R^n \times \left\{ (0, 0, \ldots) \right\}</math>
और इसके परिणामस्वरूप,
और इसके परिणामस्वरूप,
<math display="block">\R^{\infty} = \bigcup_{n \in \N} \operatorname{Im} \left(\operatorname{In}_{\R^n}\right).</math> <math>\R^{\infty}</math> सम्मुच्चय वृत्तिदान करो अंतिम सांस्थिति के साथ <math>\tau^{\infty}</math> सभी समावेशन मानचित्रों <math>\mathcal{F} := \left\{ \; \operatorname{In}_{\R^n} ~:~ n \in \N \; \right\}</math> के वर्ग द्वारा समाप्त करें ।
<math display="block">\R^{\infty} = \bigcup_{n \in \N} \operatorname{Im} \left(\operatorname{In}_{\R^n}\right).</math> <math>\R^{\infty}</math> सम्मुच्चय वृत्तिदान करो अंतिम टोपोलॉजी के साथ <math>\tau^{\infty}</math> सभी समावेशन मानचित्रों <math>\mathcal{F} := \left\{ \; \operatorname{In}_{\R^n} ~:~ n \in \N \; \right\}</math> के वर्ग द्वारा समाप्त करें ।
इस सांस्थिति के साथ, <math>\R^{\infty}</math> एक [[पूर्ण टोपोलॉजिकल वेक्टर स्पेस|पूर्ण सांस्थितिक सदिश स्थल]] हॉसडॉर्फ स्थल स्थानीय रूप से उत्तल सांस्थितिक सदिश स्थल बन जाता है जो अनुक्रमिक स्थल सांस्थितिक सदिश स्थल है {{em|न कि}} एक फ्रेचेट-उरीसोहन अंतरिक्ष। सांस्थिति <math>\tau^{\infty}</math> प्रेरित उप-स्थान [[टोपोलॉजी की तुलना|सांस्थिति की तुलना]] में सांस्थिति की तुलना <math>\R^{\infty}</math> द्वारा <math>\R^{\N}</math> है, जहाँ <math>\R^{\N}</math> अपने सामान्य [[उत्पाद टोपोलॉजी|उत्पाद सांस्थिति]] से संपन्न है।


<math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> आपत्ति द्वारा उस पर प्रेरित अंतिम सांस्थिति के साथ <math>\operatorname{In}_{\R^n} : \R^n \to \operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> छवि प्रदान करें। अर्थात्, यह यूक्लिडियन सांस्थिति से संपन्न है जिससे इसे <math>\operatorname{In}_{\R^n}</math>के माध्यम से <math>\R^n</math> स्थानांतरित किया गया है  यह सांस्थिति चालू है <math>\operatorname{Im} \left( \operatorname{In}_{\R^n} \right)</math> इसके द्वारा प्रेरित उपसमष्‍टि सांस्थिति <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> के बराबर है। उपसमुच्चय <math>S \subseteq \R^{\infty}</math> में खुला (क्रमशः, बंद) <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> है  यदि और केवल यदि प्रत्येक <math>n \in \N</math> के लिए सम्मुच्चय <math>S \cap \operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> का एक खुला (क्रमशः, बंद) उपवर्ग <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> है सांस्थिति <math>\tau^{\infty}</math> उपसमष्‍टि के वर्ग के साथ <math>\mathbb{S} := \left\{ \; \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) ~:~ n \in \N \; \right\}</math>सुसंगत है। यह [[एलबी-स्पेस|एलबी-स्थल]] में <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> बनाता है। नतीजतन, यदि <math>v \in \R^{\infty}</math> और <math>v_{\bull}</math> में क्रम <math>\R^{\infty}</math> है तब <math>v_{\bull} \to v</math> में <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> यदि और केवल यदि कुछ उपस्थित है <math>n \in \N</math> ऐसा कि दोनों <math>v</math> और <math>v_{\bull}</math> में <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> निहित हैं  और <math>v_{\bull} \to v</math> में <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math>। प्राय: प्रत्येक <math>n \in \N,</math> के लिए  समावेशन मानचित्र <math>\operatorname{In}_{\R^n}</math> पहचानने के लिए <math>\R^n</math> प्रयोग किया जाता है इसकी छवि के साथ <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> में <math>\R^{\infty};</math> स्पष्ट रूप से, तत्व <math>\left( x_1, \ldots, x_n \right) \in \R^n</math> और <math>\left(x_1, \ldots, x_n, 0, 0, 0, \ldots\right)</math> एक साथ पहचाने जाते हैं।
इस टोपोलॉजी के साथ, <math>\R^{\infty}</math> एक [[पूर्ण टोपोलॉजिकल वेक्टर स्पेस|पूर्ण सांस्थितिक सदिश स्थल]] हॉसडॉर्फ स्थल स्थानीय रूप से उत्तल सांस्थितिक सदिश स्थल बन जाता है जो अनुक्रमिक स्थल सांस्थितिक सदिश स्थल है {{em|न कि}} एक फ्रेचेट-उरीसोहन अंतरिक्ष। टोपोलॉजी <math>\tau^{\infty}</math> प्रेरित उप-स्थान [[टोपोलॉजी की तुलना]] में टोपोलॉजी की तुलना <math>\R^{\infty}</math> द्वारा <math>\R^{\N}</math> है, जहाँ <math>\R^{\N}</math> अपने सामान्य [[उत्पाद टोपोलॉजी]] से संपन्न है।
 
<math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> आपत्ति द्वारा उस पर प्रेरित अंतिम टोपोलॉजी के साथ <math>\operatorname{In}_{\R^n} : \R^n \to \operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> छवि प्रदान करें। अर्थात्, यह यूक्लिडियन टोपोलॉजी से संपन्न है जिससे इसे <math>\operatorname{In}_{\R^n}</math>के माध्यम से <math>\R^n</math> स्थानांतरित किया गया है  यह टोपोलॉजी चालू है <math>\operatorname{Im} \left( \operatorname{In}_{\R^n} \right)</math> इसके द्वारा प्रेरित उपसमष्‍टि टोपोलॉजी <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> के बराबर है। उपसमुच्चय <math>S \subseteq \R^{\infty}</math> में खुला (क्रमशः, बंद) <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> है  यदि और केवल यदि प्रत्येक <math>n \in \N</math> के लिए सम्मुच्चय <math>S \cap \operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> का एक खुला (क्रमशः, बंद) उपवर्ग <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> है टोपोलॉजी <math>\tau^{\infty}</math> उपसमष्‍टि के वर्ग के साथ <math>\mathbb{S} := \left\{ \; \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) ~:~ n \in \N \; \right\}</math>सुसंगत है। यह [[एलबी-स्पेस|एलबी-स्थल]] में <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> बनाता है। नतीजतन, यदि <math>v \in \R^{\infty}</math> और <math>v_{\bull}</math> में क्रम <math>\R^{\infty}</math> है तब <math>v_{\bull} \to v</math> में <math>\left(\R^{\infty}, \tau^{\infty}\right)</math> यदि और केवल यदि कुछ उपस्थित है <math>n \in \N</math> ऐसा कि दोनों <math>v</math> और <math>v_{\bull}</math> में <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> निहित हैं  और <math>v_{\bull} \to v</math> में <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math>। प्राय: प्रत्येक <math>n \in \N,</math> के लिए  समावेशन मानचित्र <math>\operatorname{In}_{\R^n}</math> पहचानने के लिए <math>\R^n</math> प्रयोग किया जाता है इसकी छवि के साथ <math>\operatorname{Im} \left(\operatorname{In}_{\R^n}\right)</math> में <math>\R^{\infty};</math> स्पष्ट रूप से, तत्व <math>\left( x_1, \ldots, x_n \right) \in \R^n</math> और <math>\left(x_1, \ldots, x_n, 0, 0, 0, \ldots\right)</math> एक साथ पहचाने जाते हैं।


इस पहचान के अंतर्गत <math>\left(\left(\R^{\infty}, \tau^{\infty}\right), \left(\operatorname{In}_{\R^n}\right)_{n \in \N}\right)</math> प्रत्यक्ष प्रणाली की प्रत्यक्ष सीमा <math>\left(\left(\R^n\right)_{n \in \N}, \left(\operatorname{In}_{\R^m}^{\R^n}\right)_{m \leq n \text{ in } \N}, \N\right)</math> बन जाती है,  जहां हर <math>m \leq n,</math> के लिए  वो मानचित्र <math>\operatorname{In}_{\R^m}^{\R^n} : \R^m \to \R^n</math> द्वारा परिभाषित समावेशन मानचित्र है <math>\operatorname{In}_{\R^m}^{\R^n}\left(x_1, \ldots, x_m\right) := \left(x_1, \ldots, x_m, 0, \ldots, 0\right),</math> जहाँ n-m अनुगामी शून्य हैं।
इस पहचान के अंतर्गत <math>\left(\left(\R^{\infty}, \tau^{\infty}\right), \left(\operatorname{In}_{\R^n}\right)_{n \in \N}\right)</math> प्रत्यक्ष प्रणाली की प्रत्यक्ष सीमा <math>\left(\left(\R^n\right)_{n \in \N}, \left(\operatorname{In}_{\R^m}^{\R^n}\right)_{m \leq n \text{ in } \N}, \N\right)</math> बन जाती है,  जहां हर <math>m \leq n,</math> के लिए  वो मानचित्र <math>\operatorname{In}_{\R^m}^{\R^n} : \R^m \to \R^n</math> द्वारा परिभाषित समावेशन मानचित्र है <math>\operatorname{In}_{\R^m}^{\R^n}\left(x_1, \ldots, x_m\right) := \left(x_1, \ldots, x_m, 0, \ldots, 0\right),</math> जहाँ n-m अनुगामी शून्य हैं।
Line 91: Line 91:
== श्रेणीबद्ध विवरण ==
== श्रेणीबद्ध विवरण ==


[[श्रेणी सिद्धांत]] की भाषा में, अंतिम सांस्थिति निर्माण को निम्नानुसार वर्णित किया जा सकता है। <math>Y</math> एक असतत श्रेणी <math>J</math> से सांस्थितिक समष्टि की श्रेणी का एक प्रकार्यक है, जो  <math>i \in J</math> के लिए रिक्त स्थान <math>Y_i</math> का चयन करता है। मान लीजिये <math>\Delta</math> शीर्ष से शीर्ष फलक श्रेणी के लिए विकर्ण प्रकार्यक बनें<sup>J</sup> (यह प्रकार्यक प्रत्येक स्थान भेजता है <math>X</math> निरंतर कारक के लिए <math>X</math>). [[अल्पविराम श्रेणी]] <math>(Y \,\downarrow\, \Delta)</math> तब से [[सह-शंकु की श्रेणी]] <math>Y</math> है , यानी वस्तुओं में <math>(Y \,\downarrow\, \Delta)</math> <math>(X, f)</math> जोड़े हैं जहाँ <math>f_i : Y_i \to X</math> निरंतर मानचित्र का वर्ग <math>X</math> है, यदि <math>Y</math> शीर्ष से सम्मुच्चय तक भुलक्कड़ प्रकार्यक है और Δ' सम्मुच्चय से सम्मुच्चय<sup>J</sup> तक का विकर्ण प्रकार्यक है फिर अल्पविराम श्रेणी <math>\left(UY \,\downarrow\, \Delta^{\prime}\right)</math> से सभी सह-शंकु की श्रेणी <math>UY</math> है। अंतिम सांस्थिति निर्माण को तब से एक प्रकार्यक के रूप  <math>\left(UY \,\downarrow\, \Delta^{\prime}\right)</math> को <math>(Y \,\downarrow\, \Delta)</math> में वर्णित किया जा सकता है यह प्रकार्यक संबंधित भुलक्कड़ प्रकार्यक के लिए सहायक प्रकार्यक है।
[[श्रेणी सिद्धांत]] की भाषा में, अंतिम टोपोलॉजी निर्माण को निम्नानुसार वर्णित किया जा सकता है। <math>Y</math> एक असतत श्रेणी <math>J</math> से सांस्थितिक समष्टि की श्रेणी का एक प्रकार्यक है, जो  <math>i \in J</math> के लिए रिक्त स्थान <math>Y_i</math> का चयन करता है। मान लीजिये <math>\Delta</math> शीर्ष से शीर्ष फलक श्रेणी के लिए विकर्ण प्रकार्यक बनें<sup>J</sup> (यह प्रकार्यक प्रत्येक स्थान भेजता है <math>X</math> निरंतर कारक के लिए <math>X</math>). [[अल्पविराम श्रेणी]] <math>(Y \,\downarrow\, \Delta)</math> तब से [[सह-शंकु की श्रेणी]] <math>Y</math> है , यानी वस्तुओं में <math>(Y \,\downarrow\, \Delta)</math> <math>(X, f)</math> जोड़े हैं जहाँ <math>f_i : Y_i \to X</math> निरंतर मानचित्र का वर्ग <math>X</math> है, यदि <math>Y</math> शीर्ष से सम्मुच्चय तक भुलक्कड़ प्रकार्यक है और Δ' सम्मुच्चय से सम्मुच्चय<sup>J</sup> तक का विकर्ण प्रकार्यक है फिर अल्पविराम श्रेणी <math>\left(UY \,\downarrow\, \Delta^{\prime}\right)</math> से सभी सह-शंकु की श्रेणी <math>UY</math> है। अंतिम टोपोलॉजी निर्माण को तब से एक प्रकार्यक के रूप  <math>\left(UY \,\downarrow\, \Delta^{\prime}\right)</math> को <math>(Y \,\downarrow\, \Delta)</math> में वर्णित किया जा सकता है यह प्रकार्यक संबंधित भुलक्कड़ प्रकार्यक के लिए सहायक प्रकार्यक है।


== यह भी देखें ==
== यह भी देखें ==
Line 97: Line 97:
* {{annotated link|प्रत्यक्ष सीमा}}
* {{annotated link|प्रत्यक्ष सीमा}}
* {{annotated link|प्रेरित सांस्थिति}}
* {{annotated link|प्रेरित सांस्थिति}}
* प्रारंभिक सांस्थिति
* प्रारंभिक टोपोलॉजी
* एलबी-स्थल
* एलबी-स्थल
* एलएफ-स्थल
* एलएफ-स्थल
Line 104: Line 104:


{{reflist|group=note}}
{{reflist|group=note}}
== उद्धरण ==
== उद्धरण ==


{{reflist}}
{{reflist}}
==संदर्भ==
==संदर्भ==
* {{cite book |last1=ब्राउन |first1=Ronald |title=टोपोलॉजी और ग्रुपोइड्स। |date=June 2006 |publisher=क्रिएटस्पेस |location=उत्तर चार्ल्सटन |isbn=1-4196-2722-8}}
* {{cite book |last1=ब्राउन |first1=Ronald |title=टोपोलॉजी और ग्रुपोइड्स। |date=June 2006 |publisher=क्रिएटस्पेस |location=उत्तर चार्ल्सटन |isbn=1-4196-2722-8}}
Line 116: Line 112:
* {{Willard General Topology}} <!--{{sfn|Willard|2004|p=}}-->
* {{Willard General Topology}} <!--{{sfn|Willard|2004|p=}}-->


{{Topology|expanded}}
[[Category:Collapse templates]]
[[Category: सामान्य टोपोलॉजी]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Vigyan Ready]]
[[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 12:42, 7 November 2023

गणित के सामान्य टोपोलॉजी और संबंधित क्षेत्रों में, अंतिम टोपोलॉजी (अंतिम सांस्थिति) [1] (या सहप्रेरित, शक्तिशाली, कोलिमिट, या इंडक्टिव टोपोलॉजी) एक सम्मुच्चय पर, सांस्थितिक समष्टि से में कार्यों के वर्ग के संबंध में पर बेहतरीन टोपोलॉजी है जो उन सभी कार्यों को निरंतर बनाता है।

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

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

परिभाषा

संबंधित कार्यों के साथ सांस्थितिक स्थल के सम्मुच्चय और -तालिका वर्ग को देखते हुए

 अंतिम सांस्थिति  कार्यों के वर्ग द्वारा प्रेरित   पर बेहतरीन टोपोलॉजी  है पर ऐसा है कि

प्रत्येक के लिए निरंतर (टोपोलॉजी) है।

स्पष्ट रूप से, अंतिम टोपोलॉजी को निम्नानुसार वर्णित किया जा सकता है:

उपसमुच्चय का अंतिम टोपोलॉजी (वह है, ) में खुला है यदि और केवल यदि में खुला है .

बंद उपसमुच्चय में एक समान विशेषता है:

उपसमुच्चय का अंतिम टोपोलॉजी में बंद है यदि और केवल यदि में बंद है।

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

उदाहरण

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

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

सांस्थितिक रिक्त स्थान दिया गया, विसंधित संघ पर विसंधित संघ (टोपोलॉजी) प्राकृतिक अंतःक्षेपण द्वारा प्रेरित विसंधित संघ पर अंतिम टोपोलॉजी है।

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

एक पुलिंदा के ईटेल स्थान को अंतिम टोपोलॉजी द्वारा टोपोलॉजीकृत किया जाता है।

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

गुण

निरंतर मानचित्रों के माध्यम से लक्षण वर्णन

सांस्थितिक समष्टि से सम्मुच्चय पर दिए गए कार्य अंतिम टोपोलॉजी चालू इन कार्यों के संबंध में निम्नलिखित संपत्ति को संतुष्ट करता है:

एक फलन से किसी जगह को निरंतर है यदि और केवल यदि प्रत्येक के लिए निरंतर है
अंतिम सांस्थिति की विशेषता संपत्ति

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


संरचना के अंतर्गत व्यवहार

मान लीजिये मानचित्र का एक वर्ग है, और हर किसी के लिए टोपोलॉजी पर कुछ वर्ग द्वारा प्रेरित अंतिम टोपोलॉजी में मूल्यवान मानचित्रों का है फिर अंतिम टोपोलॉजी चालू प्रेरक पर अंतिम टोपोलॉजी के बराबर है। मानचित्रों से प्रेरित है परिणामस्वरूप: यदि पर अंतिम टोपोलॉजी है वर्ग द्वारा प्रेरित और यदि क्या कोई आच्छादन मानचित्र है जिसका किसी सांस्थितिक समष्टि में महत्व है, तब यदि और केवल यदि एक भागफल मानचित्र है मानचित्र से प्रेरित अंतिम टोपोलॉजी है, असंयुक्त संघ टोपोलॉजी की सार्वभौमिक संपत्ति से हम जानते हैं कि निरंतर मानचित्रों के किसी भी वर्ग को दिया गया एक अनूठा निरंतर मानचित्र है

यह प्राकृतिक अन्तःक्षेपण के साथ संगत है। यदि मानचित्र का वर्ग आच्छादित (यानी प्रत्येक कुछ की छवि में निहित है) फिर मानचित्र यदि और केवल यदि एक भागफल मानचित्र होगा मानचित्र से प्रेरित अंतिम टोपोलॉजी है


मानचित्र के वर्ग बदलने के प्रभाव

मान लीजिये का वर्ग -मूल्यवान मानचित्र हो जिसमें प्रत्येक मानचित्र प्ररूप का हो और मान लीजिये द्वारा प्रेरित पर अंतिम टोपोलॉजी को निरूपित करें। अंतिम टोपोलॉजी की परिभाषा प्रत्याभुति देती है कि प्रत्येक सूचकांक के लिए वो मानचित्र सतत कार्य (टोपोलॉजी) है।

किसी उपसमुच्चय के लिए, अंतिम टोपोलॉजी पर टोपोलॉजी की तुलना में (और संभवतः इसके बराबर) सूक्ष्मतर होगी। इसका अर्थ है कि, तात्पर्य जहां सम्मुच्चय समानता हो सकती है भले ही का उचित उपसमुच्चय है। यदि क्या कोई टोपोलॉजी चालू है तो ऐसा है कि और प्रत्येक सूचकांक के लिए निरंतर है, तब होना चाहिए टोपोलॉजी की तुलना |अनुशासनपूर्वक स्थूलतर स्थान पर (मतलब है कि और यह लिखा जाएगा ) और इसके अतिरिक्त, किसी भी उपवर्ग के लिए टोपोलॉजी यह भी होगा अनुशासनपूर्वक स्थूलतर अंतिम टोपोलॉजी की तुलना में वह प्रवृत्त करता है (क्योंकि ); अर्थात्, । मान लीजिए कि इसके अतिरिक्त, एक -अनुक्रमित वर्ग -मूल्यवान मानचित्र जिनके कार्यक्षेत्र सांस्थितिक समष्टि हैं। यदि हर निरंतर है तो इन मानचित्र को वर्ग में जोड़ रहा है अर्थात्, । स्पष्ट रूप से, इसका मतलब है कि अंतिम टोपोलॉजी चालू है विस्तारित वर्ग से प्रेरित अंतिम टोपोलॉजी के बराबर है मूल वर्ग से प्रेरित हालाँकि, क्या इसके स्थान पर सिर्फ एक मानचित्र भी उपस्थित था यह इस प्रकार है कि था न कि निरंतर, फिर अंतिम टोपोलॉजी पर विस्तारित वर्ग से प्रेरित अनिवार्य रूप से टोपोलॉजी की तुलना होगी अनुशासनपूर्वक स्थूलतर अंतिम टोपोलॉजी की तुलना में प्रेरक अर्थात, (यह फुटनोट देखें[note 1] स्पष्टीकरण के लिए)।

उप-स्थानों के साथ सामंजस्य

मान लीजिए एक सांस्थितिक समष्टि है और को के उपसमष्‍टि का एक वर्ग होने दें जहां महत्वपूर्ण रूप से, शब्द "उपसमष्‍टि" का उपयोग यह इंगित करने के लिए किया जाता है कि प्रत्येक उपसमुच्चय में उपसमष्‍टि टोपोलॉजी है जो से विरासत में मिली है।} स्पेस कहा जाता है

समावेशन मानचित्र रूप लेता है

परिभाषा को सुलझाना, से सुसंगत है यदि और केवल यदि निम्न कथन सत्य है:
प्रत्येक उपसमुच्चय के लिए में खुला है यदि और केवल यदि प्रत्येक के लिए उपसमष्‍टि टोपोलॉजी में खुला है।

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

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

मान लीजिये का वर्ग हो -वैल्यूड मानचित्र जिसमें प्रत्येक मानचित्र प्ररूप का हो और जाने अंतिम टोपोलॉजी को निरूपित करें प्रेरक लगता है कि पर एक टोपोलॉजी है और हर सूचकांक के लिए छवि (गणित) उपसमष्‍टि टोपोलॉजी से संपन्न है विरासत में मिला यदि प्रत्येक के लिए वो मानचित्र तब एक भागफल मानचित्र है यदि और केवल यदि सभी छवियों के सम्मुच्चय के साथ सुसंगत है


परिमित-आयामी यूक्लिडियन रिक्त स्थान की सीधी सीमा पर अंतिम टोपोलॉजी

मान लीजिये

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

और इसके परिणामस्वरूप,
सम्मुच्चय वृत्तिदान करो अंतिम टोपोलॉजी के साथ सभी समावेशन मानचित्रों के वर्ग द्वारा समाप्त करें ।

इस टोपोलॉजी के साथ, एक पूर्ण सांस्थितिक सदिश स्थल हॉसडॉर्फ स्थल स्थानीय रूप से उत्तल सांस्थितिक सदिश स्थल बन जाता है जो अनुक्रमिक स्थल सांस्थितिक सदिश स्थल है न कि एक फ्रेचेट-उरीसोहन अंतरिक्ष। टोपोलॉजी प्रेरित उप-स्थान टोपोलॉजी की तुलना में टोपोलॉजी की तुलना द्वारा है, जहाँ अपने सामान्य उत्पाद टोपोलॉजी से संपन्न है।

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

इस पहचान के अंतर्गत प्रत्यक्ष प्रणाली की प्रत्यक्ष सीमा बन जाती है, जहां हर के लिए वो मानचित्र द्वारा परिभाषित समावेशन मानचित्र है जहाँ n-m अनुगामी शून्य हैं।

श्रेणीबद्ध विवरण

श्रेणी सिद्धांत की भाषा में, अंतिम टोपोलॉजी निर्माण को निम्नानुसार वर्णित किया जा सकता है। एक असतत श्रेणी से सांस्थितिक समष्टि की श्रेणी का एक प्रकार्यक है, जो के लिए रिक्त स्थान का चयन करता है। मान लीजिये शीर्ष से शीर्ष फलक श्रेणी के लिए विकर्ण प्रकार्यक बनेंJ (यह प्रकार्यक प्रत्येक स्थान भेजता है निरंतर कारक के लिए ). अल्पविराम श्रेणी तब से सह-शंकु की श्रेणी है , यानी वस्तुओं में जोड़े हैं जहाँ निरंतर मानचित्र का वर्ग है, यदि शीर्ष से सम्मुच्चय तक भुलक्कड़ प्रकार्यक है और Δ' सम्मुच्चय से सम्मुच्चयJ तक का विकर्ण प्रकार्यक है फिर अल्पविराम श्रेणी से सभी सह-शंकु की श्रेणी है। अंतिम टोपोलॉजी निर्माण को तब से एक प्रकार्यक के रूप को में वर्णित किया जा सकता है यह प्रकार्यक संबंधित भुलक्कड़ प्रकार्यक के लिए सहायक प्रकार्यक है।

यह भी देखें

टिप्पणियाँ

  1. By definition, the map not being continuous means that there exists at least one open set such that is not open in In contrast, by definition of the final topology the map must be continuous. So the reason why must be strictly coarser, rather than strictly finer, than is because the failure of the map to be continuous necessitates that one or more open subsets of must be "removed" in order for to become continuous. Thus is just but some open sets "removed" from

उद्धरण

  1. Singh, Tej Bahadur (May 5, 2013). Elements of Topology. CRC Press. ISBN 9781482215663. Retrieved July 21, 2020.
  2. "के-स्पेस या अंतिम टोपोलॉजी की परिभाषा में सैद्धान्तिक मुद्दों को उचित वर्ग के कार्यों के संदर्भ में सेट करें". Mathematics Stack Exchange.
  3. Brown 2006, Section 5.9, p. 182.

संदर्भ