कोलमोगोरोव समष्टि: Difference between revisions

Separation axioms
in topological spaces
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;

Revision as of 12:28, 14 July 2023

सांस्थिति और गणित की संबंधित शाखाओं में,सांस्थितिक समष्टि X, T₀ समष्टि या कोलमोगोरोव समष्टि (एंड्री कोलमोगोरोव के नाम पर) है, यदि X के प्रत्येक अलग-अलग बिंदुओं के युग्म के लिए, उनमें से कम से कम एक में नेबरहुड (गणित) है जिसमें दूसरा शामिल नहीं है। T₀ समष्टि, सभी बिंदु सांस्थितिक रूप से भिन्न हैं।

इस स्थिति को T₀ स्थिति कहा जाता है, पृथक्करण सिद्धांतों में सबसे दुर्बल है। गणित में आमतौर पर अध्ययन किए जाने वाले लगभग सभी सांस्थितिक समष्टि T₀ हैं। विशेष रूप से, सभी T₁ समष्टि, यानी, वे सभी समष्टि जिनमें प्रत्येक अलग-अलग बिंदुओं के युग्म के लिए पड़ोस होता है, जिसमें दूसरा शामिल नहीं होता है, T₀ समष्टि होते हैं। इसमें सभी T₂ (या हॉसडॉर्फ) समष्टि, यानी, सभी सांस्थितिक समष्टि जिनमें अलग-अलग बिंदुओं पर असंयुक्त पड़ोस होते हैं। दूसरी दिशा में, प्रत्येक संयमी समष्टि (जो कि टी नहीं हो सकता है₁) T₀ है; इसमें किसी भी पद्धति (गणित) का अंतर्निहित सांस्थितिक समष्टि शामिल है। किसी भी सांस्थितिक समष्टि को देखते हुए कोई T₀ का निर्माण सांस्थितिक रूप से अविभाज्य बिंदुओं की तत्समक करके समष्टि कर सकता है ।

T₀ वे समष्टि जो T₁ नहीं हैं समष्टि वास्तव में वे समष्टि हैं जिनके लिए विशेषीकरण पूर्वक्रमी गैर-तुच्छ आंशिक क्रम है। ऐसे रिक्त समष्टि स्वाभाविक रूप से कंप्यूटर विज्ञान विशेष रूप से वस्त्वर्थक अर्थविज्ञान में होते हैं।

परिभाषा

T₀ समष्टि सांस्थितिक समष्टि है जिसमें अलग-अलग बिंदुओं का प्रत्येक युग्म सांस्थितिक रूप से भिन्न होता है। अर्थात्, किन्हीं दो अलग-अलग बिंदुओं x और y के लिए विवृत समुच्चय होता है जिसमें इनमें से एक बिंदु होता है और दूसरा नहीं होता है। अधिक सटीक रूप से सांस्थितिक समष्टि X कोलमोगोरोव या $\mathbf {T} _{0}$ है अगर और केवल अगर:^[1]

अगर

a,b\in X

और

a\neq b

, वहाँ विवृत समुच्चय O मौजूद है जैसे कि या तो

(a\in O)\wedge (b\notin O)

या

(a\notin O)\wedge (b\in O)

।

ध्यान दें कि सांस्थितिक रूप से भिन्न बिंदु स्वचालित रूप से भिन्न होते हैं। दूसरी ओर, यदि एकल समुच्चय {x} और {y} पृथक्कृत समुच्चय हैं तो बिंदु x और y को सांस्थितिक रूप से अलग होना चाहिए। वह है,

पृथक ⇒ सांस्थितिक रूप से भिन्न ⇒ भिन्न

सांस्थितिक रूप से भिन्न होने के गुण, सामान्य तौर पर, अलग होने की तुलना में अधिक मजबूत होती है लेकिन अलग होने की तुलना में दुर्बल होती है। T₀ समष्टि में, ऊपर दूसरा तीर भी उलट जाता है; बिंदु अलग-अलग हैं यदि और केवल तभी जब वे अलग-अलग हों। इस प्रकार T₀ स्वयंसिद्ध शेष पृथक्करण स्वयंसिद्धों के साथ अनुरूप है।

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

गणित में आमतौर पर अध्ययन किए जाने वाले लगभग सभी सांस्थितिक समष्टि T₀ हैं। विशेष रूप से, सभी हॉसडॉर्फ़ समष्टि|हॉसडॉर्फ़ (T₂) समष्टि, T₁ समष्टि और संयमी समष्टि T₀ हैं।

वे समष्टि जो T₀ नहीं हैं

तुच्छ सांस्थिति के साथ एक से अधिक तत्वों वाला समुच्चय है। कोई भी बिंदु अलग नहीं है।
समुच्चय R² जहां विवृत समुच्चय R और R में ही विवृत समुच्चय के कार्तीय गुणन हैं, यानी, सामान्य सांस्थिति के साथ R का उत्पाद सांस्थिति और तुच्छ सांस्थिति के साथ R ; बिंदु (a,b) और (a,c) अलग-अलग नहीं हैं।
वास्तविक रेखा R से सम्मिश्र समतल C तक सभी परिमेय फलन f का समष्टि इस प्रकार है कि लेब्सग समाकलन $\left(\int _{\mathbb {R} }|f(x)|^{2}\,dx\right)^{\frac {1}{2}}<\infty$ है, दो फलन जो लगभग हर जगह समान हैं, अप्रभेद्य हैं। नीचे भी देखें

समष्टि जो T₀ हैं लेकिन T₁ नहीं हैं

स्पेक (R) पर ज़ारिस्की सांस्थिति, क्रमविनिमेय वलय R का प्राइम स्पेक्ट्रम, हमेशा T₀ होता है लेकिन आम तौर पर T₁ नहीं हैं। गैर-सवृत बिंदु अभाज्य आदर्शों के अनुरूप हैं जो अधिकतम नहीं हैं। वे पद्धति (गणित) की समझ के लिए महत्वपूर्ण हैं।
कम से कम दो तत्वों वाले किसी भी समुच्चय पर विशेष बिंदु सांस्थिति T₀ है लेकिन T₁ नहीं है चूंकि विशेष बिंदु सवृत नहीं है (उसका सवृत होना संपूर्ण समष्टि है)। एक महत्वपूर्ण विशेष स्थिति सिएरपिंस्की समष्टि है जो समुच्चय {0,1} पर विशेष बिंदु सांस्थिति है।
कम से कम दो तत्वों वाले किसी भी समुच्चय पर अपवर्जित बिंदु सांस्थिति T₀ है लेकिन T₁ नहीं है एकमात्र सवृत बिंदु अपवर्जित बिंदु है।
आंशिक रूप से अनुक्रम किए गए समुच्चय पर अलेक्जेंडर सांस्थिति T₀ है लेकिन T₁ नहीं होगा जब तक कि अनुक्रम अलग न हो (समानता से सहमत हो)। प्रत्येक परिमित T₀ समष्टि इस प्रकार का है। इसमें विशेष मामलों के रूप में विशेष बिंदु और अपवर्जित बिंदु सांस्थिति भी शामिल हैं।
पूरी तरह से अनुक्रम किए गए समुच्चय पर सही क्रम सांस्थिति संबंधित उदाहरण है।
अतिव्यापन अंतराल सांस्थिति विशेष बिंदु सांस्थिति के समान है क्योंकि प्रत्येक गैर-रिक्त विवृत समुच्चय में 0 शामिल होता है।
आम तौर पर, सांस्थितिक समष्टि X, T₀ होगा यदि और केवल यदि X पर विशेषीकरण पूर्वक्रमी आंशिक अनुक्रम है। हालाँकि, X, T₁ होगा यदि और केवल यदि अनुक्रम असतत है (अर्थात समानता से सहमत है)। तो समष्टि T₀ होगा लेकिन T₁ नहीं होगा यदि और केवल यदि X पर विशेषीकरण पूर्वक्रमी गैर-अलग-अलग आंशिक अनुक्रम है।

T₀ के साथ संचालन समष्टि

आमतौर पर अध्ययन किए जाने वाले सांस्थितिक समष्टि के उदाहरण T₀ हैं। दरअसल, जब कई क्षेत्रों में गणितज्ञ, विशेष रूप से विश्लेषण (गणित) में, स्वाभाविक रूप से गैर-T₀ समष्टि पर चलाएँ, वे आम तौर पर उन्हें नीचे वर्णित तरीके से T₀ समष्टि, से प्रतिस्थापित करते हैं। शामिल विचारों को प्रेरित करने के लिए, प्रसिद्ध उदाहरण पर विचार करें। समष्टि L²(R) समष्टि का तात्पर्य वास्तविक रेखा R से सम्मिश्र समतल C तक सभी मापनीय फलनों f का समष्टि है, जैसे कि |f(x)|² का लेब्सग्यू अभिन्न अंग संपूर्ण वास्तविक रेखा पर परिमित समुच्चय है। यह समष्टि मानक ||f|| को परिभाषित करके मानक सदिश समष्टि बन जाना चाहिए उस अभिन्न का वर्गमूल होना। समस्या यह है कि यह वास्तव में मानक नहीं है, केवल सेमिनोर्म है, क्योंकि शून्य फलन के अलावा अन्य फलन भी हैं जिनके (अर्ध)मानदंड 0 (संख्या) हैं। मानक समाधान L²(R) को परिभाषित करना है सीधे फलन के समुच्चय के बजाय फलन के समतुल्य वर्गों के समुच्चय के रूप में परिभाषित करना है। यह मूल अर्ध-मानदंड सदिश समष्टि के भागफल समष्टि (सांस्थिति) का निर्माण करता है, और यह भागफल मानकीकृत सदिश समष्टि है। इसे अर्ध-मानदंड समष्टि से कई सुविधाजनक गुण विरासत में मिले हैं; नीचे देखें।

सामान्य तौर पर, समुच्चय X पर निश्चित सांस्थिति T के साथ संबोधित करते समय, यह सहायक होता है यदि वह सांस्थिति T₀ है। दूसरी ओर, जब X निश्चित है लेकिन T को कुछ सीमाओं के भीतर बदलने की अनुमति है, T को T₀ होने के लिए बाध्य करना असुविधाजनक हो सकता है, क्योंकि गैर-T₀ सांस्थिति अक्सर महत्वपूर्ण विशेष स्थिति होते हैं। इस प्रकार, दोनों T₀ और गैर-T₀ को समझना महत्वपूर्ण हो सकता है विभिन्न स्थितियों के संस्करण जिन्हें सांस्थितिक समष्टि पर रखा जा सकता है।

कोलमोगोरोव भागफल

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

सांस्थितिक समष्टि X और Y कोलमोगोरोव समतुल्य हैं जब उनके कोलमोगोरोव भागफल होमियोमोर्फिक होते हैं। सांस्थितिक समष्टि के कई गुण इस तुल्यता द्वारा संरक्षित हैं; अर्थात्, यदि X और Y कोलमोगोरोव समकक्ष हैं, तो X के पास ऐसी गुण है यदि और केवल यदि Y के पास है। दूसरी ओर, सांस्थितिक समष्टि के अधिकांश अन्य गुण T₀-नेस दर्शाते हैं; अर्थात्, यदि X के पास ऐसी कोई गुण है, तो X को T₀ होना चाहिए। केवल कुछ गुण, जैसे कि अविभाज्य समष्टि, इस नियम के अपवाद हैं। इससे भी बेहतर, सांस्थितिक समष्टि पर परिभाषित कई संरचनाएं (गणित) X और KQ(X) के बीच स्थानांतरित की जा सकती हैं। परिणाम यह है कि, यदि आपके पास गैर-T₀ है एक निश्चित संरचना या गुण के साथ सांस्थितिक समष्टि, तो आप आमतौर पर T₀ बना सकते हैं कोलमोगोरोव भागफल लेकर समान संरचनाओं और गुणों वाला समष्टि है।

L²(R) का उदाहरण इन सुविधाओं को प्रदर्शित करता है। सांस्थिति के दृष्टिकोण से, जिस अर्ध-मानदंड सदिश समष्टि से हमने प्रारंभ की थी, उसमें बहुत अधिक अतिरिक्त संरचना है; उदाहरण के लिए, यह सदिश समष्टि है, और इसमें अर्ध-मानदंड है, और ये छद्ममिति समष्टि और समान संरचना को परिभाषित करते हैं जो सांस्थिति के साथ संगत हैं। इसके अलावा, इन संरचनाओं के कई गुण हैं; उदाहरण के लिए, अर्ध-मानदंड समांतर चतुर्भुज तत्समक को संतुष्ट करता है और समान संरचना पूर्ण समष्टि है। समष्टि T₀ नहीं है चूँकि L में कोई दो फलन हैं²(R) जो लगभग हर जगह समान हैं, इस सांस्थिति से अप्रभेद्य हैं। जब हम कोलमोगोरोव भागफल बनाते हैं, तो वास्तविक एल²(R), ये संरचनाएं और संपत्तियां संरक्षित हैं। इस प्रकार, एल²(R) भी समांतर चतुर्भुज तत्समक को संतुष्ट करने वाला एक पूर्ण अर्ध-मानदंड सदिश समष्टि है। लेकिन वास्तव में हमें कुछ अधिक मिलता है, क्योंकि समष्टि अब टी है₀। एक सेमिनोर्म एक आदर्श है यदि और केवल यदि अंतर्निहित सांस्थिति टी है₀, तो एल²(R) वास्तव में समांतर चतुर्भुज तत्समक को संतुष्ट करने वाला एक पूर्ण मानक सदिश समष्टि है - जिसे हिल्बर्ट समष्टि के रूप में जाना जाता है। और यह एक हिल्बर्ट समष्टि है जिसका गणितज्ञ (और क्वांटम यांत्रिकी में भौतिक विज्ञानी) आम तौर पर अध्ययन करना चाहते हैं। ध्यान दें कि संकेतन एल²(R) आम तौर पर कोलमोगोरोव भागफल को दर्शाता है, वर्ग पूर्णांक फलन के समतुल्य वर्गों का समुच्चय जो कि माप शून्य के समुच्चय पर भिन्न होता है, न कि केवल वर्ग पूर्णांक फलन के सदिश समष्टि के बजाय जो नोटेशन सुझाता है।

टी हटाना₀

हालाँकि मानदंडों को ऐतिहासिक रूप से सबसे पहले परिभाषित किया गया था, लोग सेमीनॉर्म की परिभाषा के साथ भी आए, जो एक प्रकार का गैर-टी है₀ एक आदर्श का संस्करण। सामान्य तौर पर, गैर-टी को परिभाषित करना संभव है₀ सांस्थितिक समष्टि के गुणों और संरचनाओं दोनों के संस्करण। सबसे पहले, सांस्थितिक समष्टि की एक गुण पर विचार करें, जैसे हॉसडॉर्फ़ समष्टि इसके बाद कोई गुण को संतुष्ट करने के लिए समष्टि X को परिभाषित करके सांस्थितिक समष्टि की एक और गुण को परिभाषित कर सकता है यदि कोलमोगोरोव भागफल केक्यू (X) हॉसडॉर्फ है। यह एक समझदार, यद्यपि कम प्रसिद्ध गुण है; इस स्थिति में, ऐसे समष्टि X को पूर्व नियमित समष्टि कहा जाता है। (वहाँ पूर्व-नियमितता की एक अधिक प्रत्यक्ष परिभाषा भी सामने आती है)। अब एक ऐसी संरचना पर विचार करें जिसे सांस्थितिक समष्टि पर रखा जा सकता है, जैसे कि मीट्रिक समष्टि। हम X पर संरचना का एक उदाहरण केवल केक्यू (X) पर एक मीट्रिक देकर सांस्थितिक रिक्त समष्टि पर एक नई संरचना को परिभाषित कर सकते हैं। यह X पर एक समझदार संरचना है; यह एक स्यूडो मीट्रिक समष्टि है। (फिर से, छद्ममिति की एक अधिक प्रत्यक्ष परिभाषा है।)

इस तरह टी को दूर करने का एक प्राकृतिक तरीका है₀-किसी गुण या संरचना के लिए आवश्यकताओं से। आमतौर पर उन स्थानों का अध्ययन करना आसान होता है जो टी हैं₀, लेकिन उन संरचनाओं को अनुमति देना भी आसान हो सकता है जो टी नहीं हैं₀ एक संपूर्ण चित्र प्राप्त करने के लिए। टी₀ कोलमोगोरोव भागफल की अवधारणा का उपयोग करके आवश्यकता को मनमाने ढंग से युग्म या हटाया जा सकता है।

यह भी देखें

संयमीसमष्टि

संदर्भ

↑ Steenrod 1991, pp. 11.

Lynn Arthur Steen and J। Arthur Seebach, Jr।, Counterexamples in Topology। Springer-Verlag, New York, 1978। Reprinted by Dover Publications, New York, 1995। ISBN 0-486-68735-X (Dover edition)।

[FOOTNOTESteenrod199111-1] Steenrod 1991, pp. 11.

[1]

@@ Line 3: / Line 3: @@
 [[टोपोलॉजी|सांस्थिति]] और गणित की संबंधित शाखाओं में,[[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] ''X,'' '''T<sub>0</sub> समष्टि''' या '''कोलमोगोरोव समष्टि''' ([[एंड्री कोलमोगोरोव]] के नाम पर) है, यदि ''X'' के प्रत्येक अलग-अलग बिंदुओं के युग्म के लिए, उनमें से कम से कम एक में नेबरहुड (गणित) है जिसमें दूसरा शामिल नहीं है। T<sub>0</sub> समष्टि, सभी बिंदु [[स्थलाकृतिक रूप से भिन्न|सांस्थितिक रूप से भिन्न]] हैं।
-इस स्थिति को '''T<sub>0</sub> स्थिति''' कहा जाता है, पृथक्करण सिद्धांतों में सबसे दुर्बल है। गणित में आमतौर पर अध्ययन किए जाने वाले लगभग सभी सांस्थितिक समष्टि T<sub>0</sub> हैं। विशेष रूप से, सभी T<sub>1</sub> समष्टि, यानी, वे सभी समष्टि जिनमें प्रत्येक अलग-अलग बिंदुओं के युग्म के लिए पड़ोस होता है, जिसमें दूसरा शामिल नहीं होता है, T<sub>0</sub> समष्टि होते हैं। इसमें सभी T<sub>2</sub> (या हॉसडॉर्फ) समष्टि, यानी, सभी सांस्थितिक समष्टि जिनमें अलग-अलग बिंदुओं पर असंयुक्त पड़ोस होते हैं। दूसरी दिशा में, प्रत्येक [[शांत स्थान|संयमी समष्टि]] (जो कि टी नहीं हो सकता है<sub>1</sub>) T<sub>0</sub> है; इसमें किसी भी [[योजना (गणित)|पद्धति (गणित)]] का अंतर्निहित सांस्थितिक समष्टि शामिल है। किसी भी सांस्थितिक समष्टि को देखते हुए कोई T<sub>0</sub> का निर्माण सांस्थितिक रूप से अविभाज्य बिंदुओं की पहचान करके समष्टि कर सकता है ।
+इस स्थिति को '''T<sub>0</sub> स्थिति''' कहा जाता है, पृथक्करण सिद्धांतों में सबसे दुर्बल है। गणित में आमतौर पर अध्ययन किए जाने वाले लगभग सभी सांस्थितिक समष्टि T<sub>0</sub> हैं। विशेष रूप से, सभी T<sub>1</sub> समष्टि, यानी, वे सभी समष्टि जिनमें प्रत्येक अलग-अलग बिंदुओं के युग्म के लिए पड़ोस होता है, जिसमें दूसरा शामिल नहीं होता है, T<sub>0</sub> समष्टि होते हैं। इसमें सभी T<sub>2</sub> (या हॉसडॉर्फ) समष्टि, यानी, सभी सांस्थितिक समष्टि जिनमें अलग-अलग बिंदुओं पर असंयुक्त पड़ोस होते हैं। दूसरी दिशा में, प्रत्येक [[शांत स्थान|संयमी समष्टि]] (जो कि टी नहीं हो सकता है<sub>1</sub>) T<sub>0</sub> है; इसमें किसी भी [[योजना (गणित)|पद्धति (गणित)]] का अंतर्निहित सांस्थितिक समष्टि शामिल है। किसी भी सांस्थितिक समष्टि को देखते हुए कोई T<sub>0</sub> का निर्माण सांस्थितिक रूप से अविभाज्य बिंदुओं की तत्समक करके समष्टि कर सकता है ।
-T<sub>0</sub> वे समष्टि जो T<sub>1</sub> नहीं हैं समष्टि वास्तव में वे समष्टि हैं जिनके लिए [[विशेषज्ञता प्रीऑर्डर|विशेषीकरण प्रीऑर्डर]] गैर-तुच्छ आंशिक क्रम है। ऐसे रिक्त समष्टि स्वाभाविक रूप से [[कंप्यूटर विज्ञान]] विशेष रूप से [[सांकेतिक शब्दार्थ]] में होते हैं।
+T<sub>0</sub> वे समष्टि जो T<sub>1</sub> नहीं हैं समष्टि वास्तव में वे समष्टि हैं जिनके लिए [[विशेषज्ञता प्रीऑर्डर|विशेषीकरण पूर्वक्रमी]] गैर-तुच्छ आंशिक क्रम है। ऐसे रिक्त समष्टि स्वाभाविक रूप से [[कंप्यूटर विज्ञान]] विशेष रूप से [[सांकेतिक शब्दार्थ|वस्त्वर्थक अर्थविज्ञान]] में होते हैं।
 == परिभाषा ==
-पर<sub>0</sub> समष्टि एक सांस्थितिक समष्टि है जिसमें अलग-अलग बिंदुओं का प्रत्येक जोड़ा सांस्थितिक रूप से भिन्न होता है। अर्थात्, किन्हीं दो अलग-अलग बिंदुओं ''x'' और ''y'' के लिए एक [[खुला सेट]] होता है जिसमें इनमें से एक बिंदु होता है और दूसरा नहीं। अधिक सटीक रूप से सांस्थितिक समष्टि ''X'' कोलमोगोरोव या है <math>\mathbf T_0</math> अगर और केवल अगर:{{sfn|Steenrod|1991|pp=11}}
+'''T<sub>0</sub> समष्टि''' सांस्थितिक समष्टि है जिसमें अलग-अलग बिंदुओं का प्रत्येक युग्म सांस्थितिक रूप से भिन्न होता है। अर्थात्, किन्हीं दो अलग-अलग बिंदुओं ''x'' और ''y'' के लिए [[खुला सेट|विवृत समुच्चय]] होता है जिसमें इनमें से एक बिंदु होता है और दूसरा नहीं होता है। अधिक सटीक रूप से सांस्थितिक समष्टि ''X'' कोलमोगोरोव या <math>\mathbf T_0</math> है अगर और केवल अगर:{{sfn|Steenrod|1991|pp=11}}
-:अगर <math>a,b\in X</math> और <math>a\neq b</math>, वहाँ एक खुला सेट O मौजूद है जैसे कि या तो <math>(a\in O) \wedge (b\notin O)</math> या <math>(a\notin O) \wedge (b\in O)</math>.
+:अगर <math>a,b\in X</math> और <math>a\neq b</math>, वहाँ विवृत समुच्चय ''O'' मौजूद है जैसे कि या तो <math>(a\in O) \wedge (b\notin O)</math> या <math>(a\notin O) \wedge (b\in O)</math>।
-ध्यान दें कि सांस्थितिक रूप से भिन्न बिंदु स्वचालित रूप से भिन्न होते हैं। दूसरी ओर, यदि [[सिंगलटन सेट]] {x} और {y} अलग-[[अलग सेट]] हैं तो बिंदु x और y को सांस्थितिक रूप से अलग होना चाहिए। वह है,
+ध्यान दें कि सांस्थितिक रूप से भिन्न बिंदु स्वचालित रूप से भिन्न होते हैं। दूसरी ओर, यदि [[सिंगलटन सेट|एकल समुच्चय]] {x} और {y} [[अलग सेट|पृथक्कृत समुच्चय]] हैं तो बिंदु x और y को सांस्थितिक रूप से अलग होना चाहिए। वह है,
-:पृथक ⇒ सांस्थितिक रूप से भिन्न ⇒ भिन्न
+:''पृथक ⇒ सांस्थितिक रूप से भिन्न ⇒ भिन्न''
-सांस्थितिक रूप से भिन्न होने की संपत्ति, सामान्य तौर पर, अलग होने की तुलना में अधिक मजबूत होती है लेकिन अलग होने की तुलना में दुर्बल होती है। एक टी में<sub>0</sub> अंतरिक्ष, ऊपर दूसरा तीर भी उलट जाता है; बिंदु अलग-अलग हैं यदि और केवल तभी जब वे अलग-अलग हों। इस प्रकार टी<sub>0</sub> स्वयंसिद्ध शेष पृथक्करण स्वयंसिद्धों के साथ फिट बैठता है।
+सांस्थितिक रूप से भिन्न होने के गुण, सामान्य तौर पर, अलग होने की तुलना में अधिक मजबूत होती है लेकिन अलग होने की तुलना में दुर्बल होती है। T<sub>0</sub> समष्टि  में, ऊपर दूसरा तीर भी उलट जाता है; बिंदु अलग-अलग हैं यदि और केवल तभी जब वे अलग-अलग हों। इस प्रकार T<sub>0</sub> स्वयंसिद्ध शेष पृथक्करण स्वयंसिद्धों के साथ अनुरूप है।
 ==उदाहरण और प्रति उदाहरण==
-गणित में आमतौर पर अध्ययन किए जाने वाले लगभग सभी सांस्थितिक समष्टि टी हैं<sub>0</sub>. विशेष रूप से, सभी हॉसडॉर्फ़ समष्टि|हॉसडॉर्फ़ (टी<sub>2</sub>) रिक्त समष्टि, T1 समष्टि|T<sub>1</sub> रिक्त समष्टि और संयमीसमष्टि टी हैं<sub>0</sub>.
+गणित में आमतौर पर अध्ययन किए जाने वाले लगभग सभी सांस्थितिक समष्टि T<sub>0</sub> हैं। विशेष रूप से, सभी हॉसडॉर्फ़ समष्टि|हॉसडॉर्फ़ (T<sub>2</sub>) समष्टि, T<sub>1</sub> समष्टि और संयमी समष्टि T<sub>0</sub> हैं।
-===वे समष्टि जो T नहीं हैं<sub>0</sub>===
+===वे समष्टि जो T<sub>0</sub> नहीं हैं===
-*[[तुच्छ टोपोलॉजी|तुच्छ सांस्थिति]] के साथ एक से अधिक तत्वों वाला एक सेट। कोई भी बिंदु अलग नहीं है.
+*[[तुच्छ टोपोलॉजी|तुच्छ सांस्थिति]] के साथ एक से अधिक तत्वों वाला समुच्चय है। कोई भी बिंदु अलग नहीं है।
-*सेट आर<sup>2</sup> जहां खुले सेट आर और आर में ही एक खुले सेट के कार्टेशियन उत्पाद हैं, यानी, सामान्य सांस्थिति के साथ आर का [[उत्पाद टोपोलॉजी|उत्पाद सांस्थिति]] और तुच्छ सांस्थिति के साथ आर; अंक (''ए'',''बी'') और (''ए'',''सी'') अलग-अलग नहीं हैं।
+*समुच्चय '''R'''<sup>2</sup> जहां विवृत समुच्चय '''R''' और '''R''' में ही विवृत समुच्चय के कार्तीय गुणन हैं, यानी, सामान्य सांस्थिति के साथ '''R''' का [[उत्पाद टोपोलॉजी|उत्पाद सांस्थिति]] और तुच्छ सांस्थिति के साथ '''R''' ; बिंदु (''a,b'') और (''a,c'') अलग-अलग नहीं हैं।
-*वास्तविक रेखा आर से [[जटिल विमान]] सी तक सभी [[मापने योग्य कार्य]]ों ''एफ'' का समष्टि इस प्रकार है कि [[लेब्सग इंटीग्रल]] <math>\left(\int_{\mathbb{R}} |f(x)|^2 \,dx\right)^{\frac{1}{2}} < \infty </math>. दो कार्य जो [[लगभग हर जगह]] समान हैं, अप्रभेद्य हैं। नीचे भी देखें.
+*वास्तविक रेखा '''R''' से [[जटिल विमान|सम्मिश्र समतल]] '''C''' तक सभी परिमेय फलन ''f'' का समष्टि इस प्रकार है कि [[लेब्सग इंटीग्रल|लेब्सग समाकलन]] <math>\left(\int_{\mathbb{R}} |f(x)|^2 \,dx\right)^{\frac{1}{2}} < \infty </math>  है, दो फलन जो [[लगभग हर जगह]] समान हैं, अप्रभेद्य हैं। नीचे भी देखें
-===समष्टि जो T हैं<sub>0</sub> लेकिन टी नहीं<sub>1</sub>===
+===समष्टि जो T<sub>0</sub> हैं लेकिन T<sub>1</sub> नहीं हैं===
-*स्पेक (आर) पर [[ज़ारिस्की टोपोलॉजी|ज़ारिस्की सांस्थिति]], एक क्रमविनिमेय रिंग आर का [[प्राइम स्पेक्ट्रम]], हमेशा टी होता है<sub>0</sub> लेकिन आम तौर पर टी नहीं<sub>1</sub>. गैर-बंद बिंदु अभाज्य आदर्शों के अनुरूप हैं जो [[अधिकतम आदर्श]] नहीं हैं। वे पद्धति (गणित) की समझ के लिए महत्वपूर्ण हैं।
+*स्पेक (''R'') पर [[ज़ारिस्की टोपोलॉजी|ज़ारिस्की सांस्थिति]], क्रमविनिमेय वलय ''R'' का [[प्राइम स्पेक्ट्रम]], हमेशा T<sub>0</sub> होता है लेकिन आम तौर पर T<sub>1</sub> नहीं हैं। गैर-सवृत बिंदु अभाज्य आदर्शों के अनुरूप हैं जो [[अधिकतम आदर्श|अधिकतम]] नहीं हैं। वे पद्धति (गणित) की समझ के लिए महत्वपूर्ण हैं।
-*कम से कम दो तत्वों वाले किसी भी सेट पर [[विशेष बिंदु टोपोलॉजी|विशेष बिंदु सांस्थिति]] टी है<sub>0</sub> लेकिन टी नहीं<sub>1</sub> चूंकि विशेष बिंदु बंद नहीं है (उसका बंद होना संपूर्ण समष्टि है)। एक महत्वपूर्ण विशेष मामला सिएरपिंस्की समष्टि है जो सेट {0,1} पर विशेष बिंदु सांस्थिति है।
+*कम से कम दो तत्वों वाले किसी भी समुच्चय पर [[विशेष बिंदु टोपोलॉजी|विशेष बिंदु सांस्थिति]] T<sub>0</sub> है लेकिन T<sub>1</sub> नहीं है चूंकि विशेष बिंदु सवृत नहीं है (उसका सवृत होना संपूर्ण समष्टि है)। एक महत्वपूर्ण विशेष स्थिति सिएरपिंस्की समष्टि है जो समुच्चय {0,1} पर विशेष बिंदु सांस्थिति है।
-*कम से कम दो तत्वों वाले किसी भी सेट पर [[बहिष्कृत बिंदु टोपोलॉजी|बहिष्कृत बिंदु सांस्थिति]] टी है<sub>0</sub> लेकिन टी नहीं<sub>1</sub>. एकमात्र बंद बिंदु बहिष्कृत बिंदु है।
+*कम से कम दो तत्वों वाले किसी भी समुच्चय पर [[बहिष्कृत बिंदु टोपोलॉजी|अपवर्जित बिंदु सांस्थिति]] T<sub>0</sub> है लेकिन T<sub>1</sub> नहीं है एकमात्र सवृत बिंदु अपवर्जित बिंदु है।
-*आंशिक रूप से ऑर्डर किए गए सेट पर [[अलेक्जेंडर टोपोलॉजी|अलेक्जेंडर सांस्थिति]] टी है<sub>0</sub> लेकिन T नहीं होगा<sub>1</sub> जब तक कि आदेश अलग न हो (समानता से सहमत हो)। प्रत्येक परिमित टी<sub>0</sub> अंतरिक्ष इस प्रकार का है. इसमें विशेष मामलों के रूप में विशेष बिंदु और बहिष्कृत बिंदु सांस्थिति भी शामिल हैं।
+*आंशिक रूप से अनुक्रम किए गए समुच्चय पर [[अलेक्जेंडर टोपोलॉजी|अलेक्जेंडर सांस्थिति]] T<sub>0</sub> है लेकिन T<sub>1</sub> नहीं होगा जब तक कि अनुक्रम अलग न हो (समानता से सहमत हो)। प्रत्येक परिमित T<sub>0</sub> समष्टि इस प्रकार का है। इसमें विशेष मामलों के रूप में विशेष बिंदु और अपवर्जित बिंदु सांस्थिति भी शामिल हैं।
-*पूरी तरह से ऑर्डर किए गए सेट पर [[सही क्रम टोपोलॉजी|सही क्रम सांस्थिति]] एक संबंधित उदाहरण है।
+*पूरी तरह से अनुक्रम किए गए समुच्चय पर [[सही क्रम टोपोलॉजी|सही क्रम सांस्थिति]] संबंधित उदाहरण है।
-*[[ओवरलैपिंग अंतराल टोपोलॉजी|ओवरलैपिंग अंतराल सांस्थिति]] विशेष बिंदु सांस्थिति के समान है क्योंकि प्रत्येक गैर-रिक्त खुले सेट में 0 शामिल होता है।
+*[[ओवरलैपिंग अंतराल टोपोलॉजी|अतिव्यापन अंतराल सांस्थिति]] विशेष बिंदु सांस्थिति के समान है क्योंकि प्रत्येक गैर-रिक्त विवृत समुच्चय में 0 शामिल होता है।
-*आम तौर पर, एक सांस्थितिक समष्टि X, T होगा<sub>0</sub> यदि और केवल यदि X पर विशेषीकरण प्रीऑर्डर आंशिक ऑर्डर है। हालाँकि, X, T होगा<sub>1</sub> यदि और केवल यदि आदेश असतत है (अर्थात समानता से सहमत है)। तो एक समष्टि T होगा<sub>0</sub> लेकिन टी नहीं<sub>1</sub> यदि और केवल यदि X पर विशेषीकरण प्रीऑर्डर एक गैर-अलग-अलग आंशिक ऑर्डर है।
+*आम तौर पर, सांस्थितिक समष्टि X, T<sub>0</sub> होगा यदि और केवल यदि X पर विशेषीकरण पूर्वक्रमी आंशिक अनुक्रम है। हालाँकि, X, T<sub>1</sub> होगा यदि और केवल यदि अनुक्रम असतत है (अर्थात समानता से सहमत है)। तो समष्टि T<sub>0</sub> होगा लेकिन T<sub>1</sub> नहीं होगा यदि और केवल यदि X पर विशेषीकरण पूर्वक्रमी गैर-अलग-अलग आंशिक अनुक्रम है।
-==टी के साथ संचालन<sub>0</sub> रिक्त समष्टि ==
+==T<sub>0</sub> के साथ संचालन समष्टि ==
-आमतौर पर अध्ययन किए जाने वाले सांस्थितिक समष्टि के उदाहरण टी हैं<sub>0</sub>.
+आमतौर पर अध्ययन किए जाने वाले सांस्थितिक समष्टि के उदाहरण T<sub>0</sub> हैं। दरअसल, जब कई क्षेत्रों में गणितज्ञ, विशेष रूप से [[विश्लेषण (गणित)]] में, स्वाभाविक रूप से गैर-T<sub>0</sub> समष्टि पर चलाएँ, वे आम तौर पर उन्हें नीचे वर्णित तरीके से T<sub>0</sub> समष्टि, से प्रतिस्थापित करते हैं। शामिल विचारों को प्रेरित करने के लिए, प्रसिद्ध उदाहरण पर विचार करें। समष्टि  L<sup>2</sup>('''R''') समष्टि का तात्पर्य वास्तविक रेखा '''R''' से सम्मिश्र समतल '''C''' तक सभी मापनीय फलनों ''f'' का समष्टि है, जैसे कि |''f''(''x'')|<sup>2</sup> का लेब्सग्यू अभिन्न अंग संपूर्ण वास्तविक रेखा पर परिमित समुच्चय है। यह समष्टि मानक ||''f''|| को परिभाषित करके मानक सदिश समष्टि बन जाना चाहिए उस अभिन्न का वर्गमूल होना। समस्या यह है कि यह वास्तव में मानक नहीं है, केवल [[सेमिनोर्म]] है, क्योंकि शून्य फलन के अलावा अन्य फलन भी हैं जिनके (अर्ध)मानदंड [[0 (संख्या)]] हैं। मानक समाधान L<sup>2</sup>('''R''') को परिभाषित करना है सीधे फलन के समुच्चय के बजाय फलन के समतुल्य वर्गों के समुच्चय के रूप में परिभाषित करना है। यह मूल अर्ध-मानदंड सदिश समष्टि के [[भागफल स्थान (टोपोलॉजी)|भागफल समष्टि (सांस्थिति)]] का निर्माण करता है, और यह भागफल मानकीकृत सदिश समष्टि है। इसे अर्ध-मानदंड समष्टि से कई सुविधाजनक गुण विरासत में मिले हैं; नीचे देखें।
-दरअसल, जब कई क्षेत्रों में गणितज्ञ, विशेष रूप से [[विश्लेषण (गणित)]] में, स्वाभाविक रूप से गैर-टी में भाग लेते हैं<sub>0</sub> रिक्त समष्टि, वे आमतौर पर उन्हें टी से बदल देते हैं<sub>0</sub> रिक्त समष्टि, नीचे वर्णित तरीके से। शामिल विचारों को प्रेरित करने के लिए, एक प्रसिद्ध उदाहरण पर विचार करें। समष्टि एलपी समष्टि|एल<sup>2</sup>(R) का तात्पर्य वास्तविक रेखा R से जटिल समतल C तक सभी मापनीय फलनों ''f'' का समष्टि है, जैसे कि |''f''(''x'' का Lebesgue अभिन्न अंग ')|<sup>2</sup>संपूर्ण वास्तविक रेखा पर परिमित समुच्चय है।
-यह समष्टि मानक ||f| को परिभाषित करके एक मानक वेक्टर समष्टि बन जाना चाहिए उस अभिन्न का. समस्या यह है कि यह वास्तव में एक मानक नहीं है, केवल एक [[सेमिनोर्म]] है, क्योंकि शून्य फ़ंक्शन के अलावा अन्य फ़ंक्शन भी हैं जिनके (अर्ध)मानदंड [[0 (संख्या)]] हैं।
-मानक समाधान एल को परिभाषित करना है<sup>2</sup>(R) सीधे कार्यों के एक सेट के बजाय कार्यों के समतुल्य वर्गों का एक सेट होना।
-यह मूल सेमीनॉर्मड वेक्टर समष्टि के एक [[भागफल स्थान (टोपोलॉजी)|भागफल समष्टि (सांस्थिति)]] का निर्माण करता है, और यह भागफल एक मानकीकृत वेक्टर समष्टि है। इसे सेमीनोर्म्ड समष्टि से कई सुविधाजनक गुण विरासत में मिले हैं; नीचे देखें।
-सामान्य तौर पर, एक सेट ''X'' पर एक निश्चित सांस्थिति टी के साथ काम करते समय, यह सहायक होता है यदि वह सांस्थिति टी है<sub>0</sub>. दूसरी ओर, जब<sub>0</sub> असुविधाजनक हो सकता है, क्योंकि गैर-टी<sub>0</sub> सांस्थिति अक्सर महत्वपूर्ण विशेष मामले होते हैं। इस प्रकार, दोनों टी को समझना महत्वपूर्ण हो सकता है<sub>0</sub> और गैर-टी<sub>0</sub> विभिन्न स्थितियों के संस्करण जिन्हें सांस्थितिक समष्टि पर रखा जा सकता है।
+सामान्य तौर पर, समुच्चय ''X'' पर निश्चित सांस्थिति '''T''' के साथ संबोधित करते समय, यह सहायक होता है यदि वह सांस्थिति T<sub>0</sub> है। दूसरी ओर, जब X निश्चित है लेकिन '''T''' को कुछ सीमाओं के भीतर बदलने की अनुमति है, '''T''' को T<sub>0</sub> होने के लिए बाध्य करना असुविधाजनक हो सकता है, क्योंकि गैर-T<sub>0</sub> सांस्थिति अक्सर महत्वपूर्ण विशेष स्थिति होते हैं। इस प्रकार, दोनों T<sub>0</sub> और गैर-T<sub>0</sub> को समझना महत्वपूर्ण हो सकता है विभिन्न स्थितियों के संस्करण जिन्हें सांस्थितिक समष्टि पर रखा जा सकता है।
 == कोलमोगोरोव भागफल ==
-बिंदुओं की सांस्थितिक अविभाज्यता एक तुल्यता संबंध है। इससे कोई फर्क नहीं पड़ता कि सांस्थितिक समष्टि X किससे शुरू हो सकता है, इस तुल्यता संबंध के तहत कोटिएंट समष्टि (सांस्थिति) हमेशा टी होता है<sub>0</sub>. इस भागफल समष्टि को ''X'' का कोलमोगोरोव भागफल कहा जाता है, जिसे हम KQ(''X'') निरूपित करेंगे। निःसंदेह, यदि ''X'' T होता<sub>0</sub> आरंभ करने के लिए, KQ(X) और X [[प्राकृतिक (श्रेणी सिद्धांत)]] पूरी तरह से [[होम्योमॉर्फिक]] हैं।
+बिंदुओं की सांस्थितिक अविभाज्यता एक तुल्यता संबंध है। इससे कोई फर्क नहीं पड़ता कि सांस्थितिक समष्टि X किससे प्रारंभ हो सकता है, इस तुल्यता संबंध के तहत भागफल समष्टि (सांस्थिति) हमेशा T<sub>0</sub> होता है। इस भागफल समष्टि को ''X'' का '''कोलमोगोरोव भागफल''' कहा जाता है, जिसे हम ''KQ(X)'' निरूपित करेंगे। निःसंदेह, यदि ''X,'' T<sub>0</sub> आरंभ करने के लिए होता, ''KQ(X)'' और ''X'' [[प्राकृतिक (श्रेणी सिद्धांत)]] पूरी तरह से [[होम्योमॉर्फिक]] हैं। स्पष्ट रूप से, कोलमोगोरोव समष्टि सांस्थितिक समष्टि की परावर्तक उपश्रेणी है, और कोलमोगोरोव भागफल परावर्तक है।
-स्पष्ट रूप से, कोलमोगोरोव रिक्त समष्टि सांस्थितिक रिक्त समष्टि की एक परावर्तक उपश्रेणी है, और कोलमोगोरोव भागफल परावर्तक है।
-सांस्थितिक समष्टि X और वाई 'कोलमोगोरोव समतुल्य' हैं जब उनके कोलमोगोरोव भागफल होमियोमोर्फिक होते हैं। सांस्थितिक समष्टि के कई गुण इस तुल्यता द्वारा संरक्षित हैं; अर्थात्, यदि X और Y कोलमोगोरोव समकक्ष हैं, तो X के पास ऐसी संपत्ति है यदि और केवल यदि Y के पास है।
+सांस्थितिक समष्टि X और ''Y'' '''कोलमोगोरोव समतुल्य''' हैं जब उनके कोलमोगोरोव भागफल होमियोमोर्फिक होते हैं। सांस्थितिक समष्टि के कई गुण इस तुल्यता द्वारा संरक्षित हैं; अर्थात्, यदि ''X'' और ''Y'' कोलमोगोरोव समकक्ष हैं, तो ''X'' के पास ऐसी गुण है यदि और केवल यदि ''Y'' के पास है। दूसरी ओर, सांस्थितिक समष्टि के अधिकांश अन्य गुण T<sub>0</sub>-नेस दर्शाते हैं; अर्थात्, यदि ''X'' के पास ऐसी कोई गुण है, तो ''X'' को T<sub>0</sub> होना चाहिए। केवल कुछ गुण, जैसे कि अविभाज्य समष्टि, इस नियम के अपवाद हैं। इससे भी बेहतर, सांस्थितिक समष्टि पर परिभाषित कई संरचनाएं (गणित) ''X'' और KQ''(X)'' के बीच स्थानांतरित की जा सकती हैं। परिणाम यह है कि, यदि आपके पास गैर-T<sub>0</sub> है एक निश्चित संरचना या गुण के साथ सांस्थितिक समष्टि, तो आप आमतौर पर T<sub>0</sub> बना सकते हैं कोलमोगोरोव भागफल लेकर समान संरचनाओं और गुणों वाला समष्टि है।
-दूसरी ओर, सांस्थितिक समष्टि के अधिकांश अन्य गुण टी दर्शाते हैं<sub>0</sub>-नेस; अर्थात्, यदि X के पास ऐसी कोई संपत्ति है, तो X को T होना चाहिए<sub>0</sub>.
-केवल कुछ गुण, जैसे कि एक अविभाज्य समष्टि, इस नियम के अपवाद हैं।
-इससे भी बेहतर, सांस्थितिक समष्टि पर परिभाषित कई संरचनाएं (गणित) X और केक्यू (X) के बीच स्थानांतरित की जा सकती हैं।
-परिणाम यह है कि, यदि आपके पास गैर-टी है<sub>0</sub> एक निश्चित संरचना या संपत्ति के साथ सांस्थितिक समष्टि, तो आप आमतौर पर एक टी बना सकते हैं<sub>0</sub> कोलमोगोरोव भागफल लेकर समान संरचनाओं और गुणों वाला समष्टि।
-एल का उदाहरण<sup>2</sup>(R) इन सुविधाओं को प्रदर्शित करता है।
+L<sup>2</sup>('''R''') का उदाहरण इन सुविधाओं को प्रदर्शित करता है। सांस्थिति के दृष्टिकोण से, जिस अर्ध-मानदंड [[ सदिश स्थल |सदिश समष्टि]] से हमने प्रारंभ की थी, उसमें बहुत अधिक अतिरिक्त संरचना है; उदाहरण के लिए, यह सदिश समष्टि है, और इसमें अर्ध-मानदंड है, और ये [[स्यूडोमेट्रिक स्पेस|छद्ममिति समष्टि]] और समान संरचना को परिभाषित करते हैं जो सांस्थिति के साथ संगत हैं। इसके अलावा, इन संरचनाओं के कई गुण हैं; उदाहरण के लिए, अर्ध-मानदंड [[समांतर चतुर्भुज पहचान|समांतर चतुर्भुज तत्समक]] को संतुष्ट करता है और समान संरचना पूर्ण समष्टि है। समष्टि T<sub>0</sub> नहीं है चूँकि L में कोई दो फलन हैं<sup>2</sup>(R) जो लगभग हर जगह समान हैं, इस सांस्थिति से अप्रभेद्य हैं।
-सांस्थिति के दृष्टिकोण से, जिस सेमीनॉर्म्ड [[ सदिश स्थल ]] से हमने शुरुआत की थी, उसमें बहुत अधिक अतिरिक्त संरचना है; उदाहरण के लिए, यह एक वेक्टर समष्टि है, और इसमें एक सेमिनॉर्म है, और ये एक [[स्यूडोमेट्रिक स्पेस|स्यूडोमेट्रिक समष्टि]] और एक समान संरचना को परिभाषित करते हैं जो सांस्थिति के साथ संगत हैं।
-इसके अलावा, इन संरचनाओं के कई गुण हैं; उदाहरण के लिए, सेमिनॉर्म [[समांतर चतुर्भुज पहचान]] को संतुष्ट करता है और समान संरचना पूर्ण समष्टि है। समष्टि T नहीं है<sub>0</sub> चूँकि L में कोई दो कार्य हैं<sup>2</sup>(R) जो लगभग हर जगह समान हैं, इस सांस्थिति से अप्रभेद्य हैं।
 जब हम कोलमोगोरोव भागफल बनाते हैं, तो वास्तविक एल<sup>2</sup>(R), ये संरचनाएं और संपत्तियां संरक्षित हैं।
-इस प्रकार, एल<sup>2</sup>(R) भी समांतर चतुर्भुज पहचान को संतुष्ट करने वाला एक पूर्ण अर्ध-मानदंड सदिश समष्टि है।
+इस प्रकार, एल<sup>2</sup>(R) भी समांतर चतुर्भुज तत्समक को संतुष्ट करने वाला एक पूर्ण अर्ध-मानदंड सदिश समष्टि है।
-लेकिन वास्तव में हमें कुछ अधिक मिलता है, क्योंकि समष्टि अब टी है<sub>0</sub>.
+लेकिन वास्तव में हमें कुछ अधिक मिलता है, क्योंकि समष्टि अब टी है<sub>0</sub>।
-एक सेमिनोर्म एक आदर्श है यदि और केवल यदि अंतर्निहित सांस्थिति टी है<sub>0</sub>, तो एल<sup>2</sup>(R) वास्तव में समांतर चतुर्भुज पहचान को संतुष्ट करने वाला एक पूर्ण मानक वेक्टर समष्टि है - जिसे [[हिल्बर्ट स्थान|हिल्बर्ट समष्टि]] के रूप में जाना जाता है।
+एक सेमिनोर्म एक आदर्श है यदि और केवल यदि अंतर्निहित सांस्थिति टी है<sub>0</sub>, तो एल<sup>2</sup>(R) वास्तव में समांतर चतुर्भुज तत्समक को संतुष्ट करने वाला एक पूर्ण मानक सदिश समष्टि है - जिसे [[हिल्बर्ट स्थान|हिल्बर्ट समष्टि]] के रूप में जाना जाता है।
-और यह एक हिल्बर्ट समष्टि है जिसका गणितज्ञ (और [[क्वांटम यांत्रिकी]] में भौतिक विज्ञानी) आम तौर पर अध्ययन करना चाहते हैं। ध्यान दें कि संकेतन एल<sup>2</sup>(आर) आम तौर पर कोलमोगोरोव भागफल को दर्शाता है, वर्ग पूर्णांक कार्यों के समतुल्य वर्गों का सेट जो कि माप शून्य के सेट पर भिन्न होता है, न कि केवल वर्ग पूर्णांक कार्यों के वेक्टर समष्टि के बजाय जो नोटेशन सुझाता है।
+और यह एक हिल्बर्ट समष्टि है जिसका गणितज्ञ (और [[क्वांटम यांत्रिकी]] में भौतिक विज्ञानी) आम तौर पर अध्ययन करना चाहते हैं। ध्यान दें कि संकेतन एल<sup>2</sup>(R) आम तौर पर कोलमोगोरोव भागफल को दर्शाता है, वर्ग पूर्णांक फलन के समतुल्य वर्गों का समुच्चय जो कि माप शून्य के समुच्चय पर भिन्न होता है, न कि केवल वर्ग पूर्णांक फलन के सदिश समष्टि के बजाय जो नोटेशन सुझाता है।
 == टी हटाना<sub>0</sub> ==
-हालाँकि मानदंडों को ऐतिहासिक रूप से सबसे पहले परिभाषित किया गया था, लोग सेमीनॉर्म की परिभाषा के साथ भी आए, जो एक प्रकार का गैर-टी है<sub>0</sub> एक आदर्श का संस्करण. सामान्य तौर पर, गैर-टी को परिभाषित करना संभव है<sub>0</sub> सांस्थितिक समष्टि के गुणों और संरचनाओं दोनों के संस्करण। सबसे पहले, सांस्थितिक समष्टि की एक संपत्ति पर विचार करें, जैसे [[हॉसडॉर्फ़ स्थान|हॉसडॉर्फ़ समष्टि]] इसके बाद कोई संपत्ति को संतुष्ट करने के लिए समष्टि X को परिभाषित करके सांस्थितिक समष्टि की एक और संपत्ति को परिभाषित कर सकता है यदि कोलमोगोरोव भागफल केक्यू (X) हॉसडॉर्फ है। यह एक समझदार, यद्यपि कम प्रसिद्ध संपत्ति है; इस स्थिति में, ऐसे समष्टि X को [[पूर्व नियमित स्थान|पूर्व नियमित समष्टि]] कहा जाता है। (वहाँ पूर्व-नियमितता की एक अधिक प्रत्यक्ष परिभाषा भी सामने आती है)। अब एक ऐसी संरचना पर विचार करें जिसे सांस्थितिक समष्टि पर रखा जा सकता है, जैसे कि मीट्रिक समष्टि। हम X पर संरचना का एक उदाहरण केवल केक्यू (X) पर एक मीट्रिक देकर सांस्थितिक रिक्त समष्टि पर एक नई संरचना को परिभाषित कर सकते हैं। यह X पर एक समझदार संरचना है; यह एक स्यूडो[[ मीट्रिक स्थान | मीट्रिक समष्टि]] है। (फिर से, स्यूडोमेट्रिक की एक अधिक प्रत्यक्ष परिभाषा है।)
+हालाँकि मानदंडों को ऐतिहासिक रूप से सबसे पहले परिभाषित किया गया था, लोग सेमीनॉर्म की परिभाषा के साथ भी आए, जो एक प्रकार का गैर-टी है<sub>0</sub> एक आदर्श का संस्करण। सामान्य तौर पर, गैर-टी को परिभाषित करना संभव है<sub>0</sub> सांस्थितिक समष्टि के गुणों और संरचनाओं दोनों के संस्करण। सबसे पहले, सांस्थितिक समष्टि की एक गुण पर विचार करें, जैसे [[हॉसडॉर्फ़ स्थान|हॉसडॉर्फ़ समष्टि]] इसके बाद कोई गुण को संतुष्ट करने के लिए समष्टि X को परिभाषित करके सांस्थितिक समष्टि की एक और गुण को परिभाषित कर सकता है यदि कोलमोगोरोव भागफल केक्यू (X) हॉसडॉर्फ है। यह एक समझदार, यद्यपि कम प्रसिद्ध गुण है; इस स्थिति में, ऐसे समष्टि X को [[पूर्व नियमित स्थान|पूर्व नियमित समष्टि]] कहा जाता है। (वहाँ पूर्व-नियमितता की एक अधिक प्रत्यक्ष परिभाषा भी सामने आती है)। अब एक ऐसी संरचना पर विचार करें जिसे सांस्थितिक समष्टि पर रखा जा सकता है, जैसे कि मीट्रिक समष्टि। हम X पर संरचना का एक उदाहरण केवल केक्यू (X) पर एक मीट्रिक देकर सांस्थितिक रिक्त समष्टि पर एक नई संरचना को परिभाषित कर सकते हैं। यह X पर एक समझदार संरचना है; यह एक स्यूडो[[ मीट्रिक स्थान | मीट्रिक समष्टि]] है। (फिर से, छद्ममिति की एक अधिक प्रत्यक्ष परिभाषा है।)
-इस तरह टी को दूर करने का एक प्राकृतिक तरीका है<sub>0</sub>-किसी संपत्ति या संरचना के लिए आवश्यकताओं से। आमतौर पर उन स्थानों का अध्ययन करना आसान होता है जो टी हैं<sub>0</sub>, लेकिन उन संरचनाओं को अनुमति देना भी आसान हो सकता है जो टी नहीं हैं<sub>0</sub> एक संपूर्ण चित्र प्राप्त करने के लिए. टी<sub>0</sub> कोलमोगोरोव भागफल की अवधारणा का उपयोग करके आवश्यकता को मनमाने ढंग से जोड़ा या हटाया जा सकता है।
+इस तरह टी को दूर करने का एक प्राकृतिक तरीका है<sub>0</sub>-किसी गुण या संरचना के लिए आवश्यकताओं से। आमतौर पर उन स्थानों का अध्ययन करना आसान होता है जो टी हैं<sub>0</sub>, लेकिन उन संरचनाओं को अनुमति देना भी आसान हो सकता है जो टी नहीं हैं<sub>0</sub> एक संपूर्ण चित्र प्राप्त करने के लिए। टी<sub>0</sub> कोलमोगोरोव भागफल की अवधारणा का उपयोग करके आवश्यकता को मनमाने ढंग से युग्म या हटाया जा सकता है।
 == यह भी देखें ==
@@ Line 79: / Line 68: @@
 ==संदर्भ==
 {{Reflist}}
-*Lynn Arthur Steen and J. Arthur Seebach, Jr., ''Counterexamples in Topology''. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. {{ISBN|0-486-68735-X}} (Dover edition).
+*Lynn Arthur Steen and J। Arthur Seebach, Jr।, ''Counterexamples in Topology''। Springer-Verlag, New York, 1978। Reprinted by Dover Publications, New York, 1995। {{ISBN|0-486-68735-X}} (Dover edition)।
 [[Category: पृथक्करण अभिगृहीत]] [[Category: टोपोलॉजिकल रिक्त स्थान के गुण]]

Anonymous

Search

कोलमोगोरोव समष्टि: Difference between revisions

Namespaces

More

Page actions

Revision as of 12:28, 14 July 2023

Contents

परिभाषा

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

वे समष्टि जो T₀ नहीं हैं

समष्टि जो T₀ हैं लेकिन T₁ नहीं हैं

T₀ के साथ संचालन समष्टि

कोलमोगोरोव भागफल

टी हटाना₀

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Separation axioms in topological spaces
Kolmogorov classification
T₀	(Kolmogorov)
T₁	(Fréchet)
T₂	(Hausdorff)
T_2½	(Urysohn)
completely T₂	(completely Hausdorff)
T₃	(regular Hausdorff)
T_3½	(Tychonoff)
T₄	(normal Hausdorff)
T₅	(completely normal Hausdorff)
T₆	(perfectly normal Hausdorff)
History

Anonymous

Search

कोलमोगोरोव समष्टि: Difference between revisions

Revision as of 12:28, 14 July 2023

परिभाषा

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

वे समष्टि जो T0 नहीं हैं

समष्टि जो T0 हैं लेकिन T1 नहीं हैं

T0 के साथ संचालन समष्टि

कोलमोगोरोव भागफल

टी हटाना0

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories

वे समष्टि जो T₀ नहीं हैं

समष्टि जो T₀ हैं लेकिन T₁ नहीं हैं

T₀ के साथ संचालन समष्टि

टी हटाना₀