टायचोनॉफ स्पेस

Separation axioms in topological spaces
Kolmogorov classification
T0	(Kolmogorov)
T1	(Fréchet)
T2	(Hausdorff)
T2½	(Urysohn)
completely T2	(completely Hausdorff)
T3	(regular Hausdorff)
T3½	(Tychonoff)
T4	(normal Hausdorff)
T5	(completely normal  Hausdorff)
T6	(perfectly normal  Hausdorff)
History

टोपोलॉजी और गणित की संबंधित शाखाओं में टाइकोनॉफ़ स्थान और पूरी तरह से नियमित स्थान टोपोलॉजिकल स्थान के प्रकार हैं। ये स्थितियाँ पृथक्करण अभिगृहीतों के उदाहरण हैं। टाइकोनॉफ़ स्थान किसी भी पूरी तरह से नियमित स्थान को संदर्भित करता है जो हॉसडॉर्फ स्थान भी है वहाँ पूरी तरह से नियमित स्थान उपस्थित हैं जो टाइकोनॉफ नहीं हैं (अर्थात हौसडॉर्फ नहीं हैं)।

टायकोनॉफ़ रिक्त स्थान का नाम एंड्री निकोलाइविच तिखोनॉफ के नाम पर रखा गया है जिनके रूसी भाषा के नाम (Тихонов) को विभिन्न रूप से "ताइकोनोव", "तिखोनोव", "तिहोनोव", "तिचोनोव" आदि के रूप में प्रस्तुत किया गया है जिन्होंने 1930 में हौसडॉर्फ रिक्त स्थान की पैथोलॉजिकल स्थिति से बचने के लिए उनका परिचय दिया था जिसका एकमात्र निरंतर वास्तविक- मूल्यवान फंक्शन स्थायी मानचित्र हैं।

परिभाषाएँ

एक सतत समारोह के माध्यम से एक बंद समुच्चय से एक बिंदु का पृथक्करण।

टोपोलॉजिकल स्थान $X$ पूर्णतया नियमित कहा जाता है यदि बिंदुओं को बंद समुच्चयों से (बाध्य) निरंतर वास्तविक-मूल्यवान कार्यों के माध्यम से अलग किया जा सकता है। तकनीकी शब्दों में इसका अर्थ है किसी भी बंद समुच्चय $A\subseteq X$ के लिए और कोई बिंदु (ज्यामिति) $x\in X\setminus A$ ,अस्तित्वगत मात्रा का ठहराव वास्तविक-मूल्यवान निरंतर कार्य (टोपोलॉजी) $f:X\to \mathbb {R}$ इस प्रकार उपस्थित है कि $f(x)=1$ और $f\vert _{A}=0$ (समतुल्य रूप से इसके अतिरिक्त अन्य दो मान $0$ और $1$ चुन सकते हैं और यहां तक ​​कि मांग करते हैं कि $f$ एक बाध्य कार्य हो।)

टोपोलॉजिकल स्थान को टाइकोनॉफ़ स्थान कहा जाता है (वैकल्पिक रूप से:T_3½ स्थान, या T_π स्थान, या पूर्णतया T₃ स्थान) यदि यह पूरी तरह से नियमित हौसडॉर्फ स्थान है।

टिप्पणी- पूर्ण रूप से नियमित रिक्त स्थान और टाइकोनॉफ़ रिक्त स्थान कोलमोगोरोव तुल्यता की धारणा से संबंधित हैं। यदि टोपोलॉजिकल स्थान टायकोनॉफ़ है और यदि यह पूरी तरह से नियमित और कोलमोगोरोव स्थान दोनों T₀ है। दूसरी ओर एक स्थान पूरी तरह से नियमित है यदि और केवल यदि उसका कोलमोगोरोव भागफल टाइकोनॉफ़ है।

नामकरण परंपराएं

जब बात "पूर्ण रूप से से नियमित" और "T"-सिद्धांतों की आती है तो गणितीय साहित्य में भिन्न-भिन्न परंपराएँ लागू होती हैं। इस खंड की परिभाषाएँ विशिष्ट आधुनिक उपयोग में हैं। जबकि कुछ लेखक दो प्रकार के शब्दों के अर्थ परिवर्तित कर देते हैं या सभी शब्दों का परस्पर उपयोग करते हैं। विकिपीडिया में "पूर्ण रूप से से नियमित" और "टाइकोनॉफ" शब्द स्वतंत्र रूप से उपयोग किए जाते हैं और "T" -नोटेशन सामान्य रूप से टाला जाता है। मानक साहित्य में इस प्रकार सावधानी की सलाह दी जाती है यह पता लगाने के लिए कि लेखक किन परिभाषाओं का उपयोग कर रहा है। इस विवाद पर अधिक जानकारी के लिए पृथक्करण अभिगृहीतों का इतिहास देखें।

उदाहरण और प्रति उदाहरण

गणितीय विश्लेषण में अध्ययन किया गया लगभग हर टोपोलॉजिकल स्थान टाइकोनॉफ़ है, या कम से कम पूरी तरह से नियमित है। उदाहरण के लिए, मानक यूक्लिडियन अंतरिक्ष के तहत वास्तविक रेखा टाइकोनॉफ़ है। अन्य उदाहरणों में शामिल हैं:

• प्रत्येक मीट्रिक स्थान टाइकोनॉफ़ है; हर स्यूडोमेट्रिक स्थान पूरी तरह से नियमित है।
• प्रत्येक स्थानीय रूप से कॉम्पैक्ट नियमित स्थान पूरी तरह से नियमित है, और इसलिए प्रत्येक स्थानीय रूप से कॉम्पैक्ट हौसडॉर्फ स्थान टाइकोनॉफ़ है।
• विशेष रूप से, प्रत्येक टोपोलॉजिकल मैनिफोल्ड टाइकोनॉफ़ है।
• आदेश टोपोलॉजी के साथ हर पूरी तरह से ऑर्डर किया गया समुच्चय टाइकोनॉफ़ है।
• प्रत्येक सांस्थितिक समूह पूर्णतः नियमित होता है।
• मेट्रिक स्थान और टोपोलॉजिकल समूह दोनों का सामान्यीकरण करते हुए, हर एक समान स्थान पूरी तरह से नियमित है। इसका विलोम भी सत्य है: प्रत्येक पूर्णतः नियमित स्थान एकरूपता योग्य होता है।
• हर सीडब्ल्यू कॉम्प्लेक्स टाइकोनॉफ है।
• प्रत्येक सामान्य स्थान नियमित स्थान पूरी तरह से नियमित है, और प्रत्येक सामान्य हौसडॉर्फ स्थान टाइकोनॉफ़ है।
• नीमेत्ज़की विमान टाइकोनॉफ़ अंतरिक्ष का एक उदाहरण है जो सामान्य स्थान नहीं है।

गुण

संरक्षण

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

• पूरी तरह से नियमित या टाइकोनॉफ स्थान के हर सबस्थान (टोपोलॉजी) में एक ही संपत्ति होती है।
• एक गैर-खाली उत्पाद स्थान पूरी तरह से नियमित (क्रमशः टाइकोनॉफ़) होता है यदि और केवल यदि प्रत्येक कारक स्थान पूरी तरह से नियमित (क्रमशः टाइकोनॉफ़) हो।

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

वास्तविक-मूल्यवान निरंतर कार्य

किसी भी टोपोलॉजिकल स्थान के लिए $X,$ होने देना $C(X)$ वास्तविक-मूल्यवान सतत कार्य (टोपोलॉजी) के परिवार को निरूपित करें $X$ और जाने $C_{b}(X)$ परिबद्ध फलन वास्तविक-मूल्यवान सतत फलन का सबसमुच्चय हो।

पूरी तरह से नियमित रिक्त स्थान को इस तथ्य से चित्रित किया जा सकता है कि उनकी टोपोलॉजी पूरी तरह से निर्धारित होती है $C(X)$ या $C_{b}(X).$ विशेष रूप से:

• एक स्थान $X$ पूरी तरह से नियमित है अगर और केवल अगर इसके द्वारा प्रेरित प्रारंभिक टोपोलॉजी है $C(X)$ या $C_{b}(X).$
• एक स्थान $X$ पूरी तरह से नियमित है अगर और केवल अगर प्रत्येक बंद समुच्चय को शून्य समुच्चय के परिवार के चौराहे के रूप में लिखा जा सकता है $X$ (यानी शून्य समुच्चय के बंद समुच्चय के लिए आधार बनाते हैं $X$).
• एक स्थान $X$ पूरी तरह से नियमित है अगर और केवल अगर कोज़ीरो समुच्चय करता है $X$ की टोपोलॉजी के लिए एक आधार (टोपोलॉजी) बनाते हैं $X.$

एक मनमाना सामयिक स्थान दिया गया $(X,\tau )$ के साथ पूरी तरह से नियमित स्थान को जोड़ने का एक सार्वभौमिक तरीका है $(X,\tau ).$ बता दें कि ρ प्रारंभिक टोपोलॉजी है $X$ प्रेरक $C_{\tau }(X)$ या, समतुल्य, कोज़ीरो समुच्चय के आधार पर उत्पन्न टोपोलॉजी $(X,\tau ).$ तब ρ बेहतरीन टोपोलॉजी होगी, जिस पर पूरी तरह से नियमित टोपोलॉजी होगी $X$ वह इससे मोटा है $\tau .$ यह निर्माण इस अर्थ में सार्वभौमिक संपत्ति है कि कोई भी निरंतर कार्य करता है

$$f:(X,\tau )\to Y$$

पूरी तरह से नियमित स्थान पर $Y$ लगातार चालू रहेगा $(X,\rho ).$ श्रेणी सिद्धांत की भाषा में, जो ऑपरेटर भेजता है $(X,\tau )$ को $(X,\rho )$ समावेशन फ़ैक्टर CReg → शीर्ष के निकट छोड़ दिया गया है। इस प्रकार पूरी तरह से नियमित रिक्त स्थान की श्रेणी CReg, टॉप की एक चिंतनशील उपश्रेणी है, जो स्थलीय रिक्त स्थान की श्रेणी है। कोलमोगोरोव उद्धरण लेने से, कोई देखता है कि टाइकोनॉफ़ रिक्त स्थान की उपश्रेणी भी चिंतनशील है।

कोई यह दिखा सकता है $C_{\tau }(X)=C_{\rho }(X)$ उपरोक्त निर्माण में ताकि छल्ले $C(X)$ और $C_{b}(X)$ आम तौर पर केवल पूरी तरह से नियमित रिक्त स्थान के लिए अध्ययन किया जाता है $X.$ रियलकॉम्पैक्ट स्थान टाइकोनॉफ़ स्थान की श्रेणी रिंगों की श्रेणी के समकक्ष नहीं है $C(X)$ (कहाँ $X$ realcompact है) नक्शे के रूप में रिंग होमोमोर्फिज्म के साथ। उदाहरण के लिए कोई पुनर्निर्माण कर सकता है $X$ से $C(X)$ कब $X$ (वास्तविक) कॉम्पैक्ट है। इसलिए इन छल्लों का बीजगणितीय सिद्धांत गहन अध्ययन का विषय है। छल्ले के इस वर्ग का एक विशाल सामान्यीकरण जो अभी भी टाइकोनॉफ रिक्त स्थान के कई गुणों जैसा दिखता है, लेकिन वास्तविक बीजगणितीय ज्यामिति में भी लागू होता है, वास्तविक बंद छल्ले का वर्ग है।

एम्बेडिंग

Tychonoff रिक्त स्थान ठीक वे स्थान हैं जो कॉम्पैक्ट हौसडॉर्फ स्थान स्थान में टोपोलॉजिकल एम्बेडिंग हो सकते हैं। अधिक सटीक रूप से, प्रत्येक टाइकोनॉफ़ स्थान के लिए $X,$ एक कॉम्पैक्ट हौसडॉर्फ स्थान मौजूद है $K$ ऐसा है कि $X$ की एक उपसमष्टि के लिए होमियोमॉर्फिक है $K.$ वास्तव में, कोई हमेशा चुन सकता है $K$ टाइकोनॉफ क्यूब होना (अर्थात इकाई अंतराल का संभवतः अनंत उत्पाद)। टाइकोनॉफ के प्रमेय के परिणामस्वरूप प्रत्येक टाइकोनॉफ क्यूब कॉम्पैक्ट हॉसडॉर्फ है। चूंकि कॉम्पैक्ट हौसडॉर्फ अंतरिक्ष के प्रत्येक उप-स्थान टाइकोनॉफ के पास है:

एक टोपोलॉजिकल स्थान टाइकोनॉफ़ है अगर और केवल अगर इसे टाइकोनॉफ़ क्यूब में एम्बेड किया जा सकता है।

संघनन

विशेष रूप से रुचि वे एम्बेडिंग हैं जहां की छवि $X$ में घना उपसमुच्चय है $K;$ इन्हें हॉसडॉर्फ संघनन (गणित)गणित) कहा जाता है $X.$ टाइकोनॉफ स्थान के किसी भी एम्बेडिंग को देखते हुए $X$ एक कॉम्पैक्ट हौसडॉर्फ स्थान में $K$ की छवि का समापन (टोपोलॉजी)। $X$ में $K$ का संघनन है $X.$ उसी 1930 के लेख में जहां टाइकोनॉफ़ ने पूरी तरह से नियमित रिक्त स्थान को परिभाषित किया था, उन्होंने यह भी साबित किया कि प्रत्येक टाइकोनॉफ़ स्थान में हौसडॉर्फ कॉम्पेक्टिफिकेशन होता है।

उन हॉसडॉर्फ कॉम्पैक्टिफिकेशन में, एक अनोखा सबसे सामान्य है, स्टोन-चेक कॉम्पेक्टिफिकेशन $\beta X.$ यह सार्वभौमिक संपत्ति की विशेषता है, जिसे एक निरंतर नक्शा दिया गया है $f$ से $X$ किसी अन्य कॉम्पैक्ट हौसडॉर्फ स्थान के लिए $Y,$ एक अनोखा (गणित) निरंतर नक्शा है $g:\beta X\to Y$ जो फैलता है $f$ इस अर्थ में कि $f$ की संरचना (कार्य) है $g$ और $j.$

समान संरचना

पूर्ण नियमितता एक सामयिक स्थान पर समान संरचनाओं के अस्तित्व के लिए आवश्यक शर्त है। दूसरे शब्दों में, प्रत्येक समान स्थान में एक पूरी तरह से नियमित टोपोलॉजी और प्रत्येक पूरी तरह से नियमित स्थान होता है $X$ एकरूप करने योग्य है। एक टोपोलॉजिकल स्थान एक अलग समान संरचना को स्वीकार करता है यदि और केवल अगर यह टाइकोनॉफ़ है।

पूरी तरह से नियमित स्थान दिया गया $X$ आमतौर पर एक से अधिक एकरूपता होती है $X$ की टोपोलॉजी के अनुकूल है $X.$ हालाँकि, हमेशा एक बेहतरीन संगत एकरूपता होगी, जिसे फ़ाइन एकरूपता कहा जाता है $X.$ अगर $X$ Tychonoff है, तो समान संरचना को चुना जा सकता है $\beta X$ एक समान स्थान का समापन (टोपोलॉजी) हो जाता है $X.$

यह भी देखें

• Stone–Čech compactification

ग्रन्थसूची

• Gillman, Leonard; Jerison, Meyer (1960). Rings of continuous functions. Graduate Texts in Mathematics, No. 43 (Dover reprint ed.). NY: Springer-Verlag. p. xiii. ISBN 978-048681688-3.
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• Willard, Stephen (1970). General Topology (Dover reprint ed.). Reading, Massachusetts: Addison-Wesley Publishing Company. ISBN 0-486-43479-6.