संवृत और विवृत प्रतिचित्र (ओपन एंड क्लोज्ड मैप): Difference between revisions

Latest revision as of 17:24, 19 September 2023

गणित में, विशेष रूप से टोपोलॉजी में, संवृत (ओपन) प्रतिचित्र दो टोपोलॉजिकल स्थानों के मध्य फलन (गणित) है जो ओपन समुच्चय को ओपन समुच्चय में मैप करता है।^[1]^[2]^[3] अर्थात फलन $f:X\to Y$ यदि किसी ओपन समुच्चय के लिए ओपन है $U$ में $X,$ छवि (गणित) $f(U)$ में ओपन है $Y.$ इसी प्रकार, विवृत (क्लोज्ड) प्रतिचित्र ऐसा फलन है जो विवृत समुच्चयों को विवृत समुच्चयों में मैप करता है।^[3]^[4] प्रतिचित्र ओपन, विवृत, दोनों या एक भी नहीं हो सकता है;^[5] विशेष रूप से, इसके विपरीत भी ओपन प्रतिचित्र को विवृत करने की आवश्यकता नहीं है।^[6]

ओपन^[7]और विवृत^[8] प्रतिचित्र आवश्यक रूप से सतत कार्य (टोपोलॉजी) नहीं हैं।^[4]इसके अतिरिक्त, निरंतरता सामान्य स्तिथि में ओपन और विवृत से स्वतंत्र है और निरंतर कार्य में दोनों, या कोई भी गुण नहीं हो सकते है;^[3]यह तथ्य सत्य है, जब कोई स्वयं को मीट्रिक स्थानों तक सीमित रखता है।^[9] चूँकि उनकी परिभाषाएँ अधिक स्वाभाविक लगती हैं, ओपन और विवृत प्रतिचित्र निरंतर प्रतिचित्रों की तुलना में अधिक कम महत्वपूर्ण हैं। याद रखें, परिभाषा के अनुसार, फलन $f:X\to Y$ यदि प्रत्येक ओपन समुच्चय की पूर्वछवि $Y$ निरंतर है और $Y$ ओपन है $X.$ ^[2](समान रूप से, यदि प्रत्येक विवृत समुच्चय की पूर्वछवि $Y$ में विवृत $X$ है)।

ओपन प्रतिचित्रों का प्रारंभिक अध्ययन सिमिओन स्टोइलो और गॉर्डन थॉमस व्हाईबर्न द्वारा किया गया था।^[10]

परिभाषाएँ और लक्षण वर्णन

यदि $S$ टोपोलॉजिकल स्थानों का उपसमुच्चय है तो मान लीजिये ${\overline {S}}$ और $\operatorname {Cl} S$ (सम्मान $\operatorname {Int} S$ ) के समापन (टोपोलॉजी) (संबंधित आंतरिक (टोपोलॉजी) ) को दर्शाता है मान लीजिये $S$ उस स्थान में है, टोपोलॉजिकल स्थान के मध्य $f:X\to Y$ फलन हो। यदि $S$ कोई समुच्चय है $f(S):=\left\{f(s)~:~s\in S\cap \operatorname {domain} f\right\}$ $S$ के अंतर्गत $f.$ की छवि कहलाती है।

प्रतिस्पर्धी परिभाषाएँ

"ओपन मानचित्र" की दो भिन्न-भिन्न प्रतिस्पर्धी, किन्तु सूक्ष्मता से संबंधित परिभाषाएं हैं, जिनका व्यापक रूप से उपयोग किया जाता है, जहां इन दोनों परिभाषाओं को संक्षेप में प्रस्तुत किया जा सकता है: यह वह प्रतिचित्र है जो ओपन समुच्चय को ओपन समुच्चय में भेजता है। निम्नलिखित शब्दावली का उपयोग कभी-कभी दो परिभाषाओं के मध्य अंतर करने के लिए किया जाता है।

प्रतिचित्र $f:X\to Y$ को a कहा जाता है।

"दृढ़ता से ओपन मानचित्र" यदि जब भी $U$ $U$ डोमेन का ओपन उपसमुच्चय है $X$ $X$ तब $f(U)$ $f(U)$ का ओपन उपसमुच्चय है $f$ $f$ का कोडोमेन $Y.$ $Y.$ है।
- अपेक्षाकृत ओपन मानचित्र यदि जब भी $U$ डोमेन का ओपन उपसमुच्चय है $X$ तब $f(U)$ का ओपन उपसमुच्चय है $f$ की छवि (गणित) $\operatorname {Im} f:=f(X),$ जहां सदैव के जैसे, यह समुच्चय इसके द्वारा प्रेरित उप-स्थान टोपोलॉजी से संपन्न है $f$ का कोडोमेन $Y.$ है।^[11]

प्रत्येक स्थिरता से ओपन प्रतिचित्र अपेक्षाकृत ओपन प्रतिचित्र होता है। चूँकि, ये परिभाषाएँ सामान्य रूप से समकक्ष नहीं हैं।

चेतावनी: कई लेखक ओपन प्रतिचित्र को अपेक्षाकृत ओपन प्रतिचित्र के रूप में परिभाषित करते हैं (उदाहरण के लिए, गणित का विश्वकोश) जबकि अन्य ओपन प्रतिचित्र को "दृढ़ता से ओपन प्रतिचित्र" के रूप में परिभाषित करते हैं। सामान्यतः ये परिभाषाएँ समतुल्य नहीं हैं इसलिए यह विचार दिया जाता है कि सदैव यह परीक्षण करे कि लेखक ओपन प्रतिचित्र की किस परिभाषा का उपयोग कर रहा है।

विशेषण फलन प्रतिचित्र अपेक्षाकृत ओपन होता है यदि केवल यह दृढ़ता से ओपन हो; इसलिए इस महत्वपूर्ण विशेष स्तिथि के लिए परिभाषाएँ समतुल्य हैं। अधिक सामान्यतः, प्रतिचित्र $f:X\to Y$ अपेक्षाकृत ओपन है यदि केवल विशेषण फलन $f:X\to f(X)$ दृढ़ता से ओपन प्रतिचित्र है।

क्योंकि $X$ सदैव ओपन उपसमुच्चय है $X,$ छवि $f(X)=\operatorname {Im} f$ दृढ़ता से ओपन प्रतिचित्र का $f:X\to Y$ को इसके कोडोमेन का ओपन उपसमुच्चय होना चाहिए, $Y.$ वास्तव में, अपेक्षाकृत ओपन प्रतिचित्र दृढ़ता से ओपन प्रतिचित्र होता है यदि केवल तभी जब इसकी छवि इसके कोडोमेन का ओपन उपसमुच्चय हो। सारांश,

प्रतिचित्र दृढ़ता से ओपन होता है यदि केवल तभी जब वह अपेक्षाकृत ओपन हो और उसकी छवि उसके कोडोमेन का ओपन उपसमुच्चय हो।

इस लक्षण वर्णन का उपयोग करके, ओपन प्रतिचित्र की इन दो परिभाषाओं में से जुड़े परिणामों को दूसरी परिभाषा से जुड़ी स्थिति में प्रारम्भ करना प्रायः सरल होता है।

उपरोक्त वर्णन विवृत प्रतिचित्रों पर भी प्रारम्भ होगे यदि ओपन शब्द के प्रत्येक उदाहरण को विवृत शब्द से परिवर्तित कर दिया जाए।

ओपन प्रतिचित्र

प्रतिचित्र $f:X\to Y$ को ओपन मानचित्र या दृढ़ता से ओपन प्रतिचित्र कहा जाता है यदि यह निम्नलिखित समकक्ष नियमों में से किसी को संतुष्ट करता है:

परिभाषा: $f:X\to Y$ अपने डोमेन के ओपन उप-समुच्चय को उसके कोडोमेन के ओपन उप-समुच्चय के साथ मैप करता है; अर्थात्, किसी भी ओपन उप-समुच्चय के लिए $U$ का $X$ , $f(U)$ का ओपन उपसमुच्चय $Y.$ है।
$f:X\to Y$ यह अपेक्षाकृत ओपन प्रतिचित्र और उसकी छवि $\operatorname {Im} f:=f(X)$ है, इसके कोडोमेन का ओपन उपसमुच्चय $Y.$ है।
प्रत्येक के लिए $x\in X$ $x\in X$ और प्रत्येक निकट (टोपोलॉजी) का $N$ $N$ , $x$ $x$ (चूँकि छोटा), $f(N)$ $f(N)$ के निकटम $f(x)$ $f(x)$ है, हम इस स्थिति में निकट शब्द के पहले या दोनों उदाहरणों को ओपन निकटता से परिवर्तित कर सकते हैं और परिणाम की समकक्ष स्थिति होगी:
- प्रत्येक के लिए $x\in X$ और प्रत्येक ओपन निकटता $N$ का $x$ , $f(N)$ का ओपन निकटता $f(x)$ है।
- प्रत्येक के लिए $x\in X$ और प्रत्येक ओपन निकटता $N$ का $x$ , $f(N)$ का ओपन निकटता $f(x)$ है।
यहाँ $f\left(\operatorname {Int} _{X}A\right)\subseteq \operatorname {Int} _{Y}(f(A))$ सभी उपसमुच्चय के लिए $A$ का $X,$ जहाँ $\operatorname {Int}$ समुच्चय के टोपोलॉजिकल इंटीरियर को दर्शाता है।
जब भी $C$ $C$ का विवृत समुच्चय है $X$ $X$ फिर समुच्चय $\left\{y\in Y~:~f^{-1}(y)\subseteq C\right\}$ $\left\{y\in Y~:~f^{-1}(y)\subseteq C\right\}$ का विवृत उपसमुच्चय $Y.$ $Y.$ है।
- यह निर्धारित पहचान और संबंधों की सूची का परिणाम है $f(X\setminus R)=Y\setminus \left\{y\in Y:f^{-1}(y)\subseteq R\right\},$ जो सभी उपसमुच्चय के लिए $R\subseteq X.$ मान्य है।

यदि ${\mathcal {B}}$ के लिए आधार (टोपोलॉजी) है $X$ तो निम्नलिखित को इस सूची में जोड़ा जा सकता है:

6. $f$ अपने कोडोमेन में बेसिक ओपन समुच्चय को मैप करता है (अर्थात, किसी भी बेसिक ओपन समुच्चय के लिए $B\in {\mathcal {B}},$ $f(B)$ का ओपन उपसमुच्चय $Y$ है)।

विवृत प्रतिचित्र

प्रतिचित्र $f:X\to Y$ को अपेक्षाकृत बंद मानचित्र कहा जाता है यदि जब भी $C$ डोमेन का विवृत समुच्चय है $X$ तब $f(C)$ का विवृत उपसमुच्चय है $f$ की छवि (गणित) $\operatorname {Im} f:=f(X),$ जहां सदैव के जैसे, यह समुच्चय इसके द्वारा प्रेरित उप-स्थान टोपोलॉजी से संपन्न है $f$ का कोडोमेन $Y.$ है।

प्रतिचित्र $f:X\to Y$ को बंद मानचित्र या दृढ़ता से विवृत प्रतिचित्र कहा जाता है यदि यह निम्नलिखित समकक्ष नियमों में से किसी को संतुष्ट करता है:

परिभाषा: $f:X\to Y$ इसके डोमेन के विवृत उप-समुच्चय को इसके कोडोमेन के विवृत उप-समुच्चय से मैप करता है; अर्थात्, किसी भी विवृत उप-समुच्चय के लिए $C$ का $X,$ $f(C)$ का विवृत उपसमुच्चय $Y.$ है।
$f:X\to Y$ यह अपेक्षाकृत विवृत प्रतिचित्र और उसकी छवि $\operatorname {Im} f:=f(X)$ है इसके को-डोमेन का विवृत उप-समुच्चय $Y.$ है।
${\overline {f(A)}}\subseteq f\left({\overline {A}}\right)$ प्रत्येक उप-समुच्चय के लिए $A\subseteq X.$ है।
${\overline {f(C)}}\subseteq f(C)$ प्रत्येक विवृत उप-समुच्चय के लिए $C\subseteq X.$ है।
${\overline {f(C)}}=f(C)$ प्रत्येक विवृत उप-समुच्चय के लिए $C\subseteq X.$ है।
जब भी $U$ ओपन उपसमुच्चय है $X$ फिर समुच्चय $\left\{y\in Y~:~f^{-1}(y)\subseteq U\right\}$ का ओपन उपसमुच्चय $Y.$ है।
यदि $x_{\bullet }$ में नेट (गणित) है $X$ और $y\in Y$ बिंदु ऐसा है $f\left(x_{\bullet }\right)\to y$ में $Y,$ तब $x_{\bullet }$ में अभिसरण होता है $X$ समुच्चय पर $f^{-1}(y).$ है।
अभिसरण $x_{\bullet }\to f^{-1}(y)$ का अर्थ है कि प्रत्येक ओपन उपसमुच्चय $X$ जिसमें $f^{-1}(y)$ सम्मिलित है $x_{j}$ सभी पर्याप्त बड़े सूचकांकों के लिए $j.$ है।

विशेषण फलन प्रतिचित्र दृढ़ता से विवृत होता है यदि केवल यह अपेक्षाकृत विवृत होता है। तो इस महत्वपूर्ण विशेष स्तिथि के लिए, दोनों परिभाषाएँ समतुल्य हैं। परिभाषा के अनुसार, प्रतिचित्र $f:X\to Y$ अपेक्षाकृत विवृत प्रतिचित्र है यदि केवल विशेषण फलन $f:X\to \operatorname {Im} f$ दृढ़ता से विवृत प्रतिचित्र है।

यदि सतत फलन का ओपन समुच्चय परिभाषा में (जो कि कथन है: ओपन समुच्चय की प्रत्येक पूर्व छवि ओपन है), ओपन शब्द के दोनों उदाहरणों को विवृत के साथ परिवर्तित कर दिया जाता है, तो परिणामों का विवरण (विवृत समुच्चय की प्रत्येक पूर्व छवि विवृत है) निरंतरता के समान है। ऐसे ओपन प्रतिचित्र की परिभाषा के साथ ऐसा नहीं होता है (जो है: ओपन समुच्चय की प्रत्येक छवि ओपन है) क्योंकि जो कथन परिणाम देता है (विवृत समुच्चय की प्रत्येक छवि विवृत है) वह "विवृत" की परिभाषा है प्रतिचित्र", जो सामान्यतः ओपन के समकक्ष नहीं है। ऐसे ओपन प्रतिचित्र भी उपस्थित हैं जो विवृत नहीं हैं और ऐसे विवृत प्रतिचित्र भी उपस्थित हैं जो ओपन नहीं हैं। ओपन/विवृत प्रतिचित्रों और सतत प्रतिचित्रों के मध्य यह अंतर अंततः किसी भी समुच्चय के कारण होता है $S,$ केवल $f(X\setminus S)\supseteq f(X)\setminus f(S)$ सामान्य रूप से आश्वासन दिया जाता है, जबकि पूर्वछवियों के लिए समानता का आश्वासन होता है $f^{-1}(Y\setminus S)=f^{-1}(Y)\setminus f^{-1}(S)$ सदैव स्थापित रहता है।.

उदाहरण

प्रोग्राम $f:\mathbb {R} \to \mathbb {R}$ द्वारा परिभाषित $f(x)=x^{2}$ निरंतर, विवृत और अपेक्षाकृत ओपन है, किन्तु (दृढ़ता से) ओपन नहीं है। इसका कारण यह है कि यदि $U=(a,b)$ में कोई ओपन अंतराल है $f$ का डोमेन $\mathbb {R}$ जिसमें सम्मिलित नहीं है $0$ तब $f(U)=(\min\{a^{2},b^{2}\},\max\{a^{2},b^{2}\}),$ जहां यह ओपन अंतराल दोनों का ओपन उपसमुच्चय $\mathbb {R}$ है और $\operatorname {Im} f:=f(\mathbb {R} )=[0,\infty ).$ चूँकि, यदि $U=(a,b)$ में कोई ओपन अंतराल है $\mathbb {R}$ उसमें सम्मिलित है $0$ तब $f(U)=[0,\max\{a^{2},b^{2}\}),$ जो कि ओपन उपसमुच्चय नहीं है $f$ का कोडोमेन $\mathbb {R}$ किन्तु इसका ओपन उपसमुच्चय $\operatorname {Im} f=[0,\infty ).$ है, क्योंकि सभी ओपन अंतरालों का समुच्चय $\mathbb {R}$ यूक्लिडियन टोपोलॉजी के लिए आधार (टोपोलॉजी) है $\mathbb {R} ,$ इससे ज्ञात होता है कि $f:\mathbb {R} \to \mathbb {R}$ अपेक्षाकृत ओपन है किन्तु (दृढ़ता से) ओपन नहीं है।

यदि $Y$ में असतत टोपोलॉजी है (अर्थात, सभी उपसमुच्चय ओपन और विवृत हैं) फिर प्रत्येक फलन $f:X\to Y$ ओपन और विवृत दोनों है (किन्तु आवश्यक नहीं कि निरंतर हो)। उदाहरण के लिए, फ़्लोर फलन से $\mathbb {R}$ पूर्णांक से $\mathbb {Z}$ ओपन और विवृत है, किन्तु निरंतर नहीं है। यह उदाहरण दिखाता है कि ओपन या विवृत प्रतिचित्र के अंतर्गत जुड़े स्थान की छवि को कनेक्ट करने की आवश्यकता नहीं है।

जब भी हमारे पास टोपोलॉजिकल स्थानों का उत्पाद टोपोलॉजी होता है $X=\prod X_{i},$ प्राकृतिक अनुमान $p_{i}:X\to X_{i}$ ओपन हैं^[12]^[13] (साथ ही निरंतर)। चूंकि फाइबर बंडलों और कवरिंग प्रतिचित्रों के प्रक्षेपण उत्पादों के स्थानीय रूप से प्राकृतिक प्रक्षेपण हैं, इसलिए ये ओपन प्रतिचित्र भी हैं। चूँकि अनुमानों को विवृत करने की आवश्यकता नहीं है। उदाहरण के लिए प्रक्षेपण पर विचार करें $p_{1}:\mathbb {R} ^{2}\to \mathbb {R}$ पहले घटक पर $A=\{(x,1/x):x\neq 0\}$ समुच्चय में विवृत है $\mathbb {R} ^{2},$ किन्तु $p_{1}(A)=\mathbb {R} \setminus \{0\}$ में विवृत नहीं किया गया है। $\mathbb {R} .$ चूँकि, कॉम्पैक्ट स्थान के लिए $Y,$ प्रक्षेपण $X\times Y\to X$ बन्द है। यह मूलतः ट्यूब लेम्मा है।

इकाई चक्र के प्रत्येक बिंदु पर सकारात्मक कोण को जोड़ सकते हैं $x$ -अक्ष बिंदु को मूल बिंदु से जोड़ने वाली किरण के साथ जोड़ा जाता है। इकाई चक्र से अर्ध ओपन अंतराल (गणित) [0,2π) तक यह फलन विशेषण, ओपन और विवृत है, किन्तु निरंतर नहीं है। यह दर्शाता है कि ओपन या विवृत प्रतिचित्र के नीचे सघन स्थान की छवि को कॉम्पैक्ट होने की आवश्यकता नहीं है। यह भी ध्यान दें कि यदि इसे इकाई वृत्त से वास्तविक संख्याओं तक का फलन मानें, तो यह न तो ओपन है और न ही विवृत है। कोडोमेन निर्दिष्ट करना आवश्यक है।

पर्याप्त स्थितियाँ

प्रत्येक होमियोमोर्फिज्म ओपन, विवृत और निरंतर है। वास्तव में, विशेषण सतत प्रतिचित्र समरूपता है यदि केवल यह ओपन है, या समकक्ष रूप से, यदि केवल यह विवृत है।

दो (दृढ़ता से) ओपन प्रतिचित्रों की कार्यात्मक संरचना ओपन प्रतिचित्र है और दो (दृढ़ता से) विवृत प्रतिचित्रों की संरचना विवृत प्रतिचित्र है।^[14]^[15] चूँकि, दो अपेक्षाकृत ओपन प्रतिचित्रों की संरचना को अपेक्षाकृत ओपन होने की आवश्यकता नहीं है और इसी प्रकार, दो अपेक्षाकृत विवृत प्रतिचित्रों की संरचना को अपेक्षाकृत विवृत करने की आवश्यकता नहीं है। यदि $f:X\to Y$ दृढ़ता से ओपन है (क्रमशः, दृढ़ता से विवृत) और $g:Y\to Z$ तब अपेक्षाकृत ओपन (क्रमशः, अपेक्षाकृत विवृत) है $g\circ f:X\to Z$ अपेक्षाकृत ओपन है (क्रमशः, अपेक्षाकृत विवृत)।

मान लीजिये $f:X\to Y$ प्रतिचित्र है। कोई उपसमुच्चय $T\subseteq Y,$ दिया गया है, यदि $f:X\to Y$ अपेक्षाकृत ओपन (क्रमशः, अपेक्षाकृत विवृत, दृढ़ता से ओपन, दृढ़ता से विवृत, निरंतर, विशेषण फलन) प्रतिचित्र है तो इसके प्रतिबंध के बारे में भी यही सत्य है:

f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T

f

संतृप्त समुच्चय के लिए

f^{-1}(T).

है।

दो ओपन प्रतिचित्रों का स्पष्ट योग ओपन है, या दो विवृत प्रतिचित्रों का विवृत है।^[15]दो ओपन प्रतिचित्रों का श्रेणीबद्ध उत्पाद (टोपोलॉजी) ओपन है, चूँकि, दो विवृत प्रतिचित्रों के श्रेणीबद्ध उत्पाद को विवृत करने की आवश्यकता नहीं है।^[14]^[15]

विशेषण प्रतिचित्र तभी ओपन होता है जब वह विवृत हो। विशेषण सतत प्रतिचित्र का व्युत्क्रम विशेषण ओपन/विवृत प्रतिचित्र है (और इसके विपरीत)। विशेषण ओपन प्रतिचित्र आवश्यक रूप से विवृत प्रतिचित्र नहीं होता है, और इसी प्रकार, विशेषण विवृत प्रतिचित्र आवश्यक रूप से ओपन प्रतिचित्र नहीं होता है। सभी स्थानीय होमोमोर्फिज्म, जिसमें मैनिफोल्ड्स पर सभी समन्वय चार्ट और सभी कवरिंग प्रतिचित्र सम्मिलित हैं, वह ओपन प्रतिचित्र हैं।

बंद मानचित्र लेम्मा — प्रत्येक सतत फलन $f:X\to Y$ जटिल स्थान से $X$ हौसडॉर्फ़ स्थान के लिए $Y$ बंद है और उचित मानचित्र (जिसका अर्थ है कि कॉम्पैक्ट समुच्चय की पूर्व छवि जटिल हैं)।

विवृत प्रतिचित्र लेम्मा का विशेष प्रकार बताता है कि यदि स्थानीय रूप से सघन स्थान हॉसडॉर्फ रिक्त स्थान के मध्य सतत कार्य उचित है तो यह भी विवृत है।

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

डोमेन प्रमेय का अपरिवर्तन बताता है कि दो के मध्य सतत और स्थानीय रूप से फलन $n$ -डायमेंशनल टोपोलॉजिकल मैनिफोल्ड्स ओपन होने चाहिए।

डोमेन का अपरिवर्तन — यदि $U$ का ओपन उपसमुच्चय है $\mathbb {R} ^{n}$ और $f:U\to \mathbb {R} ^{n}$ तो फिर, इंजेक्टिव निरंतर मानचित्र है $V:=f(U)$ में ओपन है $\mathbb {R} ^{n}$ और $f$ के मध्य होमोमोर्फिज्म है $U$ और $V.$

कार्यात्मक विश्लेषण में, ओपन मैपिंग प्रमेय (कार्यात्मक विश्लेषण) बताता है कि बानाच रिक्त स्थान के मध्य प्रत्येक विशेषण निरंतर रैखिक ऑपरेटर ओपन प्रतिचित्र है। इस प्रमेय को केवल बानाच रिक्त स्थान से परे टोपोलॉजिकल वेक्टर स्थानों के लिए सामान्यीकृत किया गया है।

विशेषण प्रतिचित्र $f:X\to Y$ को प्रत्येक के लिए लगभग ओपन मानचित्र कहा जाता है $y\in Y$ में कुछ उपस्थित है $x\in f^{-1}(y)$ ऐसा है कि $x$ ओपन का बिंदु है $f,$ इस परिभाषा के अनुसार अर्थ है कि प्रत्येक ओपन निकट के लिए $U$ का $x,$ $f(U)$ का निकट (टोपोलॉजी) है $f(x)$ में $Y$ (ध्यान दें कि निकट $f(U)$ का ओपन निकट होना आवश्यक नहीं है)। प्रत्येक विशेषण ओपन प्रतिचित्र लगभग ओपन प्रतिचित्र होता है किन्तु सामान्यतः, इसके विपरीत आवश्यक रूप से सत्य नहीं होता है। यदि अनुमान $f:(X,\tau )\to (Y,\sigma )$ लगभग ओपन प्रतिचित्र है तो यह ओपन प्रतिचित्र होगा यदि यह निम्नलिखित नियम को पूर्ण करता है (नियम जो किसी भी प्रकार से निर्भर नहीं करती है $Y$ की टोपोलॉजी $\sigma$ ) है:

जब कभी भी

m,n\in X

के फाइबर (गणित) से संबंधित हैं

f

(अर्थात्,

f(m)=f(n)

) तो प्रत्येक निकट के लिए

U\in \tau

का

m,

वहाँ कुछ निकट उपस्थित है

V\in \tau

का

n

ऐसा है कि

F(V)\subseteq F(U).

है।

यदि प्रतिचित्र निरंतर है तो प्रतिचित्र के ओपन होने के लिए भी उपरोक्त नियम आवश्यक है। अर्थात यदि

f:X\to Y

सतत प्रक्षेपण है तो यह ओपन प्रतिचित्र है यदि केवल यह लगभग ओपन है और यह उपरोक्त नियम को पूर्ण करता है।

गुण

ओपन या विवृत प्रतिचित्र जो निरंतर हैं

यदि $f:X\to Y$ सतत प्रतिचित्र है जो ओपन भी या विवृत भी होता है:

यदि $f$ $f$ अनुमान है तो यह भागफल प्रतिचित्र (टोपोलॉजी) है और यहां तक कि आनुवंशिक रूप से भागफल प्रतिचित्र भी है।
- विशेषण प्रतिचित्र $f:X\to Y$ प्रत्येक उपसमुच्चय के लिए $T\subseteq Y,$ को वंशानुगत भागफल कहा जाता है यह प्रतिबंध $f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T$ भागफल प्रतिचित्र है।
यदि $f$ इंजेक्शन का कार्य है तो यह टोपोलॉजिकल एम्बेडिंग है।
यदि $f$ आक्षेप है तो यह समरूपता है।

पहले दो स्थितियों में, ओपन या विवृत होना आगे आने वाले निष्कर्ष के लिए पर्याप्त नियम मात्र है। तीसरी स्थिति में भी यह आवश्यक नियम है।

निरंतर प्रतिचित्र ओपन

यदि $f:X\to Y$ सतत (दृढ़ता से) ओपन प्रतिचित्र है, $A\subseteq X,$ और $S\subseteq Y,$ जो इस प्रकार है:

f^{-1}\left(\operatorname {Bd} _{Y}S\right)=\operatorname {Bd} _{X}\left(f^{-1}(S)\right)

\operatorname {Bd}

सीमा (टोपोलॉजी)

f^{-1}\left({\overline {S}}\right)={\overline {f^{-1}(S)}}

{\overline {S}}

यदि ${\overline {A}}={\overline {\operatorname {Int} _{X}A}},$ जहाँ $\operatorname {Int}$ तब, समुच्चय के इंटीरियर (टोपोलॉजी) को दर्शाता है: ${\overline {\operatorname {Int} _{Y}f(A)}}={\overline {f(A)}}={\overline {f\left(\operatorname {Int} _{X}A\right)}}={\overline {f\left({\overline {\operatorname {Int} _{X}A}}\right)}}$ यह समुच्चय कहां है ${\overline {f(A)}}$ यह भी आवश्यक रूप से नियमित विवृत समुच्चय (इंच) है)^{[note 1]} $Y$ विशेषकर, यदि $A$ नियमित विवृत समुच्चय है तो ऐसा ही ${\overline {f(A)}}.$ और यदि $A$ नियमित ओपन समुच्चय है तो ऐसा ही $Y\setminus {\overline {f(X\setminus A)}}.$ है।
यदि निरंतर ओपन प्रतिचित्र $f:X\to Y$ तब यह भी विशेषण है $\operatorname {Int} _{X}f^{-1}(S)=f^{-1}\left(\operatorname {Int} _{Y}S\right)$ और इसके अतिरिक्त, $S$ नियमित ओपन (सम्मानित नियमित विवृत)^{[note 1]}का उप-समुच्चय है $Y$ यदि केवल $f^{-1}(S)$ का नियमित ओपन (सम्मानित नियमित विवृत) उप-समुच्चय $X.$ है।
यदि नेट (गणित) $y_{\bullet }=\left(y_{i}\right)_{i\in I}$ में अभिसरण होता है $Y$ तक $y\in Y$ और निरंतर ओपन प्रतिचित्र $f:X\to Y$ विशेषण है, फिर किसी के लिए $x\in f^{-1}(y)$ वहाँ नेट उपस्थित है $x_{\bullet }=\left(x_{a}\right)_{a\in A}$ में $X$ (कुछ निर्देशित समुच्चय द्वारा अनुक्रमित $A$ ) ऐसा है कि $x_{\bullet }\to x$ में $X$ और $f\left(x_{\bullet }\right):=\left(f\left(x_{a}\right)\right)_{a\in A}$ का सबनेट (गणित) $y_{\bullet }.$ है इसके अतिरिक्त, अनुक्रमण समुच्चय $A$ माना जा सकता है $A:=I\times {\mathcal {N}}_{x}$ उत्पाद ऑर्डर के साथ जहां ${\mathcal {N}}_{x}$ का कोई निकट आधार $x$ द्वारा निर्देशक $\,\supseteq .\,$ है।^{[note 2]}

यह भी देखें

↑ ^1.0 ^1.1 A subset $S\subseteq X$ is called a regular closed set if ${\overline {\operatorname {Int} S}}=S$ or equivalently, if $\operatorname {Bd} \left(\operatorname {Int} S\right)=\operatorname {Bd} S,$ where $\operatorname {Bd} S$ (resp. $\operatorname {Int} S,$ ${\overline {S}}$ ) denotes the topological boundary (resp. interior, closure) of $S$ in $X.$ The set $S$ is called a regular open set if $\operatorname {Int} \left({\overline {S}}\right)=S$ or equivalently, if $\operatorname {Bd} \left({\overline {S}}\right)=\operatorname {Bd} S.$ The interior (taken in $X$ ) of a closed subset of $X$ is always a regular open subset of $X.$ The closure (taken in $X$ ) of an open subset of $X$ is always a regular closed subset of $X.$
↑ Explicitly, for any $a:=(i,U)\in A:=I\times {\mathcal {N}}_{x},$ pick any $h_{a}\in I$ such that $i\leq h_{a}{\text{ and }}y_{h_{a}}\in f(U)$ and then let $x_{a}\in U\cap f^{-1}\left(y_{h_{a}}\right)$ be arbitrary. The assignment $a\mapsto h_{a}$ defines an order morphism $h:A\to I$ such that $h(A)$ is a cofinal subset of $I;$ thus $f\left(x_{\bullet }\right)$ is a Willard-subnet of $y_{\bullet }.$

उद्धरण

↑ Munkres, James R. (2000). टोपोलॉजी (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.
↑ ^2.0 ^2.1 Mendelson, Bert (1990) [1975]. टोपोलॉजी का परिचय (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. It is important to remember that Theorem 5.3 says that a function $f$ is continuous if and only if the inverse image of each open set is open. This characterization of continuity should not be confused with another property that a function may or may not possess, the property that the image of each open set is an open set (such functions are called open mappings).
↑ ^3.0 ^3.1 ^3.2 Lee, John M. (2003). स्मूथ मैनिफोल्ड्स का परिचय. Graduate Texts in Mathematics. Vol. 218. Springer Science & Business Media. p. 550. ISBN 9780387954486. A map $F:X\to Y$ (continuous or not) is said to be an open map if for every closed subset $U\subseteq X,$ $F(U)$ is open in $Y,$ and a closed map if for every closed subset $K\subseteq U,$ $F(K)$ is closed in $Y.$ Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.
↑ ^4.0 ^4.1 Ludu, Andrei (15 January 2012). समोच्चों और बंद सतहों पर अरेखीय तरंगें और सॉलिटॉन. Springer Series in Synergetics. p. 15. ISBN 9783642228940. An open map is a function between two topological spaces which maps open sets to open sets. Likewise, a closed map is a function which maps closed sets to closed sets. The open or closed maps are not necessarily continuous.
↑ Sohrab, Houshang H. (2003). बुनियादी वास्तविक विश्लेषण. Springer Science & Business Media. p. 203. ISBN 9780817642112. Now we are ready for our examples which show that a function may be open without being closed or closed without being open. Also, a function may be simultaneously open and closed or neither open nor closed. (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)
↑ Naber, Gregory L. (2012). यूक्लिडियन स्पेस में टोपोलॉजिकल तरीके. Dover Books on Mathematics (reprint ed.). Courier Corporation. p. 18. ISBN 9780486153445. Exercise 1-19. Show that the projection map $\pi _{i}:X_{i}\times \cdots \times X_{k}\to X_{i}$ π₁:X₁ × ··· × X_k → X_i is an open map, but need not be a closed map. Hint: The projection of R² onto $\mathbb {R}$ is not closed. Similarly, a closed map need not be open since any constant map is closed. For maps that are one-to-one and onto, however, the concepts of 'open' and 'closed' are equivalent.
↑ Mendelson, Bert (1990) [1975]. टोपोलॉजी का परिचय (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. There are many situations in which a function $f:\left(X,\tau \right)\to \left(Y,\tau '\right)$ has the property that for each open subset $A$ of $X,$ the set $f(A)$ is an open subset of $Y,$ and yet $f$ is not continuous.
↑ Boos, Johann (2000). सारांश में शास्त्रीय और आधुनिक तरीके. Oxford University Press. p. 332. ISBN 0-19-850165-X. Now, the question arises whether the last statement is true in general, that is whether closed maps are continuous. That fails in general as the following example proves.
↑ Kubrusly, Carlos S. (2011). संचालक सिद्धांत के तत्व. Springer Science & Business Media. p. 115. ISBN 9780817649982. In general, a map $F:X\to Y$ of a metric space $X$ into a metric space $Y$ may possess any combination of the attributes 'continuous', 'open', and 'closed' (that is, these are independent concepts).
↑ Hart, K. P.; Nagata, J.; Vaughan, J. E., eds. (2004). सामान्य टोपोलॉजी का विश्वकोश. Elsevier. p. 86. ISBN 0-444-50355-2. It seems that the study of open (interior) maps began with papers [13,14] by S. Stoïlow. Clearly, openness of maps was first studied extensively by G.T. Whyburn [19,20].
↑ Narici & Beckenstein 2011, pp. 225–273.
↑ Willard, Stephen (1970). सामान्य टोपोलॉजी. Addison-Wesley. ISBN 0486131785.
↑ Lee, John M. (2012). स्मूथ मैनिफोल्ड्स का परिचय. Graduate Texts in Mathematics. Vol. 218 (Second ed.). p. 606. doi:10.1007/978-1-4419-9982-5. ISBN 978-1-4419-9982-5. Exercise A.32. Suppose $X_{1},\ldots ,X_{k}$ are topological spaces. Show that each projection $\pi _{i}:X_{1}\times \cdots \times X_{k}\to X_{i}$ is an open map.
↑ ^14.0 ^14.1 Baues, Hans-Joachim; Quintero, Antonio (2001). अनंत समरूपता सिद्धांत. K-Monographs in Mathematics. Vol. 6. p. 53. ISBN 9780792369820. A composite of open maps is open and a composite of closed maps is closed. Also, a product of open maps is open. In contrast, a product of closed maps is not necessarily closed,...
↑ ^15.0 ^15.1 ^15.2 James, I. M. (1984). सामान्य टोपोलॉजी और होमोटोपी सिद्धांत. Springer-Verlag. p. 49. ISBN 9781461382836. ...let us recall that the composition of open maps is open and the composition of closed maps is closed. Also that the sum of open maps is open and the sum of closed maps is closed. However, the product of closed maps is not necessarily closed, although the product of open maps is open.

संदर्भ

Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
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.

[DefOfRegularOpenClosed-16] 1.0 ^1.1 A subset $S\subseteq X$ is called a regular closed set if ${\overline {\operatorname {Int} S}}=S$ or equivalently, if $\operatorname {Bd} \left(\operatorname {Int} S\right)=\operatorname {Bd} S,$ where $\operatorname {Bd} S$ (resp. $\operatorname {Int} S,$ ${\overline {S}}$ ) denotes the topological boundary (resp. interior, closure) of $S$ in $X.$ The set $S$ is called a regular open set if $\operatorname {Int} \left({\overline {S}}\right)=S$ or equivalently, if $\operatorname {Bd} \left({\overline {S}}\right)=\operatorname {Bd} S.$ The interior (taken in $X$ ) of a closed subset of $X$ is always a regular open subset of $X.$ The closure (taken in $X$ ) of an open subset of $X$ is always a regular closed subset of $X.$

[17] Explicitly, for any $a:=(i,U)\in A:=I\times {\mathcal {N}}_{x},$ pick any $h_{a}\in I$ such that $i\leq h_{a}{\text{ and }}y_{h_{a}}\in f(U)$ and then let $x_{a}\in U\cap f^{-1}\left(y_{h_{a}}\right)$ be arbitrary. The assignment $a\mapsto h_{a}$ defines an order morphism $h:A\to I$ such that $h(A)$ is a cofinal subset of $I;$ thus $f\left(x_{\bullet }\right)$ is a Willard-subnet of $y_{\bullet }.$

[1] Munkres, James R. (2000). टोपोलॉजी (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.

[mendelson-2] 2.0 ^2.1 Mendelson, Bert (1990) [1975]. टोपोलॉजी का परिचय (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. It is important to remember that Theorem 5.3 says that a function $f$ is continuous if and only if the inverse image of each open set is open. This characterization of continuity should not be confused with another property that a function may or may not possess, the property that the image of each open set is an open set (such functions are called open mappings).

[lee550-3] 3.0 ^3.1 ^3.2 Lee, John M. (2003). स्मूथ मैनिफोल्ड्स का परिचय. Graduate Texts in Mathematics. Vol. 218. Springer Science & Business Media. p. 550. ISBN 9780387954486. A map $F:X\to Y$ (continuous or not) is said to be an open map if for every closed subset $U\subseteq X,$ $F(U)$ is open in $Y,$ and a closed map if for every closed subset $K\subseteq U,$ $F(K)$ is closed in $Y.$ Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.

[ludu15-4] 4.0 ^4.1 Ludu, Andrei (15 January 2012). समोच्चों और बंद सतहों पर अरेखीय तरंगें और सॉलिटॉन. Springer Series in Synergetics. p. 15. ISBN 9783642228940. An open map is a function between two topological spaces which maps open sets to open sets. Likewise, a closed map is a function which maps closed sets to closed sets. The open or closed maps are not necessarily continuous.

[5] Sohrab, Houshang H. (2003). बुनियादी वास्तविक विश्लेषण. Springer Science & Business Media. p. 203. ISBN 9780817642112. Now we are ready for our examples which show that a function may be open without being closed or closed without being open. Also, a function may be simultaneously open and closed or neither open nor closed. (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)

[6] Naber, Gregory L. (2012). यूक्लिडियन स्पेस में टोपोलॉजिकल तरीके. Dover Books on Mathematics (reprint ed.). Courier Corporation. p. 18. ISBN 9780486153445. Exercise 1-19. Show that the projection map $\pi _{i}:X_{i}\times \cdots \times X_{k}\to X_{i}$ π₁:X₁ × ··· × X_k → X_i is an open map, but need not be a closed map. Hint: The projection of R² onto $\mathbb {R}$ is not closed. Similarly, a closed map need not be open since any constant map is closed. For maps that are one-to-one and onto, however, the concepts of 'open' and 'closed' are equivalent.

[mendelson2-7] Mendelson, Bert (1990) [1975]. टोपोलॉजी का परिचय (Third ed.). Dover. p. 89. ISBN 0-486-66352-3. There are many situations in which a function $f:\left(X,\tau \right)\to \left(Y,\tau '\right)$ has the property that for each open subset $A$ of $X,$ the set $f(A)$ is an open subset of $Y,$ and yet $f$ is not continuous.

[8] Boos, Johann (2000). सारांश में शास्त्रीय और आधुनिक तरीके. Oxford University Press. p. 332. ISBN 0-19-850165-X. Now, the question arises whether the last statement is true in general, that is whether closed maps are continuous. That fails in general as the following example proves.

[9] Kubrusly, Carlos S. (2011). संचालक सिद्धांत के तत्व. Springer Science & Business Media. p. 115. ISBN 9780817649982. In general, a map $F:X\to Y$ of a metric space $X$ into a metric space $Y$ may possess any combination of the attributes 'continuous', 'open', and 'closed' (that is, these are independent concepts).

[10] Hart, K. P.; Nagata, J.; Vaughan, J. E., eds. (2004). सामान्य टोपोलॉजी का विश्वकोश. Elsevier. p. 86. ISBN 0-444-50355-2. It seems that the study of open (interior) maps began with papers [13,14] by S. Stoïlow. Clearly, openness of maps was first studied extensively by G.T. Whyburn [19,20].

[FOOTNOTENariciBeckenstein2011225–273-11] Narici & Beckenstein 2011, pp. 225–273.

[12] Willard, Stephen (1970). सामान्य टोपोलॉजी. Addison-Wesley. ISBN 0486131785.

[13] Lee, John M. (2012). स्मूथ मैनिफोल्ड्स का परिचय. Graduate Texts in Mathematics. Vol. 218 (Second ed.). p. 606. doi:10.1007/978-1-4419-9982-5. ISBN 978-1-4419-9982-5. Exercise A.32. Suppose $X_{1},\ldots ,X_{k}$ are topological spaces. Show that each projection $\pi _{i}:X_{1}\times \cdots \times X_{k}\to X_{i}$ is an open map.

[baues55-14] 14.0 ^14.1 Baues, Hans-Joachim; Quintero, Antonio (2001). अनंत समरूपता सिद्धांत. K-Monographs in Mathematics. Vol. 6. p. 53. ISBN 9780792369820. A composite of open maps is open and a composite of closed maps is closed. Also, a product of open maps is open. In contrast, a product of closed maps is not necessarily closed,...

[james49-15] 15.0 ^15.1 ^15.2 James, I. M. (1984). सामान्य टोपोलॉजी और होमोटोपी सिद्धांत. Springer-Verlag. p. 49. ISBN 9781461382836. ...let us recall that the composition of open maps is open and the composition of closed maps is closed. Also that the sum of open maps is open and the sum of closed maps is closed. However, the product of closed maps is not necessarily closed, although the product of open maps is open.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[note 1]

[note 2]

Anonymous

Search

संवृत और विवृत प्रतिचित्र (ओपन एंड क्लोज्ड मैप): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:24, 19 September 2023

Contents

परिभाषाएँ और लक्षण वर्णन

प्रतिस्पर्धी परिभाषाएँ

ओपन प्रतिचित्र

विवृत प्रतिचित्र

उदाहरण

पर्याप्त स्थितियाँ

गुण

ओपन या विवृत प्रतिचित्र जो निरंतर हैं

निरंतर प्रतिचित्र ओपन

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{Short description|A function that sends open (resp. closed) subsets to open (resp. closed) subsets}}
-गणित में, विशेष रूप से [[टोपोलॉजी]] में, एक खुला नक्शा दो [[टोपोलॉजिकल स्पेस]] के बीच एक [[फ़ंक्शन (गणित)]] है जो खुले सेट को खुले सेट में मैप करता है।<ref>{{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=टोपोलॉजी|edition=2nd|publisher=[[Prentice Hall]]|year=2000|isbn=0-13-181629-2}}</ref><ref name=mendelson>{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=89|quote=It is important to remember that Theorem 5.3 says that a function <math>f</math> is continuous if and only if the {{em|inverse}} image of each open set is open. This characterization of continuity should not be confused with another property that a function may or may not possess, the property that the image of each open set is an open set (such functions are called {{em|open mappings}}).}}</ref><ref name=lee550>{{cite book|last=Lee|first=John M.|date=2003|title=स्मूथ मैनिफोल्ड्स का परिचय|series=Graduate Texts in Mathematics|volume=218|publisher=Springer Science & Business Media|isbn=9780387954486|page=550|quote=A map <math>F : X \to Y</math> (continuous or not) is said to be an {{em|open map}} if for every closed subset <math>U \subseteq X,</math> <math>F(U)</math> is open in <math>Y,</math> and a {{em|closed map}} if for every closed subset <math>K \subseteq U,</math> <math>F(K)</math> is closed in <math>Y.</math> Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.}}</ref> यानी एक फंक्शन <math>f : X \to Y</math> यदि किसी खुले सेट के लिए खुला है <math>U</math> में <math>X,</math> [[छवि (गणित)]] <math>f(U)</math> में खुला है <math>Y.</math> इसी तरह, एक बंद नक्शा एक ऐसा फ़ंक्शन है जो [[बंद सेट]]ों को बंद सेटों में मैप करता है।<ref name=lee550/><ref name=ludu15>{{cite book|last=Ludu|first=Andrei|title=समोच्चों और बंद सतहों पर अरेखीय तरंगें और सॉलिटॉन|series=Springer Series in Synergetics|date=15 January 2012|isbn=9783642228940|page=15|quote=An ''open map'' is a function between two topological spaces which maps open sets to open sets. Likewise, a '''closed map''' is a function which maps closed sets to closed sets. The open or closed maps are not necessarily continuous.}}</ref> एक नक्शा खुला, बंद, दोनों या एक भी नहीं हो सकता है;<ref>{{cite book|last=Sohrab|first=Houshang H.|date=2003|title=बुनियादी वास्तविक विश्लेषण|publisher=Springer Science & Business Media|isbn=9780817642112|url=https://books.google.com/books?id=QnpqBQAAQBAJ&pg=PA203|page=203|quote=Now we are ready for our examples which show that a function may be open without being closed or closed without being open. Also, a function may be simultaneously open and closed or neither open nor closed.}} (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)</ref> विशेष रूप से, एक खुले मानचित्र को बंद करने की आवश्यकता नहीं है और इसके विपरीत।<ref>{{cite book|last=Naber|first=Gregory L.|date=2012|title=यूक्लिडियन स्पेस में टोपोलॉजिकल तरीके|edition=reprint|series=Dover Books on Mathematics|publisher=Courier Corporation|isbn=9780486153445|page=18|quote=''Exercise 1-19.'' Show that the projection map <math>\pi_i : X_i \times \cdots \times X_k \to X_i</math>π<sub>1</sub>:''X''<sub>1</sub> × ··· × ''X''<sub>''k''</sub> → ''X''<sub>i</sub> is an open map, but need not be a closed map. Hint: The projection of '''R'''<sup>2</sup> onto <math>\R</math> is not closed. Similarly, a closed map need not be open since any constant map is closed. For maps that are one-to-one and onto, however, the concepts of 'open' and 'closed' are equivalent.}}</ref>
+गणित में, विशेष रूप से [[टोपोलॉजी]] में, संवृत ('''ओपन''') '''प्रतिचित्र''' दो [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल स्थानों]] के मध्य [[फ़ंक्शन (गणित)|फलन (गणित)]] है जो ओपन समुच्चय को ओपन समुच्चय में मैप करता है।<ref>{{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=टोपोलॉजी|edition=2nd|publisher=[[Prentice Hall]]|year=2000|isbn=0-13-181629-2}}</ref><ref name="mendelson">{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=89|quote=It is important to remember that Theorem 5.3 says that a function <math>f</math> is continuous if and only if the {{em|inverse}} image of each open set is open. This characterization of continuity should not be confused with another property that a function may or may not possess, the property that the image of each open set is an open set (such functions are called {{em|open mappings}}).}}</ref><ref name="lee550">{{cite book|last=Lee|first=John M.|date=2003|title=स्मूथ मैनिफोल्ड्स का परिचय|series=Graduate Texts in Mathematics|volume=218|publisher=Springer Science & Business Media|isbn=9780387954486|page=550|quote=A map <math>F : X \to Y</math> (continuous or not) is said to be an {{em|open map}} if for every closed subset <math>U \subseteq X,</math> <math>F(U)</math> is open in <math>Y,</math> and a {{em|closed map}} if for every closed subset <math>K \subseteq U,</math> <math>F(K)</math> is closed in <math>Y.</math> Continuous maps may be open, closed, both, or neither, as can be seen by examining simple examples involving subsets of the plane.}}</ref> अर्थात फलन <math>f : X \to Y</math> यदि किसी ओपन समुच्चय के लिए ओपन है <math>U</math> में <math>X,</math> [[छवि (गणित)]] <math>f(U)</math> में ओपन है <math>Y.</math> इसी प्रकार, विवृत (क्लोज्ड) प्रतिचित्र ऐसा फलन है जो [[बंद सेट|विवृत समुच्चयों]] को विवृत समुच्चयों में मैप करता है।<ref name=lee550/><ref name=ludu15>{{cite book|last=Ludu|first=Andrei|title=समोच्चों और बंद सतहों पर अरेखीय तरंगें और सॉलिटॉन|series=Springer Series in Synergetics|date=15 January 2012|isbn=9783642228940|page=15|quote=An ''open map'' is a function between two topological spaces which maps open sets to open sets. Likewise, a '''closed map''' is a function which maps closed sets to closed sets. The open or closed maps are not necessarily continuous.}}</ref> प्रतिचित्र ओपन, विवृत, दोनों या एक भी नहीं हो सकता है;<ref>{{cite book|last=Sohrab|first=Houshang H.|date=2003|title=बुनियादी वास्तविक विश्लेषण|publisher=Springer Science & Business Media|isbn=9780817642112|url=https://books.google.com/books?id=QnpqBQAAQBAJ&pg=PA203|page=203|quote=Now we are ready for our examples which show that a function may be open without being closed or closed without being open. Also, a function may be simultaneously open and closed or neither open nor closed.}} (The quoted statement in given in the context of metric spaces but as topological spaces arise as generalizations of metric spaces, the statement holds there as well.)</ref> विशेष रूप से, इसके विपरीत भी ओपन प्रतिचित्र को विवृत करने की आवश्यकता नहीं है।<ref>{{cite book|last=Naber|first=Gregory L.|date=2012|title=यूक्लिडियन स्पेस में टोपोलॉजिकल तरीके|edition=reprint|series=Dover Books on Mathematics|publisher=Courier Corporation|isbn=9780486153445|page=18|quote=''Exercise 1-19.'' Show that the projection map <math>\pi_i : X_i \times \cdots \times X_k \to X_i</math>π<sub>1</sub>:''X''<sub>1</sub> × ··· × ''X''<sub>''k''</sub> → ''X''<sub>i</sub> is an open map, but need not be a closed map. Hint: The projection of '''R'''<sup>2</sup> onto <math>\R</math> is not closed. Similarly, a closed map need not be open since any constant map is closed. For maps that are one-to-one and onto, however, the concepts of 'open' and 'closed' are equivalent.}}</ref>
-खुला<ref name=mendelson2>{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=89|quote=There are many situations in which a function <math>f : \left( X, \tau\right) \to \left( Y, \tau' \right)</math> has the property that for each open subset <math>A</math> of <math>X,</math> the set <math>f(A)</math> is an open subset of <math>Y,</math> and yet <math>f</math> is {{em|not}} continuous.}}</ref> और बंद<ref>{{cite book|last=Boos|first=Johann|date=2000|title=सारांश में शास्त्रीय और आधुनिक तरीके|series=Oxford University Press|isbn=0-19-850165-X|url=https://books.google.com/books?id=kZ9cy6XyidEC&pg=PA332|page=332|quote=Now, the question arises whether the last statement is true in general, that is whether closed maps are continuous. That fails in general as the following example proves.}}</ref> मानचित्र आवश्यक रूप से [[सतत कार्य (टोपोलॉजी)]] नहीं हैं।<ref name=ludu15/>इसके अलावा, निरंतरता सामान्य मामले में खुलेपन और बंदता से स्वतंत्र है और एक निरंतर कार्य में एक, दोनों, या कोई भी संपत्ति नहीं हो सकती है;<ref name=lee550/>यह तथ्य तब भी सत्य रहता है, जब कोई स्वयं को मीट्रिक स्थानों तक सीमित रखता है।<ref>{{cite book|last=Kubrusly|first=Carlos S.|date=2011|title=संचालक सिद्धांत के तत्व|url=https://archive.org/details/elementsoperator00kubr|url-access=limited|publisher=Springer Science & Business Media|isbn=9780817649982|page=[https://archive.org/details/elementsoperator00kubr/page/n131 115]|quote=In general, a map <math>F : X \to Y</math> of a metric space <math>X</math> into a metric space <math>Y</math> may possess any combination of the attributes 'continuous', 'open', and 'closed' (that is, these are independent concepts).}}</ref> हालाँकि उनकी परिभाषाएँ अधिक स्वाभाविक लगती हैं, खुले और बंद मानचित्र निरंतर मानचित्रों की तुलना में बहुत कम महत्वपूर्ण हैं।
-याद रखें, परिभाषा के अनुसार, एक फ़ंक्शन <math>f : X \to Y</math> यदि प्रत्येक खुले सेट की [[पूर्वछवि]] निरंतर है <math>Y</math> में खुला है <math>X.</math><ref name=mendelson/>(समान रूप से, यदि प्रत्येक बंद सेट की प्रीइमेज <math>Y</math> में बंद है <math>X</math>).
-खुले मानचित्रों का प्रारंभिक अध्ययन [[सिमिओन स्टोइलो]] और [[गॉर्डन थॉमस व्हाईबर्न]] द्वारा किया गया था।<ref>{{cite book|editor1-last=Hart|editor1-first=K. P.|editor2-last=Nagata|editor2-first=J.|editor3-last=Vaughan|editor3-first=J. E.|date=2004|title=सामान्य टोपोलॉजी का विश्वकोश|url=https://archive.org/details/encyclopediagene00hart_882|url-access=limited|publisher=Elsevier|isbn=0-444-50355-2|page=[https://archive.org/details/encyclopediagene00hart_882/page/n96 86]|quote=It seems that the study of open (interior) maps began with papers [13,14] by [[Simion Stoilow|S. Stoïlow]]. Clearly, openness of maps was first studied extensively by [[Gordon Thomas Whyburn|G.T. Whyburn]] [19,20].}}</ref>
+ओपन<ref name="mendelson2">{{cite book|last=Mendelson|first=Bert|date=1990|orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=89|quote=There are many situations in which a function <math>f : \left( X, \tau\right) \to \left( Y, \tau' \right)</math> has the property that for each open subset <math>A</math> of <math>X,</math> the set <math>f(A)</math> is an open subset of <math>Y,</math> and yet <math>f</math> is {{em|not}} continuous.}}</ref>और विवृत<ref>{{cite book|last=Boos|first=Johann|date=2000|title=सारांश में शास्त्रीय और आधुनिक तरीके|series=Oxford University Press|isbn=0-19-850165-X|url=https://books.google.com/books?id=kZ9cy6XyidEC&pg=PA332|page=332|quote=Now, the question arises whether the last statement is true in general, that is whether closed maps are continuous. That fails in general as the following example proves.}}</ref> प्रतिचित्र आवश्यक रूप से सतत कार्य (टोपोलॉजी) नहीं हैं।<ref name="ludu15" />इसके अतिरिक्त, निरंतरता सामान्य स्तिथि में ओपन और विवृत से स्वतंत्र है और निरंतर कार्य में दोनों, या कोई भी गुण नहीं हो सकते है;<ref name="lee550" />यह तथ्य सत्य है, जब कोई स्वयं को मीट्रिक स्थानों तक सीमित रखता है।<ref>{{cite book|last=Kubrusly|first=Carlos S.|date=2011|title=संचालक सिद्धांत के तत्व|url=https://archive.org/details/elementsoperator00kubr|url-access=limited|publisher=Springer Science & Business Media|isbn=9780817649982|page=[https://archive.org/details/elementsoperator00kubr/page/n131 115]|quote=In general, a map <math>F : X \to Y</math> of a metric space <math>X</math> into a metric space <math>Y</math> may possess any combination of the attributes 'continuous', 'open', and 'closed' (that is, these are independent concepts).}}</ref> चूँकि उनकी परिभाषाएँ अधिक स्वाभाविक लगती हैं, ओपन और विवृत प्रतिचित्र निरंतर प्रतिचित्रों की तुलना में अधिक कम महत्वपूर्ण हैं। याद रखें, परिभाषा के अनुसार, फलन <math>f : X \to Y</math> यदि प्रत्येक ओपन समुच्चय की [[पूर्वछवि]] <math>Y</math> निरंतर है और <math>Y</math>ओपन है <math>X.</math><ref name="mendelson" />(समान रूप से, यदि प्रत्येक विवृत समुच्चय की पूर्वछवि <math>Y</math> में विवृत <math>X</math> है)।
+ओपन प्रतिचित्रों का प्रारंभिक अध्ययन सिमिओन स्टोइलो और गॉर्डन थॉमस व्हाईबर्न द्वारा किया गया था।<ref>{{cite book|editor1-last=Hart|editor1-first=K. P.|editor2-last=Nagata|editor2-first=J.|editor3-last=Vaughan|editor3-first=J. E.|date=2004|title=सामान्य टोपोलॉजी का विश्वकोश|url=https://archive.org/details/encyclopediagene00hart_882|url-access=limited|publisher=Elsevier|isbn=0-444-50355-2|page=[https://archive.org/details/encyclopediagene00hart_882/page/n96 86]|quote=It seems that the study of open (interior) maps began with papers [13,14] by [[Simion Stoilow|S. Stoïlow]]. Clearly, openness of maps was first studied extensively by [[Gordon Thomas Whyburn|G.T. Whyburn]] [19,20].}}</ref>
-==परिभाषाएँ और लक्षण वर्णन==
+== परिभाषाएँ और लक्षण वर्णन ==
+यदि <math>S</math>  टोपोलॉजिकल स्थानों का उपसमुच्चय है तो मान लीजिये <math>\overline{S}</math> और <math>\operatorname{Cl} S</math> (सम्मान <math>\operatorname{Int} S</math>) के [[ समापन (टोपोलॉजी) |समापन (टोपोलॉजी)]] (संबंधित [[ आंतरिक (टोपोलॉजी) |आंतरिक (टोपोलॉजी)]] ) को दर्शाता है मान लीजिये <math>S</math> उस स्थान में है, टोपोलॉजिकल स्थान के मध्य <math>f : X \to Y</math> फलन हो। यदि <math>S</math> कोई समुच्चय है <math>f(S) := \left\{ f(s) ~:~ s \in S \cap \operatorname{domain} f \right\}</math> <math>S</math> के अंतर्गत <math>f.</math> की छवि कहलाती है।
-अगर <math>S</math> एक टोपोलॉजिकल स्पेस का एक उपसमुच्चय है तो चलिए <math>\overline{S}</math> और <math>\operatorname{Cl} S</math> (सम्मान. <math>\operatorname{Int} S</math>) [[ समापन (टोपोलॉजी) ]] (संबंधित [[ आंतरिक (टोपोलॉजी) ]]) को दर्शाता है <math>S</math> उस स्थान में.
-होने देना <math>f : X \to Y</math> टोपोलॉजिकल रिक्त स्थान के बीच एक फ़ंक्शन बनें। अगर <math>S</math> तो क्या कोई सेट है <math>f(S) := \left\{ f(s) ~:~ s \in S \cap \operatorname{domain} f \right\}</math> की छवि कहलाती है <math>S</math> अंतर्गत <math>f.</math>
 ===प्रतिस्पर्धी परिभाषाएँ===
-की दो अलग-अलग प्रतिस्पर्धी, लेकिन बारीकी से संबंधित परिभाषाएँ हैं{{em|open map}} जिसका व्यापक रूप से उपयोग किया जाता है, जहां इन दोनों परिभाषाओं को संक्षेप में प्रस्तुत किया जा सकता है: यह एक मानचित्र है जो खुले सेट को खुले सेट में भेजता है।
+"{{em|ओपन मानचित्र}}" की दो भिन्न-भिन्न प्रतिस्पर्धी, किन्तु सूक्ष्मता से संबंधित परिभाषाएं हैं, जिनका व्यापक रूप से उपयोग किया जाता है, जहां इन दोनों परिभाषाओं को संक्षेप में प्रस्तुत किया जा सकता है: यह वह प्रतिचित्र है जो ओपन समुच्चय को ओपन समुच्चय में भेजता है। निम्नलिखित शब्दावली का उपयोग कभी-कभी दो परिभाषाओं के मध्य अंतर करने के लिए किया जाता है।
-निम्नलिखित शब्दावली का उपयोग कभी-कभी दो परिभाषाओं के बीच अंतर करने के लिए किया जाता है।
-नक्षा <math>f : X \to Y</math> ए कहा जाता है
+प्रतिचित्र <math>f : X \to Y</math> को a कहा जाता है।
-*{{em|Strongly open map}}अगर जब भी <math>U</math> डोमेन का एक खुला सेट है <math>X</math> तब <math>f(U)</math> का एक खुला उपसमुच्चय है <math>f</math>का [[कोडोमेन]] <math>Y.</math> *{{em|{{visible anchor|Relatively open map}}}}अगर जब भी <math>U</math> डोमेन का एक खुला उपसमूह है <math>X</math> तब <math>f(U)</math> का एक खुला उपसमुच्चय है <math>f</math>की छवि (गणित) <math>\operatorname{Im} f := f(X),</math> जहां हमेशा की तरह, यह सेट इसके द्वारा प्रेरित उप-स्थान टोपोलॉजी से संपन्न है <math>f</math>का कोडोमेन <math>Y.</math>{{sfn|Narici|Beckenstein|2011|pp=225-273}}
+*{{em|"दृढ़ता से ओपन मानचित्र"}} यदि जब भी <math>U</math> डोमेन का ओपन उपसमुच्चय है <math>X</math> तब <math>f(U)</math> का ओपन उपसमुच्चय है <math>f</math> का [[कोडोमेन]] <math>Y.</math> है।
+**{{em|अपेक्षाकृत ओपन मानचित्र}} यदि जब भी <math>U</math> डोमेन का ओपन उपसमुच्चय है <math>X</math> तब <math>f(U)</math> का ओपन उपसमुच्चय है <math>f</math> की छवि (गणित) <math>\operatorname{Im} f := f(X),</math> जहां सदैव के जैसे, यह समुच्चय इसके द्वारा प्रेरित उप-स्थान टोपोलॉजी से संपन्न है <math>f</math> का कोडोमेन <math>Y.</math> है।{{sfn|Narici|Beckenstein|2011|pp=225-273}}
-प्रत्येक मजबूती से खुला नक्शा अपेक्षाकृत खुला नक्शा होता है। हालाँकि, ये परिभाषाएँ सामान्य रूप से समकक्ष नहीं हैं।
+प्रत्येक स्थिरता से ओपन प्रतिचित्र अपेक्षाकृत ओपन प्रतिचित्र होता है। चूँकि, ये परिभाषाएँ सामान्य रूप से समकक्ष नहीं हैं।
-:चेतावनी: कई लेखक खुले मानचित्र को इस अर्थ में परिभाषित करते हैं{{em|relatively}} खुला मानचित्र (उदाहरण के लिए, गणित का विश्वकोश) जबकि अन्य खुले मानचित्र को अर्थ के रूप में परिभाषित करते हैं{{em|strongly}} नक्शा खोलें. सामान्य तौर पर, ये परिभाषाएँ हैं {{em|not}} समतुल्य इसलिए यह सलाह दी जाती है कि हमेशा यह जांचें कि लेखक खुले मानचित्र की किस परिभाषा का उपयोग कर रहा है।
+:'''चेतावनी:''' कई लेखक ओपन प्रतिचित्र को {{em|अपेक्षाकृत}} ओपन प्रतिचित्र के रूप में परिभाषित करते हैं (उदाहरण के लिए, गणित का विश्वकोश) जबकि अन्य ओपन प्रतिचित्र को "{{em|दृढ़ता}} से ओपन प्रतिचित्र" के रूप में परिभाषित करते हैं। सामान्यतः ये परिभाषाएँ समतुल्य {{em|नहीं}}  हैं इसलिए यह विचार दिया जाता है कि सदैव यह परीक्षण करे कि लेखक ओपन प्रतिचित्र की किस परिभाषा का उपयोग कर रहा है।
-एक विशेषण फ़ंक्शन मानचित्र अपेक्षाकृत खुला होता है यदि और केवल यदि यह दृढ़ता से खुला हो; इसलिए इस महत्वपूर्ण विशेष मामले के लिए परिभाषाएँ समतुल्य हैं।
+विशेषण फलन प्रतिचित्र अपेक्षाकृत ओपन होता है यदि केवल यह दृढ़ता से ओपन हो; इसलिए इस महत्वपूर्ण विशेष स्तिथि के लिए परिभाषाएँ समतुल्य हैं। अधिक सामान्यतः, प्रतिचित्र <math>f : X \to Y</math> अपेक्षाकृत ओपन है यदि केवल विशेषण फलन <math>f : X \to f(X)</math> दृढ़ता से ओपन प्रतिचित्र है।
-अधिक सामान्यतः, एक मानचित्र <math>f : X \to Y</math> अपेक्षाकृत खुला है यदि और केवल यदि विशेषण फलन <math>f : X \to f(X)</math> एक दृढ़ता से खुला नक्शा है.
-क्योंकि <math>X</math> सदैव एक खुला उपसमुच्चय होता है <math>X,</math> छवि <math>f(X) = \operatorname{Im} f</math> एक दृढ़ता से खुले मानचित्र का <math>f : X \to Y</math> इसके कोडोमेन का एक खुला उपसमुच्चय होना चाहिए <math>Y.</math> वास्तव में, एक अपेक्षाकृत खुला मानचित्र एक दृढ़ता से खुला मानचित्र होता है यदि और केवल तभी जब इसकी छवि इसके कोडोमेन का एक खुला उपसमुच्चय हो।
+क्योंकि <math>X</math> सदैव ओपन उपसमुच्चय है <math>X,</math> छवि <math>f(X) = \operatorname{Im} f</math> दृढ़ता से ओपन प्रतिचित्र का <math>f : X \to Y</math> को इसके कोडोमेन का ओपन उपसमुच्चय होना चाहिए, <math>Y.</math> वास्तव में,  अपेक्षाकृत ओपन प्रतिचित्र दृढ़ता से ओपन प्रतिचित्र होता है यदि केवल तभी जब इसकी छवि इसके कोडोमेन का ओपन उपसमुच्चय हो। सारांश,
-सारांश,
-:एक नक्शा दृढ़ता से खुला होता है यदि और केवल तभी जब वह अपेक्षाकृत खुला हो और उसकी छवि उसके कोडोमेन का एक खुला उपसमुच्चय हो।
+:प्रतिचित्र दृढ़ता से ओपन होता है यदि केवल तभी जब वह अपेक्षाकृत ओपन हो और उसकी छवि उसके कोडोमेन का ओपन उपसमुच्चय हो।
-इस लक्षण वर्णन का उपयोग करके, खुले मानचित्र की इन दो परिभाषाओं में से एक से जुड़े परिणामों को दूसरी परिभाषा से जुड़ी स्थिति में लागू करना अक्सर सीधा होता है।
+इस लक्षण वर्णन का उपयोग करके, ओपन प्रतिचित्र की इन दो परिभाषाओं में से जुड़े परिणामों को दूसरी परिभाषा से जुड़ी स्थिति में प्रारम्भ करना प्रायः सरल होता है।
-उपरोक्त चर्चा बंद मानचित्रों पर भी लागू होगी यदि खुले शब्द के प्रत्येक उदाहरण को बंद शब्द से बदल दिया जाए।
+उपरोक्त वर्णन विवृत प्रतिचित्रों पर भी प्रारम्भ होगे यदि ओपन शब्द के प्रत्येक उदाहरण को विवृत शब्द से परिवर्तित कर दिया जाए।
-===नक्शे खोलें===
+===ओपन प्रतिचित्र ===
-नक्षा <math>f : X \to Y</math> एक कहा जाता है{{em|{{visible anchor|open map}}}} या ए{{em|{{visible anchor|strongly open map}}}} यदि यह निम्नलिखित समकक्ष शर्तों में से किसी को पूरा करता है:
+प्रतिचित्र <math>f : X \to Y</math> को {{em|ओपन मानचित्र}}  या {{em|दृढ़ता}}  से ओपन प्रतिचित्र कहा जाता है यदि यह निम्नलिखित समकक्ष नियमों में से किसी को संतुष्ट करता है:
 <ol>
-<li>परिभाषा: <math>f : X \to Y</math> इसके डोमेन के खुले उपसमुच्चय को इसके कोडोमेन के खुले उपसमुच्चय के साथ मैप करता है; अर्थात्, किसी भी खुले उपसमुच्चय के लिए <math>U</math> का <math>X</math>, <math>f(U)</math> का एक खुला उपसमुच्चय है <math>Y.</math></li>
+<li>परिभाषा: <math>f : X \to Y</math> अपने डोमेन के ओपन उप-समुच्चय को उसके कोडोमेन के ओपन उप-समुच्चय के साथ मैप करता है; अर्थात्, किसी भी ओपन उप-समुच्चय के लिए <math>U</math> का <math>X</math>, <math>f(U)</math> का ओपन उपसमुच्चय <math>Y.</math> है। </li>
-<ली><math>f : X \to Y</math> यह एक अपेक्षाकृत खुला मानचित्र और उसकी छवि है <math>\operatorname{Im} f := f(X)</math> इसके कोडोमेन का एक खुला उपसमुच्चय है <math>Y.</math></li>
+<li><math>f : X \to Y</math> यह अपेक्षाकृत ओपन प्रतिचित्र और उसकी छवि <math>\operatorname{Im} f := f(X)</math> है, इसके कोडोमेन का ओपन उपसमुच्चय <math>Y.</math> है।
-<li>प्रत्येक के लिए <math>x \in X</math> और प्रत्येक [[पड़ोस (टोपोलॉजी)]] <math>N</math> का <math>x</math> (हालांकि छोटा), <math>f(N)</math> का पड़ोस है <math>f(x)</math>. हम इस स्थिति में पड़ोस शब्द के पहले या दोनों उदाहरणों को खुले पड़ोस से बदल सकते हैं और परिणाम अभी भी एक समकक्ष स्थिति होगी:
+</li>
-* हरएक के लिए <math>x \in X</math> और हर खुला पड़ोस <math>N</math> का <math>x</math>, <math>f(N)</math> का पड़ोस है <math>f(x)</math>.
+<li>प्रत्येक के लिए <math>x \in X</math> और प्रत्येक [[पड़ोस (टोपोलॉजी)|निकट (टोपोलॉजी)]] का <math>N</math>, <math>x</math> (चूँकि छोटा), <math>f(N)</math> के निकटम <math>f(x)</math> है, हम इस स्थिति में निकट शब्द के पहले या दोनों उदाहरणों को ओपन निकटता से परिवर्तित कर सकते हैं और परिणाम की समकक्ष स्थिति होगी:
-* हरएक के लिए <math>x \in X</math> और हर खुला पड़ोस <math>N</math> का <math>x</math>, <math>f(N)</math> का खुला पड़ोस है <math>f(x)</math>.</li>
+* प्रत्येक के लिए <math>x \in X</math> और प्रत्येक ओपन निकटता <math>N</math> का <math>x</math>, <math>f(N)</math> का ओपन निकटता <math>f(x)</math> है।
-<ली><math>f\left( \operatorname{Int}_X A \right) \subseteq \operatorname{Int}_Y ( f(A) )</math> सभी उपसमुच्चय के लिए <math>A</math> का <math>X,</math> कहाँ <math>\operatorname{Int}</math> सेट के [[टोपोलॉजिकल इंटीरियर]] को दर्शाता है।</li>
+* प्रत्येक के लिए <math>x \in X</math> और प्रत्येक ओपन निकटता <math>N</math> का <math>x</math>, <math>f(N)</math> का ओपन निकटता <math>f(x)</math> है। </li>
-<li>जब भी <math>C</math> का एक बंद सेट है <math>X</math> फिर सेट <math>\left\{ y \in Y ~:~ f^{-1}(y) \subseteq C \right\}</math> का एक बंद उपसमुच्चय है <math>Y.</math>
+<li>यहाँ <math>f\left( \operatorname{Int}_X A \right) \subseteq \operatorname{Int}_Y ( f(A) )</math> सभी उपसमुच्चय के लिए <math>A</math> का <math>X,</math> जहाँ <math>\operatorname{Int}</math> समुच्चय के [[टोपोलॉजिकल इंटीरियर]] को दर्शाता है। </li>
-* यह [[निर्धारित पहचान और संबंधों की सूची]] का परिणाम है <math>f(X \setminus R) = Y \setminus \left\{ y \in Y : f^{-1}(y) \subseteq R \right\},</math> जो सभी उपसमुच्चय के लिए मान्य है <math>R \subseteq X.</math></li>
+<li>जब भी <math>C</math> का विवृत समुच्चय है <math>X</math> फिर समुच्चय <math>\left\{ y \in Y ~:~ f^{-1}(y) \subseteq C \right\}</math> का विवृत उपसमुच्चय <math>Y.</math> है।
+* यह [[निर्धारित पहचान और संबंधों की सूची]] का परिणाम है <math>f(X \setminus R) = Y \setminus \left\{ y \in Y : f^{-1}(y) \subseteq R \right\},</math> जो सभी उपसमुच्चय के लिए <math>R \subseteq X.</math> मान्य है। </li>
 </ol>
-अगर <math>\mathcal{B}</math> के लिए एक [[आधार (टोपोलॉजी)]] है <math>X</math> तो निम्नलिखित को इस सूची में जोड़ा जा सकता है:
+यदि <math>\mathcal{B}</math> के लिए [[आधार (टोपोलॉजी)]] है <math>X</math> तो निम्नलिखित को इस सूची में जोड़ा जा सकता है:
+. <math>f</math> अपने कोडोमेन में बेसिक ओपन समुच्चय को मैप करता है (अर्थात, किसी भी बेसिक ओपन समुच्चय के लिए <math>B \in \mathcal{B},</math> <math>f(B)</math> का ओपन उपसमुच्चय <math>Y</math> है)।
-# <ली मान= 6 ><math>f</math> इसके कोडोमेन में बेसिक ओपन सेट को ओपन सेट में मैप करता है (अर्थात, किसी भी बेसिक ओपन सेट के लिए <math>B \in \mathcal{B},</math> <math>f(B)</math> का एक खुला उपसमुच्चय है <math>Y</math>).</li>
+===विवृत प्रतिचित्र===
-===बंद मानचित्र===
+प्रतिचित्र <math>f : X \to Y</math> को {{em|अपेक्षाकृत बंद मानचित्र}}  कहा जाता है यदि जब भी <math>C</math> डोमेन का विवृत समुच्चय है <math>X</math> तब <math>f(C)</math> का विवृत उपसमुच्चय है <math>f</math> की छवि (गणित) <math>\operatorname{Im} f := f(X),</math> जहां सदैव के जैसे, यह समुच्चय इसके द्वारा प्रेरित उप-स्थान टोपोलॉजी से संपन्न है <math>f</math> का कोडोमेन <math>Y.</math> है।
-नक्षा <math>f : X \to Y</math> ए कहा जाता है{{em|{{visible anchor|relatively closed map}}}}अगर जब भी <math>C</math> डोमेन का एक बंद सेट है <math>X</math> तब <math>f(C)</math> का एक बंद उपसमुच्चय है <math>f</math>की छवि (गणित) <math>\operatorname{Im} f := f(X),</math> जहां हमेशा की तरह, यह सेट इसके द्वारा प्रेरित उप-स्थान टोपोलॉजी से संपन्न है <math>f</math>का कोडोमेन <math>Y.</math> नक्षा <math>f : X \to Y</math> ए कहा जाता है{{em|{{visible anchor|closed map}}}} या ए{{em|{{visible anchor|strongly closed map}}}} यदि यह निम्नलिखित समकक्ष शर्तों में से किसी को पूरा करता है:
+प्रतिचित्र <math>f : X \to Y</math> को {{em|बंद मानचित्र}}  या {{em|दृढ़ता}}  से विवृत प्रतिचित्र कहा जाता है यदि यह निम्नलिखित समकक्ष नियमों में से किसी को संतुष्ट करता है:
 <ol>
-<li>परिभाषा: <math>f : X \to Y</math> इसके डोमेन के बंद उपसमुच्चय को इसके कोडोमेन के बंद उपसमुच्चय से मैप करता है; अर्थात्, किसी भी बंद उपसमुच्चय के लिए <math>C</math> का <math>X,</math> <math>f(C)</math> का एक बंद उपसमुच्चय है <math>Y.</math>
+<li>'''परिभाषा:''' <math>f : X \to Y</math> इसके डोमेन के विवृत उप-समुच्चय को इसके कोडोमेन के विवृत उप-समुच्चय से मैप करता है; अर्थात्, किसी भी विवृत उप-समुच्चय के लिए <math>C</math> का <math>X,</math> <math>f(C)</math> का  विवृत उपसमुच्चय <math>Y.</math> है। </li>
-<वह><math>f : X \to Y</math> यह एक अपेक्षाकृत बंद मानचित्र और उसकी छवि है <math>\operatorname{Im} f := f(X)</math> इसके कोडोमेन का एक बंद उपसमुच्चय है <math>Y.</math></li>
+<li><math>f : X \to Y</math> यह अपेक्षाकृत विवृत प्रतिचित्र और उसकी छवि <math>\operatorname{Im} f := f(X)</math> है इसके को-डोमेन का विवृत उप-समुच्चय <math>Y.</math> है।
-<ली><math>\overline{f(A)} \subseteq f\left(\overline{A}\right)</math> प्रत्येक उपसमुच्चय के लिए <math>A \subseteq X.</math></li>
+</li>
-<ली><math>\overline{f(C)} \subseteq f(C)</math> प्रत्येक बंद उपसमुच्चय के लिए <math>C \subseteq X.</math></li>
+<li><math>\overline{f(A)} \subseteq f\left(\overline{A}\right)</math> प्रत्येक उप-समुच्चय के लिए <math>A \subseteq X.</math> है।
-<ली><math>\overline{f(C)} = f(C)</math> प्रत्येक बंद उपसमुच्चय के लिए <math>C \subseteq X.</math></li>
+</li>
-<li>जब भी <math>U</math> का एक खुला उपसमुच्चय है <math>X</math> फिर सेट <math>\left\{y \in Y ~:~ f^{-1}(y) \subseteq U\right\}</math> का एक खुला उपसमुच्चय है <math>Y.</math></li>
+<li><math>\overline{f(C)} \subseteq f(C)</math> प्रत्येक विवृत उप-समुच्चय के लिए <math>C \subseteq X.</math> है।
-<li>यदि <math>x_{\bull}</math> में एक [[नेट (गणित)]] है <math>X</math> और <math>y \in Y</math> एक बिंदु ऐसा है <math>f\left(x_{\bull}\right) \to y</math> में <math>Y,</math> तब <math>x_{\bull}</math> में एकत्रित हो जाता है <math>X</math> सेट पर <math>f^{-1}(y).</math> *अभिसरण <math>x_{\bull} \to f^{-1}(y)</math> इसका मतलब है कि प्रत्येक खुला उपसमुच्चय <math>X</math> उसमें सम्मिलित है <math>f^{-1}(y)</math> शामिल है <math>x_j</math> सभी पर्याप्त बड़े सूचकांकों के लिए <math>j.</math></li>
+</li>
+<li><math>\overline{f(C)} = f(C)</math>  प्रत्येक विवृत उप-समुच्चय के लिए <math>C \subseteq X.</math>  है।
+</li>
+<li>जब भी <math>U</math> ओपन उपसमुच्चय है <math>X</math> फिर समुच्चय <math>\left\{y \in Y ~:~ f^{-1}(y) \subseteq U\right\}</math> का  ओपन उपसमुच्चय <math>Y.</math> है।
+</li>
+<li>यदि <math>x_{\bull}</math> में [[नेट (गणित)]] है <math>X</math> और <math>y \in Y</math> बिंदु ऐसा है <math>f\left(x_{\bull}\right) \to y</math> में <math>Y,</math> तब <math>x_{\bull}</math> में अभिसरण होता है <math>X</math> समुच्चय पर <math>f^{-1}(y).</math> है।                                                </li>
+<li>अभिसरण <math>x_{\bull} \to f^{-1}(y)</math> का अर्थ है कि प्रत्येक ओपन उपसमुच्चय <math>X</math> जिसमें <math>f^{-1}(y)</math> सम्मिलित है <math>x_j</math> सभी पर्याप्त बड़े सूचकांकों के लिए <math>j.</math> है।
+</li>
 </ol>
-एक विशेषण फ़ंक्शन मानचित्र दृढ़ता से बंद होता है यदि और केवल यदि यह अपेक्षाकृत बंद होता है। तो इस महत्वपूर्ण विशेष मामले के लिए, दोनों परिभाषाएँ समतुल्य हैं।
+विशेषण फलन प्रतिचित्र दृढ़ता से विवृत होता है यदि केवल यह अपेक्षाकृत विवृत होता है। तो इस महत्वपूर्ण विशेष स्तिथि के लिए, दोनों परिभाषाएँ समतुल्य हैं। परिभाषा के अनुसार, प्रतिचित्र <math>f : X \to Y</math> अपेक्षाकृत विवृत प्रतिचित्र है यदि केवल विशेषण फलन <math>f : X \to \operatorname{Im} f</math> दृढ़ता से विवृत प्रतिचित्र है।
-परिभाषा के अनुसार, मानचित्र <math>f : X \to Y</math> एक अपेक्षाकृत बंद नक्शा है यदि और केवल यदि विशेषण फ़ंक्शन <math>f : X \to \operatorname{Im} f</math> एक दृढ़ता से बंद नक्शा है.
-यदि सतत फ़ंक्शन की खुली सेट परिभाषा में (जो कि कथन है: एक खुले सेट की प्रत्येक प्रीइमेज खुली है), ओपन शब्द के दोनों उदाहरणों को बंद के साथ बदल दिया जाता है, तो परिणामों का विवरण (एक बंद सेट की प्रत्येक प्रीइमेज बंद है) है {{em|[[Logical equivalence|equivalent]]}} निरंतरता के लिए.
+यदि सतत फलन का ओपन समुच्चय परिभाषा में (जो कि कथन है: ओपन समुच्चय की प्रत्येक पूर्व छवि ओपन है), ओपन शब्द के दोनों उदाहरणों को विवृत के साथ परिवर्तित कर दिया जाता है, तो परिणामों का विवरण (विवृत समुच्चय की प्रत्येक पूर्व छवि विवृत है) निरंतरता के {{em|समान}}  है। ऐसे ओपन प्रतिचित्र की परिभाषा के साथ ऐसा नहीं होता है (जो है: ओपन समुच्चय की प्रत्येक छवि ओपन है) क्योंकि जो कथन परिणाम देता है (विवृत समुच्चय की प्रत्येक छवि विवृत है) वह "विवृत" की परिभाषा है प्रतिचित्र", जो सामान्यतः ओपन के समकक्ष {{em|नहीं}}  है। ऐसे ओपन प्रतिचित्र भी उपस्थित हैं जो विवृत नहीं हैं और ऐसे विवृत प्रतिचित्र भी उपस्थित हैं जो ओपन नहीं हैं। ओपन/विवृत प्रतिचित्रों और सतत प्रतिचित्रों के मध्य यह अंतर अंततः किसी भी समुच्चय के कारण होता है <math>S,</math> केवल <math>f(X \setminus S) \supseteq f(X) \setminus f(S)</math> सामान्य रूप से आश्वासन दिया जाता है, जबकि पूर्वछवियों के लिए समानता का आश्वासन होता है <math>f^{-1}(Y \setminus S) = f^{-1}(Y) \setminus f^{-1}(S)</math> सदैव स्थापित रहता है।.
-खुले मानचित्र की परिभाषा के साथ ऐसा नहीं होता है (जो है: एक खुले सेट की प्रत्येक छवि खुली है) क्योंकि यह कथन (एक बंद सेट की प्रत्येक छवि बंद है) बंद मानचित्र की परिभाषा है, जो सामान्य रूप से है {{em|not}} खुलेपन के बराबर। ऐसे खुले मानचित्र भी मौजूद हैं जो बंद नहीं हैं और ऐसे बंद मानचित्र भी मौजूद हैं जो खुले नहीं हैं। खुले/बंद मानचित्रों और सतत मानचित्रों के बीच यह अंतर अंततः किसी भी सेट के कारण होता है <math>S,</math> केवल <math>f(X \setminus S) \supseteq f(X) \setminus f(S)</math> सामान्य तौर पर इसकी गारंटी होती है, जबकि पूर्वछवियों के लिए समानता की गारंटी होती है <math>f^{-1}(Y \setminus S) = f^{-1}(Y) \setminus f^{-1}(S)</math> हमेशा धारण करता है.
 ==उदाहरण==
-कार्यक्रम <math>f : \R \to \R</math> द्वारा परिभाषित <math>f(x) = x^2</math> निरंतर, बंद और अपेक्षाकृत खुला है, लेकिन (दृढ़ता से) खुला नहीं है। इसका कारण यह है कि यदि <math>U = (a, b)</math> में कोई खुला अंतराल है <math>f</math>का डोमेन <math>\R</math> वैसा करता है {{em|not}} रोकना <math>0</math> तब <math>f(U) = (\min \{ a^2, b^2 \}, \max \{ a^2, b^2 \}),</math> जहां यह खुला अंतराल दोनों का एक खुला उपसमुच्चय है <math>\R</math> और <math>\operatorname{Im} f := f(\R) = [0, \infty).</math> हालांकि, यदि <math>U = (a, b)</math> में कोई खुला अंतराल है <math>\R</math> उसमें सम्मिलित है <math>0</math> तब <math>f(U) = [0, \max \{ a^2, b^2 \}),</math> जो कि एक खुला उपसमुच्चय नहीं है <math>f</math>का कोडोमेन <math>\R</math> लेकिन {{em|is}} का एक खुला उपसमुच्चय <math>\operatorname{Im} f = [0, \infty).</math> क्योंकि सभी खुले अंतरालों का सेट <math>\R</math> [[यूक्लिडियन टोपोलॉजी]] के लिए एक [[आधार (टोपोलॉजी)]] है <math>\R,</math> इससे पता चलता है कि <math>f : \R \to \R</math> अपेक्षाकृत खुला है लेकिन (दृढ़ता से) खुला नहीं है।
+प्रोग्राम <math>f : \R \to \R</math> द्वारा परिभाषित <math>f(x) = x^2</math> निरंतर, विवृत और अपेक्षाकृत ओपन है, किन्तु (दृढ़ता से) ओपन नहीं है। इसका कारण यह है कि यदि <math>U = (a, b)</math> में कोई ओपन अंतराल है <math>f</math> का डोमेन <math>\R</math> जिसमें सम्मिलित {{em|नहीं}}  है <math>0</math> तब <math>f(U) = (\min \{ a^2, b^2 \}, \max \{ a^2, b^2 \}),</math> जहां यह ओपन अंतराल दोनों का ओपन उपसमुच्चय <math>\R</math> है और <math>\operatorname{Im} f := f(\R) = [0, \infty).</math> चूँकि, यदि <math>U = (a, b)</math> में कोई ओपन अंतराल है <math>\R</math> उसमें सम्मिलित है <math>0</math> तब <math>f(U) = [0, \max \{ a^2, b^2 \}),</math> जो कि ओपन उपसमुच्चय नहीं है <math>f</math> का कोडोमेन <math>\R</math> किन्तु {{em|इसका}} ओपन उपसमुच्चय <math>\operatorname{Im} f = [0, \infty).</math> है, क्योंकि सभी ओपन अंतरालों का समुच्चय <math>\R</math> [[यूक्लिडियन टोपोलॉजी]] के लिए [[आधार (टोपोलॉजी)]] है <math>\R,</math> इससे ज्ञात होता है कि <math>f : \R \to \R</math> अपेक्षाकृत ओपन है किन्तु (दृढ़ता से) ओपन नहीं है।
-अगर <math>Y</math> [[असतत टोपोलॉजी]] है (अर्थात, सभी उपसमुच्चय खुले और बंद हैं) फिर प्रत्येक फ़ंक्शन <math>f : X \to Y</math> खुला और बंद दोनों है (लेकिन जरूरी नहीं कि निरंतर हो)।
+यदि <math>Y</math> में [[असतत टोपोलॉजी]] है (अर्थात, सभी उपसमुच्चय ओपन और विवृत हैं) फिर प्रत्येक फलन <math>f : X \to Y</math> ओपन और विवृत दोनों है (किन्तु आवश्यक नहीं कि निरंतर हो)। उदाहरण के लिए,   [[फर्श समारोह|फ़्लोर फलन]] से <math>\R</math> पूर्णांक से <math>\Z</math> ओपन और विवृत है, किन्तु निरंतर नहीं है। यह उदाहरण दिखाता है कि ओपन या विवृत प्रतिचित्र के अंतर्गत जुड़े स्थान की छवि को कनेक्ट करने की आवश्यकता नहीं है।
-उदाहरण के लिए, वास्तविक संख्या से [[फर्श समारोह]]|<math>\R</math>पूर्णांक तक|<math>\Z</math>खुला और बंद है, लेकिन निरंतर नहीं।
-यह उदाहरण दिखाता है कि खुले या बंद मानचित्र के अंतर्गत जुड़े स्थान की छवि को कनेक्ट करने की आवश्यकता नहीं है।
-जब भी हमारे पास टोपोलॉजिकल स्पेस का [[उत्पाद टोपोलॉजी]] होता है <math>X=\prod X_i,</math> प्राकृतिक अनुमान <math>p_i : X \to  X_i</math> खुले हैं<ref>{{cite book|title=सामान्य टोपोलॉजी|url=https://archive.org/details/generaltopology00will_0|url-access=registration|first=Stephen|last=Willard|publisher=Addison-Wesley|year=1970|isbn=0486131785}}</ref><ref>{{cite book|last=Lee|first=John M.|date=2012|title=स्मूथ मैनिफोल्ड्स का परिचय|edition=Second|series=Graduate Texts in Mathematics|volume=218|isbn=978-1-4419-9982-5|doi=10.1007/978-1-4419-9982-5|page=606|url=https://zenodo.org/record/4461500|quote='''Exercise A.32.''' Suppose <math>X_1, \ldots, X_k</math> are topological spaces. Show that each projection <math>\pi_i : X_1 \times \cdots \times X_k \to X_i</math> is an open map.}}</ref> (साथ ही निरंतर)।
+जब भी हमारे पास टोपोलॉजिकल स्थानों का [[उत्पाद टोपोलॉजी]] होता है <math>X=\prod X_i,</math> प्राकृतिक अनुमान <math>p_i : X \to  X_i</math> ओपन हैं<ref>{{cite book|title=सामान्य टोपोलॉजी|url=https://archive.org/details/generaltopology00will_0|url-access=registration|first=Stephen|last=Willard|publisher=Addison-Wesley|year=1970|isbn=0486131785}}</ref><ref>{{cite book|last=Lee|first=John M.|date=2012|title=स्मूथ मैनिफोल्ड्स का परिचय|edition=Second|series=Graduate Texts in Mathematics|volume=218|isbn=978-1-4419-9982-5|doi=10.1007/978-1-4419-9982-5|page=606|url=https://zenodo.org/record/4461500|quote='''Exercise A.32.''' Suppose <math>X_1, \ldots, X_k</math> are topological spaces. Show that each projection <math>\pi_i : X_1 \times \cdots \times X_k \to X_i</math> is an open map.}}</ref> (साथ ही निरंतर)। चूंकि [[फाइबर बंडल|फाइबर बंडलों]] और [[कवरिंग मानचित्र|कवरिंग प्रतिचित्रों]] के प्रक्षेपण उत्पादों के स्थानीय रूप से प्राकृतिक प्रक्षेपण हैं, इसलिए ये ओपन प्रतिचित्र भी हैं। चूँकि अनुमानों को विवृत करने की आवश्यकता नहीं है। उदाहरण के लिए प्रक्षेपण पर विचार करें <math>p_1 : \R^2 \to \R</math> पहले घटक पर <math>A = \{(x, 1/x) : x \neq 0\}</math> समुच्चय में विवृत है <math>\R^2,</math> किन्तु  <math>p_1(A) = \R \setminus \{0\}</math> में विवृत नहीं किया गया है। <math>\R.</math> चूँकि, कॉम्पैक्ट स्थान के लिए <math>Y,</math> प्रक्षेपण <math>X \times Y \to X</math> बन्द है। यह मूलतः [[ट्यूब लेम्मा]] है।
-चूंकि [[फाइबर बंडल]]ों और [[कवरिंग मानचित्र]]ों के प्रक्षेपण उत्पादों के स्थानीय रूप से प्राकृतिक प्रक्षेपण हैं, इसलिए ये खुले मानचित्र भी हैं।
-हालाँकि अनुमानों को बंद करने की आवश्यकता नहीं है। उदाहरण के लिए प्रक्षेपण पर विचार करें <math>p_1 : \R^2 \to \R</math> पहले घटक पर; फिर सेट <math>A = \{(x, 1/x) : x \neq 0\}</math> में बंद है <math>\R^2,</math> लेकिन <math>p_1(A) = \R \setminus \{0\}</math> में बंद नहीं है <math>\R.</math> हालाँकि, एक कॉम्पैक्ट स्थान के लिए <math>Y,</math> प्रक्षेपण <math>X \times Y \to X</math> बन्द है। यह मूलतः [[ट्यूब लेम्मा]] है।
-[[इकाई चक्र]] के प्रत्येक बिंदु पर हम सकारात्मक [[कोण]] को जोड़ सकते हैं <math>x</math>-बिंदु को मूल बिंदु से जोड़ने वाली किरण के साथ अक्ष। यूनिट सर्कल से आधे खुले [[अंतराल (गणित)]] तक यह फ़ंक्शन विशेषण, खुला और बंद है, लेकिन निरंतर नहीं है।
+[[इकाई चक्र]] के प्रत्येक बिंदु पर सकारात्मक [[कोण]] को जोड़ सकते हैं <math>x</math>-अक्ष बिंदु को मूल बिंदु से जोड़ने वाली किरण के साथ जोड़ा जाता है। इकाई चक्र से अर्ध ओपन [[अंतराल (गणित)]] [0,2π) तक यह फलन विशेषण, ओपन और विवृत है, किन्तु निरंतर नहीं है। यह दर्शाता है कि ओपन या विवृत प्रतिचित्र के नीचे [[सघन स्थान]] की छवि को कॉम्पैक्ट होने की आवश्यकता नहीं है। यह भी ध्यान दें कि यदि इसे इकाई वृत्त से वास्तविक संख्याओं तक का फलन मानें, तो यह न तो ओपन है और न ही विवृत है। कोडोमेन निर्दिष्ट करना आवश्यक है।
-यह दर्शाता है कि खुले या बंद मानचित्र के नीचे एक [[सघन स्थान]] की छवि को कॉम्पैक्ट होने की आवश्यकता नहीं है।
-यह भी ध्यान दें कि यदि हम इसे इकाई वृत्त से वास्तविक संख्याओं तक का फलन मानें, तो यह न तो खुला है और न ही बंद है। कोडोमेन निर्दिष्ट करना आवश्यक है।
 ==पर्याप्त स्थितियाँ==
-प्रत्येक [[होमियोमोर्फिज्म]] खुला, बंद और निरंतर है। वास्तव में, एक विशेषण सतत मानचित्र एक समरूपता है यदि और केवल यदि यह खुला है, या समकक्ष रूप से, यदि और केवल यदि यह बंद है।
+प्रत्येक [[होमियोमोर्फिज्म]] ओपन, विवृत और निरंतर है। वास्तव में, विशेषण सतत प्रतिचित्र समरूपता है यदि केवल यह ओपन है, या समकक्ष रूप से, यदि केवल यह विवृत है।
+दो (दृढ़ता से) ओपन प्रतिचित्रों की कार्यात्मक संरचना ओपन प्रतिचित्र है और दो (दृढ़ता से) विवृत प्रतिचित्रों की संरचना विवृत प्रतिचित्र है।<ref name=baues55>{{cite book|last1=Baues|first1=Hans-Joachim|last2=Quintero|first2=Antonio|date=2001|title=अनंत समरूपता सिद्धांत|series=''K''-Monographs in Mathematics|volume=6|isbn=9780792369820|page=53|quote=A composite of open maps is open and a composite of closed maps is closed. Also, a product of open maps is open. In contrast, a product of closed maps is not necessarily closed,...}}</ref><ref name=james49>{{cite book|last=James|first=I. M.|date=1984|title=सामान्य टोपोलॉजी और होमोटोपी सिद्धांत|url=https://archive.org/details/generaltopologyh00imja|url-access=limited|publisher=Springer-Verlag|isbn=9781461382836|page=[https://archive.org/details/generaltopologyh00imja/page/n56 49]|quote=...let us recall that the composition of open maps is open and the composition of closed maps is closed. Also that the sum of open maps is open and the sum of closed maps is closed. However, the product of closed maps is not necessarily closed, although the product of open maps is open.}}</ref> चूँकि, दो अपेक्षाकृत ओपन प्रतिचित्रों की संरचना को अपेक्षाकृत ओपन होने की आवश्यकता नहीं है और इसी प्रकार, दो अपेक्षाकृत विवृत प्रतिचित्रों की संरचना को अपेक्षाकृत विवृत करने की आवश्यकता नहीं है। यदि <math>f : X \to Y</math> दृढ़ता से ओपन है (क्रमशः, दृढ़ता से विवृत) और <math>g : Y \to Z</math> तब अपेक्षाकृत ओपन (क्रमशः, अपेक्षाकृत विवृत) है <math>g \circ f : X \to Z</math> अपेक्षाकृत ओपन है (क्रमशः, अपेक्षाकृत विवृत)।
+मान लीजिये <math>f : X \to Y</math> प्रतिचित्र है। कोई उपसमुच्चय <math>T \subseteq Y,</math> दिया गया है, यदि <math>f : X \to Y</math> अपेक्षाकृत ओपन (क्रमशः, अपेक्षाकृत विवृत, दृढ़ता से ओपन, दृढ़ता से विवृत, निरंतर, विशेषण फलन) प्रतिचित्र है तो इसके प्रतिबंध के बारे में भी यही सत्य है:<math display=block>f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math><math>f</math> संतृप्त समुच्चय के लिए <math>f^{-1}(T).</math> है।
-दो (दृढ़ता से) खुले मानचित्रों की कार्यात्मक संरचना एक खुला मानचित्र है और दो (दृढ़ता से) बंद मानचित्रों की संरचना एक बंद मानचित्र है।<ref name=baues55>{{cite book|last1=Baues|first1=Hans-Joachim|last2=Quintero|first2=Antonio|date=2001|title=अनंत समरूपता सिद्धांत|series=''K''-Monographs in Mathematics|volume=6|isbn=9780792369820|page=53|quote=A composite of open maps is open and a composite of closed maps is closed. Also, a product of open maps is open. In contrast, a product of closed maps is not necessarily closed,...}}</ref><ref name=james49>{{cite book|last=James|first=I. M.|date=1984|title=सामान्य टोपोलॉजी और होमोटोपी सिद्धांत|url=https://archive.org/details/generaltopologyh00imja|url-access=limited|publisher=Springer-Verlag|isbn=9781461382836|page=[https://archive.org/details/generaltopologyh00imja/page/n56 49]|quote=...let us recall that the composition of open maps is open and the composition of closed maps is closed. Also that the sum of open maps is open and the sum of closed maps is closed. However, the product of closed maps is not necessarily closed, although the product of open maps is open.}}</ref> हालाँकि, दो अपेक्षाकृत खुले मानचित्रों की संरचना को अपेक्षाकृत खुला होने की आवश्यकता नहीं है और इसी तरह, दो अपेक्षाकृत बंद मानचित्रों की संरचना को अपेक्षाकृत बंद करने की आवश्यकता नहीं है।
+दो ओपन प्रतिचित्रों का स्पष्ट योग ओपन है, या दो विवृत प्रतिचित्रों का विवृत है।<ref name="james49" />दो ओपन प्रतिचित्रों का श्रेणीबद्ध [[उत्पाद (टोपोलॉजी)]] ओपन है, चूँकि, दो विवृत प्रतिचित्रों के श्रेणीबद्ध उत्पाद को विवृत करने की आवश्यकता नहीं है।<ref name="baues55" /><ref name="james49" />
-अगर <math>f : X \to Y</math> दृढ़ता से खुला है (क्रमशः, दृढ़ता से बंद) और <math>g : Y \to Z</math> तब अपेक्षाकृत खुला (क्रमशः, अपेक्षाकृत बंद) है <math>g \circ f : X \to Z</math> अपेक्षाकृत खुला है (क्रमशः, अपेक्षाकृत बंद)।
-होने देना <math>f : X \to Y</math> एक नक्शा हो.
+विशेषण प्रतिचित्र तभी ओपन होता है जब वह विवृत हो। विशेषण सतत प्रतिचित्र का व्युत्क्रम विशेषण ओपन/विवृत प्रतिचित्र है (और इसके विपरीत)। विशेषण ओपन प्रतिचित्र आवश्यक रूप से विवृत प्रतिचित्र नहीं होता है, और इसी प्रकार, विशेषण विवृत प्रतिचित्र आवश्यक रूप से ओपन प्रतिचित्र नहीं होता है। सभी स्थानीय होमोमोर्फिज्म, जिसमें [[ कई गुना |मैनिफोल्ड्स]] पर सभी [[समन्वय चार्ट]] और सभी कवरिंग प्रतिचित्र सम्मिलित हैं, वह ओपन प्रतिचित्र हैं।
-कोई उपसमुच्चय दिया गया है <math>T \subseteq Y,</math> अगर <math>f : X \to Y</math> एक अपेक्षाकृत खुला (क्रमशः, अपेक्षाकृत बंद, दृढ़ता से खुला, दृढ़ता से बंद, निरंतर, विशेषण फ़ंक्शन) मानचित्र है तो इसके प्रतिबंध के बारे में भी यही सच है
- <math display=block>f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math>
-संतृप्त सेट के लिए|<math>f</math>-संतृप्त उपसमुच्चय <math>f^{-1}(T).</math>
-दो खुले नक्शों का स्पष्ट योग खुला है, या दो बंद नक्शों का बंद है।<ref name=james49/>
-दो खुले मानचित्रों का श्रेणीबद्ध [[उत्पाद (टोपोलॉजी)]] खुला है, हालाँकि, दो बंद मानचित्रों के श्रेणीबद्ध उत्पाद को बंद करने की आवश्यकता नहीं है।<ref name=baues55/><ref name=james49/>
-एक विशेषण मानचित्र तभी खुला होता है जब वह बंद हो।
-एक विशेषण सतत मानचित्र का व्युत्क्रम एक विशेषण खुला/बंद मानचित्र है (और इसके विपरीत)।
-एक विशेषण खुला मानचित्र आवश्यक रूप से एक बंद मानचित्र नहीं होता है, और इसी तरह, एक विशेषण बंद मानचित्र आवश्यक रूप से एक खुला मानचित्र नहीं होता है। सभी स्थानीय होमोमोर्फिज्म, जिसमें [[ कई गुना ]]्स पर सभी [[समन्वय चार्ट]] और सभी कवरिंग मानचित्र शामिल हैं, खुले मानचित्र हैं।
- {{Math theorem|name=Closed map lemma|math_statement=
+{{Math theorem|name=बंद मानचित्र लेम्मा|math_statement=
-Every continuous function <math>f : X \to Y</math> from a [[compact space]] <math>X</math> to a [[Hausdorff space]] <math>Y</math> is closed and [[Proper map|proper]] (meaning that preimages of compact sets are compact).
+प्रत्येक सतत फलन <math>f : X \to Y</math> [[जटिल स्थान]] से <math>X</math> [[हौसडॉर्फ़ स्थान]] के लिए
+<math>Y</math> बंद है और [[उचित मानचित्र ]] (जिसका अर्थ है कि कॉम्पैक्ट समुच्चय की पूर्व छवि जटिल हैं)।
 }}
-बंद मानचित्र लेम्मा का एक प्रकार बताता है कि यदि स्थानीय रूप [[स्थानीय रूप से सघन स्थान]] हॉसडॉर्फ रिक्त स्थान के बीच एक सतत कार्य उचित है तो यह भी बंद है।
+विवृत प्रतिचित्र लेम्मा का विशेष प्रकार बताता है कि यदि [[स्थानीय रूप से सघन स्थान]] हॉसडॉर्फ रिक्त स्थान के मध्य सतत कार्य उचित है तो यह भी विवृत है।
-[[जटिल विश्लेषण]] में, समान रूप से नामित [[ओपन मैपिंग प्रमेय (जटिल विश्लेषण)]] बताता है कि [[जटिल विमान]] के कनेक्टेड स्पेस ओपन उपसमुच्चय पर परिभाषित प्रत्येक गैर-स्थिर [[होलोमोर्फिक फ़ंक्शन]] एक खुला मानचित्र है।
+[[जटिल विश्लेषण]] में, समान रूप से नामित [[ओपन मैपिंग प्रमेय (जटिल विश्लेषण)]] बताता है कि [[जटिल विमान]] के जुड़े ओपन उपसमुच्चय पर परिभाषित प्रत्येक अस्थिर [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] ओपन प्रतिचित्र है।
-डोमेन प्रमेय का अपरिवर्तन बताता है कि दो के बीच एक सतत और स्थानीय रूप से इंजेक्शन फ़ंक्शन <math>n</math>-डायमेंशनल मैनिफोल्ड खुला होना चाहिए।
+डोमेन प्रमेय का अपरिवर्तन बताता है कि दो के मध्य सतत और स्थानीय रूप से फलन <math>n</math>-डायमेंशनल टोपोलॉजिकल मैनिफोल्ड्स ओपन होने चाहिए।
-  {{Math theorem|name=[[Invariance of domain]]|math_statement=
+  {{Math theorem|name=[[डोमेन का अपरिवर्तन]]|math_statement=
-If <math>U</math> is an [[Open set|open subset]] of <math>\R^n</math> and <math>f : U \to \R^n</math> is an [[injective]] [[continuous map]], then <math>V := f(U)</math> is open in <math>\R^n</math> and <math>f</math> is a [[homeomorphism]] between <math>U</math> and <math>V.</math>
+यदि <math>U</math> का [[ओपन उपसमुच्चय]] है
+<math>\R^n</math> और <math>f : U \to \R^n</math> तो फिर, [[इंजेक्टिव]] [[निरंतर मानचित्र]] है <math>V := f(U)</math> में ओपन है <math>\R^n</math> और <math>f</math> के मध्य [[होमोमोर्फिज्म]] है
+<math>U</math> और <math>V.</math>
 }}
-[[कार्यात्मक विश्लेषण]] में, [[ओपन मैपिंग प्रमेय (कार्यात्मक विश्लेषण)]] बताता है कि बानाच रिक्त स्थान के बीच प्रत्येक विशेषण निरंतर [[रैखिक ऑपरेटर]] एक खुला मानचित्र है।
+[[कार्यात्मक विश्लेषण]] में, [[ओपन मैपिंग प्रमेय (कार्यात्मक विश्लेषण)]] बताता है कि बानाच रिक्त स्थान के मध्य प्रत्येक विशेषण निरंतर [[रैखिक ऑपरेटर]] ओपन प्रतिचित्र है। इस प्रमेय को केवल बानाच रिक्त स्थान से परे [[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल वेक्टर स्थानों]] के लिए सामान्यीकृत किया गया है।
-इस प्रमेय को केवल बानाच रिक्त स्थान से परे [[टोपोलॉजिकल वेक्टर स्पेस]] स्थान के लिए सामान्यीकृत किया गया है।
-एक विशेषण मानचित्र <math>f : X \to Y</math> एक कहा जाता है{{em|[[almost open map]]}}{{anchor|Almost open map}} यदि प्रत्येक के लिए <math>y \in Y</math> वहाँ कुछ मौजूद है <math>x \in f^{-1}(y)</math> ऐसा है कि <math>x</math> एक है{{em|{{visible anchor|point of openness|Point of openness}}}} के लिए <math>f,</math> जिसका परिभाषा के अनुसार अर्थ यह है कि प्रत्येक खुले पड़ोस के लिए <math>U</math> का <math>x,</math> <math>f(U)</math> का पड़ोस (टोपोलॉजी) है <math>f(x)</math> में <math>Y</math> (ध्यान दें कि पड़ोस <math>f(U)</math> होना आवश्यक नहीं है {{em|open}} अड़ोस-पड़ोस)।
+विशेषण प्रतिचित्र <math>f : X \to Y</math> को प्रत्येक के लिए {{em|लगभग ओपन मानचित्र}}  कहा जाता है <math>y \in Y</math> में कुछ उपस्थित है <math>x \in f^{-1}(y)</math> ऐसा है कि <math>x</math> {{em|ओपन}}  का बिंदु है <math>f,</math> इस परिभाषा के अनुसार अर्थ है कि प्रत्येक ओपन निकट के लिए <math>U</math> का <math>x,</math> <math>f(U)</math> का निकट (टोपोलॉजी) है <math>f(x)</math> में <math>Y</math> (ध्यान दें कि निकट <math>f(U)</math> का {{em|ओपन}} निकट होना आवश्यक नहीं है)। प्रत्येक विशेषण ओपन प्रतिचित्र लगभग ओपन प्रतिचित्र होता है किन्तु सामान्यतः, इसके विपरीत आवश्यक रूप से सत्य नहीं होता है। यदि अनुमान <math>f : (X, \tau) \to (Y, \sigma)</math> लगभग ओपन प्रतिचित्र है तो यह  ओपन प्रतिचित्र होगा यदि यह निम्नलिखित नियम को पूर्ण करता है (नियम जो किसी भी प्रकार से निर्भर {{em|नहीं}}  करती है <math>Y</math>की टोपोलॉजी <math>\sigma</math>) है:
-प्रत्येक विशेषण खुला नक्शा लगभग खुला नक्शा होता है लेकिन सामान्य तौर पर, इसका विपरीत आवश्यक रूप से सत्य नहीं होता है।
+:जब कभी भी <math>m, n \in X</math> के [[फाइबर (गणित)]] से संबंधित हैं <math>f</math> (अर्थात्, <math>f(m) = f(n)</math>) तो प्रत्येक निकट के लिए <math>U \in \tau</math> का <math>m,</math> वहाँ कुछ निकट उपस्थित है <math>V \in \tau</math> का <math>n</math> ऐसा है कि <math>F(V) \subseteq F(U).</math> है।
-यदि एक अनुमान <math>f : (X, \tau) \to (Y, \sigma)</math> एक लगभग खुला नक्शा है तो यह एक खुला नक्शा होगा यदि यह निम्नलिखित शर्त को पूरा करता है (एक शर्त जो करता है {{em|not}}किसी भी तरह से निर्भर रहें <math>Y</math>की टोपोलॉजी <math>\sigma</math>):
+:यदि प्रतिचित्र निरंतर है तो प्रतिचित्र के ओपन होने के लिए भी उपरोक्त नियम आवश्यक है। अर्थात यदि <math>f : X \to Y</math> सतत प्रक्षेपण है तो यह ओपन प्रतिचित्र है यदि केवल यह लगभग ओपन है और यह उपरोक्त नियम को पूर्ण करता है।
-:जब कभी भी <math>m, n \in X</math> के एक ही [[फाइबर (गणित)]] से संबंधित हैं <math>f</math> (वह है, <math>f(m) = f(n)</math>) फिर हर पड़ोस के लिए <math>U \in \tau</math> का <math>m,</math> वहाँ कुछ पड़ोस मौजूद है <math>V \in \tau</math> का <math>n</math> ऐसा है कि <math>F(V) \subseteq F(U).</math> यदि मानचित्र निरंतर है तो मानचित्र के खुले होने के लिए भी उपरोक्त शर्त आवश्यक है। अर्थात यदि <math>f : X \to Y</math> यदि यह एक सतत प्रक्षेपण है तो यह एक खुला मानचित्र है यदि और केवल यदि यह लगभग खुला है और यह उपरोक्त शर्त को पूरा करता है।
 ==गुण==
-===खुले या बंद मानचित्र जो निरंतर हैं===
+===ओपन या विवृत प्रतिचित्र जो निरंतर हैं===
-अगर <math>f : X \to Y</math> एक सतत मानचित्र है जो खुला भी है {{em|or}} फिर बंद:
+यदि <math>f : X \to Y</math> सतत प्रतिचित्र है जो ओपन भी {{em|या}}  विवृत भी होता है:
-* अगर <math>f</math> एक अनुमान है तो यह एक [[भागफल मानचित्र (टोपोलॉजी)]] है और यहां तक कि एक आनुवंशिक रूप से भागफल मानचित्र भी है,
+* यदि <math>f</math> अनुमान है तो यह [[भागफल मानचित्र (टोपोलॉजी)|भागफल प्रतिचित्र (टोपोलॉजी)]] है और यहां तक कि आनुवंशिक रूप से भागफल प्रतिचित्र भी है।
-** एक विशेषण मानचित्र <math>f : X \to Y</math> कहा जाता है {{em|hereditarily quotient}} यदि प्रत्येक उपसमुच्चय के लिए <math>T \subseteq Y,</math> प्रतिबंध <math>f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math> एक भागफल मानचित्र है.
+** विशेषण प्रतिचित्र <math>f : X \to Y</math> प्रत्येक उपसमुच्चय के लिए <math>T \subseteq Y,</math> को {{em|वंशानुगत भागफल }} कहा जाता है यह प्रतिबंध <math>f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math> भागफल प्रतिचित्र है।
-* अगर <math>f</math> यदि यह एक [[इंजेक्शन का कार्य]] है तो यह एक [[टोपोलॉजिकल एम्बेडिंग]] है।
+* यदि <math>f</math> [[इंजेक्शन का कार्य]] है तो यह [[टोपोलॉजिकल एम्बेडिंग]] है।
-* अगर <math>f</math> यदि यह एक आक्षेप है तो यह एक समरूपता है।
+* यदि <math>f</math> आक्षेप है तो यह समरूपता है।
-पहले दो मामलों में, खुला या बंद होना आगे आने वाले निष्कर्ष के लिए पर्याप्त शर्त मात्र है।
+पहले दो स्थितियों में, ओपन या विवृत होना आगे आने वाले निष्कर्ष के लिए पर्याप्त नियम मात्र है। तीसरी स्थिति में भी यह [[आवश्यक शर्त|आवश्यक नियम]] है।
-तीसरी स्थिति में भी यह [[आवश्यक शर्त]] है।
-===निरंतर मानचित्र खोलें===
+===निरंतर प्रतिचित्र ओपन===
-अगर <math>f : X \to Y</math> एक सतत (दृढ़ता से) खुला मानचित्र है, <math>A \subseteq X,</math> और <math>S \subseteq Y,</math> तब:
+यदि <math>f : X \to Y</math> सतत (दृढ़ता से) ओपन प्रतिचित्र है, <math>A \subseteq X,</math> और <math>S \subseteq Y,</math> जो इस प्रकार है:
 <ul>
-<ली><math>f^{-1}\left(\operatorname{Bd}_Y S\right) = \operatorname{Bd}_X \left(f^{-1}(S)\right)</math> कहाँ <math>\operatorname{Bd}</math> एक सेट की [[सीमा (टोपोलॉजी)]] को दर्शाता है।</li>
+<math>f^{-1}\left(\operatorname{Bd}_Y S\right) = \operatorname{Bd}_X \left(f^{-1}(S)\right)</math> जहाँ <math>\operatorname{Bd}</math> समुच्चय की [[सीमा (टोपोलॉजी)]] को दर्शाता है।                                                                                             <math>f^{-1}\left(\overline{S}\right) = \overline{f^{-1}(S)}</math> जहाँ <math>\overline{S}</math> किसी समुच्चय के विवृत होने को दर्शाता है।
-<ली><math>f^{-1}\left(\overline{S}\right) = \overline{f^{-1}(S)}</math> कहाँ <math>\overline{S}</math> किसी सेट के क्लोजर (टोपोलॉजी) को निरूपित करें।</li>
+<li>यदि <math>\overline{A} = \overline{\operatorname{Int}_X A},</math> जहाँ <math>\operatorname{Int} </math> तब, समुच्चय के इंटीरियर (टोपोलॉजी) को दर्शाता है:<math display="block">\overline{\operatorname{Int}_Y f(A)} = \overline{f(A)} = \overline{f\left(\operatorname{Int}_X A\right)} = \overline{f \left(\overline{\operatorname{Int}_X A}\right)}</math>यह समुच्चय कहां है <math>\overline{f(A)}</math> यह भी आवश्यक रूप से [[नियमित बंद सेट|नियमित विवृत समुच्चय]] (इंच) है)<ref group=note name="DefOfRegularOpenClosed" /><math>Y</math> विशेषकर, यदि <math>A</math> नियमित विवृत समुच्चय है तो ऐसा ही <math>\overline{f(A)}.</math> और यदि <math>A</math> [[नियमित खुला सेट|नियमित ओपन समुच्चय]] है तो ऐसा ही <math>Y \setminus \overline{f(X \setminus A)}.</math> है।  </li>
-<li>यदि <math>\overline{A} = \overline{\operatorname{Int}_X A},</math> कहाँ <math>\operatorname{Int} </math> तब, एक सेट के इंटीरियर (टोपोलॉजी) को दर्शाता है
+<li>यदि निरंतर ओपन प्रतिचित्र <math>f : X \to Y</math> तब यह भी विशेषण है <math>\operatorname{Int}_X f^{-1}(S) = f^{-1}\left(\operatorname{Int}_Y S\right)</math> और इसके अतिरिक्त, <math>S</math>  नियमित ओपन (सम्मानित नियमित विवृत)<ref group=note name="DefOfRegularOpenClosed" />का उप-समुच्चय है <math>Y</math> यदि केवल <math>f^{-1}(S)</math> का नियमित ओपन (सम्मानित नियमित विवृत) उप-समुच्चय <math>X.</math> है।   </li>
- <math display="block">\overline{\operatorname{Int}_Y f(A)} = \overline{f(A)} = \overline{f\left(\operatorname{Int}_X A\right)} = \overline{f \left(\overline{\operatorname{Int}_X A}\right)}</math>
+<li>यदि नेट (गणित) <math>y_{\bull} = \left(y_i\right)_{i \in I}</math> में [[अभिसारी जाल|अभिसरण]] होता है <math>Y</math> तक <math>y \in Y</math> और निरंतर ओपन प्रतिचित्र <math>f : X \to Y</math> विशेषण है, फिर किसी के लिए <math>x \in f^{-1}(y)</math> वहाँ नेट उपस्थित है <math>x_{\bull} = \left(x_a\right)_{a \in A}</math> में <math>X</math> (कुछ [[निर्देशित सेट|निर्देशित समुच्चय]] द्वारा अनुक्रमित <math>A</math>) ऐसा है कि <math>x_{\bull} \to x</math> में <math>X</math> और <math>f\left(x_{\bull}\right) := \left(f\left(x_a\right)\right)_{a \in A}</math>का [[सबनेट (गणित)]] <math>y_{\bull}.</math> है इसके अतिरिक्त, अनुक्रमण समुच्चय <math>A</math> माना जा सकता है <math>A := I \times \mathcal{N}_x</math> उत्पाद ऑर्डर के साथ जहां <math>\mathcal{N}_x</math> का कोई निकट आधार <math>x</math> द्वारा निर्देशक <math>\,\supseteq.\,</math>है।<ref group="note">Explicitly, for any <math>a := (i, U) \in A := I \times \mathcal{N}_x,</math> pick any <math>h_a \in I</math> such that <math>i \leq h_a \text{ and } y_{h_a} \in f(U)</math> and then let <math>x_a \in U \cap f^{-1}\left(y_{h_a}\right)</math> be arbitrary. The assignment <math>a \mapsto h_a</math> defines an [[order morphism]] <math>h : A \to I</math> such that <math>h(A)</math> is a [[cofinal subset]] of <math>I;</math> thus <math>f\left(x_{\bull}\right)</math> is a [[Willard-subnet]] of <math>y_{\bull}.</math></ref></li>
-यह सेट कहां है <math>\overline{f(A)}</math> यह भी आवश्यक रूप से एक [[नियमित बंद सेट]] (में) है <math>Y</math>).<ref group=note name="DefOfRegularOpenClosed" />विशेषकर, यदि <math>A</math> यदि यह एक नियमित बंद सेट है तो ऐसा ही है <math>\overline{f(A)}.</math> और अगर <math>A</math> एक [[नियमित खुला सेट]] है तो ऐसा ही है <math>Y \setminus \overline{f(X \setminus A)}.</math> </li>
-<li>यदि निरंतर खुला मानचित्र <math>f : X \to Y</math> तब यह भी विशेषण है <math>\operatorname{Int}_X f^{-1}(S) = f^{-1}\left(\operatorname{Int}_Y S\right)</math> और इसके अलावा, <math>S</math> एक नियमित खुला है (सम्मानित एक नियमित बंद)<ref group=note name="DefOfRegularOpenClosed" />का भाग <math>Y</math> अगर और केवल अगर <math>f^{-1}(S)</math> का एक नियमित खुला (सम्मानित एक नियमित बंद) उपसमुच्चय है <math>X.</math> </li>
-<li>यदि एक नेट (गणित) <math>y_{\bull} = \left(y_i\right)_{i \in I}</math> [[अभिसारी जाल]] में <math>Y</math> एक स्तर तक <math>y \in Y</math> और यदि निरंतर खुला नक्शा <math>f : X \to Y</math> विशेषण है, फिर किसी के लिए <math>x \in f^{-1}(y)</math> वहाँ एक जाल मौजूद है <math>x_{\bull} = \left(x_a\right)_{a \in A}</math> में <math>X</math> (कुछ [[निर्देशित सेट]] द्वारा अनुक्रमित <math>A</math>) ऐसा है कि <math>x_{\bull} \to x</math> में <math>X</math> और <math>f\left(x_{\bull}\right) := \left(f\left(x_a\right)\right)_{a \in A}</math> का एक [[सबनेट (गणित)]] है <math>y_{\bull}.</math> इसके अलावा, अनुक्रमण सेट <math>A</math> माना जा सकता है <math>A := I \times \mathcal{N}_x</math> उत्पाद ऑर्डर के साथ जहां <math>\mathcal{N}_x</math> का कोई पड़ोस आधार है <math>x</math> निर्देशक <math>\,\supseteq.\,</math><ref group=note>Explicitly, for any <math>a := (i, U) \in A := I \times \mathcal{N}_x,</math> pick any <math>h_a \in I</math> such that <math>i \leq h_a \text{ and } y_{h_a} \in f(U)</math> and then let <math>x_a \in U \cap f^{-1}\left(y_{h_a}\right)</math> be arbitrary. The assignment <math>a \mapsto h_a</math> defines an [[order morphism]] <math>h : A \to I</math> such that <math>h(A)</math> is a [[cofinal subset]] of <math>I;</math> thus <math>f\left(x_{\bull}\right)</math> is a [[Willard-subnet]] of <math>y_{\bull}.</math></ref></li>
 </ul>
 ==यह भी देखें==
-* {{annotated link|Almost open map}}
+* {{annotated link|लगभग ओपन मानचित्र}}
-* {{annotated link|Closed graph}}
+* {{annotated link|बंद ग्राफ़}}
-* {{annotated link|Closed linear operator}}
+* {{annotated link|बंद रैखिक ऑपरेटर}}
-* {{annotated link|Local homeomorphism}}
+* {{annotated link|स्थानीय समरूपता}}
-* {{annotated link|Quasi-open map}}
+* {{annotated link|अर्ध-ओपन मानचित्र}}
-* {{annotated link|Quotient map (topology)}}
+* {{annotated link|भागफल मानचित्र (टोपोलॉजी)}}
-* {{annotated link|Perfect map}}
+* {{annotated link|उत्तम मानचित्र}}
-* {{annotated link|Proper map}}
+* {{annotated link|उचित मानचित्र}}
-* {{annotated link|Sequence covering map}}
+* {{annotated link|मानचित्र को कवर करने वाला अनुक्रम}}
 ==टिप्पणियाँ==
@@ Line 174: / Line 165: @@
 <ref name="DefOfRegularOpenClosed">A subset <math>S \subseteq X</math> is called a '''{{em|[[Regular closed set|{{visible anchor|regular closed set}}]]}}''' if <math>\overline{\operatorname{Int} S} = S</math> or equivalently, if <math>\operatorname{Bd} \left( \operatorname{Int} S \right) = \operatorname{Bd} S,</math> where <math>\operatorname{Bd} S</math> (resp. <math>\operatorname{Int} S,</math> <math>\overline{S}</math>) denotes the [[Boundary (topology)|topological boundary]] (resp. [[Interior (topology)|interior]], [[Closure (topology)|closure]]) of <math>S</math> in <math>X.</math> The set <math>S</math> is called a '''{{em|[[Regular open set|{{visible anchor|regular open set}}]]}}''' if <math>\operatorname{Int} \left( \overline{S} \right) = S</math> or equivalently, if <math>\operatorname{Bd} \left( \overline{S} \right) = \operatorname{Bd} S.</math> The interior (taken in <math>X</math>) of a closed subset of <math>X</math> is always a regular open subset of <math>X.</math> The closure (taken in <math>X</math>) of an open subset of <math>X</math> is always a regular closed subset of <math>X.</math></ref>
 }}
-{{reflist|group=proof}}
@@ Line 184: / Line 174: @@
 ==संदर्भ==
-* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
+* {{Narici Beckenstein Topological Vector Spaces|edition=2}}
-* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn|Schaefer|Wolff|1999|p=}} -->
+* {{Schaefer Wolff Topological Vector Spaces|edition=2}}
-* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->
+* {{Trèves François Topological vector spaces, distributions and kernels}}
-{{DEFAULTSORT:Open And Closed Maps}}
-[[Category: सामान्य टोपोलॉजी]] [[Category: सतत कार्यों का सिद्धांत]] [[Category: लेम्मास]]
+{{DEFAULTSORT:Open And Closed Maps}}
-[[Category: Machine Translated Page]]
+[[Category:Created On 30/06/2023|Open And Closed Maps]]
-[[Category:Created On 30/06/2023]]
+[[Category:Lua-based templates|Open And Closed Maps]]
+[[Category:Machine Translated Page|Open And Closed Maps]]
+[[Category:Pages with script errors|Open And Closed Maps]]
+[[Category:Short description with empty Wikidata description|Open And Closed Maps]]
+[[Category:Templates Vigyan Ready|Open And Closed Maps]]
+[[Category:Templates that add a tracking category|Open And Closed Maps]]
+[[Category:Templates that generate short descriptions|Open And Closed Maps]]
+[[Category:Templates using TemplateData|Open And Closed Maps]]
+[[Category:लेम्मास|Open And Closed Maps]]
+[[Category:सतत कार्यों का सिद्धांत|Open And Closed Maps]]
+[[Category:सामान्य टोपोलॉजी|Open And Closed Maps]]

Anonymous

Search

संवृत और विवृत प्रतिचित्र (ओपन एंड क्लोज्ड मैप): Difference between revisions

Latest revision as of 17:24, 19 September 2023

परिभाषाएँ और लक्षण वर्णन

प्रतिस्पर्धी परिभाषाएँ

ओपन प्रतिचित्र

विवृत प्रतिचित्र

उदाहरण

पर्याप्त स्थितियाँ

गुण

ओपन या विवृत प्रतिचित्र जो निरंतर हैं

निरंतर प्रतिचित्र ओपन

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories