अनुक्रमिक स्थान
सांस्थिति और संबंधित गणित के क्षेत्र में, एक अनुक्रमिक स्थान एक सांस्थितिक स्थान होता है जिसकी सांस्थिति को पूरी तरह से उसके आसन्न/विसर्ग सरणियों के द्वारा वर्णन किया जा सकता है। इन्हें एक बहुत ही कमजोर गणनीयता का अभिकरण माना जा सकता है, और सभी प्रथम-गणनीय स्थान अनुक्रमिक होते हैं। किसी भी सांस्थिति स्थान () में, यदि एक आसन्न सरणी किसी संवृत्त समुच्चय में समाविष्ट है, तो उस सरणी का सीमा भी में होना चाहिए।
अनुक्रमिक रिक्त स्थान वास्तव में वे सांस्थितिक रिक्त स्थान हैं जिनके लिए क्रमिक रूप से संवृत्त समुच्चय वास्तव में संवृत्त हैं। इन परिभाषाओं को क्रमिक रूप से विवृत्त समुच्चयों के संदर्भ में भी पुनरावर्तित किया जा सकता है दूसरे शब्दों मे कहे तो, किसी भी सांस्थिति को नेट के संदर्भ में वर्णित किया जा सकता है, लेकिन वे अनुक्रम बहुत लंबे हो सकते हैं एक अनुक्रम में संपीड़ित करने के लिए अनुक्रमिक रिक्त स्थान वे सांस्थितिक रिक्त स्थान हैं जिनके लिए गणनीय लंबाई के जाल अर्थात अनुक्रम सांस्थिति का वर्णन करने के लिए पर्याप्त हैं।
किसी भी सांस्थिति को एक अनुक्रमिक सांस्थिति के लिए संशोधित किया जा सकता है, जिसे का अनुक्रमिक परावर्तन कहा जाता है।
फ़्रेचेट-उरीसोहन रिक्त स्थान, T-अनुक्रमिक रिक्त स्थान, और की संबंधित अवधारणाएँ -अनुक्रमिक रिक्त स्थान को इस संदर्भ में भी परिभाषित किया जाता है कि किसी स्थान की सांस्थिति अनुक्रमों के साथ कैसे प्रभावित करती है, परंतु इसमें सूक्ष्म रूप से भिन्न गुण होते हैं।
एस. पी. फ्रैंकलिन ने अनुक्रमिक स्थान और N-अनुक्रमिक स्थान को प्रस्तुत किया था।.[1]
इतिहास
यद्यपि ऐसे गुणों को साधने वाले स्थानों का अध्ययन कई वर्षों से बिना किसी विशेष परिभाषा के किया जाता था, लेकिन पहली स्थानिक परिभाषा एस. पी. फ्रैंकलिन के द्वारा 1965 में दी गई थी। फ्रैंकलिन को "वह कक्षाएं जो अपनी आसन्न सरणियों के ज्ञान से पूरी तरह निर्धारित की जा सकती हैं" का पता लगाना था, और उन्होंने पहले-गणनीय स्थानों का अध्ययन किया, जिनके लिए पहले से ही ज्ञात था कि सरणियों की पर्याप्तता होती है। फिर फ्रैंकलिन ने पहले-गणनीय स्थानों की आवश्यक गुणों को संक्षेप में प्रस्तुत करके आधुनिक परिभाषा तय की।
प्रारंभिक परिभाषाएँ
यदि एक समुच्चय हो और में एक सरणी हो, अर्थात्, एक के तत्वों का परिवार हो, प्राक्तिन संख्याओं द्वारा अनुक्रमित। इस लेख में यह अर्थ होता है कि सभी सरणी के तत्व के तत्व हैं, और यदि एक अवलोकन हो, तो होता है। किसी भी प्राक्तिन के लिए, से शुरू होने वाली सरणी को की पूर्ववर्ती कहते हैं, जोकि सरणी
अनुक्रमिक समापन/आंतरिक
यदि एक संस्थानिक स्थान हो और एक उपसमूह हो, तो में की संस्थानिक संवृत्त(इंगित किया जाता है: ) और संस्थानिक आंतर (इंगित किया जाता है: ) इस प्रकार परिभाषित होते हैं:.
क्रमिक समापन in का समुच्चय है
यह एक नकारात्मक समुच्चय है जो संयोजन संगणक के रूप में प्राप्त होता है, यह अनुक्रमिक संवृत्तसंचालक को निर्धारित करता है। की पावर समुच्चय पर यह एक नकारात्मक अभिकल्पना है। आवश्यकता के अनुसार स्पष्टता के लिए, इस समुच्चय को यहां भी लिखा जा सकता है या । हमेशा सत्य होता है कि लेकिन उल्टा हो सकता है।
का अनुक्रमिक आंतरिक भाग में समुच्चय है जिसे निम्न रूप में परिभाषित किया जाता है:
अनुक्रमिक समापन और इंटीरियर संस्थानिक क्लोजर और इंटीरियर के कई अच्छे गुणों को संतुष्ट करते हैं: सभी उपसमूहों के लिए
निम्नलिखित सत्यापन किए जा सकते हैं।
और
. और ;
. ;
. ; और
.
इसका अर्थ है, अनुक्रमिक संवृत्त एक पूर्व-संवृत्त संचालक है। संस्थानिक संवृत्त के विपरीत, अनुक्रमिक संवृत्त स्वतंत्र नहीं होता है: अंतिम समावेशन सम्बंध अधिक सख्त हो सकता है। इस प्रकार, अनुक्रमिक संवृत्त संवृत्त संचालक नहीं होता है।
क्रमिक रूप से संवृत्त और विवृत्त समुच्चय
एक समुच्चय को क्रमशः संवृत्त कहा जाता है यदि हो; समकक्षता के अनुसार, हर और के लिए जहां हो, तो होना चाहिए।[note 1]
-
एक समुच्चय को क्रमशः विवृत्त कहा जाता है यदि उसका समपूरक क्रमशः संवृत्त होता है। समकक्षताएँ निम्नलिखित हैं:
एक समुच्चय को निम्न शर्तों के अनुसार क्रमशः विवृत्तकहा जाता है:
अनुक्रमिक रिक्त स्थान और परावर्तन
जैसा कि ऊपर चर्चा की गई है, अनुक्रमिक समापन सामान्य रूप से निष्क्रिय नहीं है, और इसलिए सांस्थिति का समापन संचालक नहीं है। कोई व्यक्ति परिमितातीत पुनरावृत्ति के माध्यम से एक निष्क्रिय अनुक्रमिक समापन प्राप्त कर सकता है: एक सफल अवधारक के लिए, लिए परिभाषित करें
अनुक्रमिक रिक्त स्थान
एक सांस्थितिक स्पेस अनुक्रमिक है यदि यह निम्नलिखित समकक्ष शर्तों में से किसी को संतुष्ट करता है:
-
<ली> इसका अपना अनुक्रमिक कोरफ्लेक्शन है।[4]
- प्रत्येक क्रमिक रूप से विवृत्तउपसमुच्चय विवृत्तहै.
- प्रत्येक क्रमिक रूप से संवृत्त उपसमूह संवृत्त है.
- किसी भी उपसमुच्चय के लिए वह है not संवृत्त किया वहाँ कुछ उपस्थित है[note 2] और एक क्रम जो कि एकत्रित हो जाता है [5]
- (सार्वभौमिक संपत्ति) प्रत्येक सांस्थितिक स्पेस के लिए नक्षा सतत कार्य (सांस्थिति) है यदि और केवल यदि यह अनुक्रमिक निरंतरता (यदि) है तब ).[6] प्रथम-गणनीय स्थान का भागफल है। एक मीट्रिक स्थान का भागफल है।
क्रमशः और पहचान मानचित्र पर होना सार्वभौमिक गुण में, यह इस प्रकार है कि अनुक्रमिक रिक्त स्थान के वर्ग में सटीक रूप से वे स्थान शामिल होते हैं जिनकी सांस्थितिक संरचना अभिसरण अनुक्रमों द्वारा निर्धारित होती है। यदि दो सांस्थिति अभिसरण अनुक्रमों पर सहमत हैं, तो उनके पास आवश्यक रूप से समान अनुक्रमिक कोरफ्लेक्शन होता है। इसके अलावा, से एक समारोह क्रमिक रूप से निरंतर है यदि और केवल यदि यह अनुक्रमिक कोरफ्लेक्शन पर क्रमिक है
T- और N-अनुक्रमिक रिक्त स्थान
क्रमशःT-अनुक्रमिक स्थान अनुक्रमिक क्रम 1 वाला एक सांस्थितिक स्थान है, जो निम्नलिखित में से किसी भी स्थिति के बराबर है:[1]- प्रत्येक उपसमुच्चय का अनुक्रमिक समापन क्रमिक रूप से संवृत्त है . या नपुंसक हैं.वह या
- कोई अनुक्रमिक पड़ोस अनुक्रमिक रूप से विवृत्त समुच्चय में सिकुड़ा जा सकता है जिसमें शामिल है ; औपचारिक रूप से, क्रमिक रूप से विवृत्त पड़ोस अनुक्रमिक पड़ोस के लिए पड़ोस का आधार हैं।
- किसी के लिए और कोई अनुक्रमिक पड़ोस का वहां एक अनुक्रमिक पड़ोस उपस्थित है का ऐसा कि, हर किसी के लिए समुच्चय का अनुक्रमिक पड़ोस है
T-क्रमशः स्थान होना और क्रमशः स्थान होना के बीच अज्ञातुल्य है; कुछ क्रमशः स्थान होते हैं जो T-क्रमशः नहीं होते हैं और उलटे भी संभव हैं। यद्यपि, एक सांस्थितिक स्थान को N-क्रमशः प्रतिवैस कहा जाता है यदि यह क्रमशः स्थान और T-क्रमशः स्थान दोनों होता है। एक समकक्षता शर्त यह है कि हर क्रमशः प्रतिवैस एक विवृत्त सम्मिलित करता है।.[1]
फ़्रेचेट-उरीसोहन रिक्त स्थान
एक सांस्थितिक स्पेस इसे फ़्रेचेट-उरीसोहन स्थान कहा जाता है|फ़्रेचेट-उरीसोहन यदि यह निम्नलिखित समकक्ष शर्तों में से किसी को संतुष्ट करता है:-
वंशानुगत रूप से अनुक्रमिक है; अर्थात्, प्रत्येक सांस्थितिक उपस्थान अनुक्रमिक है।
- प्रत्येक उपसमुच्चय के लिए
- किसी भी उपसमुच्चय के लिए वह संवृत्त नहीं है और हर इसमें एक क्रम उपस्थित है जो कि एकत्रित हो जाता है
फ़्रेचेट-उरीसोहन रिक्त स्थान को कभी-कभी फ़्रेचेट भी कहा जाता है, लेकिन कार्यात्मक विश्लेषण में न तो फ़्रेचेट रिक्त स्थान और न ही टी1 स्पेस टी के साथ भ्रमित होता है।
उदाहरण और पर्याप्त शर्तें
प्रत्येक CW-जटिलता क्रमशः होती है, क्योंकि इसे एक स्थान के भाजन के रूप में विचार किया जा सकता है।
ज़ारिस्की सांस्थिति के साथ एक कम्यूटेटिव नोथेरियन अंगूठी का प्राइम स्पेक्ट्रम अनुक्रमिक है।
असली लाइन लो और कोटिएंट स्पेस (सांस्थिति ) समुच्चय एक बिंदु तक पूर्णांकों का. मीट्रिक स्थान के भागफल के रूप में, परिणाम अनुक्रमिक है, लेकिन यह पहले गणनीय नहीं है।
प्रत्येक प्रथम-गणनीय स्थान फ़्रेचेट-उरीसोहन है और प्रत्येक फ़्रेचेट-उरीसोहन स्थान अनुक्रमिक है। इस प्रकार प्रत्येक मेट्रिज़ेबल या स्यूडोमेट्रिज़ेबल स्थान स्पेस - विशेष रूप से, प्रत्येक सेकंड-गणनीय स्पेस, मीट्रिक स्पेस, या असतत स्पेस - अनुक्रमिक है।
होने देना फ़्रेचेट-उरीसोहन स्थान से मानचित्रों का एक समुच्चय बनें|फ़्रेचेट-उरीसोहन स्थान से लेकर फिर अंतिम सांस्थिति वह प्रेरित करता है अनुक्रमिक है.
हॉसडॉर्फ़ सांस्थितिक वेक्टर स्पेस अनुक्रमिक है यदि और केवल तभी यदि समान अभिसरण अनुक्रमों के साथ कोई सख्ती से बेहतर सांस्थिति उपस्थित नहीं है।[7][8]
रिक्त स्थान जो अनुक्रमिक हैं लेकिन फ़्रेचेट-उरीसोहन नहीं
गैर-उदाहरण (रिक्त स्थान जो अनुक्रमिक नहीं हैं)
सबसे सरल स्थान जो अनुक्रमिक नहीं है वह समुच्चय पर सहगणनीय सांस्थिति है। ऐसे स्थान में प्रत्येक अभिसरण अनुक्रम अंततः स्थिर होता है; इसलिए प्रत्येक समुच्चय क्रमिक रूप से विवृत्तहै। लेकिन सहगणनीय सांस्थिति पृथक स्थान नहीं है। (कोई सांस्थिति को क्रमिक रूप से असतत कह सकता है।)[13] यदि वितरण को से निरूपित करें तो विहित सांस्थिति और बिलंब के साथ सुचारू परीक्षण कार्य करता है वितरण के स्थान, मजबूत दोहरे स्थान को निरूपित करें ; न तो अनुक्रमिक हैं।[9][10] दूसरी ओर, दोनों और मोंटेल अंतरिक्ष स्थान हैं[14] और, किसी भी मॉन्टेल स्पेस के निरंतर दोहरे स्थान में, निरंतर रैखिक कार्यात्मकताओं का एक क्रम मजबूत दोहरे स्थान में परिवर्तित होता है यदि और केवल यदि यह कमजोर सांस्थिति में परिवर्तित होता है ।[9][15]
परिणाम
प्रत्येक अनुक्रमिक स्थान में गणनीय जकड़न होती है और यह कॉम्पैक्ट रूप से उत्पन्न स्थान होता है।
यदि समुच्चय के बाद दो हॉसडॉर्फ अनुक्रमिक स्थानों के बीच एक निरंतर विवृत्तमानचित्र है अद्वितीय प्रीइमेज वाले बिंदुओं को संवृत्त कर दिया गया है। (निरंतरता से, इसकी पूर्वछवि भी वैसी ही है जिस पर सभी बिंदुओं का समुच्चय इंजेक्शन है.
यदि हॉसडॉर्फ़ अनुक्रमिक स्थान पर एक विशेषण मानचित्र (आवश्यक रूप से निरंतर नहीं) है और सांस्थिति के लिए आधार (सांस्थिति )। तब यदि और केवल यदि, प्रत्येक के लिए एक विवृत्त मानचित्र है बुनियादी पड़ोस का और क्रम में का एक क्रम है वह अंततः के अंदर है
श्रेणीबद्ध गुण
सभी अनुक्रमिक रिक्त स्थान की पूर्ण उपश्रेणी Seq सांस्थितिक रिक्त स्थान की श्रेणी (गणित) शीर्ष में निम्नलिखित परिचालनों के अंतर संवृत्त है:
- भागफल
- निरंतर संवृत्त या विवृत्त छवियां
- रकम
- आगमनात्मक सीमाएंTemplate:विवादित इनलाइन
- विवृत्तऔर संवृत्त सबस्पेस
Seq श्रेणी है not शीर्ष में निम्नलिखित परिचालनों के अंतर्गत संवृत्त किया गया:
- सतत छवियाँ
- उपस्थान
- परिमित उत्पाद
चूँकि वे सांस्थितिक योगों और भागफलों के अंतर्गत संवृत्त होते हैं, अनुक्रमिक रिक्त स्थान सांस्थितिक रिक्त स्थान की श्रेणी का एक कोरफ्लेक्टिव उपश्रेणी बनाते हैं। वास्तव में, वे मेट्रिज़ेबल रिक्त स्थान अर्थात्, योग और भागफल के अंतर्गत संवृत्त सांस्थितिक रिक्त स्थान का सबसे छोटा वर्ग और मेट्रिज़ेबल रिक्त स्थान युक्त हैं।
उपश्रेणी अपने स्वयं के उत्पाद के संबंध में एक कार्टेशियन संवृत्त श्रेणी है। घातीय वस्तुएं संवृत्त सांस्थिति से सुसज्जित हैं।
पी.आई. बूथ और ए. टिलोटसन ने दिखाया है कि टॉप की सबसे छोटी कार्टेशियन संवृत्त उपश्रेणी है जिसमें सभी मीट्रिक स्पेस, सीडब्ल्यू-कॉम्प्लेक्स और अलग-अलग मैनिफोल्ड्स के अंतर्निहित सांस्थितिक स्पेस शामिल हैं और यह कोलिमिट्स, भागफल और अन्य कुछ उचित पहचानों के तहत संवृत्त है जो नॉर्मन स्टीनरोड को सुविधाजनक बताया गया।[16].
प्रत्येक क्रमशः स्थान के लिए संपीड़नीय उत्पन्न होता है, और क्रमशः उत्पादों के लिए सीमित उत्पन्न के साथ समान होते हैं, क्योंकि सीमित उत्पन्नों के लिए उत्पाद सीमित उत्पादों के श्रेणी में उत्पन्नों के भाग को संरक्षित रखते हैं।
यह भी देखें
- Axiom of countability
- Closed graph property – Graph of a map closed in the product space
- First-countable space – Topological space where each point has a countable neighbourhood basis
- Fréchet–Urysohn space
- Sequence covering map
टिप्पणियाँ
- ↑ तुलनात्मकता के अनुसार आप असंख्य बहुभुजों पर एक साथ इस "परीक्षण" का लागू नहीं कर सकते हैं (उदाहरण के लिए, आप कुछ भी चुनने के चयन का अभियान की तरह कुछ नहीं कर सकते हैं)। सभी क्रमशः बंद स्थान वाले अवकलन स्थान Fréchet-Urysohn नहीं होते हैं, लेकिन केवल उन स्थानों में हम किसी सेट के बंद में किसी सेट को देखने की आवश्यकता होती है।
- ↑ A Fréchet–Urysohn space is defined by the analogous condition for all such :
For any subset that is not closed in for any there exists a sequence in that converges to
उद्धरण
- ↑ 1.0 1.1 1.2 Snipes, Ray (1972). "टी-अनुक्रमिक टोपोलॉजिकल रिक्त स्थान" (PDF). Fundamenta Mathematicae (in English). 77 (2): 95–98. doi:10.4064/fm-77-2-95-98. ISSN 0016-2736.
- ↑ *Arhangel'skiĭ, A. V.; Franklin, S. P. (1968). "Ordinal invariants for topological spaces". Michigan Math. J. 15 (3): 313–320. doi:10.1307/mmj/1029000034.
- ↑ Baron, S. (October 1968). "अनुक्रमिक स्थानों की कोरफ्लेक्टिव उपश्रेणी". Canadian Mathematical Bulletin (in English). 11 (4): 603–604. doi:10.4153/CMB-1968-074-4. ISSN 0008-4395. S2CID 124685527.
- ↑ "Topology of sequentially open sets is sequential?". Mathematics Stack Exchange.
- ↑ Arkhangel'skii, A.V. and Pontryagin L.S., General Topology I, definition 9 p.12
- ↑ Baron, S.; Leader, Solomon (1966). "Solution to Problem #5299". The American Mathematical Monthly. 73 (6): 677–678. doi:10.2307/2314834. ISSN 0002-9890. JSTOR 2314834.
- ↑ Wilansky 2013, p. 224.
- ↑ Dudley, R. M., On sequential convergence - Transactions of the American Mathematical Society Vol 112, 1964, pp. 483-507
- ↑ 9.0 9.1 9.2 Gabrielyan, Saak (25 Feb 2017). "सख्त $(LF)$-स्पेस के टोपोलॉजिकल गुण और मोंटेल सख्त $(LF)$-स्पेस के मजबूत दोहरे". arXiv:1702.07867v1 [math.FA].
- ↑ 10.0 10.1 T. Shirai, Sur les Topologies des Espaces de L. Schwartz, Proc. Japan Acad. 35 (1959), 31-36.
- ↑ Engelking 1989, Example 1.6.19
- ↑ Ma, Dan (19 August 2010). "एरेन्स स्थान के बारे में एक नोट". Retrieved 1 August 2013.
- ↑ math; Sleziak, Martin (Dec 6, 2016). "समान अभिसरण अनुक्रमों के साथ विभिन्न टोपोलॉजी का उदाहरण". Mathematics Stack Exchange (in English). StackOverflow. Retrieved 2022-06-27.
- ↑ "टोपोलॉजिकल वेक्टर स्पेस". Encyclopedia of Mathematics. Encyclopedia of Mathematics. Retrieved September 6, 2020.
It is a Montel space, hence paracompact, and so normal.
- ↑ Trèves 2006, pp. 351–359.
- ↑ Steenrod 1967
संदर्भ
- Arkhangel'skii, A.V. and Pontryagin, L.S., General Topology I, Springer-Verlag, New York (1990) ISBN 3-540-18178-4.
- Arkhangel'skii, A V (1966). "Mappings and spaces" (PDF). Russian Mathematical Surveys. 21 (4): 115–162. Bibcode:1966RuMaS..21..115A. doi:10.1070/RM1966v021n04ABEH004169. ISSN 0036-0279. S2CID 250900871. Retrieved 10 February 2021.
- Akiz, Hürmet Fulya; Koçak, Lokman (2019). "Sequentially Hausdorff and full sequentially Hausdorff spaces". Communications Faculty of Science University of Ankara Series A1Mathematics and Statistics. 68 (2): 1724–1732. doi:10.31801/cfsuasmas.424418. ISSN 1303-5991. Retrieved 10 February 2021.
- Boone, James (1973). "A note on mesocompact and sequentially mesocompact spaces". Pacific Journal of Mathematics. 44 (1): 69–74. doi:10.2140/pjm.1973.44.69. ISSN 0030-8730.
- Booth, Peter; Tillotson, J. (1980). "Monoidal closed, Cartesian closed and convenient categories of topological spaces". Pacific Journal of Mathematics. 88 (1): 35–53. doi:10.2140/pjm.1980.88.35. ISSN 0030-8730. Retrieved 10 February 2021.
- Engelking, R., General Topology, Heldermann, Berlin (1989). Revised and completed edition.
- Foged, L. (1985). "A characterization of closed images of metric spaces". Proceedings of the American Mathematical Society. 95 (3): 487–490. doi:10.1090/S0002-9939-1985-0806093-3. ISSN 0002-9939.
- Franklin, S. (1965). "Spaces in which sequences suffice" (PDF). Fundamenta Mathematicae. 57 (1): 107–115. doi:10.4064/fm-57-1-107-115. ISSN 0016-2736.
- Franklin, S. (1967). "Spaces in which sequences suffice II" (PDF). Fundamenta Mathematicae. 61 (1): 51–56. doi:10.4064/fm-61-1-51-56. ISSN 0016-2736. Retrieved 10 February 2021.
- Goreham, Anthony, "Sequential Convergence in Topological Spaces", (2016)
- Gruenhage, Gary; Michael, Ernest; Tanaka, Yoshio (1984). "Spaces determined by point-countable covers". Pacific Journal of Mathematics. 113 (2): 303–332. doi:10.2140/pjm.1984.113.303. ISSN 0030-8730.
- Michael, E.A. (1972). "A quintuple quotient quest". General Topology and Its Applications. 2 (2): 91–138. doi:10.1016/0016-660X(72)90040-2. ISSN 0016-660X.
- Shou, Lin; Chuan, Liu; Mumin, Dai (1997). "Images on locally separable metric spaces". Acta Mathematica Sinica. 13 (1): 1–8. doi:10.1007/BF02560519. ISSN 1439-8516. S2CID 122383748.
- Steenrod, N. E. (1967). "A convenient category of topological spaces". The Michigan Mathematical Journal. 14 (2): 133–152. doi:10.1307/mmj/1028999711. Retrieved 10 February 2021.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.