ओपन मैपिंग प्रमेय (सम्मिश्र विश्लेषण)

जटिल विश्लेषण में, विवृत मैपिंग प्रमेय बताता है कि यदि 'U ' जटिल समतल c और 'f' का डोमेन (गणितीय विश्लेषण) है | 'U' → c गैर-निरंतर होलोमॉर्फिक फलन है | तब f विवृत मानचित्र है (अर्थात यह 'U के विवृत उपसमुच्चय को C के उपसमुच्चय को खोलने के लिए भेजता है, और हमारे पास डोमेन का आक्रमण है।)।

विवृत मैपिंग प्रमेय होलोमॉर्फी और वास्तविक-भिन्नता के बीच तेज अंतर की ओर संकेत करता है। वास्तविक रेखा पर, उदाहरण के लिए, अवकलनीय फलन f(x) = x2 विवृत मैपिंग नहीं है | क्योंकि विवृत अंतराल (-1, 1) की छवि अर्ध-विवृत अंतराल [0, 1) है।

उदाहरण के लिए प्रमेय का तात्पर्य है कि गैर-निरंतर होलोमोर्फिक फलन जटिल समतल में एम्बेडेड किसी भी रेखा के भाग पर विवृत डिस्क को मैप नहीं कर सकता। होलोमॉर्फिक कार्यों की छवियां वास्तविक आयाम शून्य (यदि स्थिर) या दो (यदि गैर-स्थिर हैं) हो सकती हैं | किन्तु कभी भी आयाम 1 की नहीं हो सकती हैं।

प्रमाण
मान लीजिए f: U → 'C' गैर-स्थिर होलोमॉर्फिक फलन है और U जटिल तल का डोमेन (गणितीय विश्लेषण) है। हमें यह दिखाना होगा कि f(U) में प्रत्येक बिंदु (ज्यामिति) f(U) का आंतरिक बिंदु है, अर्थात f(U) में प्रत्येक बिंदु का निकट (विवृत डिस्क) है | जो f(U) में भी है।

f(U) में स्वेच्छ w0 पर विचार करें। तब U में बिंदु z0 का अस्तित्व इस प्रकार है कि w0 = f(z0). चूँकि U विवृत है, हम d > 0 पा सकते हैं | जैसे कि त्रिज्या d के साथ z0 के चारों ओर बंद डिस्क B पूरी तरह से U में संलग्न है। फलन g(z) = f(z)−w0 पर विचार करें। ध्यान दें कि z0 फलन का मूल है।

हम जानते हैं कि g(z) अस्थिर और होलोमॉर्फिक है। g की जड़ों को पहचान प्रमेय द्वारा अलग किया जाता है, और छवि डिस्क d के त्रिज्या को और कम करके, हम आश्वस्त कर सकते हैं कि g (z) में b में केवल एक जड़ है | (चूँकि इस एकल जड़ में 1 से अधिक बहुलता हो सकती है) |

b की सीमा चक्र है और इसलिए कॉम्पैक्ट समुच्चय है, जिस पर |g(z), इसलिए चरम मूल्य प्रमेय सकारात्मक न्यूनतम e के अस्तित्व की गारंटी देता है | अर्थात e न्यूनतम है |g(z)| z के लिए B और e > 0 की सीमा पर।

त्रिज्या e के साथ w0 के चारों ओर विवृत डिस्क को D से निरूपित करें। रूचे के प्रमेय के अनुसार फ़ंक्शन g(z) = f(z)−w0 में B में समान संख्या में जड़ें (बहुलता के साथ गिने गए) होंगे h(z):=f(z)−w1 डी में किसी भी w1 के लिए। यह क्योंकि h(z) = g(z) + (w0 - w1), और z के लिए B |g(z)| ≥ e > |w0 - w1|. इस प्रकार D में प्रत्येक w1 के लिए B में कम से कम z1 उपस्थित है | जैसे कि f(z1) = w1 इसका कारण है कि डिस्क d f (b) में समाहित है।

गेंद B, f(B) की छवि U, f(U) की छवि का उपसमुच्चय है। इस प्रकार w0 f(U) का आंतरिक बिंदु है। चूँकि f(U) में w0 यादृच्छिक था, हम जानते हैं कि f(U) विवृत है। चूँकि U यादृच्छिक था फलन f विवृत है।

अनुप्रयोग

 * अधिकतम मापांक सिद्धांत
 * रूचे की प्रमेय
 * श्वार्ज़ लेम्मा

यह भी देखें

 * विवृत मैपिंग प्रमेय (कार्यात्मक विश्लेषण)