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

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

गुण और उदाहरण

• सांस्थितिक समष्टि में,सीमा बिंदु के बिना उपसमुच्चय बिल्कुल वही होते हैं जो उपसमष्टि सांस्थिति में संवृत्त और विविक्त होते हैं।तो एक समष्टि सीमा बिंदु सघन है यदि और केवल यदि इसके सभी संवृत्त विविक्त उपसमुच्चय परिमित हों।
• एक समष्टि $X$ सीमा बिंदु सघन नही है यदि और केवल यदि इसमें एक अनंत संवृत्त विविक्त उपसमष्टि हों।चूँकि $X$ के एक संवृत्त विविक्त उपसमुच्चय का कोई उपसमुच्चय स्वयं $X$ में संवृत्त और विविक्त है,यह आवश्यक है कि $X$ के पास एक गणनीय अपरिमित संवृत्त विविक्त उपसमष्टि हों के तुल्यमान हैं।
• समष्टिओं के कुछ उदाहरण जो सीमा बिंदु सघन नहीं हैं:(1)$\mathbb {R}$ अपनी साधारण सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय है,चूंकि पूर्णांक एक अपरिमित समुच्चय है लेकिन $\mathbb {R}$ में कोई सीमा बिंदु नहीं है;(2)विविक्त सांस्थिति के साथ एक अपरिमित समुच्चय;(3)एक अगणनीय समुच्चय पर गणनीय पूरक सांस्थिति।
• प्रत्येक गणनीय सघन समष्टि(और इसलिए प्रत्येक सघन समष्टि)सीमा बिंदु सघन है।
• T1 समष्टि के लिए,सीमा बिंदु सघनता गणनीय सघनता के तुल्य है।
• सीमा बिंदु सघन समष्टि का एक उदाहरण जो गणनीय सघन नहीं है,पूर्णांकों का द्विगुणन करके प्राप्त किया जाता है,अर्थात्, गुणनफल लेते हुए $X=\mathbb {Z} \times Y$ जहां $\mathbb {Z}$,विविक्त सांस्थिति के साथ सभी पूर्णांकों का समुच्चय है और $Y=\{0,1\}$ में अविविक्त सांस्थिति है।समष्टि $X$ विषम-सम सांस्थिति के समसंरेखीय है। यह समष्टि T₀ समष्टि नहीं है।यह सीमा बिंदु सघन है क्योंकि प्रत्येक अरिक्त उपसमुच्चय का एक सीमा बिंदु होता है।
• 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.