View source for कुराटोव्स्की क्लोजर एक्सिओम्स

[[टोपोलॉजी]] और गणित की संबंधित शाखाओं में, कुराटोव्स्की क्लोजर [[स्वयंसिद्ध]] स्वयंसिद्धों का समूह है जिसका उपयोग [[सेट (गणित)|समुच्चय (गणित)]] पर सांस्थितिकीय संरचना को परिभाषित करने के लिए किया जा सकता है। वे अधिक सामान्यतः उपयोग किए जाने वाले खुले समुच्चय की परिभाषा के सामान्य हैं। उन्हें सबसे पहले [[काज़िमिर्ज़ कुराटोव्स्की]] द्वारा औपचारिक रूप दिया गया था। <ref name=":3">{{Harvp|Kuratowski|1922}}.</ref> और इस विचार का आगे अन्य गणितज्ञों जैसे वाक्ला सिएरपिन्स्की और एंटोनियो मोंटेइरो  द्वारा अध्ययन किया गया।

आंतरिक  (टोपोलॉजी) या आंतरिक  प्रचालक की केवल दोहरी धारणा का उपयोग करके टोपोलॉजिकल संरचना को परिभाषित करने के लिए स्वयंसिद्धों के समान समुच्चय का उपयोग किया जा सकता है। <ref name=":2" />
== परिभाषा ==

=== कुराटोव्स्की क्लोजर प्रचालक्स और कमजोरियाँ ===
<math>X</math> इच्छानुसार समुच्चय हो और <math>\wp(X)</math> इसका [[सत्ता स्थापित]] कुराटोव्स्की क्लोजर प्रचालक [[एकात्मक ऑपरेशन]] है जो <math>\mathbf{c}:\wp(X) \to \wp(X)</math> को निम्नलिखित गुणों के साथ:

{{Quote frame|
quote='''[K1]'''यह 'खाली समुच्चय को संरक्षित करता है': <math> \mathbf{c}(\varnothing) = \varnothing </math>;

'''[K2]'''यह ''व्यापक'' है: सभी के लिए <math>A \subseteq X</math>, <math> A \subseteq \mathbf{c}(A)</math>;

'''[K3]'''यह 'उदासीन' है: सभी के लिए <math>A \subseteq X</math>, <math> \mathbf{c}(A) = \mathbf{c}(\mathbf{c}(A))</math>;

'''[K4]''' यह {{em|संरक्षित}}/{{em|[[वितरण गुण|वितरित करता है]] बाइनरी यूनियन}}: सभी के लिए <math>A,B \subseteq X</math>, <math> \mathbf{c}(A \cup B) = \mathbf{c}(A) \cup \mathbf{c}(B)</math>.
}}
का परिणाम <math>\mathbf{c}</math> बाइनरी यूनियनों को संरक्षित करना निम्न शर्त है: <ref>{{Harvp|Pervin|1964|p=43}}, Exercise 6.</ref>
{{Quote frame|quote='''[K4']'''यह ''[[मोनोटोनिक फंक्शन|मोनोटोन]] है'': <math> A \subseteq B \Rightarrow \mathbf{c}(A) \subseteq \mathbf{c}(B) </math>.}}
वास्तव में यदि हम [K4] में समानता को समावेशन के रूप में फिर से लिखते हैं, तो कमजोर स्वयंसिद्ध [K4<nowiki>''</nowiki>] (सबअडिटीविटी) देते हुए:
{{Quote frame|quote='''[K4<nowiki>''</nowiki>]''' 
यह ''सबएडिटिव'' है: सभी के लिए<math>A,B \subseteq X</math>, <math> \mathbf{c}(A \cup B) \subseteq \mathbf{c}(A) \cup \mathbf{c}(B)</math>,}}
तो यह देखना आसान है कि अभिगृहीत [K4'] और [K4<nowiki>''</nowiki>] एक साथ [K4] के समतुल्य हैं (नीचे प्रमाण 2 का अगला-से-अंतिम पैराग्राफ देखें)।

{{Harvp|कुराटोव्स्की|1966}} पाँचवाँ (वैकल्पिक) स्वयंसिद्ध सम्मिलित है जिसके लिए आवश्यक है कि सिंगलटन समुच्चय क्लोजर के अनुसार स्थिर होना चाहिए: सभी के लिए <math>x \in X</math>, <math>\mathbf{c}(\{x\}) = \{x\}</math>. वह टोपोलॉजिकल रिक्त स्थान को संदर्भित करता है जो सभी पांच सिद्धांतों को ''T<sub>1</sub>'' के रूप में संतुष्ट करता है अधिक सामान्य स्थानों के विपरीत स्थान जो केवल चार सूचीबद्ध स्वयंसिद्धों को संतुष्ट करते हैं। वास्तव में, ये रिक्त स्थान बिल्कुल ''T<sub>1</sub>'' स्थान है | टोपोलॉजिकल ''T<sub>1</sub>'' के अनुरूप हैं-सामान्य पत्राचार के माध्यम से रिक्त स्थान (नीचे देखें)। <ref name=":0">{{Harvp|Kuratowski|1966|p=38}}.</ref>

यदि आवश्यकता [K3] को छोड़ दिया जाता है, तो सिद्धांत चेक क्लोजर प्रचालक को परिभाषित करते हैं। <ref>{{Harvp|Arkhangel'skij|Fedorchuk|1990|p=25}}.</ref> यदि इसके अतिरिक्त [K1] को छोड़ दिया जाता है, तो [K2], [K3] और [K4'] को संतुष्ट करने वाले प्रचालक को मूर क्लोजर प्रचालक कहा जाता है। <ref>{{Cite web|url=https://ncatlab.org/nlab/show/Moore+closure#InTermsOfClosureOperators|title=Moore closure|date=March 7, 2015|website=nLab|access-date=August 19, 2019}}</ref> एक जोड़ी <math>(X, \mathbf{c})</math> से संतुष्ट स्वयंसिद्धों के आधार पर कुराटोस्की, चेक या मूर क्लोजर स्पेस <math>\mathbf{c}</math> कहा जाता है .

=== वैकल्पिक स्वयंसिद्धीकरण ===
चार कुराटोव्स्की क्लोजर स्वयंसिद्धों को एक ही स्थिति से बदला जा सकता है, जिसे पेरविन द्वारा दिया गया है: <ref>{{Harvp|Pervin|1964|p=42}}, Exercise 5.</ref>
{{Quote frame|quote='''[P]'''सभी के लिए <math>A,B \subseteq X</math>, <math>A \cup \mathbf{c}(A) \cup \mathbf{c}(\mathbf{c}(B)) = \mathbf{c}(A \cup B) \setminus \mathbf{c}(\varnothing)</math>.}}
अभिगृहीत [K1]-[K4] इस आवश्यकता के परिणामस्वरूप प्राप्त किया जा सकता है:

# चुनना <math>A = B = \varnothing</math>. तब <math>\varnothing \cup \mathbf{c}(\varnothing) \cup \mathbf{c}(\mathbf{c}(\varnothing)) = \mathbf{c}(\varnothing) \setminus \mathbf{c}(\varnothing) = \varnothing</math>, या <math>\mathbf{c}(\varnothing) \cup \mathbf{c}(\mathbf{c}(\varnothing)) = \varnothing</math>. यह तुरंत [K1] का तात्पर्य है।
# इच्छानुसार चुनें <math>A \subseteq X</math> और <math>B = \varnothing</math>. फिर अभिगृहीत [K1] को प्रयुक्त करने पर, <math>A \cup \mathbf{c}(A) = \mathbf{c}(A)</math>, जिसका अर्थ है [K2]।
# चुनना <math>A = \varnothing</math> और इच्छानुसार <math>B \subseteq X</math>. फिर अभिगृहीत [K1] को प्रयुक्त करने पर, <math>\mathbf{c}(\mathbf{c}(B)) = \mathbf{c}(B)</math>, जो [K3] है।
# इच्छानुसार चुनें <math>A,B \subseteq X</math>. अभिगृहीत [K1]-[K3] को प्रयुक्त करने पर, [K4] की व्युत्पत्ति होती है।

वैकल्पिक रूप से, {{Harvp|मोंटीरो|1945}} कमजोर अभिगृहीत का प्रस्ताव किया था जिसमें केवल [K2]-[K4] सम्मिलित है: <ref>{{Harvp|Monteiro|1945|p=158}}.</ref>
{{Quote frame|quote='''[M]''' सभी के लिए <math>A,B \subseteq X</math>, <math display="inline">A \cup \mathbf{c}(A)\cup \mathbf{c}(\mathbf{c}(B)) \subseteq \mathbf{c}(A \cup B)</math>.}}
आवश्यकता [K1] [M] से स्वतंत्र है: वास्तव में, यदि <math>X \neq \varnothing</math>, परिचालक <math>\mathbf{c}^\star : \wp(X) \to \wp(X)</math> निरंतर कार्य द्वारा परिभाषित <math>A \mapsto \mathbf{c}^\star(A) := X</math> संतुष्ट करता है [एम] किन्तुखाली समुच्चय को संरक्षित नहीं करता है, क्योंकि <math>\mathbf{c}^\star(\varnothing) = X</math>. ध्यान दें कि, परिभाषा के अनुसार, [एम] को संतुष्ट करने वाला कोई भी प्रचालक मूर क्लोजर प्रचालक है।

[एम] के लिए अधिक सममित विकल्प भी एम. ओ. बोटेल्हो और एम. एच.टेक्सेरा द्वारा स्वयंसिद्ध [K2] - [K4] को प्रयुक्त करने के लिए सिद्ध किया गया था: <ref name=":1">{{Harvp|Monteiro|1945|p=160}}.</ref>
{{Quote frame|quote='''[BT]''' सभी के लिए <math>A,B \subseteq X</math>, <math display="inline">A \cup B \cup \mathbf{c}(\mathbf{c}(A)) \cup \mathbf{c}(\mathbf{c}(B)) = \mathbf{c}(A \cup B)</math>.}}


== अनुरूप संरचनाएं ==

=== आंतरिक, बाहरी और सीमा संचालक ===
कुराटोव्स्की क्लोजर प्रचालकों के लिए दोहरी धारणा कुराटोव्स्की आंतरिक  प्रचालक की है, जो एक नक्शा है <math>\mathbf{i} : \wp(X) \to \wp(X)</math> निम्नलिखित समान आवश्यकताओं को पूरा करना: <ref name=":2">{{Harvp|Pervin|1964|p=44}}.</ref>

{{Quote frame|quote='''[I1]''' यह '' कुल स्थान को संरक्षित करता है '': <math> \mathbf{i}(X) = X </math>;

'''[I2]'''यह 'गहन' है: सभी के लिए <math>A \subseteq X</math>, <math> \mathbf{i}(A) \subseteq A</math>;

'''[I3]''' यह 'उदासीन' है: सभी के लिए <math>A \subseteq X</math>, <math> \mathbf{i}(\mathbf{i}(A)) = \mathbf{i}(A)</math>;

'''[I4]'''यह ''द्विआधारी चौराहों को संरक्षित करता है'': सभी के लिए<math>A,B \subseteq X</math>, <math> \mathbf{i}(A \cap B) = \mathbf{i}(A) \cap \mathbf{i}(B)</math>.}}
इन प्रचालकों के लिए, कोई भी ऐसे निष्कर्ष पर पहुंच सकता है जो पूरी तरह से कुराटोव्स्की बंद होने के अनुमान के अनुरूप है। उदाहरण के लिए, सभी कुराटोव्स्की आंतरिक  प्रचालक आइसोटोनिक हैं, अर्थात वे '[K4']' को संतुष्ट करते हैं, और तीव्रता '[I2]' के कारण, '[I3]' में समानता को साधारण समावेशन में कमजोर करना संभव है।

कुराटोव्स्की क्लोजर और आंतरिक  के बीच का द्वंद्व प्राकृतिक 'पूरक प्रचालक' द्वारा प्रदान किया गया है <math>\wp(X)</math>, वो नक्शा <math>\mathbf{n} : \wp(X) \to \wp(X)</math> भेजना <math>A \mapsto \mathbf{n}(A):= X \setminus A</math>. यह नक्शा पावर समुच्चय जाली पर [[orthocomplementation|ऑर्थोकोमप्लिमेंटेशन]] है, जिसका अर्थ है कि यह डी मॉर्गन के नियमों को संतुष्ट करता है: यदि <math>\mathcal{I}</math> सूचकांकों का एक इच्छानुसार समुच्चय है और <math>\{A_i\}_{i\in\mathcal I} \subseteq \wp(X)</math> जो,
<math display="block">
  \mathbf{n}\left(\bigcup_{i \in \mathcal I} A_i\right) = \bigcap_{i\in \mathcal I} \mathbf{n}(A_i), \qquad
  \mathbf{n}\left(\bigcap_{i \in \mathcal I} A_i\right) = \bigcup_{i\in \mathcal I} \mathbf{n}(A_i).
</math>
के परिभाषित गुणों के साथ, इन कानूनों को नियोजित करके <math>\mathbf{n}</math>, कोई यह दिखा सकता है कि परिभाषित संबंध के माध्यम से कोई भी कुराटोव्स्की आंतरिक  कुराटोव्स्की क्लोजर (और इसके विपरीत) को प्रेरित करता है <math>\mathbf {c} := \mathbf{nin}</math> (और <math>\mathbf {i} := \mathbf{ncn}</math>). संबंधित हर परिणाम, प्राप्त किया और <math>\mathbf{c}</math> को संबंधित परिणाम में परिवर्तित किया जा सकता है <math>\mathbf{i}</math> इन संबंधों को ऑर्थोकोमप्लिमेंटेशन <math>\mathbf{n}</math> के गुणों के साथ जोड़कर,

{{Harvp|परवीन|1964}} आगे कुराटोव्स्की बाहरी संचालकों के लिए अनुरूप अभिगृहीत प्रदान करता है <ref name=":2" /> और कुराटोव्स्की सीमा संचालक, <ref>{{Harvp|Pervin|1964|p=46}}, Exercise 4.</ref> जो संबंधों के माध्यम से कुराटोव्स्की <math>\mathbf{c} := \mathbf{ne}</math> और <math>\mathbf{c}(A):= A \cup \mathbf{b}(A)</math> को भी बंद कर देता है .

=== सार संचालक ===
{{Main|आंतरिक बीजगणित}}
ध्यान दें कि अभिगृहीत [K1]-[K4] को ''अमूर्त'' एकात्मक संक्रिया को परिभाषित करने के लिए अनुकूलित किया जा सकता है <math>\mathbf c : L \to L</math> सामान्य परिबद्ध जाली पर <math>(L,\land,\lor,\mathbf 0, \mathbf 1)</math>, जाली से जुड़े आंशिक क्रम के साथ समुच्चय-सैद्धांतिक समावेशन को औपचारिक रूप से प्रतिस्थापित करके, समुच्चय-सैद्धांतिक संघ को जोड़ने के संचालन के साथ, और समुच्चय-सैद्धांतिक चौराहों को मिलने के संचालन के साथ; इसी प्रकार अभिगृहीतों के लिए [I1]-[I4]। यदि जालक ऑर्थोकम्प्लिमेंटेड है, तो ये दो अमूर्त संक्रियाएँ सामान्य तरीके से एक दूसरे को प्रेरित करती हैं। जाली पर [[सामान्यीकृत टोपोलॉजी]] को परिभाषित करने के लिए सार बंद या आंतरिक प्रचालकों का उपयोग किया जा सकता है।

चूंकि मूर क्लोजर प्रचालक की आवश्यकता में न तो यूनियन और न ही खाली समुच्चय दिखाई देता है, इसलिए परिभाषा को अमूर्त यूनरी प्रचालक को परिभाषित करने के लिए अनुकूलित किया जा सकता है <math>\mathbf{c} : S \to S</math> इच्छानुसार से [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित समुच्चय]] <math>S</math> है.

== टोपोलॉजी के अन्य स्वयंसिद्धों से संबंध ==

=== बंद होने से टोपोलॉजी का समावेश ===
क्लोजर प्रचालक स्वाभाविक रूप से [[टोपोलॉजिकल स्पेस]] को निम्नानुसार प्रेरित करता है। होने देना <math>X</math> इच्छानुसार समुच्चय हो। हम कहेंगे कि उपसमुच्चय <math> C\subseteq X </math> कुराटोव्स्की क्लोजर प्रचालक के संबंध में बंद है <math>\mathbf{c} : \wp(X) \to \wp(X)</math> यदि और केवल यदि यह उक्त प्रचालक का निश्चित बिंदु है, या दूसरे शब्दों में यह स्थिर है <math>\mathbf{c}</math>, अर्थात। <math> \mathbf{c}(C) = C </math>. प्रमाणित यह है कि कुल स्थान के सभी उपसमुच्चयों का परिवार जो बंद समुच्चयों का पूरक है, टोपोलॉजी के लिए तीन सामान्य आवश्यकताओं को पूरा करता है, या समकक्ष, परिवार <math>\mathfrak{S}[\mathbf{c}]</math> सभी बंद समुच्चय निम्नलिखित को संतुष्ट करते हैं:
{{Quote frame|quote='''[T1]'''यह एक ''बाध्य [[उपवर्ग]]'' का है<math>\wp(X)</math>, i.e. <math>X,\varnothing \in\mathfrak{S}[\mathbf{c}]</math>;

'''[T2]'''यह '' मनमाना चौराहों के तहत पूर्ण '' है, अर्थात। if <math> \mathcal{I}</math> सूचकांकों का एक मनमाना सेट है और<math>\{C_i\}_{i\in\mathcal I} \subseteq \mathfrak{S}[\mathbf{c}]</math>,तब<math display="inline">\bigcap_{i\in\mathcal I} C_i \in \mathfrak{S}[\mathbf{c}]</math>;

'''[T3]'''यह ''परिमित संघों के तहत पूर्ण'' है, अर्थात if <math>\mathcal{I}</math> सूचकांकों का एक परिमित सेट है और <math>\{C_i\}_{i\in\mathcal I} \subseteq \mathfrak{S}[\mathbf{c}]</math>,तब <math display="inline">\bigcup_{i\in\mathcal I} C_i \in \mathfrak{S}[\mathbf{c}]</math>.
|}}
ध्यान दें कि, आलस्य [K3] द्वारा, कोई संक्षेप <math>\mathfrak{S}[\mathbf{c}] = \operatorname{im}(\mathbf{c})</math> में लिख सकता है .

{{collapse top|title=Proof 1.|expand=yes|left=true}}
[T1] व्यापकता से [K2], <math> X\subseteq\mathbf{c}(X) </math> और चूंकि क्लोजर के पावर सेट को मैप करता है <math>X</math> अपने आप में (अर्थात, किसी उपसमुच्चय की छवि का एक उपसमुच्चय है <math>X</math>), <math> \mathbf{c}(X)\subseteq X </math> अपने पास <math> X = \mathbf{c}(X)</math>. इस प्रकार <math> X \in \mathfrak{S}[\mathbf{c}]</math>. रिक्त समुच्चय [K1] के संरक्षण का तत्काल तात्पर्य है <math> \varnothing \in\mathfrak{S}[\mathbf{c}] </math>.

[T2] अगला, चलो <math> \mathcal{I} </math> सूचकांकों का एक मनमाना सेट बनें और दें <math> C_i </math> प्रत्येक के लिए बंद रहेगा <math> i\in\mathcal{I}</math>. व्यापकता से [K2], <math display="inline"> \bigcap_{i\in\mathcal{I}}C_i \subseteq \mathbf{c}\left(\bigcap_{i\in\mathcal{I}}C_i\right)</math>. इसके अलावा, इसोटोनिसिटी [K4'] द्वारा, यदि <math display="inline">\bigcap_{i\in\mathcal I} C_i \subseteq C_i</math>सभी सूचकांकों के लिए <math>i \in \mathcal I</math>, तब <math display="inline"> \mathbf{c}\left(\bigcap_{i\in\mathcal{I}}C_i \right) \subseteq \mathbf{c}(C_i) = C_i</math> सभी के लिए <math>i \in \mathcal I</math>, जो ये दर्शाता हे <math display="inline">\mathbf{c}\left(\bigcap_{i\in\mathcal{I}}C_i \right) \subseteq \bigcap_{i\in\mathcal{I}}C_i</math>. इसलिए, <math display="inline"> \bigcap_{i\in\mathcal{I}}C_i = \mathbf{c}\left(\bigcap_{i\in\mathcal{I}}C_i\right) </math>, अर्थ <math display="inline">\bigcap_{i\in\mathcal{I}}C_i \in \mathfrak{S}[\mathbf{c}]</math>.

[T3] अंत में, चलो <math> \mathcal{I} </math> सूचकांकों का एक परिमित सेट बनें और दें <math> C_i </math> प्रत्येक के लिए बंद रहेगा <math> i\in\mathcal{I} </math>. बाइनरी यूनियनों [K4] के संरक्षण से, और उन उपसमुच्चयों की संख्या पर गणितीय आगमन का उपयोग करते हुए, जिन्हें हम संघ लेते हैं, हमारे पास है <math display="inline"> \bigcup_{i\in\mathcal{I}}C_i = \mathbf{c}\left(\bigcup_{i\in\mathcal{I}}C_i \right) </math>. इस प्रकार, <math display="inline"> \bigcup_{i\in\mathcal{I}}C_i \in \mathfrak{S}[\mathbf{c}] </math>.
{{collapse bottom}}


=== टोपोलॉजी से क्लोजर का इंडक्शन ===

इसके विपरीत, परिवार दिया <math>\kappa</math> संतोषजनक अभिगृहीत [T1]-[T3], निम्नलिखित तरीके से कुराटोव्स्की क्लोजर प्रचालक का निर्माण संभव है: यदि <math>A \in \wp(X)</math> और <math>A^\uparrow = \{B \in \wp(X)\ |\ A \subseteq B \}</math> समावेशन का [[ऊपरी सेट|ऊपरी समुच्चय]] है <math>A</math>, तब
<math display="block">\mathbf{c}_\kappa(A) := \bigcap_{B \in (\kappa \cap A^\uparrow)} B</math>
कुराटोव्स्की क्लोजर प्रचालक को <math>\mathbf{c}_\kappa</math>पर <math>\wp(X)</math> परिभाषित करता है   .

{{collapse top|title=Proof 2.|expand=yes|left=true}}
[K1] चूंकि <math>\varnothing^\uparrow = \wp(X)</math>, <math>\mathbf{c}_\kappa(\varnothing)</math> परिवार में सभी सेटों के प्रतिच्छेदन को कम कर देता है <math>\kappa</math>; लेकिन <math>\varnothing \in \kappa</math> स्वयंसिद्ध [T1] द्वारा, इसलिए चौराहा शून्य सेट तक गिर जाता है और [K1] अनुसरण करता है।

[K2] की परिभाषा के अनुसार <math>A^\uparrow</math>, हमारे पास वह है <math>A \subseteq B</math> सभी के लिए <math>B \in \left(\kappa \cap A^\uparrow\right)</math>, और इस तरह <math>A</math> ऐसे सभी सेटों के प्रतिच्छेदन में समाहित होना चाहिए। इसलिए व्यापकता [K2] का अनुसरण करता है।

[K3] ध्यान दें कि, सभी के लिए <math>A \in \wp(X)</math>, परिवार <math>\mathbf{c}_\kappa(A)^\uparrow \cap \kappa</math> रोकना <math>\mathbf{c}_\kappa(A)</math> खुद को एक न्यूनतम तत्व के रूप में w.r.t. समावेश। इस तरह <math display="inline">\mathbf{c}_\kappa^2(A) = \bigcap_{B \in \mathbf{c}_\kappa(A)^\uparrow \cap \kappa}B = \mathbf{c}_\kappa(A)</math>, जो कि आलस्य [K3] है।

[K4'] चलो <math>A \subseteq B \subseteq X</math>: तब <math>B^\uparrow \subseteq A^\uparrow</math>, और इस तरह <math>\kappa \cap B^\uparrow \subseteq \kappa \cap A^\uparrow</math>. चूंकि बाद वाले परिवार में पूर्व की तुलना में अधिक तत्व हो सकते हैं, हम पाते हैं <math>\mathbf{c}_\kappa(A) \subseteq \mathbf{c}_\kappa(B)</math>, जो आइसोटोनिकिटी [K4'] है। ध्यान दें कि isotonicity का तात्पर्य है <math>\mathbf{c}_\kappa(A) \subseteq \mathbf{c}_\kappa(A\cup B)</math> और <math>\mathbf{c}_\kappa(B) \subseteq \mathbf{c}_\kappa(A\cup B)</math>, जिसका अर्थ एक साथ है <math>\mathbf{c}_\kappa(A) \cup \mathbf{c}_\kappa(B) \subseteq \mathbf{c}_\kappa(A\cup B)</math>.

[K4] अंत में, ठीक करें <math>A,B \in \wp(X)</math>. अभिगृहीत [टी2] का तात्पर्य है <math>\mathbf{c}_\kappa(A), \mathbf{c}_\kappa(B) \in \kappa</math>; इसके अलावा, अभिगृहीत [T2] का अर्थ है कि <math>\mathbf{c}_\kappa(A) \cup \mathbf{c}_\kappa(B) \in \kappa</math>. व्यापकता से [K2] किसी के पास है <math>\mathbf{c}_\kappa(A) \in A^\uparrow</math> और <math>\mathbf{c}_\kappa(B) \in B^\uparrow</math>, ताकि <math>\mathbf{c}_\kappa(A) \cup \mathbf{c}_\kappa(B) \in \left(A^\uparrow\right) \cap \left(B^\uparrow\right)</math>. लेकिन <math>\left(A^\uparrow\right) \cap \left(B^\uparrow\right) = (A \cup B)^\uparrow</math>, ताकि सब कुछ <math>\mathbf{c}_\kappa(A) \cup \mathbf{c}_\kappa(B) \in \kappa\cap (A \cup B)^\uparrow</math>. के बाद से <math>\mathbf{c}_\kappa(A \cup B)</math> का न्यूनतम तत्व है <math>\kappa \cap (A \cup B)^\uparrow</math> w.r.t. समावेशन, हम पाते हैं <math>\mathbf{c}_\kappa(A \cup B) \subseteq \mathbf{c}_\kappa(A) \cup \mathbf{c}_\kappa(B)</math>. प्वाइंट 4. एडिटिविटी [के 4] सुनिश्चित करता है।
{{collapse bottom}}


=== दो संरचनाओं के बीच त्रुटिहीन पत्राचार ===
वास्तव में, ये दो पूरक निर्माण एक दूसरे के व्युत्क्रम हैं: यदि <math>\mathrm{Cls}_\text{K}(X)</math> पर सभी कुराटोव्स्की क्लोजर प्रचालकों का संग्रह है <math>X</math>, और <math>\mathrm{Atp}(X)</math> टोपोलॉजी में सभी समुच्चयों के पूरक वाले सभी परिवारों का संग्रह है, अर्थात सभी परिवारों का संग्रह [T1]-[T3] को संतुष्ट करता है, फिर <math>\mathfrak{S} : \mathrm{Cls}_\text{K}(X) \to \mathrm{Atp}(X)</math> ऐसा है कि <math>\mathbf{c} \mapsto \mathfrak{S}[\mathbf{c}]</math> एक आक्षेप है, जिसका प्रतिलोम नियतन <math>\mathfrak{C}: \kappa \mapsto \mathbf{c}_\kappa</math> द्वारा दिया गया है .

{{collapse top|title=Proof 3.|expand=yes|left=true}}
पहले हम सिद्ध करते हैं <math>\mathfrak{C} \circ \mathfrak{S} = \mathfrak{1}_{\mathrm{Cls}_\text{K}(X)}</math>, पहचान ऑपरेटर चालू <math>\mathrm{Cls}_\text{K}(X)</math>. दिए गए Kuratowski बंद होने के लिए <math>\mathbf{c} \in \mathrm{Cls}_\text{K}(X)</math>, परिभाषित करना <math>\mathbf{c}' := \mathfrak{C}[\mathfrak{S}[\mathbf{c}]]</math>; तो अगर <math>A \in \wp(X)</math> इसका प्राइमेड क्लोजर <math>\mathbf{c}'(A)</math> सभी का चौराहा है <math>\mathbf{c}</math>-स्थिर सेट जिसमें शामिल हैं <math>A</math>. इसका नॉन-प्राइमेड क्लोजर <math>\mathbf{c}(A)</math> इस विवरण को संतुष्ट करता है: व्यापकता से [K2] हमारे पास है <math>A \subseteq \mathbf{c}(A)</math>, और आलस्य से [K3] हमारे पास है <math>\mathbf{c}(\mathbf{c}(A)) = \mathbf{c}(A)</math>, और इस तरह <math>\mathbf{c}(A) \in \left(A^\uparrow \cap \mathfrak{S}[\mathbf{c}]\right)</math>. अब चलो <math>C \in \left(A^\uparrow \cap \mathfrak{S}[\mathbf{c}]\right)</math> ऐसा है कि <math>A \subseteq C \subseteq \mathbf{c}(A)</math>: isotonicity [K4'] द्वारा हमारे पास है <math>\mathbf{c}(A) \subseteq \mathbf{c}(C)</math>, और तबसे <math>\mathbf{c}(C) = C</math> हम यह निष्कर्ष निकालते हैं <math>C = \mathbf{c}(A)</math>. इस तरह <math>\mathbf{c}(A)</math> का न्यूनतम तत्व है <math>A^\uparrow \cap \mathfrak{S}[\mathbf{c}]</math> w.r.t. समावेशन, अर्थ <math>\mathbf{c}'(A) = \mathbf{c}(A)</math>.

अब हम इसे सिद्ध करते हैं <math>\mathfrak{S} \circ \mathfrak{C} = \mathfrak{1}_{\mathrm{Atp}(X)}</math>. अगर <math>\kappa \in \mathrm{Atp}(X)</math> और <math>\kappa':= \mathfrak{S}[\mathfrak{C}[\kappa]]</math> सभी सेटों का परिवार है जो स्थिर हैं <math>\mathbf{c}_\kappa</math>, परिणाम दोनों का अनुसरण करता है <math>\kappa' \subseteq \kappa</math> और <math>\kappa \subseteq \kappa'</math>. होने देना <math>A \in \kappa'</math>: इस तरह <math>\mathbf{c}_\kappa(A) = A</math>. तब से <math>\mathbf{c}_\kappa(A)</math> की मनमाना उपपरिवार का प्रतिच्छेदन है <math>\kappa</math>, और बाद वाला मनमाना चौराहों के तहत [T2] द्वारा पूरा हो जाता है, फिर <math>A = \mathbf{c}_\kappa(A) \in \kappa</math>. इसके विपरीत यदि <math>A \in \kappa</math>, तब <math>\mathbf{c}_\kappa(A)</math> का न्यूनतम सुपरसेट है <math>A</math> जिसमें निहित है <math>\kappa</math>. लेकिन यह तुच्छ है <math>A</math> स्वयं, जिसका अर्थ है <math>A \in \kappa'</math>.
{{collapse bottom}}
हम देखते हैं कि कोई आपत्ति का विस्तार भी कर सकता है <math>\mathfrak{S}</math> संग्रह के लिए <math>\mathrm{Cls}_{\check C}(X)</math> सभी चेक क्लोजर प्रचालक्स, जिनमें सख्ती से सम्मिलित हैं <math>\mathrm{Cls}_\text{K}(X)</math>; यह विस्तार <math>\overline{\mathfrak{S}}</math> विशेषण भी है, जो दर्शाता है कि सभी चेक क्लोजर प्रचालक चालू हैं <math>X</math> टोपोलॉजी को भी प्रेरित करें <math>X</math>. <ref>{{Harvp|Arkhangel'skij|Fedorchuk|1990|p=26}}.</ref> चूंकि, इसका मतलब यह है <math>\overline{\mathfrak{S}}</math> अब आपत्ति नहीं है।

== उदाहरण ==
* जैसा कि ऊपर चर्चा की गई है, सामयिक स्थान दिया गया है <math>X</math> हम किसी भी उपसमुच्चय के समापन को परिभाषित कर सकते हैं <math>A \subseteq X</math> समुच्चय होना <math>\mathbf{c}(A)=\bigcap\{C\text{ a closed subset of }X| A\subseteq C\}</math>, अर्थात के सभी बंद समुच्चयों का प्रतिच्छेदन <math>X</math> किसमें है <math>A</math>. समुच्चय <math>\mathbf{c}(A)</math> का सबसे छोटा बंद समुच्चय है <math>X</math> युक्त <math>A</math>, और प्रचालक <math>\mathbf{c}:\wp(X) \to \wp(X)</math> कुराटोव्स्की क्लोजर प्रचालक है।
* यदि <math>X</math> कोई समुच्चय है, प्रचालक्स <math>\mathbf{c}_\top, \mathbf{c}_\bot : \wp(X) \to \wp(X)</math> ऐसा है कि <math display="block">\mathbf{c}_\top(A) = \begin{cases}
\varnothing & A = \varnothing, \\
X & A \neq \varnothing,
\end{cases} \qquad \mathbf{c}_\bot(A) = A\quad \forall A \in \wp(X),</math>कुराटोव्स्की क्लोजर हैं। पहले [[तुच्छ टोपोलॉजी]] को प्रेरित करता है <math>\{\varnothing,X\}</math>, जबकि दूसरा [[असतत टोपोलॉजी]] <math>\wp(X)</math> को प्रेरित करता है .

* इच्छानुसार तय करें <math>S \subsetneq X</math>, और जाने <math>\mathbf{c}_S: \wp(X) \to \wp(X)</math> ऐसा हो कि <math>\mathbf{c}_S(A) := A \cup S</math> सभी के लिए <math>A \in \wp(X)</math>. तब <math>\mathbf{c}_S</math> कुराटोव्स्की समापन को परिभाषित करता है; बंद समुच्चयों का संगत परिवार <math>\mathfrak{S}[\mathbf{c}_S]</math> के साथ मेल खाता है <math>S^\uparrow</math>, सभी उपसमुच्चयों का परिवार जिसमें सम्मिलित है <math>S</math>. कब <math>S = \varnothing</math>, हम एक बार फिर असतत टोपोलॉजी को पुनः प्राप्त करते हैं <math>\wp(X)</math> (अर्थात। <math>\mathbf{c}_{\varnothing}=\mathbf{c}_\bot</math>, जैसा कि परिभाषाओं से देखा जा सकता है)।
* यदि <math>\lambda</math> अनंत कार्डिनल संख्या है जैसे कि <math>\lambda \leq \operatorname{crd}(X)</math>, फिर प्रचालक <math>\mathbf{c}_\lambda : \wp(X) \to \wp(X)</math> ऐसा है कि<math display="block">\mathbf{c}_\lambda(A) = \begin{cases}
A & \operatorname{crd}(A) < \lambda, \\
X & \operatorname{crd}(A) \geq \lambda
\end{cases}</math>सभी चार कुराटोव्स्की स्वयंसिद्धों को संतुष्ट करता है। <ref>A proof for the case <math>\lambda = \aleph_0</math> can be found at {{cite web |title=Is the following a Kuratowski closure operator?! |work=Stack Exchange |date=November 21, 2015 |url=https://math.stackexchange.com/q/1539449 }}</ref> यदि <math>\lambda = \aleph_0</math>, यह प्रचालक [[सहमित टोपोलॉजी]] को प्रेरित करता है <math>X</math>; यदि <math>\lambda = \aleph_1</math>, यह सहगणनीय टोपोलॉजी को प्रेरित करता है।

== गुण ==

* चूंकि कोई भी कुराटोव्स्की क्लोजर आइसोटोनिक है, और इसलिए स्पष्ट रूप से कोई भी समावेशन मैपिंग है, किसी का (आइसोटोनिक) [[गाल्वा कनेक्शन]]  <math>\langle \mathbf{c}: \wp(X) \to \mathrm{im}(\mathbf{c});\iota : \mathrm{im}(\mathbf{c}) \hookrightarrow \wp(X) \rangle</math> है, एक दृश्य प्रदान किया <math>\wp(X)</math> समावेशन के संबंध में पोसमुच्चय के रूप में, और <math>\mathrm{im}(\mathbf{c})</math> उपसमुच्चय के रूप में <math>\wp(X)</math>. वास्तव में, यह आसानी से सत्यापित किया जा सकता है कि, सभी के लिए <math>A \in \wp(X)</math> और <math>C \in \mathrm{im}(\mathbf{c})</math>, <math>\mathbf{c}(A) \subseteq C</math> यदि और केवल यदि <math>A \subseteq \iota(C)</math>.
* यदि <math>\{A_i\}_{i\in\mathcal I}</math> का उपपरिवार है <math>\wp(X)</math>, तब <math display="block">\bigcup_{i\in\mathcal I} \mathbf{c}(A_i) \subseteq \mathbf{c}\left(\bigcup_{i\in\mathcal I} A_i\right), \qquad \mathbf{c}\left(\bigcap_{i\in\mathcal I} A_i\right) \subseteq \bigcap_{i\in\mathcal I} \mathbf{c}(A_i). </math>
* यदि <math>A,B \in \wp(X)</math>, तब <math>\mathbf{c}(A) \setminus \mathbf{c}(B) \subseteq \mathbf{c}(A\setminus B)</math>.

=== क्लोजर  के संदर्भ में सामयिक अवधारणाएँ ===

=== शोधन और उप-स्थान ===
कुराटोव्स्की की जोड़ी बंद हो जाती है <math>\mathbf{c}_1, \mathbf{c}_2 : \wp(X) \to \wp(X)</math> ऐसा है कि <math>\mathbf{c}_2(A) \subseteq \mathbf{c}_1(A)</math> सभी के लिए <math>A \in \wp(X)</math> टोपोलॉजी प्रेरित करें <math>\tau_1,\tau_2</math> ऐसा है कि <math>\tau_1 \subseteq \tau_2</math>, और इसके विपरीत। दूसरे शब्दों में, <math>\mathbf{c}_1</math> हावी <math>\mathbf{c}_2</math> यदि और केवल यदि उत्तरार्द्ध द्वारा प्रेरित टोपोलॉजी पूर्व द्वारा प्रेरित या समकक्ष रूप से प्रेरित टोपोलॉजी का परिशोधन है <math>\mathfrak{S}[\mathbf{c}_1] \subseteq \mathfrak{S}[\mathbf{c}_2]</math>. <ref>{{Harvp|Pervin|1964|p=43}}, Exercise 10.</ref> उदाहरण के लिए, <math>\mathbf{c}_\top</math> स्पष्ट रूप से हावी है <math>\mathbf{c}_\bot</math>(उत्तरार्द्ध सिर्फ पहचान होने पर <math>\wp(X)</math>). चूँकि एक ही निष्कर्ष को प्रतिस्थापित करके पहुँचा जा सकता है <math>\tau_i</math> सपरिवार <math>\kappa_i</math> इसके सभी सदस्यों के पूरक सम्मिलित हैं, यदि <math>\mathrm{Cls}_\text{K}(X)</math> आंशिक आदेश के साथ संपन्न है <math>\mathbf{c} \leq \mathbf{c}' \iff \mathbf{c}(A) \subseteq \mathbf{c}'(A)</math> सभी के लिए <math>A \in \wp(X)</math> और <math>\mathrm{Atp}(X)</math> परिशोधन क्रम से संपन्न है, तो हम यह निष्कर्ष निकाल सकते हैं <math>\mathfrak{S}</math> पॉसमुच्चय्स के बीच एंटीटोनिक मैपिंग है।

किसी भी प्रेरित टोपोलॉजी (उपसमुच्चय ए के सापेक्ष) में बंद समुच्चय नए क्लोजर प्रचालक को प्रेरित करते हैं जो केवल मूल क्लोजर प्रचालक है जो ए तक सीमित है: <math> \mathbf{c}_A(B) = A \cap \mathbf{c}_X(B) </math>, सभी के लिए <math>B \subseteq A</math>. <ref>{{Harvp|Pervin|1964|p=49}}, Theorem 3.4.3.</ref>


=== निरंतर नक्शे, बंद नक्शे और होमोमोर्फिज्म ===
समारोह <math>f:(X,\mathbf{c})\to (Y,\mathbf{c}')</math> एक बिंदु पर [[निरंतरता (टोपोलॉजी)]] है <math>p</math> आईएफएफ <math>p\in\mathbf{c}(A) \Rightarrow f(p)\in\mathbf{c}'(f(A))</math>, और यह आईएफएफ हर जगह निरंतर है <math display="block">f(\mathbf{c}(A)) \subseteq \mathbf{c}'(f(A))</math> सभी उपसमूहों के लिए <math>A \in \wp(X)</math>. <ref>{{Harvp|Pervin|1964|p=60}}, Theorem 4.3.1.</ref> मानचित्रण <math>f</math> बंद नक्शा है यदि उलटा समावेशन धारण करता है, <ref>{{Harvp|Pervin|1964|p=66}}, Exercise 3.</ref> और यह समरूपता है यदि यह निरंतर और बंद दोनों है, अर्थात यदि समानता है। <ref>{{Harvp|Pervin|1964|p=67}}, Exercise 5.</ref>


=== पृथक्करण स्वयंसिद्ध ===
होने देना <math>(X, \mathbf{c})</math> एक कुराटोव्स्की क्लोजर स्पेस बनें। तब

* <math>X</math> T<sub>0</sub> स्थान है|T<sub>0</sub>-अंतरिक्ष आईएफ़ <math>x \neq y</math> तात्पर्य <math>\mathbf{c}(\{x\}) \neq \mathbf{c}(\{y\})</math>; <ref>{{Harvp|Pervin|1964|p=69}}, Theorem 5.1.1.</ref>
* <math>X</math>  T<sub>1</sub> स्पेस है|T<sub>1</sub>-अंतरिक्ष आईएफ़ <math>\mathbf{c}(\{x\})=\{x\}</math> सभी के लिए <math>x \in X</math>; <ref>{{Harvp|Pervin|1964|p=70}}, Theorem 5.1.2.</ref>
* <math>X</math> हॉसडॉर्फ स्पेस है|T<sub>2</sub>-अंतरिक्ष आईएफ़ <math>x \neq y</math> तात्पर्य है कि समुच्चय उपस्थित है <math>A \in \wp(X)</math> ऐसा कि दोनों <math>x \notin \mathbf{c}(A)</math> और <math>y \notin \mathbf{c}(\mathbf{n}(A))</math>, कहाँ <math>\mathbf{n}</math> समुच्चय पूरक प्रचालक है। <ref>A proof can be found at this [https://math.stackexchange.com/a/3144373/332594 link].</ref>


=== निकटता और अलगाव ===
बिंदु <math>p</math> उपसमुच्चय के लिए [[निकटता (टोपोलॉजी)]] है <math>A</math> यदि <math>p\in\mathbf{c}(A).</math>इसका उपयोग समुच्चय के बिंदुओं और उपसमुच्चय पर [[निकटता स्थान]] संबंध को परिभाषित करने के लिए किया जा सकता है। <ref>{{Harvp|Pervin|1964|pp=193–196}}.</ref>

दो समुच्चय <math>A,B \in \wp(X)</math> अलग हो गए हैं यदि <math>(A \cap \mathbf{c}(B)) \cup (B \cap \mathbf{c}(A)) = \varnothing</math>. अंतरिक्ष <math>X</math> [[जुड़ा हुआ स्थान]] है यदि इसे दो अलग-अलग उपसमुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है। <ref>{{Harvp|Pervin|1964|p=51}}.</ref>



== यह भी देखें ==

* {{annotated link|टोपोलॉजिकल रिक्त स्थान की श्रेणी के लक्षण}}
* {{annotated link|चेक क्लोजर ऑपरेटर}}
* {{annotated link|क्लोजर प्रचालक}}
* {{annotated link|आंतरिक बीजगणित|समापन बीजगणित}}
* {{annotated link|प्रीक्लोजर प्रचालक}}
* {{annotated link|प्रेटोपोलॉजिकल स्पेस}}
* {{annotated link|Topological space}}


==टिप्पणियाँ==
{{reflist|3}}


==संदर्भ==
*{{Citation|last=Kuratowski|first=Kazimierz|title=Sur l'opération A de l'Analysis Situs|url=http://matwbn.icm.edu.pl/ksiazki/fm/fm3/fm3121.pdf|work=Fundamenta Mathematicae|volume=3|pages=182–199|publication-date=1922|orig-date=1920|trans-title=On the operation A in Analysis Situs|language=fr|author-link=Kazimierz Kuratowski}}.
*{{citation|first=Kazimierz|last=Kuratowski|title=Topology|volume=I|year=1966|publisher=Academic Press|orig-date=1958|isbn=0-12-429201-1|lccn=66029221|author-link=Kazimierz Kuratowski|translator-last=Jaworowski|translator-first=J.}}.
**{{cite web |author=Kazimierz Kuratowski |author-mask=2 |translator=Mark Bowron |date=2010 |title=On the Operation Ā Analysis Situs |website=ResearchGate |url=https://www.researchgate.net/publication/318445643_Sur_l'Operation_A_de_l'Analysis_Situs_in_French_Fund_Math_3_1922_182-199_On_the_Operation_A_in_Analysis_Situs_English_translation_by_Mark_Bowron}}
* {{citation|first=William J.|last=Pervin|title=Foundations of General Topology|year=1964|editor-last=Boas|editor-first=Ralph P. Jr.|publisher=Academic Press|isbn=9781483225159|lccn=64-17796}}.
*{{Citation|last=Arkhangel'skij|first=A.V.|title=General Topology I|volume=17|publication-date=1990|editor-last=Gamkrelidze|editor-first=R.V.|orig-date=1988|series=Encyclopaedia of Mathematical Sciences|place=Berlin|publisher=Springer-Verlag|isbn=978-3-642-64767-3|lccn=89-26209|last2=Fedorchuk|first2=V.V.|editor2-last=Arkhangel'skij|editor2-first=A.V.|editor3-last=Pontryagin|editor3-first=L.S.|translator-last=O'Shea|translator-first=D.B.}}.
*{{Citation|last=Monteiro|first=António|title=Caractérisation de l'opération de fermeture par un seul axiome|date=September 1943|work=Portugaliae mathematica|volume=4|issue=4|pages=158–160|publication-date=1945|url=http://purl.pt/2135|trans-title=Characterization of the operation of closure by a single axiom|language=fr|zbl=0060.39406|author-link=Antonio Monteiro (mathematician)}}.


==बाहरी संबंध==
* [http://math.uga.edu/~pete/TopSection3.pdf  Alternative Characterizations of Topological Spaces]

[[Category:CS1 français-language sources (fr)]]
[[Category:Created On 13/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:क्लोजर ऑपरेटर्स]]
[[Category:गणितीय सिद्धांत]]