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

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

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

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

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

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

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

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

विशेषण फलन प्रतिचित्र अपेक्षाकृत ओपन होता है यदि केवल यह दृढ़ता से ओपन हो; इसलिए इस महत्वपूर्ण विशेष स्तिथि के लिए परिभाषाएँ समतुल्य हैं। अधिक सामान्यतः, प्रतिचित्र $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$ को ओपन मानचित्र या दृढ़ता से ओपन प्रतिचित्र कहा जाता है यदि यह निम्नलिखित समकक्ष नियमों में से किसी को संतुष्ट करता है:

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

1. परिभाषा: $f:X\to Y$ इसके डोमेन के विवृत उप-समुच्चय को इसके कोडोमेन के विवृत उप-समुच्चय से मैप करता है; अर्थात्, किसी भी विवृत उप-समुच्चय के लिए $C$ का $X,$ $f(C)$ का विवृत उपसमुच्चय $Y.$ है।
2. $f:X\to Y$ यह अपेक्षाकृत विवृत प्रतिचित्र और उसकी छवि $\operatorname {Im} f:=f(X)$ है इसके को-डोमेन का विवृत उप-समुच्चय $Y.$ है।
3. ${\overline {f(A)}}\subseteq f\left({\overline {A}}\right)$ प्रत्येक उप-समुच्चय के लिए $A\subseteq X.$ है।
4. ${\overline {f(C)}}\subseteq f(C)$ प्रत्येक विवृत उप-समुच्चय के लिए $C\subseteq X.$ है।
5. ${\overline {f(C)}}=f(C)$ प्रत्येक विवृत उप-समुच्चय के लिए $C\subseteq X.$ है।
6. जब भी $U$ ओपन उपसमुच्चय है $X$ फिर समुच्चय $\left\{y\in Y~:~f^{-1}(y)\subseteq U\right\}$ का ओपन उपसमुच्चय $Y.$ है।
7. यदि $x_{\bullet }$ में नेट (गणित) है $X$ और $y\in Y$ बिंदु ऐसा है $f\left(x_{\bullet }\right)\to y$ में $Y,$ तब $x_{\bullet }$ में अभिसरण होता है $X$ समुच्चय पर $f^{-1}(y).$ है।
8. अभिसरण $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}$ ओपन हैं (साथ ही निरंतर)। चूंकि फाइबर बंडलों और कवरिंग प्रतिचित्रों के प्रक्षेपण उत्पादों के स्थानीय रूप से प्राकृतिक प्रक्षेपण हैं, इसलिए ये ओपन प्रतिचित्र भी हैं। चूँकि अनुमानों को विवृत करने की आवश्यकता नहीं है। उदाहरण के लिए प्रक्षेपण पर विचार करें $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π) तक यह फलन विशेषण, ओपन और विवृत है, किन्तु निरंतर नहीं है। यह दर्शाता है कि ओपन या विवृत प्रतिचित्र के नीचे सघन स्थान की छवि को कॉम्पैक्ट होने की आवश्यकता नहीं है। यह भी ध्यान दें कि यदि इसे इकाई वृत्त से वास्तविक संख्याओं तक का फलन मानें, तो यह न तो ओपन है और न ही विवृत है। कोडोमेन निर्दिष्ट करना आवश्यक है।

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

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

दो (दृढ़ता से) ओपन प्रतिचित्रों की कार्यात्मक संरचना ओपन प्रतिचित्र है और दो (दृढ़ता से) विवृत प्रतिचित्रों की संरचना विवृत प्रतिचित्र है। चूँकि, दो अपेक्षाकृत ओपन प्रतिचित्रों की संरचना को अपेक्षाकृत ओपन होने की आवश्यकता नहीं है और इसी प्रकार, दो अपेक्षाकृत विवृत प्रतिचित्रों की संरचना को अपेक्षाकृत विवृत करने की आवश्यकता नहीं है। यदि $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).$ है।

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

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

बंद मानचित्र लेम्मा — प्रत्येक सतत फलन $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: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)}}$ यह भी आवश्यक रूप से नियमित विवृत समुच्चय (इंच) है)$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$ नियमित ओपन (सम्मानित नियमित विवृत)का उप-समुच्चय है $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 .\,$है।

यह भी देखें

• लगभग ओपन मानचित्र
• बंद ग्राफ़
• बंद रैखिक ऑपरेटर
• स्थानीय समरूपता
• अर्ध-ओपन मानचित्र
• भागफल मानचित्र (टोपोलॉजी)
• उत्तम मानचित्र
• उचित मानचित्र
• मानचित्र को कवर करने वाला अनुक्रम

संदर्भ

• 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.