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

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 में हौसडॉर्फ रिक्त स्थान की पैथोलॉजिकल स्थिति से सुरक्षा के लिए उनका परिचय दिया था जिसकी एकमात्र निरंतर वास्तविक- मूल्यवान क्रिया स्थायी मानचित्र हैं।

परिभाषाएँ

File:VollständigRegulärerRaum.png

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

टोपोलॉजिकल स्थान $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_{\mathrm{\tau <!--\; \tau \; -->}}(X)=$