दीर्घ रेखा (टोपोलॉजी): Difference between revisions
(Created page with "{{Short description|Topological space (Alexandroff line)}} टोपोलॉजी में, लंबी लाइन (या पावेल अलेक्जें...") |
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> अंत-से-अंत तक रखी जाती है, जबकि लंबी लाइन का निर्माण ऐसे खंडों की बेशुमार संख्या से किया जाता है। | ||
== परिभाषा == | == परिभाषा == | ||
बंद लंबी किरण <math>L</math> पहले बेशुमार क्रमसूचक के कार्तीय उत्पाद के रूप में परिभाषित किया गया है। पहले बेशुमार क्रमसूचक <math>\omega_1</math>[[अंतराल (गणित)]] के साथ | आधा-खुला अंतराल <math>[0, 1),</math> [[आदेश टोपोलॉजी]] से लैस है जो [[लेक्सिकोग्राफिक ऑर्डर]] से उत्पन्न होता है <math>\omega_1 \times [0,1)</math>. सबसे छोटे तत्व को हटाकर बंद लंबी किरण से खुली लंबी किरण प्राप्त की जाती है <math>(0, 0).</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>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>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</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 \to \R.</math> वास्तव में, प्रत्येक निरंतर कार्य <math>L \to \R</math> अंततः स्थिर है। | ||
| Line 22: | Line 22: | ||
ये सभी [[स्थानीय रूप से कॉम्पैक्ट]] हैं। उनमें से कोई भी [[मेट्रिजेबल स्पेस]] नहीं है; इसे लंबी किरण के रूप में देखा जा सकता है जो क्रमिक रूप [[क्रमिक रूप से कॉम्पैक्ट स्थान]] है लेकिन [[कॉम्पैक्ट जगह]] नहीं है, या यहां तक कि लिंडेलोफ स्पेस|लिंडेलोफ। | ये सभी [[स्थानीय रूप से कॉम्पैक्ट]] हैं। उनमें से कोई भी [[मेट्रिजेबल स्पेस]] नहीं है; इसे लंबी किरण के रूप में देखा जा सकता है जो क्रमिक रूप [[क्रमिक रूप से कॉम्पैक्ट स्थान]] है लेकिन [[कॉम्पैक्ट जगह]] नहीं है, या यहां तक कि लिंडेलोफ स्पेस|लिंडेलोफ। | ||
(गैर-विस्तारित) लंबी लाइन या किरण [[परा-सुसंहत]] नहीं है। यह [[पथ से जुड़ा हुआ]] है, [[स्थानीय रूप से पथ से जुड़ा हुआ]] है और [[बस जुड़ा हुआ है]] लेकिन अनुबंधित नहीं है। यह बंद किरण के मामले में सीमा के साथ | (गैर-विस्तारित) लंबी लाइन या किरण [[परा-सुसंहत]] नहीं है। यह [[पथ से जुड़ा हुआ]] है, [[स्थानीय रूप से पथ से जुड़ा हुआ]] है और [[बस जुड़ा हुआ है]] लेकिन अनुबंधित नहीं है। यह बंद किरण के मामले में सीमा के साथ आयामी टोपोलॉजिकल [[विविध]] है। यह [[प्रथम-गणनीय स्थान]] है | प्रथम-गणनीय है लेकिन द्वितीय-गणनीय स्थान नहीं है और अलग-अलग स्थान नहीं है, इसलिए जिन लेखकों को बाद के गुणों की आवश्यकता होती है, वे लंबी रेखा को कई गुना नहीं कहते हैं।<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> | ||
लंबी लाइन या किरण को (गैर-वियोज्य) विभेदक मैनिफोल्ड (बंद किरण के मामले में सीमा के साथ) की संरचना से सुसज्जित किया जा सकता है। हालांकि, टोपोलॉजिकल संरचना के विपरीत जो अद्वितीय है (सांस्कृतिक रूप से, वास्तविक रेखा को किसी भी छोर पर लंबा बनाने का ही तरीका है), अलग-अलग संरचना अद्वितीय नहीं है: | |||
वास्तव में, अनगिनत हैं (<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–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 | |||
| last1=Kneser | first1=Hellmuth | | last1=Kneser | first1=Hellmuth | ||
| last2=Kneser | first2=Martin | | last2=Kneser | first2=Martin | ||
| Line 36: | Line 38: | ||
| pages=104–106 | | pages=104–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> लकिन यह है {{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> बहुगुणित नहीं है और प्रथम गणनीय नहीं है। | |||
== पी-एडिक एनालॉग == | == पी-एडिक एनालॉग == | ||
लंबी लाइन का | लंबी लाइन का पी-एडिक|पी-एडिक एनालॉग मौजूद है, जो [[जॉर्ज बर्गमैन]] के कारण है।<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> | |||
इस स्थान का निर्माण प्रतियों के बेशुमार निर्देशित सेट के बढ़ते संघ के रूप में किया गया है <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>\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 52: | Line 57: | ||
उच्च आयामों में गैर-पैराकॉम्पैक्ट मैनिफोल्ड के कुछ उदाहरणों में प्रूफ़र मैनिफोल्ड, किसी गैर-पैराकॉम्पैक्ट मैनिफोल्ड के उत्पाद किसी भी गैर-खाली मैनिफोल्ड, लंबी त्रिज्या की गेंद, और इसी तरह शामिल हैं। [[बैगपाइप प्रमेय]] से पता चलता है कि वहाँ हैं <math>2^{\aleph_1}</math> गैर-पैराकॉम्पैक्ट सतहों के समरूपता वर्ग। | उच्च आयामों में गैर-पैराकॉम्पैक्ट मैनिफोल्ड के कुछ उदाहरणों में प्रूफ़र मैनिफोल्ड, किसी गैर-पैराकॉम्पैक्ट मैनिफोल्ड के उत्पाद किसी भी गैर-खाली मैनिफोल्ड, लंबी त्रिज्या की गेंद, और इसी तरह शामिल हैं। [[बैगपाइप प्रमेय]] से पता चलता है कि वहाँ हैं <math>2^{\aleph_1}</math> गैर-पैराकॉम्पैक्ट सतहों के समरूपता वर्ग। | ||
लंबी रेखा के कोई जटिल अनुरूप नहीं हैं क्योंकि प्रत्येक रीमैन सतह पैराकॉम्पैक्ट है, लेकिन कैलाबी और रोसेनलिच ने जटिल आयाम 2 के | लंबी रेखा के कोई जटिल अनुरूप नहीं हैं क्योंकि प्रत्येक रीमैन सतह पैराकॉम्पैक्ट है, लेकिन कैलाबी और रोसेनलिच ने जटिल आयाम 2 के गैर-पैराकंपैक्ट कॉम्प्लेक्स मैनिफोल्ड का उदाहरण दिया।<ref>{{cite journal | ||
| mr=0058293 | | mr=0058293 | ||
| last1=Calabi | first1=Eugenio | | last1=Calabi | first1=Eugenio | ||
| Line 62: | Line 67: | ||
| issue=3 | pages= 335–340 | | issue=3 | pages= 335–340 | ||
| doi=10.1090/s0002-9939-1953-0058293-x|doi-access=free}}</ref> | | doi=10.1090/s0002-9939-1953-0058293-x|doi-access=free}}</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 11:29, 23 July 2023
टोपोलॉजी में, लंबी लाइन (या पावेल अलेक्जेंड्रोव लाइन) वास्तविक रेखा के समान कुछ हद तक स्थलीय स्थान है, लेकिन निश्चित तरीके से लंबी है। यह वास्तविक रेखा की तरह ही स्थानीय रूप से व्यवहार करता है, लेकिन इसमें अलग-अलग बड़े पैमाने के गुण होते हैं (उदाहरण के लिए, यह न तो लिंडेलोफ स्पेस है | लिंडेलोफ और न ही अलग करने योग्य स्थान)। इसलिए, यह टोपोलॉजी के बुनियादी प्रतिउदाहरणों में से के रूप में कार्य करता है।[1] सहजता से, सामान्य वास्तविक-संख्या रेखा में रेखा खंडों की गणनीय संख्या होती है अंत-से-अंत तक रखी जाती है, जबकि लंबी लाइन का निर्माण ऐसे खंडों की बेशुमार संख्या से किया जाता है।
परिभाषा
बंद लंबी किरण पहले बेशुमार क्रमसूचक के कार्तीय उत्पाद के रूप में परिभाषित किया गया है। पहले बेशुमार क्रमसूचक अंतराल (गणित) के साथ | आधा-खुला अंतराल आदेश टोपोलॉजी से लैस है जो लेक्सिकोग्राफिक ऑर्डर से उत्पन्न होता है . सबसे छोटे तत्व को हटाकर बंद लंबी किरण से खुली लंबी किरण प्राप्त की जाती है प्रत्येक दिशा में लंबी किरण को साथ रखकर लंबी रेखा प्राप्त की जाती है। अधिक कठोर रूप से, इसे उलटी खुली लंबी किरण ("उलट" का अर्थ है कि क्रम उलटा हुआ है) के असंयुक्त संघ पर आदेश टोपोलॉजी के रूप में परिभाषित किया जा सकता है और (उलट नहीं) बंद लंबी किरण, बाद के बिंदुओं को पूरी तरह से आदेश देकर पूर्व के बिंदुओं से अधिक हो। वैकल्पिक रूप से, खुली लंबी किरण की दो प्रतियाँ लें और खुले अंतराल की पहचान करें का दूसरे के समान अंतराल के साथ लेकिन अंतराल को उलट देना, अर्थात बिंदु की पहचान करना (कहाँ पे वास्तविक संख्या है जैसे कि ) बिंदु वाले का दूसरे की, और दोनों के बीच पहचाने गए खुले अंतराल के साथ दो खुली लंबी किरणों को ग्लूइंग करके प्राप्त टोपोलॉजिकल स्पेस के रूप में लंबी लाइन को परिभाषित करें। (पूर्व निर्माण इस अर्थ में बेहतर है कि यह लंबी लाइन पर ऑर्डर को परिभाषित करता है और दिखाता है कि टोपोलॉजी ऑर्डर टोपोलॉजी है; बाद वाला इस अर्थ में बेहतर है कि यह खुले सेट के साथ ग्लूइंग का उपयोग करता है, जो टोपोलॉजिकल से स्पष्ट है दृष्टिकोण।)
सहज रूप से, बंद लंबी किरण वास्तविक (बंद) अर्ध-रेखा की तरह होती है, सिवाय इसके कि यह दिशा में बहुत लंबी होती है: हम कहते हैं कि यह छोर पर लंबी होती है और दूसरे पर बंद होती है। खुली लंबी किरण वास्तविक रेखा (या समकक्ष रूप से खुली अर्ध-रेखा) की तरह है, सिवाय इसके कि यह दिशा में बहुत लंबी है: हम कहते हैं कि यह छोर पर लंबी और दूसरी तरफ छोटी (खुली) है। लंबी रेखा दोनों दिशाओं में वास्तविक रेखाओं से लंबी होती है: हम कहते हैं कि यह दोनों दिशाओं में लंबी है।
हालाँकि, कई लेखक "लंबी रेखा" की बात करते हैं जहाँ हमने (बंद या खुली) लंबी किरण की बात की है, और विभिन्न लंबी जगहों के बीच बहुत भ्रम है। कई उपयोगों या प्रतिउदाहरणों में, हालांकि, भेद अनावश्यक है, क्योंकि महत्वपूर्ण हिस्सा पंक्ति का "लंबा" अंत है, और इससे कोई फर्क नहीं पड़ता कि दूसरे छोर पर क्या होता है (चाहे लंबा, छोटा या बंद)।
एक संबंधित स्थान, (बंद) विस्तारित लंबी किरण, के एक-बिंदु संघनन के रूप में प्राप्त किया जाता है के दाईं ओर अतिरिक्त तत्व जोड़कर समान रूप से लंबी रेखा में दो तत्वों को जोड़कर विस्तारित लंबी रेखा को परिभाषित किया जा सकता है, प्रत्येक छोर पर एक।
गुण
बंद लंबी किरण की अनगिनत प्रतियों से मिलकर बनता है 'एक साथ चिपकाया' शुरू से अंत तक। इसकी तुलना इस तथ्य से करें कि किसी के लिए भी countable क्रमसूचक संख्या , साथ चिपकाना की प्रतियां स्थान देता है जो अभी भी होमोमोर्फिक (और ऑर्डर-आइसोमॉर्फिक) है (और अगर हमने साथ चिपकाने की कोशिश की more से की प्रतियां परिणामी स्थान अब स्थानीय रूप से होमियोमॉर्फिक नहीं होगा )
में हर बढ़ता क्रम में अनुक्रम की सीमा में परिवर्तित हो जाता है ; यह इस तथ्य का परिणाम है कि (1) के तत्व गणनीय क्रमसूचक हैं, (2) गणनीय क्रमसूचकों के प्रत्येक गणनीय परिवार का सर्वोच्च गणनीय क्रमसूचक है, और (3) वास्तविक संख्याओं का प्रत्येक बढ़ता हुआ और परिबद्ध अनुक्रम अभिसरण करता है। नतीजतन, कोई सख्ती से बढ़ता हुआ कार्य नहीं हो सकता है वास्तव में, प्रत्येक निरंतर कार्य अंततः स्थिर है।
ऑर्डर टोपोलॉजी के रूप में, (संभवतः विस्तारित) लंबी किरणें और रेखाएँ सामान्य स्थान हॉसडॉर्फ स्पेस हैं। उन सभी में वास्तविक रेखा के समान प्रमुखता है, फिर भी वे 'काफी लंबी' हैं। ये सभी स्थानीय रूप से कॉम्पैक्ट हैं। उनमें से कोई भी मेट्रिजेबल स्पेस नहीं है; इसे लंबी किरण के रूप में देखा जा सकता है जो क्रमिक रूप क्रमिक रूप से कॉम्पैक्ट स्थान है लेकिन कॉम्पैक्ट जगह नहीं है, या यहां तक कि लिंडेलोफ स्पेस|लिंडेलोफ।
(गैर-विस्तारित) लंबी लाइन या किरण परा-सुसंहत नहीं है। यह पथ से जुड़ा हुआ है, स्थानीय रूप से पथ से जुड़ा हुआ है और बस जुड़ा हुआ है लेकिन अनुबंधित नहीं है। यह बंद किरण के मामले में सीमा के साथ आयामी टोपोलॉजिकल विविध है। यह प्रथम-गणनीय स्थान है | प्रथम-गणनीय है लेकिन द्वितीय-गणनीय स्थान नहीं है और अलग-अलग स्थान नहीं है, इसलिए जिन लेखकों को बाद के गुणों की आवश्यकता होती है, वे लंबी रेखा को कई गुना नहीं कहते हैं।[2]
एक बार में सभी लंबी जगहों पर विचार करना समझ में आता है क्योंकि प्रत्येक जुड़ा हुआ (गैर-खाली) आयामी (जरूरी नहीं कि वियोज्य स्थान) टोपोलॉजिकल मैनिफोल्ड संभवतः सीमा के साथ, सर्कल, बंद अंतराल, खुले अंतराल (वास्तविक) के लिए होमियोमॉर्फिक है लाइन), आधा खुला अंतराल, बंद लंबी किरण, खुली लंबी किरण, या लंबी रेखा।[3]
लंबी लाइन या किरण को (गैर-वियोज्य) विभेदक मैनिफोल्ड (बंद किरण के मामले में सीमा के साथ) की संरचना से सुसज्जित किया जा सकता है। हालांकि, टोपोलॉजिकल संरचना के विपरीत जो अद्वितीय है (सांस्कृतिक रूप से, वास्तविक रेखा को किसी भी छोर पर लंबा बनाने का ही तरीका है), अलग-अलग संरचना अद्वितीय नहीं है: वास्तव में, अनगिनत हैं ( सटीक होने के लिए) उस पर जोड़ीदार गैर-डिफियोमॉर्फिक चिकनी संरचनाएं।[4] यह वास्तविक रेखा के बिल्कुल विपरीत है, जहां अलग-अलग चिकनी संरचनाएं भी हैं, लेकिन ये सभी मानक के लिए भिन्न हैं।
लंबी रेखा या किरण को (वास्तविक) विश्लेषणात्मक मैनिफोल्ड (बंद किरण के मामले में सीमा के साथ) की संरचना से सुसज्जित किया जा सकता है। हालाँकि, यह अलग-अलग मामले की तुलना में बहुत अधिक कठिन है (यह (अलग-अलग) एक-आयामी विश्लेषणात्मक मैनिफोल्ड के वर्गीकरण पर निर्भर करता है, जो अलग-अलग मैनिफोल्ड की तुलना में अधिक कठिन है)। फिर से, कोई दिया संरचना को असीम रूप से कई तरीकों से अलग-अलग तरीके से बढ़ाया जा सकता है (= विश्लेषणात्मक) संरचनाएं (जो विश्लेषणात्मक मैनिफोल्ड के रूप में जोड़ीदार गैर-विभेदक हैं)।[5]
लंबी रेखा या किरण को रिमेंनियन मीट्रिक से सुसज्जित नहीं किया जा सकता है जो इसकी टोपोलॉजी को प्रेरित करता है। इसका कारण यह है कि रीमैनियन मैनिफोल्ड्स, पैराकॉम्पैक्टनेस की धारणा के बिना भी, मेट्रिज़ेबल दिखाया जा सकता है।[6]
विस्तारित लंबी किरण कॉम्पैक्ट स्पेस है। यह बंद लंबी किरण का एक-बिंदु संघनन है लकिन यह है also इसका स्टोन-सीच कॉम्पैक्टिफिकेशन | स्टोन-चेक कॉम्पैक्टिफिकेशन, क्योंकि (बंद या खुली) लंबी किरण से लेकर वास्तविक रेखा तक कोई भी निरंतर कार्य अंततः स्थिर होता है।[7] जुड़ा हुआ स्थान भी है, लेकिन कनेक्टेड स्पेस नहीं है | पाथ-कनेक्टेड क्योंकि लंबी लाइन पथ द्वारा कवर करने के लिए 'बहुत लंबी' है, जो अंतराल की सतत छवि है। बहुगुणित नहीं है और प्रथम गणनीय नहीं है।
पी-एडिक एनालॉग
लंबी लाइन का पी-एडिक|पी-एडिक एनालॉग मौजूद है, जो जॉर्ज बर्गमैन के कारण है।[8]
इस स्थान का निर्माण प्रतियों के बेशुमार निर्देशित सेट के बढ़ते संघ के रूप में किया गया है गणनीय क्रमसूचक द्वारा अनुक्रमित p-adic पूर्णांकों के वलय का मानचित्र को परिभाषित कीजिए को जब कभी निम्नलिखित नुसार:
- यदि उत्तराधिकारी है फिर से नक्शा को से केवल गुणा है अन्य के लिए से नक्शा को से मानचित्र की रचना है को और नक्शा से को
- यदि सीमा क्रमसूचक है तो सेट की प्रत्यक्ष सीमा के लिए पी-एडिक गेंदों का गणनीय संघ है, इसलिए इसमें एम्बेड किया जा सकता है जैसा हटाए गए बिंदु के साथ पी-एडिक गेंदों का गणनीय संघ भी है। यह संगत एम्बेडिंग को परिभाषित करता है में सबके लिए
यह स्थान कॉम्पैक्ट नहीं है, लेकिन कॉम्पैक्ट सबस्पेस के किसी भी गणनीय सेट के संघ में कॉम्पैक्ट क्लोजर है।
उच्च आयाम
उच्च आयामों में गैर-पैराकॉम्पैक्ट मैनिफोल्ड के कुछ उदाहरणों में प्रूफ़र मैनिफोल्ड, किसी गैर-पैराकॉम्पैक्ट मैनिफोल्ड के उत्पाद किसी भी गैर-खाली मैनिफोल्ड, लंबी त्रिज्या की गेंद, और इसी तरह शामिल हैं। बैगपाइप प्रमेय से पता चलता है कि वहाँ हैं गैर-पैराकॉम्पैक्ट सतहों के समरूपता वर्ग।
लंबी रेखा के कोई जटिल अनुरूप नहीं हैं क्योंकि प्रत्येक रीमैन सतह पैराकॉम्पैक्ट है, लेकिन कैलाबी और रोसेनलिच ने जटिल आयाम 2 के गैर-पैराकंपैक्ट कॉम्प्लेक्स मैनिफोल्ड का उदाहरण दिया।[9]
यह भी देखें
संदर्भ
- ↑ 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.
- ↑ Shastri, Anant R. (2011), Elements of Differential Topology, CRC Press, p. 122, ISBN 9781439831632.
- ↑ Kunen, K.; Vaughan, J. (2014), Handbook of Set-Theoretic Topology, Elsevier, p. 643, ISBN 9781483295152.
- ↑ 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.
- ↑ 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.
- ↑ S. Kobayashi & K. Nomizu (1963). Foundations of differential geometry. Vol. I. Interscience. p. 166.
- ↑ Joshi, K. D. (1983). "Chapter 15 Section 3". Introduction to general topology. Jon Wiley and Sons. ISBN 0-470-27556-1. MR 0709260.
- ↑ 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.
- ↑ 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.
