सीमा बिंदु सघन

गणित में, एक टोपोलॉजिकल स्पेस $X$ सीमा बिंदु सघन कहा जाता है या कमजोर रूप से गणनीय रूप से कॉम्पैक्ट यदि प्रत्येक अनंत उपसमुच्चय $X$ में एक सीमा बिंदु है $X.$ यह संपत्ति सघन स्थान की संपत्ति को सामान्यीकृत करती है। एक मीट्रिक स्थान में, सीमा बिंदु सघनता, सघनता, और अनुक्रमिक सघनता सभी समतुल्य हैं। हालाँकि, सामान्य टोपोलॉजिकल स्पेस के लिए, कॉम्पैक्टनेस की ये तीन धारणाएँ समतुल्य नहीं हैं।

गुण और उदाहरण

• टोपोलॉजिकल स्पेस में, सीमा बिंदु के बिना उपसमुच्चय बिल्कुल वही होते हैं जो सबस्पेस टोपोलॉजी में बंद और अलग होते हैं। तो एक स्थान सीमा बिंदु कॉम्पैक्ट है यदि और केवल तभी जब इसके सभी बंद असतत उपसमुच्चय परिमित हों।
• एक स्थान $X$ है not सीमा बिंदु संहत यदि और केवल यदि इसमें एक अनंत बंद असतत उपस्थान है। चूँकि किसी बंद असतत उपसमुच्चय का कोई उपसमुच्चय $X$ अपने आप में बंद है $X$ और असतत, यह उसकी आवश्यकता के बराबर है $X$ इसमें गणनीय रूप से अनंत बंद असतत उपस्थान है।
• रिक्त स्थान के कुछ उदाहरण जो सीमा बिंदु सघन नहीं हैं: (1) समुच्चय $\mathbb {R}$ अपनी सामान्य टोपोलॉजी के साथ सभी वास्तविक संख्याओं का, क्योंकि पूर्णांक एक अनंत सेट हैं लेकिन इसमें कोई सीमा बिंदु नहीं है $\mathbb {R}$; (2) असतत टोपोलॉजी के साथ एक अनंत सेट; (3) बेशुमार सेट पर गणनीय पूरक टोपोलॉजी।
• प्रत्येक गणनीय रूप से सघन स्थान (और इसलिए प्रत्येक सघन स्थान) सीमा बिंदु सघन है।
• T1 स्पेस के लिए|T₁ रिक्त स्थान, सीमा बिंदु सघनता गणनीय सघनता के बराबर है।
• सीमा बिंदु कॉम्पैक्ट स्पेस का एक उदाहरण जो गणनीय रूप से कॉम्पैक्ट नहीं है, पूर्णांक को दोगुना करके प्राप्त किया जाता है, अर्थात् उत्पाद लेना $X=\mathbb {Z} \times Y$ कहाँ $\mathbb {Z}$ असतत टोपोलॉजी के साथ सभी पूर्णांकों का समुच्चय है और $Y=\{0,1\}$ अविवेकी टोपोलॉजी है. अंतरिक्ष $X$ सम-विषम टोपोलॉजी के समरूप है। यह स्थान T0 स्थान|T नहीं है₀. यह सीमा बिंदु सघन है क्योंकि प्रत्येक गैररिक्त उपसमुच्चय का एक सीमा बिंदु होता है।
• टी का एक उदाहरण₀ वह स्थान जो सीमा बिंदु सघन है और गणनीय रूप से सघन नहीं है $X=\mathbb {R} ,$ ऑर्डर टोपोलॉजी#बाएं और दाएं ऑर्डर टोपोलॉजी के साथ सभी वास्तविक संख्याओं का सेट, यानी, सभी अंतरालों द्वारा उत्पन्न टोपोलॉजी $(x,\infty ).$ अंतरिक्ष सीमा बिंदु सघन है क्योंकि कोई भी बिंदु दिया गया है $a\in X,$ प्रत्येक $x<a$ का एक सीमा बिंदु है $\{a\}.$
• मेट्रिज़ेबल स्पेस के लिए, कॉम्पैक्टनेस, गणनीय कॉम्पैक्टनेस, सीमा बिंदु कॉम्पैक्टनेस और अनुक्रमिक रूप क्रमिक रूप से संकुचित स्थान सभी बराबर हैं।
• एक सीमा बिंदु सघन स्थान के बंद उपस्थान सीमा बिंदु सघन होते हैं।
• किसी सीमा बिंदु सघन स्थान की सतत छवि को सीमा बिंदु सघन होने की आवश्यकता नहीं है। उदाहरण के लिए, यदि $X=\mathbb {Z} \times Y$ साथ $\mathbb {Z}$ असतत और $Y$ उपरोक्त उदाहरण की तरह अविवेकी, मानचित्र $f=\pi _{\mathbb {Z} }$ पहले निर्देशांक पर प्रक्षेपण द्वारा दिया गया निरंतर है, लेकिन $f(X)=\mathbb {Z}$ सीमा बिंदु सघन नहीं है.
• एक सीमा बिंदु कॉम्पैक्ट स्पेस को छद्मकॉम्पैक्ट होने की आवश्यकता नहीं है। इसी का एक उदाहरण दिया गया है $X=\mathbb {Z} \times Y$ साथ $Y$ अविवेकी दो-बिंदु स्थान और मानचित्र $f=\pi _{\mathbb {Z} },$ जिसकी छवि सीमाबद्ध नहीं है $\mathbb {R} .$
• एक स्यूडोकॉम्पैक्ट स्पेस को सीमा बिंदु कॉम्पैक्ट होने की आवश्यकता नहीं है। सहगणनीय टोपोलॉजी के साथ एक बेशुमार सेट द्वारा एक उदाहरण दिया गया है।
• प्रत्येक सामान्य स्यूडोकॉम्पैक्ट स्पेस सीमा बिंदु कॉम्पैक्ट है।
  प्रमाण: मान लीजिए $X$ एक सामान्य स्थान है जो सीमा बिंदु सघन नहीं है। वहाँ एक अनगिनत अनंत बंद असतत उपसमुच्चय मौजूद है $A=\{x_{1},x_{2},x_{3},\ldots \}$ का $X.$ टिट्ज़ विस्तार प्रमेय द्वारा निरंतर कार्य $f$ पर $A$ द्वारा परिभाषित $f(x_{n})=n$ सभी पर एक (अनबाउंड) वास्तविक-मूल्यवान निरंतर फ़ंक्शन तक बढ़ाया जा सकता है $X.$ इसलिए $X$ छद्मसंक्षिप्त नहीं है.
• सीमा बिंदु कॉम्पैक्ट रिक्त स्थान में गणनीय कार्डिनल फ़ंक्शन #टोपोलॉजी में कार्डिनल फ़ंक्शन होते हैं।
• अगर $(X,\tau )$ और $(X,\sigma )$ के साथ टोपोलॉजिकल स्पेस हैं $\sigma$ से भी बेहतर $\tau$ और $(X,\sigma )$सीमा बिंदु सघन है, तो ऐसा है $(X,\tau ).$

यह भी देखें

• Compact space
• Countably compact space
• Sequentially compact space

संदर्भ

• Munkres, James R. (2000). Topology (Second ed.). Upper Saddle River, NJ: Prentice Hall, Inc. ISBN 978-0-13-181629-9. OCLC 42683260.
• Steen, Lynn Arthur; Seebach, J. Arthur (1995) [First published 1978 by Springer-Verlag, New York]. Counterexamples in topology. New York: Dover Publications. ISBN 0-486-68735-X. OCLC 32311847.
• This article incorporates material from Weakly countably compact on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.