आधार (टोपोलॉजी)

गणित में, टोपोलॉजी (संरचना) के लिए एक आधार (या आधार) τ एक टोपोलॉजिकल स्पेस का (X, τ) सेट्स का परिवार है ${\mathcal {B}}$ के खुले सेटों का X ऐसा है कि टोपोलॉजी का हर खुला सेट कुछ सबसेट के संघ स्थापित करें के बराबर है | उप-परिवार ${\mathcal {B}}$. उदाहरण के लिए, वास्तविक संख्या रेखा में सभी खुले अंतरालों का समुच्चय $\mathbb {R}$ यूक्लिडियन टोपोलॉजी का आधार है $\mathbb {R}$ क्योंकि प्रत्येक विवृत्त अंतराल एक विवृत्त समुच्चय होता है, और प्रत्येक विवृत्त उपसमुच्चय भी $\mathbb {R}$ खुले अंतराल के कुछ परिवार के संघ के रूप में लिखा जा सकता है।

आधार पूरे टोपोलॉजी में सर्वव्यापी हैं। एक टोपोलॉजी के लिए बेस में सेट, जो कहलाते हैं basic open sets, मनमाने ढंग से खुले सेटों की तुलना में अक्सर वर्णन करना और उपयोग करना आसान होता है। निरंतर कार्य और अभिसरण (टोपोलॉजी) जैसी कई महत्वपूर्ण टोपोलॉजिकल परिभाषाओं की जांच मनमाने ढंग से खुले सेटों के बजाय केवल मूल खुले सेटों का उपयोग करके की जा सकती है। कुछ टोपोलॉजी में विशिष्ट उपयोगी गुणों के साथ खुले सेट का आधार होता है जो ऐसी टोपोलॉजिकल परिभाषाओं की जाँच को आसान बना सकता है।

एक सेट के सबसेट के सभी परिवार नहीं $X$ एक टोपोलॉजी के लिए एक आधार तैयार करें $X$. नीचे दी गई कुछ शर्तों के तहत, सबसेट का एक परिवार एक (अद्वितीय) टोपोलॉजी के लिए आधार बनाएगा $X$, सबफैमिली के सभी संभावित यूनियनों को लेकर प्राप्त किया गया। टोपोलॉजी को परिभाषित करने के लिए सेट के ऐसे परिवारों का अक्सर उपयोग किया जाता है। आधारों से संबंधित एक कमजोर धारणा एक टोपोलॉजी के लिए उप-आधार की है। टोपोलॉजी के आधार भी पड़ोस के ठिकानों से निकटता से संबंधित हैं।

परिभाषा और बुनियादी गुण

एक टोपोलॉजिकल स्पेस दिया गया $(X,\tau )$, एक आधार (या आधार) टोपोलॉजी (संरचना) के लिए $\tau$ (के लिए एक आधार भी कहा जाता है $X$ यदि टोपोलॉजी को समझा जाए) समुच्चयों का परिवार है ${\mathcal {B}}\subseteq \tau$ खुले सेटों का ऐसा कि टोपोलॉजी के हर खुले सेट को कुछ उपपरिवारों के मिलन के रूप में दर्शाया जा सकता है ${\mathcal {B}}$. के तत्व ${\mathcal {B}}$ बेसिक ओपन सेट कहलाते हैं। समान रूप से, एक परिवार ${\mathcal {B}}$ के सबसेट का $X$ टोपोलॉजी का आधार है $\tau$ अगर और केवल अगर ${\mathcal {B}}\subseteq \tau$ और हर खुले सेट के लिए $U$ में $X$ और बिंदु $x\in U$ कुछ बुनियादी खुला सेट है $B\in {\mathcal {B}}$ ऐसा है कि $x\in B\subseteq U$.

उदाहरण के लिए, वास्तविक रेखा में सभी खुले अंतरालों का संग्रह वास्तविक संख्याओं पर मानक टोपोलॉजी के लिए आधार बनाता है। अधिक सामान्यतः, एक मीट्रिक स्थान में $M$ के अंक के बारे में सभी खुली गेंदों का संग्रह $M$ टोपोलॉजी के लिए एक आधार बनाता है।

सामान्य तौर पर, एक सामयिक स्थान $(X,\tau )$ अनेक आधार हो सकते हैं। संपूर्ण टोपोलॉजी $\tau$ हमेशा अपने लिए एक आधार होता है (अर्थात, $\tau$ का आधार है $\tau$). वास्तविक रेखा के लिए, सभी खुले अंतरालों का संग्रह टोपोलॉजी का आधार है। उदाहरण के लिए, तर्कसंगत अंतराल के साथ सभी खुले अंतरालों का संग्रह, या तर्कहीन अंत बिंदुओं के साथ सभी खुले अंतरालों का संग्रह। ध्यान दें कि दो अलग-अलग आधारों के लिए सामान्य रूप से कोई बुनियादी खुला सेट होना आवश्यक नहीं है। अंतरिक्ष के सामयिक गुणों में से एक $X$ इसकी टोपोलॉजी के लिए आधार की न्यूनतम प्रमुखता है, जिसे वजन कहा जाता है $X$ और निरूपित $w(X)$. उपरोक्त उदाहरणों से, वास्तविक रेखा में गणनीय भार होता है।

अगर ${\mathcal {B}}$ टोपोलॉजी का आधार है $\tau$ एक स्थान का $X$, यह निम्नलिखित गुणों को संतुष्ट करता है::(बी1) के तत्व ${\mathcal {B}}$ आवरण (टोपोलॉजी) $X$, यानी, हर बिंदु $x\in X$ के किसी तत्व से संबंधित है ${\mathcal {B}}$.

(बी2) प्रत्येक के लिए $B_{1},B_{2}\in {\mathcal {B}}$ और हर बिंदु $x\in B_{1}\cap B_{2}$, कुछ मौजूद है $B_{3}\in {\mathcal {B}}$ ऐसा है कि $x\in B_{3}\subseteq B_{1}\cap B_{2}$.

संपत्ति (बी 1) इस तथ्य से मेल खाती है कि $X$ एक खुला सेट है; संपत्ति (बी 2) इस तथ्य से मेल खाती है कि $B_{1}\cap B_{2}$ एक खुला सेट है।

इसके विपरीत मान लीजिए $X$ बिना किसी टोपोलॉजी के सिर्फ एक सेट है और ${\mathcal {B}}$ के उपसमुच्चय का परिवार है $X$ संतोषजनक गुण (B1) और (B2)। तब ${\mathcal {B}}$ यह उत्पन्न होने वाली टोपोलॉजी के लिए एक आधार है। अधिक सटीक, चलो $\tau$ के सभी उपसमूहों का परिवार हो $X$ जो कि उप-परिवारों के संघ हैं ${\mathcal {B}}.$ तब $\tau$ पर एक टोपोलॉजी है $X$ और ${\mathcal {B}}$ का आधार है $\tau$. (स्केच: $\tau$ एक टोपोलॉजी को परिभाषित करता है क्योंकि यह निर्माण द्वारा मनमाना संघों के तहत स्थिर है, यह परिमित चौराहों के तहत स्थिर है (बी 2), इसमें शामिल है $X$ द्वारा (बी 1), और इसमें खाली उपपरिवार के मिलन के रूप में खाली सेट शामिल है ${\mathcal {B}}$. परिवार ${\mathcal {B}}$ तब के लिए एक आधार है $\tau$ निर्माण द्वारा।) सेट के ऐसे परिवार एक टोपोलॉजी को परिभाषित करने का एक बहुत ही सामान्य तरीका है।

सामान्य तौर पर, अगर $X$ एक सेट है और ${\mathcal {B}}$ के सबसेट का मनमाना संग्रह है $X$, एक (अद्वितीय) सबसे छोटी टोपोलॉजी है $\tau$ पर $X$ युक्त ${\mathcal {B}}$. (यह टोपोलॉजी सभी टोपोलॉजी का प्रतिच्छेदन (सेट थ्योरी) है $X$ युक्त ${\mathcal {B}}$।) टोपोलॉजी $\tau$ द्वारा उत्पन्न टोपोलॉजी कहलाती है ${\mathcal {B}}$, और ${\mathcal {B}}$ के लिए उप आधार कहलाता है $\tau$. टोपोलॉजी $\tau$ के तत्वों के परिमित चौराहों के सभी मनमाने संघों के सेट के रूप में भी वर्णित किया जा सकता है ${\mathcal {B}}$. (सबबेस के बारे में लेख देखें।) अब, अगर ${\mathcal {B}}$ गुणों (बी 1) और (बी 2) को भी संतुष्ट करता है, जिसके द्वारा उत्पन्न टोपोलॉजी ${\mathcal {B}}$ चौराहों को लिए बिना सरल तरीके से वर्णित किया जा सकता है: $\tau$ के तत्वों के सभी संघों का समुच्चय है ${\mathcal {B}}$ (और ${\mathcal {B}}$ के लिए आधार है $\tau$ उस मामले में)।

हालत (बी2) की जांच करने का अक्सर एक आसान तरीका होता है। यदि किन्हीं दो तत्वों का प्रतिच्छेदन ${\mathcal {B}}$ का ही एक अंग है ${\mathcal {B}}$ या खाली है, तो स्थिति (B2) स्वत: संतुष्ट हो जाती है (लेकर $B_{3}=B_{1}\cap B_{2}$). उदाहरण के लिए, समतल पर यूक्लिडियन टोपोलॉजी एक आधार के रूप में क्षैतिज और ऊर्ध्वाधर पक्षों के साथ सभी खुले आयतों के सेट को स्वीकार करती है, और ऐसे दो बुनियादी खुले सेटों का एक गैर-रिक्त चौराहा भी एक बुनियादी खुला सेट है। लेकिन उसी टोपोलॉजी के लिए एक अन्य आधार सभी खुली डिस्क का संग्रह है; और यहाँ पूर्ण (B2) शर्त आवश्यक है।

खुले सेटों के संग्रह का एक उदाहरण जो आधार नहीं है, सेट है $S$ रूपों के सभी अर्ध-अनंत अंतरालों की $(-\infty ,a)$ और $(a,\infty )$ साथ $a\in \mathbb {R}$. द्वारा उत्पन्न टोपोलॉजी $S$ सभी खुले अंतराल शामिल हैं $(a,b)=(-\infty ,b)\cap (a,\infty )$, इस तरह $S$ वास्तविक रेखा पर मानक टोपोलॉजी उत्पन्न करता है। लेकिन $S$ टोपोलॉजी के लिए केवल एक उप-आधार है, आधार नहीं: एक परिमित खुला अंतराल $(a,b)$ का कोई तत्व नहीं है $S$ (समतुल्य रूप से, गुण (B2) धारण नहीं करता है)।

उदाहरण

सेट Γ सभी खुले अंतरालों में $\mathbb {R}$ यूक्लिडियन टोपोलॉजी के लिए एक आधार बनाता है $\mathbb {R}$.

एक सेट के सबसेट का एक गैर-खाली परिवार X जो दो या दो से अधिक सेटों के परिमित चौराहों के अंतर्गत बंद है, जिसे पाई-सिस्टम कहा जाता हैπ-सिस्टम चालू X, अनिवार्य रूप से एक टोपोलॉजी के लिए एक आधार है X अगर और केवल अगर यह कवर करता है X. परिभाषा के अनुसार, प्रत्येक सिग्मा-बीजगणित|σ-बीजगणित, प्रत्येक फ़िल्टर (सेट सिद्धांत) (और इसलिए विशेष रूप से, प्रत्येक पड़ोस व्यवस्था), और प्रत्येक टोपोलॉजिकल स्पेस#टोपोलॉजी एक आवरण है π-प्रणाली और इसलिए एक टोपोलॉजी के लिए एक आधार भी। वास्तव में, अगर Γ एक फिल्टर चालू है X तब { ∅ } ∪ Γ पर एक टोपोलॉजी है X और Γ इसका एक आधार है। एक टोपोलॉजी के लिए एक आधार को परिमित चौराहों के तहत बंद नहीं करना पड़ता है और कई नहीं होते हैं। लेकिन फिर भी, कई टोपोलॉजी उन आधारों द्वारा परिभाषित की जाती हैं जो परिमित चौराहों के तहत भी बंद हैं। उदाहरण के लिए, निम्नलिखित परिवारों में से प्रत्येक के उपसमुच्चय $\mathbb {R}$ परिमित चौराहों के नीचे बंद है और इसलिए प्रत्येक कुछ टोपोलॉजी के लिए आधार बनाता है $\mathbb {R}$:

• सेट Γ सभी बाध्य खुले अंतरालों में से $\mathbb {R}$ पर सामान्य यूक्लिडियन टोपोलॉजी उत्पन्न करता है $\mathbb {R}$.
• सेट Σ सभी परिबद्ध बंद अंतरालों में से $\mathbb {R}$ पर असतत टोपोलॉजी उत्पन्न करता है $\mathbb {R}$ और इसलिए यूक्लिडियन टोपोलॉजी इस टोपोलॉजी का एक सबसेट है। यह इस तथ्य के बावजूद है कि Γ का उपसमुच्चय नहीं है Σ. नतीजतन, द्वारा उत्पन्न टोपोलॉजी Γ, जो कि यूक्लिडियन टोपोलॉजी है $\mathbb {R}$, टोपोलॉजी द्वारा उत्पन्न टोपोलॉजी की तुलना है Σ. वास्तव में, यह सख्ती से मोटा है क्योंकि Σ गैर-खाली कॉम्पैक्ट सेट शामिल हैं जो यूक्लिडियन टोपोलॉजी में कभी खुले नहीं होते हैं।
• सेट Γ_{$\mathbb {Q}$} सभी अंतरालों में Γ जैसे कि अंतराल के दोनों समापन बिंदु परिमेय संख्याएँ समान टोपोलॉजी उत्पन्न करती हैं Γ. यह सच रहता है यदि प्रतीक का प्रत्येक उदाहरण Γ द्वारा प्रतिस्थापित किया जाता है Σ.
• Σ_∞ = { [r, ∞) : r ∈ $\mathbb {R}$ } एक टोपोलॉजी उत्पन्न करता है जो टोपोलॉजी द्वारा उत्पन्न टोपोलॉजी की तुलना में टोपोलॉजी की तुलना करता है Σ. का कोई तत्व नहीं Σ_∞ यूक्लिडियन टोपोलॉजी में खुला है $\mathbb {R}$.
• Γ_∞ = { (r, ∞) : r ∈ $\mathbb {R}$ } एक ऐसी टोपोलॉजी उत्पन्न करता है जो यूक्लिडियन टोपोलॉजी और इसके द्वारा उत्पन्न टोपोलॉजी दोनों की तुलना में सख्त है Σ_∞. सेट Σ_∞ और Γ_∞ अलग हैं, लेकिन फिर भी Γ_∞ द्वारा उत्पन्न टोपोलॉजी का एक सबसेट है Σ_∞.

=== आधार === के संदर्भ में परिभाषित वस्तुएं

• पूरी तरह से ऑर्डर किए गए सेट पर आदेश टोपोलॉजी आधार के रूप में ओपन-इंटरवल-जैसे सेट के संग्रह को स्वीकार करती है।
• मीट्रिक स्थान में सभी खुली गेंदों का संग्रह टोपोलॉजी के लिए आधार बनाता है।
• असतत टोपोलॉजी में आधार के रूप में सभी सिंगलटन (गणित) का संग्रह है।
• एक [[दूसरा गणनीय स्थान]] वह है जिसका एक गणनीय आधार है।

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

• जारिस्की की टोपोलॉजी $\mathbb {C} ^{n}$ वह टोपोलॉजी है जिसमें बीजगणितीय सेट बंद सेट के रूप में होते हैं। इसका एक आधार है जो एफाइन बीजगणितीय हाइपरसर्फेस के सेट पूरक द्वारा बनाया गया है।
• रिंग के स्पेक्ट्रम (प्रमुख आदर्श का सेट) के ज़ारिस्की टोपोलॉजी का एक आधार ऐसा होता है कि प्रत्येक तत्व में सभी प्राइम आइडियल्स होते हैं जिनमें रिंग का कोई तत्व नहीं होता है।

प्रमेय

• एक टोपोलॉजी $\tau _{2}$ एक टोपोलॉजी की तुलना में टोपोलॉजी की तुलना है $\tau _{1}$ अगर और केवल अगर प्रत्येक के लिए $x\in X$ और प्रत्येक बुनियादी खुला सेट $B$ का $\tau _{1}$ युक्त $x$, का एक बुनियादी खुला सेट है $\tau _{2}$ युक्त $x$ और में समाहित है $B$.
• अगर ${\mathcal {B}}_{1},\ldots ,{\mathcal {B}}_{n}$ टोपोलॉजी के आधार हैं $\tau _{1},\ldots ,\tau _{n}$ फिर सभी कार्टेशियन उत्पाद का संग्रह $B_{1}\times \cdots \times B_{n}$ प्रत्येक के साथ $B_{i}\in {\mathcal {B}}_{i}$ उत्पाद टोपोलॉजी का आधार है $\tau _{1}\times \cdots \times \tau _{n}.$ एक अनंत उत्पाद के मामले में, यह अभी भी लागू होता है, सिवाय इसके कि सभी मूल तत्वों के अलावा सभी को संपूर्ण स्थान होना चाहिए।
• होने देना ${\mathcal {B}}$ के लिए आधार हो $X$ और जाने $Y$ का एक सामयिक स्थान हो $X$. फिर अगर हम के प्रत्येक तत्व को प्रतिच्छेद करते हैं ${\mathcal {B}}$ साथ $Y$, सेट का परिणामी संग्रह उप-स्थान के लिए एक आधार है $Y$.
• यदि कोई फ़ंक्शन $f:X\to Y$ के हर बुनियादी खुले सेट को मैप करता है $X$ के एक खुले सेट में $Y$, यह एक खुला नक्शा है। इसी तरह, अगर एक बेसिक ओपन सेट का हर प्रीइमेज $Y$ में खुला है $X$, तब $f$ निरंतरता (टोपोलॉजी) है।
• ${\mathcal {B}}$ टोपोलॉजिकल स्पेस के लिए एक आधार है $X$ यदि और केवल यदि के तत्वों का उपसंग्रह ${\mathcal {B}}$ किसमें है $x$ पर एक स्थानीय आधार बनाएँ $x$, किसी भी बिंदु के लिए $x\in X$.

बंद सेट के लिए आधार

बंद सेट अंतरिक्ष की टोपोलॉजी का वर्णन करने में समान रूप से कुशल हैं। इसलिए, टोपोलॉजिकल स्पेस के बंद सेट के लिए आधार की दोहरी धारणा है। एक टोपोलॉजिकल स्पेस दिया गया $X,$ सेट का एक परिवार ${\mathcal {C}}$ बंद सेट बंद सेट के लिए एक आधार बनाते हैं यदि और केवल प्रत्येक बंद सेट के लिए $A$ और प्रत्येक बिंदु $x$ अंदर नही $A$ का एक तत्व मौजूद है ${\mathcal {C}}$ युक्त $A$ लेकिन युक्त नहीं $x.$ एक परिवार ${\mathcal {C}}$ के बंद सेट के लिए एक आधार है $X$ अगर और केवल अगर इसकी dual में $X,$ वह परिवार है $\{X\setminus C:C\in {\mathcal {C}}\}$ के सदस्यों के पूरक (सेट सिद्धांत) का ${\mathcal {C}}$, के खुले सेट के लिए एक आधार है $X.$ होने देना ${\mathcal {C}}$ के बंद सेट के लिए आधार बनें $X.$ तब

1. $\bigcap {\mathcal {C}}=\varnothing$
2. प्रत्येक के लिए $C_{1},C_{2}\in {\mathcal {C}}$ संगठन $C_{1}\cup C_{2}$ के कुछ उपपरिवार का प्रतिच्छेदन है ${\mathcal {C}}$ (यानी, किसी के लिए $x\in X$ अंदर नही $C_{1}{\text{ or }}C_{2}$ वहाँ कुछ $C_{3}\in {\mathcal {C}}$ युक्त $C_{1}\cup C_{2}$ और युक्त नहीं $x$).

किसी सेट के सबसेट का कोई भी संग्रह $X$ इन गुणों को संतुष्ट करना एक टोपोलॉजी के बंद सेट के लिए आधार बनाता है $X.$ इस टोपोलॉजी के बंद सेट सदस्यों के चौराहे हैं ${\mathcal {C}}.$ कुछ मामलों में खुले सेट के बजाय बंद सेट के लिए आधार का उपयोग करना अधिक सुविधाजनक होता है। उदाहरण के लिए, एक स्थान पूरी तरह से नियमित है अगर और केवल अगर शून्य सेट बंद सेट के लिए आधार बनाते हैं। किसी भी टोपोलॉजिकल स्पेस को देखते हुए $X,$ शून्य सेट कुछ टोपोलॉजी के बंद सेटों के लिए आधार बनाते हैं $X.$ यह टोपोलॉजी बेहतरीन पूरी तरह से नियमित टोपोलॉजी होगी $X$ मूल की तुलना में मोटा। इसी तरह, ए पर जरिस्की टोपोलॉजीⁿ को बंद सेटों के आधार के रूप में बहुपद कार्यों के शून्य सेटों को लेकर परिभाषित किया गया है।

वजन और चरित्र

हम में स्थापित धारणाओं के साथ काम करेंगे (Engelking 1989, p. 12, pp. 127-128).

X को एक टोपोलॉजिकल स्पेस फिक्स करें। यहाँ, एक 'नेटवर्क' एक परिवार है ${\mathcal {N}}$ समुच्चयों की संख्या, जिसके लिए, x वाले सभी बिंदुओं और खुले पड़ोस U के लिए, में B मौजूद है ${\mathcal {N}}$ जिसके लिए $x\in B\subseteq U.$ ध्यान दें कि, आधार के विपरीत, नेटवर्क में सेट खुले होने की आवश्यकता नहीं है।

हम वज़न को परिभाषित करते हैं, w(X), एक आधार की न्यूनतम कार्डिनैलिटी के रूप में; हम नेटवर्क भार को परिभाषित करते हैं, nw(X), एक नेटवर्क की न्यूनतम कार्डिनैलिटी के रूप में; एक बिंदु का चरित्र, $\chi (x,X),$ एक्स में एक्स के लिए पड़ोस के आधार की न्यूनतम कार्डिनैलिटी के रूप में; और X का 'चरित्र' होना

$$\chi (X)\triangleq \sup\{\chi (x,X):x\in X\}.$$

चरित्र और वजन की गणना करने का बिंदु यह बताने में सक्षम होना है कि किस प्रकार के आधार और स्थानीय आधार मौजूद हो सकते हैं। हमारे पास निम्नलिखित तथ्य हैं:

• एनडब्ल्यू (एक्स) ≤ डब्ल्यू (एक्स)।
• यदि X असतत है, तो w(X) = nw(X) = |X|.
• यदि X हॉसडॉर्फ है, तो nw(X) परिमित है यदि और केवल यदि X परिमित असतत है।
• यदि बी एक्स का आधार है तो आधार है $B'\subseteq B$ आकार का $|B'|\leq w(X).$
• यदि N, X में x के लिए एक पड़ोस का आधार है, तो एक पड़ोस का आधार है $N'\subseteq N$ आकार का $|N'|\leq \chi (x,X).$
• अगर $f:X\to Y$ एक सतत अनुमान है, तो nw(Y) ≤ w(X). (बस वाई-नेटवर्क पर विचार करें $f'''B\triangleq \{f''U:U\in B\}$ एक्स के प्रत्येक आधार बी के लिए।)
• अगर $(X,\tau )$ हॉसडॉर्फ है, तो एक कमजोर हॉसडॉर्फ टोपोलॉजी मौजूद है $(X,\tau ')$ ताकि $w(X,\tau ')\leq nw(X,\tau ).$ तो एक उदाहरण, यदि X भी कॉम्पैक्ट है, तो ऐसी टोपोलॉजी मेल खाती है और इसलिए हमारे पास पहले तथ्य के साथ संयुक्त है, nw(X) = w(X)।
• अगर $f:X\to Y$ कॉम्पैक्ट मेट्रिजेबल स्पेस से हॉसडॉर्फ स्पेस तक एक सतत प्रक्षेपण मानचित्र, फिर वाई कॉम्पैक्ट मेट्रिजेबल है।

अंतिम तथ्य f(X) कॉम्पैक्ट हौसडॉर्फ होने से आता है, और इसलिए $nw(f(X))=w(f(X))\leq w(X)\leq \aleph _{0}$ (चूंकि कॉम्पैक्ट मेट्रिज़ेबल स्पेस आवश्यक रूप से दूसरे काउंटेबल हैं); साथ ही तथ्य यह है कि कॉम्पैक्ट हौसडॉर्फ रिक्त स्थान मेट्रिजेबल हैं, अगर वे दूसरे गणनीय हैं। (उदाहरण के लिए, इसका एक अनुप्रयोग यह है कि हॉसडॉर्फ अंतरिक्ष में प्रत्येक पथ कॉम्पैक्ट मेट्रिजेबल है।)

खुले सेटों की बढ़ती श्रृंखला

उपरोक्त संकेतन का उपयोग करते हुए, मान लीजिए कि w(X) ≤ κ कुछ अनंत कार्डिनल हैं। फिर लंबाई ≥ κ के खुले सेटों के सख्ती से बढ़ते अनुक्रम (समान रूप से बंद सेटों के सख्ती से घटते क्रम) मौजूद नहीं हैं⁺.

इसे देखने के लिए (पसंद के स्वयंसिद्ध के बिना), ठीक करें

$$\left\{U_{\xi }\right\}_{\xi \in \kappa },$$

खुले सेट के आधार के रूप में। और प्रति विपरीत मान लीजिए, वह

$$\left\{V_{\xi }\right\}_{\xi \in \kappa ^{+}}$$

खुले सेटों का सख्ती से बढ़ता क्रम था। इसका मतलब यह है

$$\forall \alpha <\kappa ^{+}:\qquad V_{\alpha }\setminus \bigcup _{\xi <\alpha }V_{\xi }\neq \varnothing .$$

के लिए

$$x\in V_{\alpha }\setminus \bigcup _{\xi <\alpha }V_{\xi },$$

हम कुछ यू खोजने के लिए आधार का उपयोग कर सकते हैं_γयू में एक्स के साथ_γ⊆ वी_α. इस प्रकार हम एक मानचित्र, f : κ को अच्छी तरह से परिभाषित कर सकते हैं⁺ → κ प्रत्येक α की मैपिंग कम से कम γ जिसके लिए U_γ⊆ वी_αऔर मिलता है

$$V_{\alpha }\setminus \bigcup _{\xi <\alpha }V_{\xi }.$$

यह मानचित्र अंतःक्षेपी है, अन्यथा इसमें α < β होगा जिसमें f(α) = f(β) = γ होगा, जिसका अर्थ आगे U होगा_γ⊆ वी_αबल्कि मिलते भी हैं

$$V_{\beta }\setminus \bigcup _{\xi <\alpha }V_{\xi }\subseteq V_{\beta }\setminus V_{\alpha },$$

जो एक विरोधाभास है। लेकिन इससे यह पता चलेगा कि κ⁺ ≤ κ, एक विरोधाभास।

यह भी देखें

• एसेनिन-वोल्पिन प्रमेय
• ग्लूइंग स्वयंसिद्ध
• पड़ोस व्यवस्था

ग्रन्थसूची

• Adams, Colin; Franzosa, Robert (2009). Introduction to Topology: Pure and Applied. New Delhi: Pearson Education. ISBN 978-81-317-2692-1. OCLC 789880519.
• Arkhangel'skij, A.V.; Ponomarev, V.I. (1984). Fundamentals of general topology: problems and exercises. Mathematics and Its Applications. Vol. 13. Translated from the Russian by V. K. Jain. Dordrecht: D. Reidel Publishing. Zbl 0568.54001.
• Bourbaki, Nicolas (1989) [1966]. General Topology: Chapters 1–4 [Topologie Générale]. Éléments de mathématique. Berlin New York: Springer Science & Business Media. ISBN 978-3-540-64241-1. OCLC 18588129.
• Dugundji, James (1966). Topology. Boston: Allyn and Bacon. ISBN 978-0-697-06889-7. OCLC 395340485.
• Engelking, Ryszard (1989). General topology. Berlin: Heldermann Verlag. ISBN 3-88538-006-4.
• Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.