दीर्घ रेखा (टोपोलॉजी): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Topological space (Alexandroff line)}}
{{Short description|Topological space (Alexandroff line)}}
[[टोपोलॉजी]] में, लंबी लाइन (या [[पावेल अलेक्जेंड्रोव]] लाइन) [[वास्तविक रेखा]] के समान कुछ हद तक स्थलीय स्थान है, लेकिन निश्चित तरीके से लंबी है। यह वास्तविक रेखा की तरह ही स्थानीय रूप से व्यवहार करता है, लेकिन इसमें अलग-अलग बड़े पैमाने के गुण होते हैं (उदाहरण के लिए, यह न तो लिंडेलोफ स्पेस है | लिंडेलोफ और न ही अलग करने योग्य स्थान)। इसलिए, यह टोपोलॉजी के बुनियादी प्रतिउदाहरणों में से के रूप में कार्य करता है।<ref name=SS7172>{{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | orig-year=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | zbl=1245.54001 | mr=507446 | year=1995 | pages=71–72 }}</ref> सहजता से, सामान्य वास्तविक-संख्या रेखा में रेखा खंडों की गणनीय संख्या होती है <math>[0,1)</math> अंत-से-अंत तक रखी जाती है, जबकि लंबी लाइन का निर्माण ऐसे खंडों की बेशुमार संख्या से किया जाता है।
[[टोपोलॉजी]] में, लम्बी रेखा  (या [[पावेल अलेक्जेंड्रोव]] रेखा) [[वास्तविक रेखा]] के समान कुछ सीमा तक स्थलीय स्थान है, किन्तु  निश्चित विधि  से लंबी है। इस प्रकार से  यह वास्तविक रेखा की तरह ही स्थानीय रूप से व्यवहार करता है, किन्तु  इसमें अलग-अलग उच्च माप  के गुण होते हैं (उदाहरण के लिए, यह न तो लिंडेलोफ है और न ही अलग करने योग्य है)। इसलिए, यह टोपोलॉजी के मूलभूत  प्रतिउदाहरणों में से के रूप में कार्य करता है।<ref name=SS7172>{{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | orig-year=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | zbl=1245.54001 | mr=507446 | year=1995 | pages=71–72 }}</ref> सहजता से, सामान्य वास्तविक-संख्या रेखा में रेखा खंडों की गणना योग्य संख्या <math>[0,1)</math> होती है,  अंत-से-अंत तक रखी जाती है, जबकि लम्बी रेखा  का निर्माण ऐसे खंडों की अनगिनत संख्या से किया जाता है।


== परिभाषा ==
== परिभाषा ==


बंद लंबी किरण <math>L</math> पहले बेशुमार क्रमसूचक के कार्तीय उत्पाद के रूप में परिभाषित किया गया है। पहले बेशुमार क्रमसूचक <math>\omega_1</math>[[अंतराल (गणित)]] के साथ | आधा-खुला अंतराल <math>[0, 1),</math> [[आदेश टोपोलॉजी]] से लैस है जो [[लेक्सिकोग्राफिक ऑर्डर]] से उत्पन्न होता है <math>\omega_1 \times [0,1)</math>. सबसे छोटे तत्व को हटाकर बंद लंबी किरण से खुली लंबी किरण प्राप्त की जाती है <math>(0, 0).</math> प्रत्येक दिशा में लंबी किरण को साथ रखकर लंबी रेखा प्राप्त की जाती है। अधिक कठोर रूप से, इसे उलटी खुली लंबी किरण ("उलट" का अर्थ है कि क्रम उलटा हुआ है) के असंयुक्त संघ पर आदेश टोपोलॉजी के रूप में परिभाषित किया जा सकता है और (उलट नहीं) बंद लंबी किरण, बाद के बिंदुओं को पूरी तरह से आदेश देकर पूर्व के बिंदुओं से अधिक हो। वैकल्पिक रूप से, खुली लंबी किरण की दो प्रतियाँ लें और खुले अंतराल की पहचान करें <math>\{ 0 \} \times (0, 1)</math> का दूसरे के समान अंतराल के साथ लेकिन अंतराल को उलट देना, अर्थात बिंदु की पहचान करना <math>(0, t)</math> (कहाँ पे <math>t</math> वास्तविक संख्या है जैसे कि <math>0 < t < 1</math>) बिंदु वाले का <math>(0, 1 - t)</math> दूसरे की, और दोनों के बीच पहचाने गए खुले अंतराल के साथ दो खुली लंबी किरणों को ग्लूइंग करके प्राप्त टोपोलॉजिकल स्पेस के रूप में लंबी लाइन को परिभाषित करें। (पूर्व निर्माण इस अर्थ में बेहतर है कि यह लंबी लाइन पर ऑर्डर को परिभाषित करता है और दिखाता है कि टोपोलॉजी ऑर्डर टोपोलॉजी है; बाद वाला इस अर्थ में बेहतर है कि यह खुले सेट के साथ ग्लूइंग का उपयोग करता है, जो टोपोलॉजिकल से स्पष्ट है दृष्टिकोण।)
इस प्रकार से संवृत लंबी किरण <math>L</math> को अर्ध-विवृत अंतराल <math>[0, 1),</math> के साथ पहले अनगिनत क्रमसूचक <math>\omega_1</math> के कार्टेशियन उत्पाद के रूप में परिभाषित किया गया है, जो [[आदेश टोपोलॉजी]] से सुसज्जित है जो <math>\omega_1 \times [0,1)</math> पर [[लेक्सिकोग्राफिक ऑर्डर]] से उत्पन्न होता है। विवृत लंबी किरण अधिक लघु गुण <math>(0, 0).</math> को हटाकर संवृत लंबी किरण से प्राप्त की जाती है।


सहज रूप से, बंद लंबी किरण वास्तविक (बंद) अर्ध-रेखा की तरह होती है, सिवाय इसके कि यह दिशा में बहुत लंबी होती है: हम कहते हैं कि यह छोर पर लंबी होती है और दूसरे पर बंद होती है। खुली लंबी किरण वास्तविक रेखा (या समकक्ष रूप से खुली अर्ध-रेखा) की तरह है, सिवाय इसके कि यह दिशा में बहुत लंबी है: हम कहते हैं कि यह छोर पर लंबी और दूसरी तरफ छोटी (खुली) है। लंबी रेखा दोनों दिशाओं में वास्तविक रेखाओं से लंबी होती है: हम कहते हैं कि यह दोनों दिशाओं में लंबी है।
अतः प्रत्येक दिशा में लंबी किरण को साथ रखकर लंबी रेखा प्राप्त की जाती है। अधिक कठोर रूप से, इसे विपरीत  विवृत लंबी किरण ("विपरीत " का अर्थ है कि क्रम विपरीत हुआ है) के असंयुक्त संघ पर आदेश टोपोलॉजी के रूप में परिभाषित किया जा सकता है और (विपरीत  नहीं) संवृत  लंबी किरण, के पश्चात्  बिंदुओं को पूर्ण  प्रकार से आदेश देकर पूर्व के बिंदुओं से अधिक होती है। वैकल्पिक रूप से, विवृत लंबी किरण की दो प्रतियाँ लें और विवृत अंतराल  <math>\{ 0 \} \times (0, 1)</math> की पहचान करें और दूसरे के समान अंतराल के साथ किन्तु  अंतराल को विपरीत  देना है, अर्थात बिंदु <math>(0, t)</math> की पहचान करना  (जहाँ पर <math>t</math> वास्तविक संख्या है जैसे कि <math>0 < t < 1</math>) एक को दूसरे के बिंदु <math>(0, 1 - t)</math> के साथ, और लंबी रेखा को दोनों के मध्य  पहचाने गए विवृत अंतराल के साथ दो विवृत  लंबी किरणों को समीप करके  प्राप्त टोपोलॉजिकल समिष्ट  के रूप में परिभाषित किया जाता है। (पूर्व निर्माण इस अर्थ में उत्तम है कि यह लंबी रेखा  पर ऑर्डर को परिभाषित करता है और दिखाता है कि टोपोलॉजी ऑर्डर टोपोलॉजी है; अतिरिक्त इस अर्थ में उत्तम  है कि यह एक विवृत समुच्चय  के साथ ग्लूइंग का उपयोग करता है, जो टोपोलॉजिकल दृष्टिकोण से स्पष्ट है।)


हालाँकि, कई लेखक "लंबी रेखा" की बात करते हैं जहाँ हमने (बंद या खुली) लंबी किरण की बात की है, और विभिन्न लंबी जगहों के बीच बहुत भ्रम है। कई उपयोगों या प्रतिउदाहरणों में, हालांकि, भेद अनावश्यक है, क्योंकि महत्वपूर्ण हिस्सा पंक्ति का "लंबा" अंत है, और इससे कोई फर्क नहीं पड़ता कि दूसरे छोर पर क्या होता है (चाहे लंबा, छोटा या बंद)
सहज रूप से, संवृत  लंबी किरण वास्तविक (संवृत ) अर्ध-रेखा की तरह होती है, सिवाय इसके कि यह दिशा में अधिक लंबी होती है: हम मान सकते हैं कि यह किनारे पर लंबी होती है और दूसरे पर संवृत  होती है। अतः विवृत लंबी किरण वास्तविक रेखा (या समकक्ष रूप से विवृत अर्ध-रेखा) की तरह है, इसके अतिरिक्त कि यह दिशा में अधिक लंबी है: हम मान सकते हैं कि यह किनारे पर लंबी और दूसरी तरफ लघु (विवृत) है। लंबी रेखा दोनों दिशाओं में वास्तविक रेखाओं से लंबी होती है: हम मान सकते हैं कि यह दोनों दिशाओं में लंबी है।


एक संबंधित स्थान, (बंद) विस्तारित लंबी किरण, <math>L^*,</math> के [[एक-बिंदु संघनन]] के रूप में प्राप्त किया जाता है <math>L</math> के दाईं ओर अतिरिक्त तत्व जोड़कर <math>L.</math> समान रूप से लंबी रेखा में दो तत्वों को जोड़कर विस्तारित लंबी रेखा को परिभाषित किया जा सकता है, प्रत्येक छोर पर एक।
चूंकि , कई लेखक "लंबी रेखा" की वार्तालाप करते हैं जहाँ हमने (संवृत  या विवृत) लंबी किरण का संवाद किया है, और विभिन्न लंबी स्थानों के मध्य  अधिक भ्रम है। कई उपयोगों या प्रतिउदाहरणों में, चूंकि, भेद अनावश्यक है, क्योंकि महत्वपूर्ण भाग  पंक्ति का "लंबा" अंत है, और इस प्रकार से इसमें कोई प्रभाव नहीं पड़ता कि दूसरे किनारे पर (चाहे लंबा, लघु या संवृत ) क्या होता है।
 
अतः संबंधित स्थान, (संवृत) विस्तारित लंबी किरण, <math>L^*,</math> को <math>L.</math> के दाहिने छोर पर एक अतिरिक्त गुण जोड़कर <math>L</math> के [[एक-बिंदु संघनन]]  के रूप में प्राप्त किया जाता है। इसी प्रकार लंबी रेखा में दो गुणों को जोड़कर विस्तारित लंबी रेखा को परिभाषित किया जा सकता है,


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


बंद लंबी किरण <math>L = \omega_1 \times [0, 1)</math> की अनगिनत प्रतियों से मिलकर बनता है <math>[0, 1)</math> 'एक साथ चिपकाया' शुरू से अंत तक। इसकी तुलना इस तथ्य से करें कि किसी के लिए भी {{em|countable}} [[क्रमसूचक संख्या]] <math>\alpha</math>, साथ चिपकाना <math>\alpha</math> की प्रतियां <math>[0, 1)</math> स्थान देता है जो अभी भी होमोमोर्फिक (और ऑर्डर-आइसोमॉर्फिक) है <math>[0, 1).</math> (और अगर हमने साथ चिपकाने की कोशिश की {{em|more}} से <math>\omega_1</math> की प्रतियां <math>[0, 1),</math> परिणामी स्थान अब स्थानीय रूप से होमियोमॉर्फिक नहीं होगा <math>\R.</math>)
इस प्रकार से संवृतलंबी किरण <math>L = \omega_1 \times [0, 1)</math> में <math>[0, 1)</math>की अनगिनत संख्या में प्रतियां एक सिरे से दूसरे सिरे तक 'एक साथ चिपकी हुई' होती हैं। इसकी तुलना इस तथ्य से करें कि किसी भी {{em|गणनीय}} [[क्रमसूचक संख्या]] <math>\alpha</math> के लिए <math>[0, 1)</math> की <math>\alpha</math> प्रतियों को एक साथ चिपकाने से एक स्थान मिलता है जो अभी भी <math>[0, 1)</math> के लिए होमियोमॉर्फिक (और ऑर्डर-आइसोमोर्फिक) है (और यदि हमने <math>[0, 1),</math> की <math>\omega_1</math> से अधिक प्रतियों को एक साथ चिपकाने की प्रयास की तो परिणामी स्थान अब <math>\R.</math> के लिए स्थानीय रूप से होमियोमॉर्फिक नहीं होगा)
 
<math>L</math> में प्रत्येक बढ़ता हुआ [[अनुक्रम की सीमा]] <math>L</math>; तक परिवर्तित होता है, यह इस तथ्य का परिणाम है कि (1) <math>\omega_1</math> के गुण  [[गणनीय]]  क्रमसूचक हैं, (2) गणनीय क्रमवाचकों के प्रत्येक गणनीय परिवार का सर्वोच्च एक गणनीय क्रमसूचक है, और (3) वास्तविक संख्याओं का प्रत्येक बढ़ता हुआ और परिबद्ध क्रम अभिसरित होता है। नतीजतन, कोई सख्ती से बढ़ने वाला फलन  <math>L \to \R.</math> नहीं हो सकता है वास्तव में, प्रत्येक निरंतर फलन  <math>L \to \R</math> अंततः स्थिर होता है।
 
ऑर्डर टोपोलॉजी के रूप में, (संभवतः विस्तारित) लंबी किरणें और रेखाएँ [[सामान्य स्थान]] [[हॉसडॉर्फ स्पेस|हॉसडॉर्फ समिष्ट]]  हैं। उन सभी में वास्तविक रेखा के समान [[प्रमुखता]] है, फिर भी वे 'अधिक लंबी' हैं।


में हर बढ़ता क्रम <math>L</math> में [[अनुक्रम की सीमा]] में परिवर्तित हो जाता है <math>L</math>; यह इस तथ्य का परिणाम है कि (1) के तत्व <math>\omega_1</math> [[गणनीय]] क्रमसूचक हैं, (2) गणनीय क्रमसूचकों के प्रत्येक गणनीय परिवार का सर्वोच्च गणनीय क्रमसूचक है, और (3) वास्तविक संख्याओं का प्रत्येक बढ़ता हुआ और परिबद्ध अनुक्रम अभिसरण करता है।
ये सभी [[स्थानीय रूप से कॉम्पैक्ट]] हैं। उनमें से कोई भी [[मेट्रिजेबल स्पेस|मेट्रिजेबल समिष्ट]] नहीं है; इसे लंबी किरण के रूप में देखा जा सकता है जो क्रमिक रूप [[क्रमिक रूप से कॉम्पैक्ट स्थान]] है किन्तु  [[कॉम्पैक्ट जगह]] नहीं है, या यहां तक ​​कि लिंडेलोफ समिष्ट भी नहीं है।
नतीजतन, कोई सख्ती से बढ़ता हुआ कार्य नहीं हो सकता है <math>L \to \R.</math> वास्तव में, प्रत्येक निरंतर कार्य <math>L \to \R</math> अंततः स्थिर है।


ऑर्डर टोपोलॉजी के रूप में, (संभवतः विस्तारित) लंबी किरणें और रेखाएँ [[सामान्य स्थान]] [[हॉसडॉर्फ स्पेस]] हैं। उन सभी में वास्तविक रेखा के समान [[प्रमुखता]] है, फिर भी वे 'काफी लंबी' हैं।
(गैर-विस्तारित) लम्बी रेखा  या किरण [[परा-सुसंहत|पैराकॉम्पैक्ट]] नहीं है। यह [[पथ से जुड़ा हुआ]] है, [[स्थानीय रूप से पथ से जुड़ा हुआ]] है और [[बस जुड़ा हुआ है]] किन्तु  अनुबंधित नहीं है। यह संवृत  किरण के स्तिथियों  में सीमा के साथ आयामी टोपोलॉजिकल [[विविध]] है। यह [[प्रथम-गणनीय स्थान]] है, और यह प्रथम-गणनीय है किन्तु  द्वितीय-गणनीय स्थान नहीं है और अलग करने योग्य नहीं है, इसलिए जिन लेखकों को बाद के गुणों की आवश्यकता होती है, वे लंबी रेखा को अनेक गुना नहीं कहते हैं।<ref>{{citation|title=Elements of Differential Topology|first=Anant R.|last=Shastri|publisher=CRC Press|year=2011|isbn=9781439831632|page=122|url=https://books.google.com/books?id=-BrOBQAAQBAJ&pg=PA122}}.</ref>
ये सभी [[स्थानीय रूप से कॉम्पैक्ट]] हैं। उनमें से कोई भी [[मेट्रिजेबल स्पेस]] नहीं है; इसे लंबी किरण के रूप में देखा जा सकता है जो क्रमिक रूप [[क्रमिक रूप से कॉम्पैक्ट स्थान]] है लेकिन [[कॉम्पैक्ट जगह]] नहीं है, या यहां तक ​​कि लिंडेलोफ स्पेस|लिंडेलोफ।


(गैर-विस्तारित) लंबी लाइन या किरण [[परा-सुसंहत]] नहीं है। यह [[पथ से जुड़ा हुआ]] है, [[स्थानीय रूप से पथ से जुड़ा हुआ]] है और [[बस जुड़ा हुआ है]] लेकिन अनुबंधित नहीं है। यह बंद किरण के मामले में सीमा के साथ आयामी टोपोलॉजिकल [[विविध]] है। यह [[प्रथम-गणनीय स्थान]] है | प्रथम-गणनीय है लेकिन द्वितीय-गणनीय स्थान नहीं है और अलग-अलग स्थान नहीं है, इसलिए जिन लेखकों को बाद के गुणों की आवश्यकता होती है, वे लंबी रेखा को कई गुना नहीं कहते हैं।<ref>{{citation|title=Elements of Differential Topology|first=Anant R.|last=Shastri|publisher=CRC Press|year=2011|isbn=9781439831632|page=122|url=https://books.google.com/books?id=-BrOBQAAQBAJ&pg=PA122}}.</ref>
इस प्रकार से सभी लंबी स्थानों पर विचार करना समझ में आता है क्योंकि प्रत्येक जुड़ा हुआ (गैर-रिक्त) आयामी (आवश्यक रूप से अलग करने योग्य नहीं) [[टोपोलॉजिकल मैनिफोल्ड]] संभवतः सीमा के साथ, सर्कल, संवृत  अंतराल, विवृत अंतराल (वास्तविक रेखा) आधे विवृत  अंतराल, संवृत  लंबी किरण, विवृत लंबी किरण, या लंबी रेखा के लिए [[होमियोमॉर्फिक]] है,<ref>{{citation|title=Handbook of Set-Theoretic Topology|first1=K.|last1=Kunen|first2=J.|last2=Vaughan|publisher=Elsevier|year=2014|isbn=9781483295152|page=643|url=https://books.google.com/books?id=m8rNBQAAQBAJ&pg=PA643}}.</ref>


एक बार में सभी लंबी जगहों पर विचार करना समझ में आता है क्योंकि प्रत्येक जुड़ा हुआ (गैर-खाली) आयामी (जरूरी नहीं कि वियोज्य स्थान) [[टोपोलॉजिकल मैनिफोल्ड]] संभवतः सीमा के साथ, सर्कल, बंद अंतराल, खुले अंतराल (वास्तविक) के लिए [[होमियोमॉर्फिक]] है लाइन), आधा खुला अंतराल, बंद लंबी किरण, खुली लंबी किरण, या लंबी रेखा।<ref>{{citation|title=Handbook of Set-Theoretic Topology|first1=K.|last1=Kunen|first2=J.|last2=Vaughan|publisher=Elsevier|year=2014|isbn=9781483295152|page=643|url=https://books.google.com/books?id=m8rNBQAAQBAJ&pg=PA643}}.</ref>
लम्बी रेखा  या किरण को (गैर-वियोज्य) विभेदक मैनिफोल्ड (संवृत  किरण के स्तिथियों  में सीमा के साथ) की संरचना से सुसज्जित किया जा सकता है। चूंकि , टोपोलॉजिकल संरचना के विपरीत जो अद्वितीय है (सांस्कृतिक रूप से, वास्तविक रेखा को किसी भी किनारे  पर लंबा बनाने का ही तरीका है), अलग-अलग संरचना अद्वितीय नहीं है:


लंबी लाइन या किरण को (गैर-वियोज्य) विभेदक मैनिफोल्ड (बंद किरण के मामले में सीमा के साथ) की संरचना से सुसज्जित किया जा सकता है। हालांकि, टोपोलॉजिकल संरचना के विपरीत जो अद्वितीय है (सांस्कृतिक रूप से, वास्तविक रेखा को किसी भी छोर पर लंबा बनाने का ही तरीका है), अलग-अलग संरचना अद्वितीय नहीं है:
इस प्रकार से वास्तव में, अनगिनत हैं ( स्पष्ट  रूप से कहें तो <math>2^{\aleph_1}</math>) उस पर जोड़ीदार गैर-डिफियोमॉर्फिक स्मूथ  संरचनाएं है।<ref>{{cite journal |first1=Peter J. |last1=Nyikos | title=Various smoothings of the long line and their tangent bundles | journal=[[Advances in Mathematics]] | volume=93 | year=1992 |issue=2 | pages=129&ndash;213 | doi=10.1016/0001-8708(92)90027-I| doi-access=free | mr=1164707 }}</ref> यह वास्तविक रेखा के बिल्कुल विपरीत है, जहां अलग-अलग स्मूथ  संरचनाएं भी हैं, किन्तु  ये सभी मानक के लिए भिन्न हैं।
वास्तव में, अनगिनत हैं (<math>2^{\aleph_1}</math> सटीक होने के लिए) उस पर जोड़ीदार गैर-डिफियोमॉर्फिक चिकनी संरचनाएं।<ref>{{cite journal |first1=Peter J. |last1=Nyikos | title=Various smoothings of the long line and their tangent bundles | journal=[[Advances in Mathematics]] | volume=93 | year=1992 |issue=2 | pages=129&ndash;213 | doi=10.1016/0001-8708(92)90027-I| doi-access=free | mr=1164707 }}</ref> यह वास्तविक रेखा के बिल्कुल विपरीत है, जहां अलग-अलग चिकनी संरचनाएं भी हैं, लेकिन ये सभी मानक के लिए भिन्न हैं।


लंबी रेखा या किरण को (वास्तविक) विश्लेषणात्मक मैनिफोल्ड (बंद किरण के मामले में सीमा के साथ) की संरचना से सुसज्जित किया जा सकता है। हालाँकि, यह अलग-अलग मामले की तुलना में बहुत अधिक कठिन है (यह (अलग-अलग) एक-आयामी विश्लेषणात्मक मैनिफोल्ड के वर्गीकरण पर निर्भर करता है, जो अलग-अलग मैनिफोल्ड की तुलना में अधिक कठिन है)। फिर से, कोई दिया <math>C^{\infty}</math> संरचना को असीम रूप से कई तरीकों से अलग-अलग तरीके से बढ़ाया जा सकता है <math>C^{\omega}</math> (= विश्लेषणात्मक) संरचनाएं (जो विश्लेषणात्मक मैनिफोल्ड के रूप में जोड़ीदार गैर-विभेदक हैं)।<ref>{{cite journal  
अतः लंबी रेखा या किरण को (वास्तविक) विश्लेषणात्मक मैनिफोल्ड (संवृत  किरण के स्तिथियों  में सीमा के साथ) की संरचना से भी सुसज्जित किया जा सकता है। चूंकि, यह भिन्न-भिन्न स्तिथियों  की तुलना में कहीं अधिक कठिन है (यह (वियोज्य) एक-आयामी विश्लेषणात्मक मैनिफोल्ड्स के वर्गीकरण पर निर्भर करता है, जो कि भिन्न-भिन्न मैनिफोल्ड्स की तुलना में अधिक कठिन है)। फिर से, किसी भी <math>C^{\infty}</math> संरचना को अलग-अलग <math>C^{\omega}</math> (=विश्लेषणात्मक) संरचनाओं में अनंत रूप से कई विधियों  से बढ़ाया जा सकता है (जो कि विश्लेषणात्मक मैनिफोल्ड के रूप में जोड़ीदार गैर-डिफोमोर्फिक हैं)।<ref>{{cite journal  
| last1=Kneser | first1=Hellmuth
| last1=Kneser | first1=Hellmuth
| last2=Kneser | first2=Martin
| last2=Kneser | first2=Martin
Line 37: Line 40:
| year=1960  
| year=1960  
| pages=104&ndash;106
| pages=104&ndash;106
| doi=10.1007/BF01236917 | doi-access=free}}</ref>
| doi=10.1007/BF01236917 | doi-access=free}}</ref>  


लंबी रेखा या किरण को [[रिमेंनियन मीट्रिक]] से सुसज्जित नहीं किया जा सकता है जो इसकी टोपोलॉजी को प्रेरित करता है।
लंबी रेखा या किरण को [[रिमेंनियन मीट्रिक]] से सुसज्जित नहीं किया जा सकता है जो इसकी टोपोलॉजी को प्रेरित करता है। इसका कारण यह है कि रीमैनियन मैनिफोल्ड्स, पैराकॉम्पैक्टनेस की धारणा के बिना भी, मेट्रिज़ेबल दिखाया जा सकता है।<ref>{{cite book|author1=S. Kobayashi  |author2=K. Nomizu |name-list-style=amp |title=Foundations of differential geometry|volume=I|year=1963|pages=166|publisher=Interscience}}</ref>
इसका कारण यह है कि रीमैनियन मैनिफोल्ड्स, पैराकॉम्पैक्टनेस की धारणा के बिना भी, मेट्रिज़ेबल दिखाया जा सकता है।<ref>{{cite book|author1=S. Kobayashi  |author2=K. Nomizu |name-list-style=amp |title=Foundations of differential geometry|volume=I|year=1963|pages=166|publisher=Interscience}}</ref>


विस्तारित लंबी किरण <math>L^*</math> कॉम्पैक्ट स्पेस है। यह बंद लंबी किरण का एक-बिंदु संघनन है <math>L,</math> लकिन यह है {{em|also}} इसका स्टोन-सीच कॉम्पैक्टिफिकेशन | स्टोन-चेक कॉम्पैक्टिफिकेशन, क्योंकि (बंद या खुली) लंबी किरण से लेकर वास्तविक रेखा तक कोई भी [[निरंतर कार्य]] अंततः स्थिर होता है।<ref>{{cite book|last=Joshi|first=K. D.|title=Introduction to general topology|year=1983|publisher=Jon Wiley and Sons|isbn=0-470-27556-1|mr=709260|chapter=Chapter 15 Section 3}}</ref> <math>L^*</math> [[जुड़ा हुआ स्थान]] भी है, लेकिन कनेक्टेड स्पेस नहीं है | पाथ-कनेक्टेड क्योंकि लंबी लाइन पथ द्वारा कवर करने के लिए 'बहुत लंबी' है, जो अंतराल की सतत छवि है। <math>L^*</math> बहुगुणित नहीं है और प्रथम गणनीय नहीं है।
इस प्रकार से विस्तारित लंबी किरण <math>L^*</math> कॉम्पैक्ट समिष्ट  है। यह संवृत  लंबी किरण का एक-बिंदु <math>L,</math>संघनन है  किन्तु यह है {{em|भी}} इसका स्टोन-सीच कॉम्पैक्टिफिकेशन | स्टोन-चेक कॉम्पैक्टिफिकेशन, क्योंकि (संवृत  या विवृत) लंबी किरण से लेकर वास्तविक रेखा तक कोई भी [[निरंतर कार्य]] अंततः स्थिर होता है।<ref>{{cite book|last=Joshi|first=K. D.|title=Introduction to general topology|year=1983|publisher=Jon Wiley and Sons|isbn=0-470-27556-1|mr=709260|chapter=Chapter 15 Section 3}}</ref> <math>L^*</math> [[जुड़ा हुआ स्थान]] भी है, किन्तु  कनेक्टेड समिष्ट  नहीं है | पाथ-कनेक्टेड क्योंकि लम्बी रेखा  पथ द्वारा कवर करने के लिए 'बहुत लंबी' है, जो अंतराल की सतत छवि है। <math>L^*</math> बहुगुणित नहीं है और प्रथम गणनीय नहीं है।


== पी-एडिक एनालॉग ==
== पी-एडिक एनालॉग ==


लंबी लाइन का पी-एडिक|पी-एडिक एनालॉग मौजूद है, जो [[जॉर्ज बर्गमैन]] के कारण है।<ref>{{cite book |last=Serre |first=Jean-Pierre |author-link=Jean-Pierre Serre |title=Lie Algebras and Lie Groups (1964 Lectures given at Harvard University) |isbn=3-540-55008-9 |publisher=[[Springer-Verlag]] |series=Lecture Notes in Mathematics part II ("Lie Groups")|chapter=IV ("Analytic Manifolds"), appendix 3 ("The Transfinite ''p''-adic line")}}</ref>
लम्बी रेखा  का पी-एडिक|पी-एडिक एनालॉग मौजूद है, जो [[जॉर्ज बर्गमैन]] के कारण है।<ref>{{cite book |last=Serre |first=Jean-Pierre |author-link=Jean-Pierre Serre |title=Lie Algebras and Lie Groups (1964 Lectures given at Harvard University) |isbn=3-540-55008-9 |publisher=[[Springer-Verlag]] |series=Lecture Notes in Mathematics part II ("Lie Groups")|chapter=IV ("Analytic Manifolds"), appendix 3 ("The Transfinite ''p''-adic line")}}</ref>


इस स्थान का निर्माण प्रतियों के बेशुमार निर्देशित सेट के बढ़ते संघ के रूप में किया गया है <math>X_{\gamma}</math> गणनीय क्रमसूचक द्वारा अनुक्रमित p-adic पूर्णांकों के वलय का <math>\gamma.</math> मानचित्र को परिभाषित कीजिए <math>X_{\delta}</math>को <math>X_{\gamma}</math> जब कभी <math>\delta < \gamma</math> निम्नलिखित नुसार:
इस स्थान का निर्माण प्रतियों के अनगिनत निर्देशित समुच्चय  के बढ़ते संघ के रूप में किया गया है <math>X_{\gamma}</math> गणनीय क्रमसूचक द्वारा अनुक्रमित p-adic पूर्णांकों के वलय का <math>\gamma.</math> मानचित्र को परिभाषित कीजिए <math>X_{\delta}</math>को <math>X_{\gamma}</math> जब कभी <math>\delta < \gamma</math> निम्नलिखित नुसार:
* यदि <math>\gamma</math> उत्तराधिकारी है <math>\varepsilon + 1</math> फिर से नक्शा <math>X_{\varepsilon}</math> को <math>X_{\gamma}</math> से केवल गुणा है <math>p.</math> अन्य के लिए <math>\delta</math> से नक्शा <math>X_{\delta}</math> को <math>X_{\gamma}</math> से मानचित्र की रचना है <math>X_{\delta}</math> को <math>X_{\varepsilon}</math> और नक्शा से <math>X_{\varepsilon}</math> को <math>X_{\gamma}.</math>
* यदि <math>\gamma</math> उत्तराधिकारी है <math>\varepsilon + 1</math> फिर से नक्शा <math>X_{\varepsilon}</math> को <math>X_{\gamma}</math> से केवल गुणा है <math>p.</math> अन्य के लिए <math>\delta</math> से नक्शा <math>X_{\delta}</math> को <math>X_{\gamma}</math> से मानचित्र की रचना है <math>X_{\delta}</math> को <math>X_{\varepsilon}</math> और नक्शा से <math>X_{\varepsilon}</math> को <math>X_{\gamma}.</math>
* यदि <math>\gamma</math> सीमा क्रमसूचक है तो सेट की प्रत्यक्ष सीमा <math>X_{\delta}</math> के लिए <math>\delta < \gamma</math> पी-एडिक गेंदों का गणनीय संघ है, इसलिए इसमें एम्बेड किया जा सकता है <math>X_{\gamma},</math> जैसा <math>X_{\gamma}</math> हटाए गए बिंदु के साथ पी-एडिक गेंदों का गणनीय संघ भी है। यह संगत एम्बेडिंग को परिभाषित करता है <math>X_{\delta}</math> में <math>X_{\gamma}</math> सबके लिए <math>\delta < \gamma.</math>
* यदि <math>\gamma</math> सीमा क्रमसूचक है तो समुच्चय  की प्रत्यक्ष सीमा <math>X_{\delta}</math> के लिए <math>\delta < \gamma</math> पी-एडिक गेंदों का गणनीय संघ है, इसलिए इसमें एम्बेड किया जा सकता है <math>X_{\gamma},</math> जैसा <math>X_{\gamma}</math> हटाए गए बिंदु के साथ पी-एडिक गेंदों का गणनीय संघ भी है। यह संगत एम्बेडिंग को परिभाषित करता है <math>X_{\delta}</math> में <math>X_{\gamma}</math> सबके लिए <math>\delta < \gamma.</math>
यह स्थान कॉम्पैक्ट नहीं है, लेकिन कॉम्पैक्ट सबस्पेस के किसी भी गणनीय सेट के संघ में कॉम्पैक्ट क्लोजर है।
यह स्थान कॉम्पैक्ट नहीं है, किन्तु  कॉम्पैक्ट सबसमिष्ट  के किसी भी गणनीय समुच्चय  के संघ में कॉम्पैक्ट क्लोजर है।


== उच्च आयाम ==
== उच्च आयाम ==
Line 57: Line 59:
उच्च आयामों में गैर-पैराकॉम्पैक्ट मैनिफोल्ड के कुछ उदाहरणों में प्रूफ़र मैनिफोल्ड, किसी गैर-पैराकॉम्पैक्ट मैनिफोल्ड के उत्पाद किसी भी गैर-खाली मैनिफोल्ड, लंबी त्रिज्या की गेंद, और इसी तरह शामिल हैं। [[बैगपाइप प्रमेय]] से पता चलता है कि वहाँ हैं <math>2^{\aleph_1}</math> गैर-पैराकॉम्पैक्ट सतहों के समरूपता वर्ग।
उच्च आयामों में गैर-पैराकॉम्पैक्ट मैनिफोल्ड के कुछ उदाहरणों में प्रूफ़र मैनिफोल्ड, किसी गैर-पैराकॉम्पैक्ट मैनिफोल्ड के उत्पाद किसी भी गैर-खाली मैनिफोल्ड, लंबी त्रिज्या की गेंद, और इसी तरह शामिल हैं। [[बैगपाइप प्रमेय]] से पता चलता है कि वहाँ हैं <math>2^{\aleph_1}</math> गैर-पैराकॉम्पैक्ट सतहों के समरूपता वर्ग।


लंबी रेखा के कोई जटिल अनुरूप नहीं हैं क्योंकि प्रत्येक रीमैन सतह पैराकॉम्पैक्ट है, लेकिन कैलाबी और रोसेनलिच ने जटिल आयाम 2 के गैर-पैराकंपैक्ट कॉम्प्लेक्स मैनिफोल्ड का उदाहरण दिया।<ref>{{cite journal
लंबी रेखा के कोई जटिल अनुरूप नहीं हैं क्योंकि प्रत्येक रीमैन सतह पैराकॉम्पैक्ट है, किन्तु  कैलाबी और रोसेनलिच ने जटिल आयाम 2 के गैर-पैराकंपैक्ट कॉम्प्लेक्स मैनिफोल्ड का उदाहरण दिया।<ref>{{cite journal
| mr=0058293  
| mr=0058293  
| last1=Calabi | first1=Eugenio
| last1=Calabi | first1=Eugenio

Revision as of 12:58, 23 July 2023

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

परिभाषा

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

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

सहज रूप से, संवृत लंबी किरण वास्तविक (संवृत ) अर्ध-रेखा की तरह होती है, सिवाय इसके कि यह दिशा में अधिक लंबी होती है: हम मान सकते हैं कि यह किनारे पर लंबी होती है और दूसरे पर संवृत होती है। अतः विवृत लंबी किरण वास्तविक रेखा (या समकक्ष रूप से विवृत अर्ध-रेखा) की तरह है, इसके अतिरिक्त कि यह दिशा में अधिक लंबी है: हम मान सकते हैं कि यह किनारे पर लंबी और दूसरी तरफ लघु (विवृत) है। लंबी रेखा दोनों दिशाओं में वास्तविक रेखाओं से लंबी होती है: हम मान सकते हैं कि यह दोनों दिशाओं में लंबी है।

चूंकि , कई लेखक "लंबी रेखा" की वार्तालाप करते हैं जहाँ हमने (संवृत या विवृत) लंबी किरण का संवाद किया है, और विभिन्न लंबी स्थानों के मध्य अधिक भ्रम है। कई उपयोगों या प्रतिउदाहरणों में, चूंकि, भेद अनावश्यक है, क्योंकि महत्वपूर्ण भाग पंक्ति का "लंबा" अंत है, और इस प्रकार से इसमें कोई प्रभाव नहीं पड़ता कि दूसरे किनारे पर (चाहे लंबा, लघु या संवृत ) क्या होता है।

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

गुण

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

में प्रत्येक बढ़ता हुआ अनुक्रम की सीमा ; तक परिवर्तित होता है, यह इस तथ्य का परिणाम है कि (1) के गुण गणनीय क्रमसूचक हैं, (2) गणनीय क्रमवाचकों के प्रत्येक गणनीय परिवार का सर्वोच्च एक गणनीय क्रमसूचक है, और (3) वास्तविक संख्याओं का प्रत्येक बढ़ता हुआ और परिबद्ध क्रम अभिसरित होता है। नतीजतन, कोई सख्ती से बढ़ने वाला फलन नहीं हो सकता है वास्तव में, प्रत्येक निरंतर फलन अंततः स्थिर होता है।

ऑर्डर टोपोलॉजी के रूप में, (संभवतः विस्तारित) लंबी किरणें और रेखाएँ सामान्य स्थान हॉसडॉर्फ समिष्ट हैं। उन सभी में वास्तविक रेखा के समान प्रमुखता है, फिर भी वे 'अधिक लंबी' हैं।

ये सभी स्थानीय रूप से कॉम्पैक्ट हैं। उनमें से कोई भी मेट्रिजेबल समिष्ट नहीं है; इसे लंबी किरण के रूप में देखा जा सकता है जो क्रमिक रूप क्रमिक रूप से कॉम्पैक्ट स्थान है किन्तु कॉम्पैक्ट जगह नहीं है, या यहां तक ​​कि लिंडेलोफ समिष्ट भी नहीं है।

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

इस प्रकार से सभी लंबी स्थानों पर विचार करना समझ में आता है क्योंकि प्रत्येक जुड़ा हुआ (गैर-रिक्त) आयामी (आवश्यक रूप से अलग करने योग्य नहीं) टोपोलॉजिकल मैनिफोल्ड संभवतः सीमा के साथ, सर्कल, संवृत अंतराल, विवृत अंतराल (वास्तविक रेखा) आधे विवृत अंतराल, संवृत लंबी किरण, विवृत लंबी किरण, या लंबी रेखा के लिए होमियोमॉर्फिक है,[3]

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

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

अतः लंबी रेखा या किरण को (वास्तविक) विश्लेषणात्मक मैनिफोल्ड (संवृत किरण के स्तिथियों में सीमा के साथ) की संरचना से भी सुसज्जित किया जा सकता है। चूंकि, यह भिन्न-भिन्न स्तिथियों की तुलना में कहीं अधिक कठिन है (यह (वियोज्य) एक-आयामी विश्लेषणात्मक मैनिफोल्ड्स के वर्गीकरण पर निर्भर करता है, जो कि भिन्न-भिन्न मैनिफोल्ड्स की तुलना में अधिक कठिन है)। फिर से, किसी भी संरचना को अलग-अलग (=विश्लेषणात्मक) संरचनाओं में अनंत रूप से कई विधियों से बढ़ाया जा सकता है (जो कि विश्लेषणात्मक मैनिफोल्ड के रूप में जोड़ीदार गैर-डिफोमोर्फिक हैं)।[5]

लंबी रेखा या किरण को रिमेंनियन मीट्रिक से सुसज्जित नहीं किया जा सकता है जो इसकी टोपोलॉजी को प्रेरित करता है। इसका कारण यह है कि रीमैनियन मैनिफोल्ड्स, पैराकॉम्पैक्टनेस की धारणा के बिना भी, मेट्रिज़ेबल दिखाया जा सकता है।[6]

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

पी-एडिक एनालॉग

लम्बी रेखा का पी-एडिक|पी-एडिक एनालॉग मौजूद है, जो जॉर्ज बर्गमैन के कारण है।[8]

इस स्थान का निर्माण प्रतियों के अनगिनत निर्देशित समुच्चय के बढ़ते संघ के रूप में किया गया है गणनीय क्रमसूचक द्वारा अनुक्रमित p-adic पूर्णांकों के वलय का मानचित्र को परिभाषित कीजिए को जब कभी निम्नलिखित नुसार:

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

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

उच्च आयाम

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

लंबी रेखा के कोई जटिल अनुरूप नहीं हैं क्योंकि प्रत्येक रीमैन सतह पैराकॉम्पैक्ट है, किन्तु कैलाबी और रोसेनलिच ने जटिल आयाम 2 के गैर-पैराकंपैक्ट कॉम्प्लेक्स मैनिफोल्ड का उदाहरण दिया।[9]

यह भी देखें

संदर्भ

  1. Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (Dover reprint of 1978 ed.). Berlin, New York: Springer-Verlag. pp. 71–72. ISBN 978-0-486-68735-3. MR 0507446. Zbl 1245.54001.
  2. Shastri, Anant R. (2011), Elements of Differential Topology, CRC Press, p. 122, ISBN 9781439831632.
  3. Kunen, K.; Vaughan, J. (2014), Handbook of Set-Theoretic Topology, Elsevier, p. 643, ISBN 9781483295152.
  4. Nyikos, Peter J. (1992). "Various smoothings of the long line and their tangent bundles". Advances in Mathematics. 93 (2): 129–213. doi:10.1016/0001-8708(92)90027-I. MR 1164707.
  5. Kneser, Hellmuth; Kneser, Martin (1960). "Reell-analytische Strukturen der Alexandroff-Halbgeraden und der Alexandroff-Geraden". Archiv der Mathematik. 11: 104–106. doi:10.1007/BF01236917.
  6. S. Kobayashi & K. Nomizu (1963). Foundations of differential geometry. Vol. I. Interscience. p. 166.
  7. Joshi, K. D. (1983). "Chapter 15 Section 3". Introduction to general topology. Jon Wiley and Sons. ISBN 0-470-27556-1. MR 0709260.
  8. Serre, Jean-Pierre. "IV ("Analytic Manifolds"), appendix 3 ("The Transfinite p-adic line")". Lie Algebras and Lie Groups (1964 Lectures given at Harvard University). Lecture Notes in Mathematics part II ("Lie Groups"). Springer-Verlag. ISBN 3-540-55008-9.
  9. Calabi, Eugenio; Rosenlicht, Maxwell (1953). "Complex analytic manifolds without countable base". Proceedings of the American Mathematical Society. 4 (3): 335–340. doi:10.1090/s0002-9939-1953-0058293-x. MR 0058293.