सीमा बिंदु सघन: Difference between revisions
From Vigyanwiki
| Line 1: | Line 1: | ||
गणित में,एक [[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] <math>X</math> को '''सीमा बिंदु सघन''' <ref>The terminology "limit point compact" appears in a topology textbook by [[James Munkres]] where he says that historically such spaces had been called just "compact" and what we now call compact spaces were called "bicompact". There was then a shift in terminology with bicompact spaces being called just "compact" and no generally accepted name for the first concept, some calling it "[[Fréchet]] compactness", others the "Bolzano-Weierstrass property". He says he invented the term "limit point compact" to have something at least descriptive of the property. Munkres, p. 178-179.</ref><ref>Steen & Seebach, p. 19</ref> या '''कम गणनीय सघन''' कहा जाता है<ref>Steen & Seebach, p. 19</ref>यदि <math>X</math> के प्रत्येक अनंत उपसमुच्चय की <math>X </math> में एक [[सीमा बिंदु]] हो।यह गुण[[ सघन स्थान | सघन समष्टिओं]] के गुण को सामान्य बनाता है।एक [[मीट्रिक स्थान|मीटरी]] [[टोपोलॉजिकल स्पेस|समष्टि]] में,सीमा बिंदु सघनता, सघनता,और[[अनुक्रमिक सघनता]] सभी तुल्यमान हैं।हालाँकि,सामान्य सांस्थितिक समष्टिओं के लिए,सघनता की ये तीन धारणाएँ | गणित में,एक [[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] <math>X</math> को '''सीमा बिंदु सघन''' <ref>The terminology "limit point compact" appears in a topology textbook by [[James Munkres]] where he says that historically such spaces had been called just "compact" and what we now call compact spaces were called "bicompact". There was then a shift in terminology with bicompact spaces being called just "compact" and no generally accepted name for the first concept, some calling it "[[Fréchet]] compactness", others the "Bolzano-Weierstrass property". He says he invented the term "limit point compact" to have something at least descriptive of the property. Munkres, p. 178-179.</ref><ref>Steen & Seebach, p. 19</ref> या '''कम गणनीय सघन''' कहा जाता है<ref>Steen & Seebach, p. 19</ref>यदि <math>X</math> के प्रत्येक अनंत उपसमुच्चय की <math>X </math> में एक [[सीमा बिंदु]] हो।यह गुण[[ सघन स्थान | सघन समष्टिओं]] के गुण को सामान्य बनाता है।एक [[मीट्रिक स्थान|मीटरी]] [[टोपोलॉजिकल स्पेस|समष्टि]] में,सीमा बिंदु सघनता, सघनता,और[[अनुक्रमिक सघनता]] सभी तुल्यमान हैं।हालाँकि,सामान्य सांस्थितिक समष्टिओं के लिए,सघनता की ये तीन धारणाएँ तुल्य नहीं हैं। | ||
==गुण और उदाहरण== | ==गुण और उदाहरण== | ||
| Line 5: | Line 5: | ||
* सांस्थितिक समष्टि में,सीमा बिंदु के बिना उपसमुच्चय बिल्कुल वही होते हैं जो उपसमष्टि सांस्थिति में संवृत्त और विविक्त होते हैं।तो एक समष्टि सीमा बिंदु सघन है यदि और केवल यदि इसके सभी संवृत्त विविक्त उपसमुच्चय परिमित हों। | * सांस्थितिक समष्टि में,सीमा बिंदु के बिना उपसमुच्चय बिल्कुल वही होते हैं जो उपसमष्टि सांस्थिति में संवृत्त और विविक्त होते हैं।तो एक समष्टि सीमा बिंदु सघन है यदि और केवल यदि इसके सभी संवृत्त विविक्त उपसमुच्चय परिमित हों। | ||
* एक समष्टि <math>X</math> सीमा बिंदु सघन नही है यदि और केवल यदि इसमें एक अनंत संवृत्त विविक्त उपसमष्टि हों।चूँकि <math>X</math> के एक संवृत्त विविक्त उपसमुच्चय का कोई उपसमुच्चय स्वयं <math>X</math> में संवृत्त और विविक्त है,यह आवश्यक है कि <math>X</math> के पास एक गणनीय अपरिमित संवृत्त विविक्त उपसमष्टि हों के तुल्यमान हैं। | * एक समष्टि <math>X</math> सीमा बिंदु सघन नही है यदि और केवल यदि इसमें एक अनंत संवृत्त विविक्त उपसमष्टि हों।चूँकि <math>X</math> के एक संवृत्त विविक्त उपसमुच्चय का कोई उपसमुच्चय स्वयं <math>X</math> में संवृत्त और विविक्त है,यह आवश्यक है कि <math>X</math> के पास एक गणनीय अपरिमित संवृत्त विविक्त उपसमष्टि हों के तुल्यमान हैं। | ||
* समष्टिओं के कुछ उदाहरण जो सीमा बिंदु सघन नहीं हैं:(1) | * समष्टिओं के कुछ उदाहरण जो सीमा बिंदु सघन नहीं हैं:(1)<math>\Reals</math> अपनी साधारण सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय है,चूंकि पूर्णांक एक अपरिमित समुच्चय है लेकिन <math>\Reals</math> में कोई सीमा बिंदु नहीं है;(2)विविक्त सांस्थिति के साथ एक अपरिमित समुच्चय;(3)एक अगणनीय समुच्चय पर [[गणनीय पूरक सांस्थिति]]। | ||
* प्रत्येक [[गणनीय रूप से सघन स्थान]] (और इसलिए प्रत्येक सघन | * प्रत्येक [[गणनीय रूप से सघन स्थान|गणनीय सघन]] [[टोपोलॉजिकल स्पेस|समष्टि]](और इसलिए प्रत्येक सघन समष्टि)सीमा बिंदु सघन है। | ||
* T1 | * [[T1 समष्टि]] के लिए,सीमा बिंदु सघनता गणनीय सघनता के तुल्य है। | ||
* सीमा बिंदु | * सीमा बिंदु सघन समष्टि का एक उदाहरण जो गणनीय सघन नहीं है,पूर्णांकों का द्विगुणन करके प्राप्त किया जाता है,अर्थात्, गुणनफल लेते हुए <math>X = \Z \times Y</math> जहां <math>\Z</math>,[[असतत टोपोलॉजी|विविक्त सांस्थिति]] के साथ सभी पूर्णांकों का समुच्चय है और <math>Y = \{0,1\}</math> में अविविक्त सांस्थिति है।समष्टि <math>X</math> [[सम-विषम टोपोलॉजी|विषम-सम सांस्थिति]] के समसंरेखीय है।<ref>Steen & Seebach, Example 6</ref> यह समष्टि T<sub>0</sub> समष्टि नहीं है।यह सीमा बिंदु सघन है क्योंकि प्रत्येक अरिक्त उपसमुच्चय का एक सीमा बिंदु होता है। | ||
* | * T<sub>0</sub> समष्टि का एक उदाहरण जो सीमा बिंदु सघन है और <math>X = \Reals</math> गणनीय सघन नहीं है,दाएं क्रम सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय,यानि,सांस्थिति सभी अंतरालों <math>(x, \infty)</math> द्वारा उत्पन्न हुई।<ref>Steen & Seebach, Example 50</ref>समष्टि सीमा बिंदु सघन है क्योंकि किसी भी बिंदु <math>a \in X</math> के लिए,प्रत्येक <math>x<a</math>,<math>\{a\}</math> का एक सीमा बिंदु है। | ||
* | * मापनीय समष्टि के लिए,सघनता,गणनीय सघनता,सीमा बिंदु सघनता और अनुक्रमिक सघनता सभी तुल्य हैं। | ||
* एक सीमा बिंदु सघन | * एक सीमा बिंदु सघन समष्टि के संवृत्त उपसमष्टि सीमा बिंदु सघन होते हैं। | ||
* किसी सीमा बिंदु सघन स्थान की सतत छवि को सीमा बिंदु सघन होने की आवश्यकता नहीं है। उदाहरण के लिए, यदि <math>X = \Z \times Y</math> साथ <math>\Z</math> असतत और <math>Y</math> उपरोक्त उदाहरण की तरह अविवेकी, मानचित्र <math>f = \pi_{\Z}</math> पहले निर्देशांक पर प्रक्षेपण द्वारा दिया गया निरंतर है, लेकिन <math>f(X) = \Z</math> सीमा बिंदु सघन नहीं है. | * किसी सीमा बिंदु सघन स्थान की सतत छवि को सीमा बिंदु सघन होने की आवश्यकता नहीं है। उदाहरण के लिए, यदि <math>X = \Z \times Y</math> साथ <math>\Z</math> असतत और <math>Y</math> उपरोक्त उदाहरण की तरह अविवेकी, मानचित्र <math>f = \pi_{\Z}</math> पहले निर्देशांक पर प्रक्षेपण द्वारा दिया गया निरंतर है, लेकिन <math>f(X) = \Z</math> सीमा बिंदु सघन नहीं है. | ||
* एक सीमा बिंदु कॉम्पैक्ट स्पेस को [[छद्मकॉम्पैक्ट]] होने की आवश्यकता नहीं है। इसी का एक उदाहरण दिया गया है <math>X = \Z \times Y</math> साथ <math>Y</math> अविवेकी दो-बिंदु स्थान और मानचित्र <math>f = \pi_{\Z},</math> जिसकी छवि सीमाबद्ध नहीं है <math>\Reals.</math> | * एक सीमा बिंदु कॉम्पैक्ट स्पेस को [[छद्मकॉम्पैक्ट]] होने की आवश्यकता नहीं है। इसी का एक उदाहरण दिया गया है <math>X = \Z \times Y</math> साथ <math>Y</math> अविवेकी दो-बिंदु स्थान और मानचित्र <math>f = \pi_{\Z},</math> जिसकी छवि सीमाबद्ध नहीं है <math>\Reals.</math> | ||
Revision as of 02:27, 16 July 2023
गणित में,एक सांस्थितिक समष्टि को सीमा बिंदु सघन [1][2] या कम गणनीय सघन कहा जाता है[3]यदि के प्रत्येक अनंत उपसमुच्चय की में एक सीमा बिंदु हो।यह गुण सघन समष्टिओं के गुण को सामान्य बनाता है।एक मीटरी समष्टि में,सीमा बिंदु सघनता, सघनता,औरअनुक्रमिक सघनता सभी तुल्यमान हैं।हालाँकि,सामान्य सांस्थितिक समष्टिओं के लिए,सघनता की ये तीन धारणाएँ तुल्य नहीं हैं।
गुण और उदाहरण
- सांस्थितिक समष्टि में,सीमा बिंदु के बिना उपसमुच्चय बिल्कुल वही होते हैं जो उपसमष्टि सांस्थिति में संवृत्त और विविक्त होते हैं।तो एक समष्टि सीमा बिंदु सघन है यदि और केवल यदि इसके सभी संवृत्त विविक्त उपसमुच्चय परिमित हों।
- एक समष्टि सीमा बिंदु सघन नही है यदि और केवल यदि इसमें एक अनंत संवृत्त विविक्त उपसमष्टि हों।चूँकि के एक संवृत्त विविक्त उपसमुच्चय का कोई उपसमुच्चय स्वयं में संवृत्त और विविक्त है,यह आवश्यक है कि के पास एक गणनीय अपरिमित संवृत्त विविक्त उपसमष्टि हों के तुल्यमान हैं।
- समष्टिओं के कुछ उदाहरण जो सीमा बिंदु सघन नहीं हैं:(1) अपनी साधारण सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय है,चूंकि पूर्णांक एक अपरिमित समुच्चय है लेकिन में कोई सीमा बिंदु नहीं है;(2)विविक्त सांस्थिति के साथ एक अपरिमित समुच्चय;(3)एक अगणनीय समुच्चय पर गणनीय पूरक सांस्थिति।
- प्रत्येक गणनीय सघन समष्टि(और इसलिए प्रत्येक सघन समष्टि)सीमा बिंदु सघन है।
- T1 समष्टि के लिए,सीमा बिंदु सघनता गणनीय सघनता के तुल्य है।
- सीमा बिंदु सघन समष्टि का एक उदाहरण जो गणनीय सघन नहीं है,पूर्णांकों का द्विगुणन करके प्राप्त किया जाता है,अर्थात्, गुणनफल लेते हुए जहां ,विविक्त सांस्थिति के साथ सभी पूर्णांकों का समुच्चय है और में अविविक्त सांस्थिति है।समष्टि विषम-सम सांस्थिति के समसंरेखीय है।[4] यह समष्टि T0 समष्टि नहीं है।यह सीमा बिंदु सघन है क्योंकि प्रत्येक अरिक्त उपसमुच्चय का एक सीमा बिंदु होता है।
- T0 समष्टि का एक उदाहरण जो सीमा बिंदु सघन है और गणनीय सघन नहीं है,दाएं क्रम सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय,यानि,सांस्थिति सभी अंतरालों द्वारा उत्पन्न हुई।[5]समष्टि सीमा बिंदु सघन है क्योंकि किसी भी बिंदु के लिए,प्रत्येक , का एक सीमा बिंदु है।
- मापनीय समष्टि के लिए,सघनता,गणनीय सघनता,सीमा बिंदु सघनता और अनुक्रमिक सघनता सभी तुल्य हैं।
- एक सीमा बिंदु सघन समष्टि के संवृत्त उपसमष्टि सीमा बिंदु सघन होते हैं।
- किसी सीमा बिंदु सघन स्थान की सतत छवि को सीमा बिंदु सघन होने की आवश्यकता नहीं है। उदाहरण के लिए, यदि साथ असतत और उपरोक्त उदाहरण की तरह अविवेकी, मानचित्र पहले निर्देशांक पर प्रक्षेपण द्वारा दिया गया निरंतर है, लेकिन सीमा बिंदु सघन नहीं है.
- एक सीमा बिंदु कॉम्पैक्ट स्पेस को छद्मकॉम्पैक्ट होने की आवश्यकता नहीं है। इसी का एक उदाहरण दिया गया है साथ अविवेकी दो-बिंदु स्थान और मानचित्र जिसकी छवि सीमाबद्ध नहीं है
- एक स्यूडोकॉम्पैक्ट स्पेस को सीमा बिंदु कॉम्पैक्ट होने की आवश्यकता नहीं है। सहगणनीय टोपोलॉजी के साथ एक बेशुमार सेट द्वारा एक उदाहरण दिया गया है।
- प्रत्येक सामान्य स्यूडोकॉम्पैक्ट स्पेस सीमा बिंदु कॉम्पैक्ट है।[6]
प्रमाण: मान लीजिए एक सामान्य स्थान है जो सीमा बिंदु सघन नहीं है। वहाँ एक अनगिनत अनंत बंद असतत उपसमुच्चय मौजूद है का टिट्ज़ विस्तार प्रमेय द्वारा निरंतर कार्य पर द्वारा परिभाषित सभी पर एक (अनबाउंड) वास्तविक-मूल्यवान निरंतर फ़ंक्शन तक बढ़ाया जा सकता है इसलिए छद्मसंक्षिप्त नहीं है. - सीमा बिंदु कॉम्पैक्ट रिक्त स्थान में गणनीय कार्डिनल फ़ंक्शन #टोपोलॉजी में कार्डिनल फ़ंक्शन होते हैं।
- अगर और के साथ टोपोलॉजिकल स्पेस हैं से भी बेहतर और सीमा बिंदु सघन है, तो ऐसा है
यह भी देखें
टिप्पणियाँ
- ↑ The terminology "limit point compact" appears in a topology textbook by James Munkres where he says that historically such spaces had been called just "compact" and what we now call compact spaces were called "bicompact". There was then a shift in terminology with bicompact spaces being called just "compact" and no generally accepted name for the first concept, some calling it "Fréchet compactness", others the "Bolzano-Weierstrass property". He says he invented the term "limit point compact" to have something at least descriptive of the property. Munkres, p. 178-179.
- ↑ Steen & Seebach, p. 19
- ↑ Steen & Seebach, p. 19
- ↑ Steen & Seebach, Example 6
- ↑ Steen & Seebach, Example 50
- ↑ Steen & Seebach, p. 20. What they call "normal" is T4 in wikipedia's terminology, but it's essentially the same proof as here.
संदर्भ
- 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.
