रीमैन मानचित्रण प्रमेय

समिष्ट विश्लेषण में, रीमैन मैपिंग प्रमेय में कहा गया है कि यदि $$U$$ समिष्ट संख्या विमान $$\mathbb{C}$$ का एक गैर-रिक्त सरलता जुड़ा हुआ विवृत उपसमुच्चय है, जो $$\mathbb{C}$$ का पूरा भाग नहीं है, तो ओपन यूनिट डिस्क पर $$U$$ से एक बायोलोमोर्फिक मैपिंग $$f$$ (अर्थात एक विशेषण होलोमोर्फिक फलन जिसका व्युत्क्रम भी होलोमोर्फिक है) उपस्थित है।
 * $$D = \{z\in \mathbb{C} : |z| < 1\}.$$

सामान्यतः, नियम यह है कि $$U$$ सरलता जुड़ा हुआ है इसका कारण है कि $$U$$ में कोई "छिद्र" नहीं है। तथ्य यह है कि $$f$$ बिहोलोमोर्फिक है, इसका तात्पर्य यह है कि यह एक अनुरूप मानचित्र है और इसलिए कोण-संरक्षित है। इस तरह के अनुरूप मानचित्र की व्याख्या किसी भी पर्याप्त छोटी आकृति के आकार को संरक्षित करने के रूप में की जा सकती है, जबकि संभवतः इसे घुमाते और स्केल करते हुए (किन्तु प्रतिबिंबित नहीं करते हुए)।

हेनरी पोनकारे ने सिद्ध किया कि मानचित्र $$f$$ घूर्णन और पुनरावर्तन के स्थिति में अद्वितीय है: यदि $$z_0$$ $$U$$ का एक तत्व है और $$\phi$$ एक इच्छानुसार कोण है, तो उपरोक्त स्पष्ट रूप से एक $$f$$ उपस्थित है जैसे कि $$f(z_0)=0$$ और बिंदु $$z_0$$ पर $$f$$ के व्युत्पन्न का तर्क $$\phi$$ के समान है। यह ब्लैक लेम्मा का एक सरल परिणाम है।

प्रमेय के परिणाम के रूप में, रीमैन क्षेत्र के किन्हीं दो सरल रूप से जुड़े हुए विवृत उपसमुच्चय, जिनमें से दोनों में क्षेत्र के कम से कम दो बिंदुओं की कमी है, जिसको एक-दूसरे में अनुरूप रूप से मैप किया जा सकता है।

इतिहास
प्रमेय को बर्नहार्ड रीमैन ने 1851 में अपनी पीएचडी थीसिस में कहा था (इस धारणा के अनुसार कि $$U$$ की सीमा टुकड़ों में स्मूथ है)। लार्स अहलफोर्स ने प्रमेय के मूल सूत्रीकरण के संबंध में एक बार लिखा था कि इसे "अंततः ऐसे शब्दों में तैयार किया गया था जो आधुनिक विधियों से भी प्रमाण के किसी भी प्रयास को अस्वीकार कर देता है"। रीमैन का त्रुटिपूर्ण प्रमाण डिरिचलेट सिद्धांत (जिसे रीमैन ने स्वयं नाम दिया था) पर निर्भर था, जिसे उस समय सही माना जाता था। चूँकि, कार्ल वीयरस्ट्रैस ने पाया कि यह सिद्धांत सार्वभौमिक रूप से मान्य नहीं था। इसके पश्चात्, डेविड हिल्बर्ट यह सिद्ध करने में सक्षम हुए कि, अधिक सीमा तक, डिरिक्लेट सिद्धांत उस परिकल्पना के अनुसार मान्य है जिसके साथ रीमैन कार्य कर रहा था। चूँकि, वैध होने के लिए, डिरिचलेट सिद्धांत को $$U$$ की सीमा से संबंधित कुछ परिकल्पनाओं की आवश्यकता है जो सामान्य रूप से जुड़े हुए डोमेन (गणितीय विश्लेषण) के लिए मान्य नहीं हैं।

प्रमेय का पहला कठोर प्रमाण 1900 में विलियम फॉग ऑसगूड द्वारा दिया गया था। उन्होंने $$\mathbb{C}$$ के अतिरिक्त इच्छानुसार से जुड़े डोमेन पर ग्रीन के फलन के अस्तित्व को सिद्ध किया था; इसने रीमैन मैपिंग प्रमेय की स्थापना की थी।

कॉन्स्टेंटिन कैराथोडोरी ने 1912 में प्रमेय का और प्रमाण दिया था, जो संभावित सिद्धांत के अतिरिक्त पूरी तरह से फलन सिद्धांत के विधियों पर विश्वास करने वाला पहला प्रमाण था। उनके प्रमाण में मॉन्टेल की सामान्य वर्गों की अवधारणा का उपयोग किया गया था, जो पाठ्यपुस्तकों में प्रमाण की मानक विधि बन गई थी। कैराथोडोरी ने 1913 में इस अतिरिक्त प्रश्न को हल करके जारी रखा कि क्या डोमेन के बीच रीमैन मैपिंग को सीमाओं के होमोमोर्फिज्म तक बढ़ाया जा सकता है (देखें कैराथोडोरी का प्रमेय (कन्फर्मल मैपिंग) या कैराथोडोरी का प्रमेय)।

कैराथोडोरी के प्रमाण में रीमैन सतह का उपयोग किया गया और इसे पॉल कोबे द्वारा दो साल बाद इस तरह से सरल बनाया गया कि उनकी आवश्यकता नहीं थी। और प्रमाण, लिपोट फेजर और फ्रिगयेस रिज़्ज़ के कारण, 1922 में प्रकाशित हुआ था और यह पिछले वाले की तुलना में छोटा था। इस प्रमाण में, रीमैन के प्रमाण की तरह, चरम समस्या के समाधान के रूप में वांछित मानचित्रण प्राप्त किया गया था। फ़ेज़ेर-रीज़ प्रमाण को अलेक्जेंडर ओस्ट्रोव्स्की और कैराथोडोरी द्वारा और अधिक सरल बनाया गया था।

==महत्व                                                                                                                                                                                                                                      == निम्नलिखित बिंदु रीमैन मैपिंग प्रमेय की विशिष्टता और शक्ति का विवरण देते हैं:

== सामान्य वर्गों के माध्यम से प्रमाण                                                                                                                                                                                                          ==
 * यहां तक ​​कि अपेक्षाकृत सरल रीमैन मैपिंग (उदाहरण के लिए वृत्त के आंतरिक भाग से वर्ग के आंतरिक भाग तक का नक्शा) में केवल प्राथमिक कार्य का उपयोग करके कोई स्पष्ट सूत्र नहीं है।
 * समतल में सरलता से जुड़े हुए विवृत समुच्चय अत्यधिक समिष्ट हो सकते हैं, उदाहरण के लिए, सीमा (टोपोलॉजी) अनंत लंबाई का कहीं न कहीं भिन्न-भिन्न कार्य वाला भग्न वक्र हो सकता है, तथापि समुच्चय स्वयं परिबद्ध होता है। ऐसा ही उदाहरण कोच वक्र है। तथ्य यह है कि इस तरह के समुच्चय को कोण-संरक्षण विधि से अच्छी और नियमित इकाई डिस्क पर मैप किया जा सकता है, यह प्रति-सहज ज्ञान युक्त लगता है।
 * अधिक समष्टि डोमेन के लिए रीमैन मैपिंग प्रमेय का एनालॉग सत्य नहीं है। अगला सरलतम स्थिति दोहरे रूप से जुड़े डोमेन (एकल छेद वाले डोमेन) का है। पंचर डिस्क और पंचर प्लेन को छोड़कर कोई भी दोगुना जुड़ा हुआ डोमेन अनुरूप रूप से $$0<r<1$$ के साथ कुछ एनलस $$\{z:r<|z|<1\}$$ के समान है, चूँकि व्युत्क्रम और स्थिरांक द्वारा गुणा को छोड़कर एन्युली के बीच कोई अनुरूप मानचित्र नहीं हैं, इसलिए एनलस $$\{z:1<|z|<2\}$$ एनलस $$\{z:1<|z|<4\}$$ के अनुरूप अनुरूप नहीं है (जैसा कि चरम लंबाई का उपयोग करके सिद्ध किया जा सकता है)।
 * तीन या अधिक वास्तविक आयामों में रीमैन मैपिंग प्रमेय का एनालॉग सत्य नहीं है। तीन आयामों में अनुरूप मानचित्रों का वर्ग बहुत व्यर्थ है, और अनिवार्य रूप से इसमें केवल मोबियस परिवर्तन सम्मिलित हैं (लिउविले के प्रमेय (अनुरूप मानचित्रण) देखें |
 * तथापि उच्च आयामों में इच्छानुसार होमियोमोर्फिज्म की अनुमति होटी है, संकुचन मैनिफोल्ड्स पाए जा सकते हैं जो बॉल (गणित) (उदाहरण के लिए, व्हाइटहेड सातत्य) के लिए होमियोमोर्फिक नहीं हैं।
 * कई समिष्ट चरों के कार्य में रीमैन मैपिंग प्रमेय का एनालॉग भी सत्य नहीं है। जिसमें $$\mathbb{C}^n$$ ($$n \ge 2$$), बॉल और पॉलीडिस्क दोनों सरलता जुड़े हुए हैं, किन्तु उनके बीच कोई बायोलोमोर्फिक मानचित्र नहीं है।

सरल कनेक्टिविटी
प्रमेय. विवृत डोमेन के लिए $$G\subset\mathbb{C}$$ निम्नलिखित स्थितियाँ समतुल्य हैं:
 * 1) $$G$$ सरलता जुड़ा हुआ है;
 * 2) प्रत्येक होलोमोर्फिक फलन का अभिन्न अंग $$f$$ संवृत टुकड़ों में चिकने वक्र के चारों ओर $$G$$ विलुप्त हो जाता है;
 * 3) प्रत्येक होलोमोर्फिक फलन $$G$$ होलोमोर्फिक फलन का व्युत्पन्न है;
 * 4) प्रत्येक कहीं-लुप्त हो जाने वाला होलोमोर्फिक फलन $$f$$ पर $$G$$ होलोमोर्फिक लघुगणक है;
 * 5) प्रत्येक कहीं-लुप्त हो जाने वाला होलोमोर्फिक फलन $$g$$ पर $$G$$ होलोमोर्फिक वर्गमूल है;
 * 6) किसी भी $$w\notin G$$ के लिए, $$G$$ में किसी भी टुकड़े के अनुसार चिकने संवृत वक्र के लिए $$w$$ की विन्डिंग संख्या $$0$$ है
 * 7) विस्तारित सम्मिश्र तल $$\mathbb{C}\cup\{\infty\}$$ में $$G$$ का पूरक जुड़ा हुआ है।

(1) ⇒ (2) क्योंकि G में आधार बिंदु $$a\in G$$ के साथ कोई भी निरंतर संवृत वक्र, निरंतर स्थिर वक्र $$a$$ में विकृत हो सकता है। जिससे वक्र पर $$f\,\mathrm{d}z$$ की रेखा अभिन्न अंग $$0$$ है

(2) ⇒ (3) क्योंकि किसी भी टुकड़े के अनुसार स्मूथ पथ पर अभिन्न अंग $$\gamma$$ से $$a$$ को $$z$$ मौलिक को परिभाषित करने के लिए उपयोग किया जा सकता है।

(3) ⇒ (4) लघुगणक की एक शाखा देने के लिए $$\gamma$$ $$a$$ से $$x$$ तक $$f^{-1}\,\mathrm{d}f/\mathrm{d}z$$ को एकीकृत करते है।

(4) ⇒ (5) वर्गमूल को $$g(z)=\exp(f(x)/2)$$ के रूप में लेकर, जहां $$f$$ लघुगणक का एक होलोमोर्फिक विकल्प है।

(5) ⇒ (6) क्योंकि यदि $$\gamma$$ एक टुकड़ा-वार संवृत वक्र है और $$f_n$$, $$z-w$$ के बाहर $$w$$ के लिए $$z-w$$ के क्रमिक वर्गमूल हैं, तो $$f_n\circ\gamma$$ के बारे में $$w$$ की विन्डिंग संख्या $$2^n$$ के बारे में $$\gamma$$ की विन्डिंग संख्या का $$0$$ गुना है। इसलिए $$w$$ के बारे में $$\gamma$$ की विन्डिंग संख्या सभी $$n$$ के लिए $$2^n$$ से विभाज्य होनी चाहिए, इसलिए यह $$0$$ के समान होनी चाहिए

(6) ⇒ (7) अन्यथा विस्तारित विमान के लिए $$\mathbb{C}\cup\{\infty\}\setminus G$$ कप कप इन्फ्टी सेटमिनस जी को दो विवृत और संवृत समुच्चय $$A$$ और $$B$$ के असंयुक्त संघ के रूप में लिखा जा सकता है, जिसमें $$A$$ और $$B$$ में $$A$$ सीमा होती है। मान लीजिए कि $$\delta>0$$, $$A$$ और $$B$$ के बीच सबसे छोटी यूक्लिडियन दूरी है और $$\mathbb{C}$$ पर लंबाई के साथ एक वर्गाकार ग्रिड बनाएं, जिसमें वर्ग के केंद्र में $$A$$ का एक बिंदु $$a$$ हो। मान लीजिए कि $$C$$, $$A$$ से दूरी वाले सभी वर्गों के मिलन का एक सघन समुच्चय है। $$C_i$$ को $$A$$ को कवर करने वाले सभी वर्गों के रूप में लें, तो $$\frac{1}{2\pi}\int_{\partial C}\mathrm{d}\mathrm{arg}(z-a)$$$$A$$ के ऊपर $$C_i$$ की घुमावदार संख्याओं के योग के समान होता है, इस प्रकार $$1$$ मिलता है। दूसरी ओर $$\gamma_j$$ की घुमावदार संख्याओं का योग a के समान होता है 1. इसलिए $$\gamma_j$$ में से कम से कम एक की घुमावदार संख्या $$\gamma_j$$ के बारे में $$a$$ शून्येतर है।

(7)⇒ (1) यह विशुद्ध रूप से टोपोलॉजिकल तर्क है। मान लीजिए कि $$\gamma$$ एक टुकड़ा-वार चिकना संवृत वक्र है जो कि $$z_0\in G$$ पर आधारित है। सन्निकटन के अनुसार γ, z_{0} पर आधारित लंबाई $$\delta>0$$ के वर्ग ग्रिड पर एक आयताकार पथ के समान समरूप वर्ग में है; ऐसा आयताकार पथ $$N$$ क्रमागत निर्देशित ऊर्ध्वाधर और क्षैतिज भुजाओं के क्रम से निर्धारित होता है। $$N$$ पर प्रेरण द्वारा, ऐसे पथ को ग्रिड के एक कोने पर स्थिर पथ में विकृत किया जा सकता है। यदि पथ एक बिंदु $$z_1$$ पर प्रतिच्छेद करता है, तो यह लंबाई के दो आयताकार पथों में टूट जाता है, और इस प्रकार प्रेरण परिकल्पना और मौलिक समूह के प्राथमिक गुणों द्वारा इसे $$z_1$$ पर स्थिर पथ में विकृत किया जा सकता है। तर्क "उत्तर-पूर्व तर्क" का अनुसरण करता है: गैर-स्व-प्रतिच्छेदी पथ में एक कोने $$z_0$$ होगा जिसमें सबसे बड़ा वास्तविक भाग (पूर्व की ओर) होगा और फिर उनके बीच सबसे बड़ा काल्पनिक भाग (उत्तर की ओर) होगा। यदि आवश्यकता हो तो दिशा उलटते हुए, पथ $$N$$ के लिए $$z_0-\delta$$ से $$z_0$$ तक और फिर $$w_0=z_0-in\delta$$ तक जाता है और फिर बाईं ओर जाता है। मान लीजिए $$R$$ इन शीर्षों वाला विवृत आयत है। पथ की घुमावदार संख्या $$z_0$$ से $$w_0$$ तक ऊर्ध्वाधर खंड के दाईं ओर के बिंदुओं के लिए $$0$$ है और दाईं ओर के बिंदुओं के लिए -1 है; और इसलिए आर के अंदर। चूंकि घुमावदार संख्या $$0$$ है, $$R$$ g में स्थित है। यदि $$z_1$$ पथ का एक बिंदु है, तो इसे जी में स्थित होना चाहिए; यदि $$\partial R$$ पर है, किन्तु पथ पर नहीं है, तो निरंतरता से $$z$$ के बारे में पथ की घुमावदार संख्या $$z$$ भी $$G$$ में स्थित होनी चाहिए। किन्तु इस स्थिति में आयत की तीन भुजाओं को चौथी भुजाओं से प्रतिस्थापित करके पथ को विकृत किया जा सकता है, जिसके परिणामस्वरूप दो कम भुजाएँ होंगी (स्वयं-प्रतिच्छेदन की अनुमति के साथ)।

रीमैन मैपिंग प्रमेय

 * वीयरस्ट्रैस का अभिसरण प्रमेय होलोमोर्फिक कार्यों के अनुक्रम के कॉम्पेक्टा पर एकसमान सीमा होलोमोर्फिक है; इसी प्रकार डेरिवेटिव के लिए।
 * यह पहले कथन के लिए मोरेरा के प्रमेय का तत्काल परिणाम है। कॉची का अभिन्न सूत्र डेरिवेटिव के लिए सूत्र देता है जिसका उपयोग यह जांचने के लिए किया जा सकता है कि डेरिवेटिव भी कॉम्पैक्टा पर समान रूप से अभिसरण करते हैं।


 * हर्विट्ज़ प्रमेय (समिष्ट विश्लेषण) या हर्विट्ज़ प्रमेय। यदि किसी विवृत डोमेन पर कहीं भी विलुप्त न होने वाले होलोमोर्फिक फलन के अनुक्रम में कॉम्पेक्टा पर समान सीमा है, तो या तो सीमा समान रूप से शून्य है या सीमा कहीं भी विलुप्त नहीं है। यदि किसी विवृत डोमेन पर एकसमान होलोमोर्फिक फलन के अनुक्रम में कॉम्पेक्टा पर समान सीमा होती है, तो या तो सीमा स्थिर होती है या सीमा एकसमान होती है।
 * यदि सीमा फलन गैर-शून्य है, तो उसके शून्यों को अलग करना होता है। बहुलता वाले शून्यों को एक होलोमोर्फिक फलन g के लिए घुमावदार संख्या $$\frac{1}{2\pi i}\int_Cg^{-1}(z)g'(z)\mathrm{d}z$$ द्वारा गिना जा सकता है। इसलिए घुमावदार संख्याएं समान सीमाओं के अनुसार निरंतर होती हैं, जिससे अनुक्रम में प्रत्येक फलन में कोई शून्य न हो और न ही कोई सीमा होती है। दूसरे कथन के लिए मान लीजिए कि $$g(z)=f(z)-f(a)$$ और समुच्चय करें। ये डिस्क पर कहीं भी विलुप्त नहीं होते हैं, किन्तु $$g(z)=f(z)-f(a)$$ पर विलुप्त हो जाते हैं, इसलिए जी को समान रूप से विलुप्त होना चाहिए।

परिभाषाएँ वर्ग $${\cal F}$$ विवृत डोमेन पर होलोमोर्फिक फलन को सामान्य कहा जाता है यदि फलन का कोई क्रम हो $${\cal F}$$ इसका परिणाम है जो कॉम्पैक्टा पर समान रूप से होलोमोर्फिक फलन में परिवर्तित हो जाता है। एक वर्ग $${\cal F}$$ जब भी कोई अनुक्रम हो तो सघन होता है जो की $$f_n$$ में निहित है और समान रूप से अभिसरित $$f$$ हो जाता है कॉम्पैक्टा पर, फिर $$f$$ में भी निहित है .वर्ग $${\cal F}$$ इसे स्थानीय रूप से बाउंड कहा जाता है यदि उनके कार्य प्रत्येक कॉम्पैक्ट डिस्क पर समान रूप से बाउंड होते हैं। कॉची अभिन्न सूत्र को अलग करते हुए, यह निष्कर्ष निकलता है कि स्थानीय रूप से बंधे वर्ग के व्युत्पन्न भी स्थानीय रूप से बंधे होते हैं।
 * मोंटेल का प्रमेय. डोमेन $$G$$ में होलोमोर्फिक फलन का प्रत्येक स्थानीय रूप से घिरा वर्ग सामान्य है।
 * मान लीजिए $$f_n$$ एक पूरी तरह से घिरा हुआ अनुक्रम है और $$G$$ का एक गणनीय सघन उपसमुच्चय $$w_m$$ चुना है। स्थानीय रूप से सीमाबद्धता और एक "विकर्ण तर्क" द्वारा, एक अनुवर्ती चुना जा सकता है जिससे $$g_n$$ प्रत्येक बिंदु $$w_m$$ पर अभिसरण होता है। यह सत्यापित किया जाना चाहिए कि होलोमोर्फिक फलन का यह क्रम प्रत्येक कॉम्पेक्टम $$K$$ पर समान रूप से $$G$$ पर अभिसरण करता है। $$E$$ को $$K\subset E$$ के साथ इस प्रकार खोलें कि $$E$$ का समापन कॉम्पैक्ट हो और इसमें $$G$$ सम्मिलित होते है।
 * $$g_n(b) - g_n(a)= \int_a^b g_n^\prime(z)\, dz$$,
 * हमारे पास यह है कि $$|g_n(a)-g_n(b)|\leq M|a-b|\leq2\delta M$$ अब प्रत्येक $$k$$ के लिए $$D_k$$ में कुछ $$w_i$$ चुनें जहां $$g_n(w_i)$$ पर अभिसरण होता है, $$n$$ और $$m$$ को इतना बड़ा लें कि वह इसकी सीमा के $$\delta$$ के अन्दर हो। फिर $$z\in D_k$$ के लिए
 * $$|g_n(z) - g_m(z)| \leq |g_n(z) - g_n(w_i)| + |g_n(w_i) - g_m(w_i)| + |g_m(w_1) - g_m(z)|\leq 4M\delta + 2\delta.$$
 * इसलिए अनुक्रम $$\{g_n\}$$ आवश्यकतानुसार $$K$$ पर एक समान मानदंड में एक कॉची अनुक्रम बनाता है।
 * इसलिए अनुक्रम $$\{g_n\}$$ आवश्यकतानुसार $$K$$ पर एक समान मानदंड में एक कॉची अनुक्रम बनाता है।


 * रीमैन मानचित्रण प्रमेय. यदि $$G\neq\mathbb{C}$$ एक सरल रूप से जुड़ा हुआ डोमेन है और $$a\in G$$ में है, तो यूनिट डिस्क $$D$$ पर $$G$$ की एक अद्वितीय अनुरूप मैपिंग $$f$$ है, जिसे इस तरह सामान्यीकृत किया गया है कि $$f(a)=0$$ और $$f'(a)>0$$
 * विशिष्टता इस प्रकार है क्योंकि यदि $$f$$ और $$g$$ समान नियमो को पूरा करते हैं, तो इकाई डिस्क $$h=f\circ g^{-1}$$ का एक असमान होलोमोर्फिक मानचित्र होगा जिसमें इकाई डिस्क होगी और $$h(0)=0$$ और $$h'(0)>0$$ होगा। किन्तु श्वार्ज़ लेम्मा द्वारा, यूनिट डिस्क के असमान होलोमोर्फिक मानचित्र मोबियस ट्रांसफॉर्मेशन द्वारा दिए गए हैं
 * $$k(z)=e^{i\theta}(z-\alpha)/(1-\overline{\alpha} z)$$
 * $$|\alpha|<1$$ के साथ तो $$h$$ पहचान मानचित्र और $$f=g$$ होना चाहिए
 * अस्तित्व को सिद्ध करने के लिए, मान लीजिए $${\cal F}$$ होलोमोर्फिक यूनिवेलेंट मैपिंग का वर्ग होना $$f$$ का $$G$$ विवृत यूनिट डिस्क में $$D$$ साथ $$f(a)=0$$ और $$f'(a)>0$$. मोंटेल के प्रमेय के अनुसार यह सामान्य वर्ग है। सरल-कनेक्टिविटी के लक्षण वर्णन द्वारा, के लिए $$b\in\mathbb{C}\setminus G$$ वर्गमूल की होलोमोर्फिक शाखा होती है इस प्रकार $$h(z)=\sqrt{z -b}$$ में $$G$$. यह एकसमान है और $$h(z_1)\neq-h(z_2)$$ के लिए $$z_1,z_2\in G$$ है तब से $$h(G)$$ संवृत डिस्क होनी चाहिए $$\Delta$$ केंद्र के साथ $$h(a)$$ और त्रिज्या $$r>0$$, का कोई अंक नहीं $$-\Delta$$ में गलत $$h(G)$$ बोल सकते हैं मान लीजिए $$F$$ अद्वितीय मोबियस परिवर्तनकारी बनें $$\mathbb{C}\setminus-\Delta$$ पर $$D$$ सामान्यीकरण के साथ $$F(h(a))=0$$ और $$F'(h(a))>0$$. निर्माण द्वारा $$F\circ h$$ में है $${\cal F}$$, जिससे $${\cal F}$$ गैर-रिक्त है. पॉल कोएबे की विधि समस्या को हल करने के लिए अनुरूप मानचित्रण उत्पन्न करने के लिए चरम फलन का उपयोग करना है: इस स्थिति में इसे अधिकांशतः अहलफोर्स फलन कहा जाता है, लार्स अहलफोर्स के बाद मान लीजिए $$00$$. इसलिए $$M$$ परिमित है, समान $$f'(a)>0$$ और $${f\in\cal F}$$ है. यह जाँचना बाकी है कि अनुरूप मानचित्रण $$f$$ लेता है इस प्रकार $$G$$ पर $$D$$. नहीं तो ले लो $$c\neq0$$ में $$D\setminus f(G)$$ और जाने $$H$$ का होलोमोर्फिक वर्गमूल हो $$(f(z)-c)/(1-\overline{c}f(z))$$ पर $$G$$. फलन $$H$$ एकसमान और मानचित्र है मान लीजिए
 * $$F(z)=\frac{e^{i\theta}(H(z)-H(a))}{1-\overline{H(a)}H(z)},$$
 * जहाँ $$H'(a)/|H'(a)|=e^{-i\theta}$$. तब $$F\in{\cal F}$$ और नियमित गणना यह दर्शाती है
 * $$F'(a)=H'(a)/(1-|H(a)|^2)=f'(a)\left(\sqrt{|c|}+\sqrt{|c|^{-1}}\right)/2>f'(a)=M.$$
 * यह की अधिकतमता $$M$$ का खंडन करता है, जिससे $$f$$ सभी मूल्यों $$D$$ को अंदर लेना चाहिए.
 * यह की अधिकतमता $$M$$ का खंडन करता है, जिससे $$f$$ सभी मूल्यों $$D$$ को अंदर लेना चाहिए.

टिप्पणी। रीमैन मैपिंग प्रमेय के परिणामस्वरूप, विमान में प्रत्येक सरलता जुड़ा हुआ डोमेन यूनिट डिस्क के लिए होमोमोर्फिक है। यदि अंक छोड़ दिए जाएं, तो यह प्रमेय से निकलता है। पूरे विमान के लिए, होमोमोर्फिज्म $$\phi(x)=z/(1+|z|)$$ की समरूपता $$\mathbb{C}$$ पर $$D$$ देता है.

समानांतर स्लिट मैपिंग
सामान्य वर्गों के लिए कोएबे का एकरूपीकरण $$f$$ प्रमेय भी एकरूपता उत्पन्न करने के लिए सामान्यीकरण करता है इस प्रकार बहु-जुड़े हुए डोमेन के लिए परिमित समानांतर स्लिट डोमेन के लिए, जहां स्लिट $$\theta$$ तक $x$-एक्सिस का कोण होता है। इस प्रकार यदि $$G$$ में डोमेन $$\mathbb{C}\cup\{\infty\}$$ युक्त $$\infty$$ और सीमित रूप से कई जॉर्डन आकृतियों से घिरा होता है, अद्वितीय असमान कार्य $$f$$ पर $$G$$ साथ है
 * $$f(z)=z^{-1}+a_1z+a_2z^2+\cdots$$

पास में $$\infty$$, अधिकतमीकरण $$\mathrm{Re}(e^{-2i\theta}a_1)$$ और छवि होना $$f(G)$$ कोण के साथ समानांतर स्लिट डोमेन $$\theta$$ तक $x$-एक्सिस  मल्टीपल कनेक्टेड केस में समानांतर स्लिट डोमेन कैनोनिकल डोमेन होने का पहला प्रमाण 1909 में डेविड हिल्बर्ट द्वारा दिया गया था।, अनवैलेंट फलन और कंफ़ॉर्मल मैपिंग पर अपनी पुस्तक पर, 1930 के दशक की प्रारंभ में हर्बर्ट ग्रोट्ज़ और रेने डी पॉसेल के कार्य के आधार पर उपचार दिया; यह क्वासिकोनफॉर्मल मैपिंग और द्विघात अंतर का अग्रदूत था, जिसे इसके पश्चात् ओसवाल्ड टीचमुलर के कारण चरम लंबाई की तकनीक के रूप में विकसित किया गया था। मेनहेम मैक्स शिफ़र ने बहुत ही सामान्य परिवर्तनशील सिद्धांत पर आधारित उपचार दिया था, जिसका सारांश उन्होंने 1950 और 1958 में गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस को दिए गए संबोधनों में दिया था। सीमा भिन्नता पर प्रमेय में (इसे आंतरिक भिन्नता से अलग करने के लिए), उन्होंने अंतर समीकरण निकाला और असमानता, जो 1936 से उघट्रेड शटलवर्थ हसलाम-जोन्स के कारण सीधी-रेखा खंडों के माप-सैद्धांतिक लक्षण वर्णन पर निर्भर थी। हसलाम-जोन्स के प्रमाण को कठिन माना गया था और केवल 1970 के दशक के मध्य में शॉबर और कैंपबेल द्वारा संतोषजनक प्रमाण दिया गया था। -लैमौरेक्स.

ने समानांतर स्लिट डोमेन के लिए एकरूपता का प्रमाण दिया जो रीमैन मैपिंग प्रमेय के समान था। अंकन को सरल बनाने के लिए क्षैतिज स्लिटों का सहारा लिया जाएगा। सबसे पहले, कोएबे तिमाही प्रमेय द्वारा बीबरबैक की असमान प्रमेय के लिए गुणांक असमानता या बीबरबैक की असमानता है, कोई भी असमान कार्य नहीं है
 * $$g(z)=z+cz^2+\cdots$$

जहां $$|c|\leq2$$ फिर $$z$$ और एक नियमित गणना से यह पता चलता है
 * $$f(z)=z+a_0+a_1z^{-1}+\cdots$$

यह $$|z|>R$$ की अधिकतमता का खंडन करता है, इसलिए $$|f(z)-a_0|\leq2|z|$$ को $$S>R$$ में सभी मान लेने होंगे
 * $$g(z)=S(f(S/z)-b)^{-1}$$

R को इतना बड़ा लें कि खुली डिस्क |z|R$$ के साथ G में स्थित है, तो $$z+a_1z^{-1}+\cdots$$ चूंकि एकसंयोजक f का वर्ग स्थानीय रूप से $$\mathrm{Re}(a_1)$$ में घिरा हुआ है, मोंटेल के प्रमेय के अनुसार वे एक सामान्य वर्ग बनाते हैं। इसके अतिरिक्त यदि $$f(zR)/R$$ वर्ग में है और कॉम्पैक्टा पर समान रूप से $$z>1$$ की ओर प्रवृत्त होता है, तो $$G\subset\mathbb{C}\cup\{\infty\}$$ भी वर्ग में है और $$\mathrm{Re}(a_1)$$ पर लॉरेंट विस्तार का प्रत्येक गुणांक f के संगत गुणांक की ओर प्रवृत्त होता है। यह विशेष रूप से गुणांक पर प्रयुक्त होता है: इसलिए सघनता से एक असमान एफ होता है जो अधिकतम होता है $$z>1$$। उसे जांचने के लिए

अब सिद्ध करने के लिए कि गुणा किया गया डोमेन $$G\subset\mathbb{C}\cup\{\infty\}$$ क्षैतिज समानांतर स्लिट अनुरूप मानचित्रण द्वारा एकरूप बनाया जा सकता है


 * $$f(z)=z+a_1z^{-1}+\cdots$$,

माना $$R$$ इतना बड़ा $$\partial G$$ विवृत डिस्क में है $$|z|R$$, एकरूपता और अनुमान $$|f(z)|\leq2|z|$$ इसका तात्पर्य यह है कि, यदि $$z$$ में निहित है $$G$$ साथ $$|z|\leq S$$, तब $$|f(z)|\leq2S$$. एकसमान वर्ग के बाद से $$f$$ स्थानीय रूप से बंधे हुए हैं मोंटेल के प्रमेय के अनुसार वे सामान्य वर्ग $$G\setminus\{\infty\}$$ बनाते हैं। इसके अतिरिक्त यदि $$f_n$$ वर्ग में है और प्रवृत्त $$f$$ है फिर, कॉम्पेक्टा पर समान रूप से $$f$$ वर्ग में भी है और लॉरेंट विस्तार के प्रत्येक गुणांक पर $$\infty$$ की $$f_n$$ के संगत गुणांक की ओर प्रवृत्त $$f$$ होता है. यह विशेष रूप से गुणांक पर प्रयुक्त होता है: इसलिए सघनता से असंयोजक $$f$$ होता है जो अधिकतम $$\mathrm{Re}(a_1)$$ होता है. उसे जांचने के लिए
 * $$f(z)=z+a_1+\cdots$$

आवश्यक समानांतर स्लिट परिवर्तन है, मान लीजिए कि रिडक्टियो एड एब्सर्डम $$f(G)=G_1$$ है कॉम्पैक्ट और कनेक्टेड घटक है इसकी सीमा का जो क्षैतिज झिरी नहीं है। फिर पूरक $$G_2$$ का $$K$$ में $$\mathbb{C}\cup\{\infty\}$$ $$G_2\supset G_1$$ से जुड़ा हुआ है. रीमैन मानचित्रण प्रमेय के अनुसार अनुरूप मानचित्रण होता है
 * $$h(w)=w+b_1w^{-1}+\cdots,$$

ऐसा है कि $$h(G_2)$$ है क्षैतिज स्लिट $$\mathbb{C}$$ हटाकरतो हमारे पास वह है
 * $$h(f(z))=z+(a_1+b_1)z^{-1}+\cdots,$$

और इस तरह $$\mathrm{Re}(a_1+b_1)\leq\mathrm{Re}(a_1)$$ की चरम सीमा $$\mathbb{C}$$ से $$f$$. इसलिए, $$\mathrm{Re}(b_1)\leq0$$. दूसरी ओर रीमैन मानचित्रण प्रमेय द्वारा अनुरूप मानचित्रण होता है
 * $$k(w)=w+c_0+c_1w^{-1}+\cdots,$$

मैपिंग $$|w|>S$$ पर $$G_2$$. तब
 * $$f(k(w))-c_0=w+(a_1+c_1)w^{-1}+\cdots.$$

पिछले पैराग्राफ में स्लिट मैपिंग के लिए सख्त अधिकतमता से, हम उस $$\mathrm{Re}(c_1)<\mathrm{Re}(b_1+c_1)$$ को देख सकते हैं, जिससे $$\mathrm{Re}(b_1)>0$$ $$\mathrm{Re}(b_1)$$ के लिए दो असमानताएँ विरोधाभासी हैं।

अनुरूप समानांतर स्लिट परिवर्तन की विशिष्टता का प्रमाण और  में दिया गया है। जौकोव्स्की ट्रांसफॉर्म एच के व्युत्क्रम को क्षैतिज स्लिट डोमेन पर प्रयुक्त करते हुए, यह माना जा सकता है कि जी एक डोमेन है जो यूनिट सर्कल $$C_0$$ से घिरा है और इसमें विश्लेषणात्मक आर्क्स $$C_i$$ और पृथक बिंदु सम्मिलित हैं (अन्य समानांतर क्षैतिज स्लिट के अनुसार जौकोव्स्की ट्रांसफॉर्म के व्युत्क्रम की छवियां)। इस प्रकार, $$G$$ में एक निश्चित $$a\in G$$ लेते हुए, एक असमान मानचित्रण होता है
 * $$F_0(w)=h\circ f(w)=(w-a)^{-1}+a_1(w-a)+a_2(w-a)^2+\cdots,$$

इसकी छवि के साथ क्षैतिज स्लिट डोमेन लगता है कि $$F_1(w)$$ के साथ और एकरूपकारक है
 * $$F_1(w)=(w-a)^{-1}+b_1(w-a)+b_2(w-a)^2+\cdots.$$

प्रत्येक $$C_i$$ के $$F_0$$ या $$F_1$$ के अंतर्गत छवियों में एक निश्चित $y$-निर्देशांक होता है, इसलिए क्षैतिज खंड होते हैं। दूसरी ओर, $$F_2(w)=F_0(w)-F_1(w)$$ $$G$$ में होलोमोर्फिक है। यदि यह स्थिर है, तो इसे $$F_2(a)=0$$ के बाद से समान रूप से शून्य होना चाहिए। मान लीजिए $$F_2$$ गैर-स्थिर है, तो धारणा के अनुसार सभी क्षैतिज रेखाएं हैं। यदि t इन पंक्तियों में से एक में नहीं है, तो कॉची के तर्क सिद्धांत से पता चलता है कि $$G$$ में $$F_2(w)=t$$ के समाधानों की संख्या शून्य है (कोई भी $$t$$ अंततः $$G$$ में $$C_i$$ के निकट आकृति से घिरा होगा)। यह इस तथ्य का खंडन करता है कि गैर-स्थिर होलोमोर्फिक फ़ंक्शन $$F_2$$ एक विवृत मानचित्रण है।

डिरिचलेट समस्या के माध्यम से स्केच प्रमाण
दिया गया $$U$$ और बिंदु $$z_0\in U$$, हम फलन $$f$$ बनाना चाहते हैं जो मानचित्र $$U$$ यूनिट डिस्क के लिए और $$z_0$$ को $$0$$. इस स्केच के लिए, हम मान लेंगे कि यू घिरा हुआ है और इसकी सीमा स्मूथ है, जैसा कि रीमैन ने किया था।
 * $$f(z) = (z - z_0)e^{g(z)},$$

जहाँ $$g=u+iv$$ वास्तविक भाग के साथ कुछ (निर्धारित किया जाना है) होलोमोर्फिक फलन है इस प्रकार $$u$$ और काल्पनिक भाग $$v$$. तब यह स्पष्ट हो जाता है कि $$z_0$$ का एकमात्र शून्य $$f$$ है हमें इसकी आवश्यकता है $$|f(z)|=1$$ के लिए $$z\in\partial U$$, तो हमें चाहिए
 * $$u(z) = -\log|z - z_0|$$

सीमा पर. तब से $$u$$ होलोमोर्फिक फलन का वास्तविक भाग है, हम यह $$u$$ जानते हैं आवश्यक रूप से हार्मोनिक फलन है; अर्थात, यह लाप्लास के समीकरण को संतुष्ट करता है।

फिर प्रश्न यह हो जाता है: क्या कोई वास्तविक-मूल्यवान हार्मोनिक कार्य करता है इस प्रकार $$u$$ उपस्थित है जो सभी $$U$$ पर परिभाषित है और दी गई सीमा नियम है? धनात्मक उत्तर डिरिचलेट सिद्धांत द्वारा प्रदान किया गया है। अस्तित्व $$u$$ होलोमोर्फिक फलन के लिए कॉची-रीमैन समीकरण $$g$$ स्थापित किया गया है हमें खोजने $$v$$ की अनुमति दें (यह तर्क इस धारणा पर निर्भर करता है कि $$U$$ सरलता जुड़े रहें)। इस प्रकार $$u$$ और $$v$$ का निर्माण किया गया है, किसी को परिणामी फलन $$f$$ की जांच करनी होती है वास्तव में इसमें सभी आवश्यक गुण हैं।

एकरूपीकरण प्रमेय
रीमैन मैपिंग प्रमेय को रीमैन सतहों के संदर्भ में सामान्यीकृत किया जा सकता है: यदि $$U$$ फिर, रीमैन सतह का गैर-रिक्त सरल रूप से जुड़ा हुआ विवृत उपसमुच्चय $$U$$ है निम्नलिखित में से के लिए बायोलोमोर्फिक है: रीमैन क्षेत्र, समिष्ट विमान $$\mathbb{C}$$, या विवृत इकाई डिस्क $$D$$ है इसे एकरूपीकरण प्रमेय के रूप में जाना जाता है।

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

एल्गोरिदम
कम्प्यूटेशनल कंफर्मल मैपिंग को व्यावहारिक विश्लेषण और गणितीय भौतिकी की समस्याओं के साथ-साथ इमेज प्रोसेसिंग जैसे इंजीनियरिंग विषयों में प्रमुखता से दिखाया गया है।

1980 के दशक की प्रारंभ में अनुरूप मानचित्रों की गणना के लिए प्राथमिक एल्गोरिदम की खोज की गई थी। अंक दिये गये $$z_0, \ldots, z_n$$ समतल में, एल्गोरिथ्म जॉर्डन वक्र से घिरे क्षेत्र पर यूनिट डिस्क के स्पष्ट अनुरूप मानचित्र की गणना $$\gamma$$ साथ $$z_0, \ldots, z_n \in \gamma.$$ करता है यह एल्गोरिदम जॉर्डन क्षेत्रों के लिए अभिसरण करता है समान रूप से निकट सीमाओं के अर्थ में मैपिंग फलन और उनके व्युत्क्रमों के लिए संवृत क्षेत्र और संवृत डिस्क पर समान समान अनुमान हैं। यदि डेटा बिंदु a पर स्थित हों तो उत्तम अनुमान प्राप्त होते हैं इस प्रकार $$C^1$$ वक्र या A $K$-अर्धवृत्त. एल्गोरिथ्म को अनुरूप वेल्डिंग के लिए अनुमानित विधि के रूप में खोजा गया था; चूँकि, इसे लोवेनर अंतर समीकरण के विवेकाधीनता के रूप में भी देखा जा सकता है। निम्नलिखित दो समतलीय डोमेन के बीच अनुरूप मानचित्रण को संख्यात्मक रूप से अनुमानित करने के बारे में जाना जाता है।

धनात्मक परिणाम:

ऋणात्मक परिणाम:
 * एक एल्गोरिदम A है जो निम्नलिखित अर्थों में एकरूपीकरण मानचित्र की गणना करता है। मान लीजिए $$\Omega$$ सीमाबद्ध सरल-कनेक्टेड डोमेन बनें, और $$w_0\in\Omega$$. $$\partial\Omega$$ A को ओरेकल द्वारा पिक्सेलयुक्त अर्थ में प्रतिनिधित्व करते हुए प्रदान किया जाता है (अर्थात, यदि स्क्रीन को विभाजित किया गया है) $$2^n \times 2^n$$ पिक्सेल, ओरेकल कह सकता है कि प्रत्येक पिक्सेल सीमा से संबंधित है या नहीं)। फिर A एकसमान मानचित्र के निरपेक्ष मानों $$\phi:(\Omega, w_0) \to (D, 0)$$ की गणना करता है स्पष्टता के साथ $$2^{-n}$$ से घिरे विमान में $$Cn^2$$ और समय $$2^{O(n)}$$ है जहाँ $$C$$ के व्यास $$\Omega$$ और $$d(w_0, \partial\Omega).$$ पर ही निर्भर करता है इसके अतिरिक्त, एल्गोरिथ्म के मूल्य $$\phi(w)$$ की गणना करता है स्पष्टता के साथ $$2^{-n}$$ जब तक कि $$|\phi(w)| < 1-2^{-n}.$$ है इसके अतिरिक्त, $$\partial\Omega$$ प्रश्न करता है अधिकतम परिशुद्धता के साथ $$2^{-O(n)}.$$ विशेषकर, यदि $$\partial\Omega$$ विमान में गणना योग्य बहुपद $$n^a$$ समिष्ट है कुछ स्थिरांक के लिए $$a\geq 1$$ और समय $$T(n) < 2^{O(n^a)},$$ तब A का उपयोग विमान में समान मानचित्र की गणना करने के लिए किया जा सकता है
 * एक एल्गोरिदम ए' है जो निम्नलिखित अर्थों में एकरूपीकरण मानचित्र की गणना करता है। मान लीजिए $$\Omega$$ सीमाबद्ध सरल-कनेक्टेड डोमेन बनें, और $$w_0 \in \Omega.$$ मान लीजिए कि कुछ के लिए $$n=2^k,$$ $$\partial\Omega$$ स्पष्टता के साथ A' को दिया गया है इस प्रकार $$\tfrac{1}{n}$$ द्वारा $$O(n^2)$$ पिक्सल फिर A' एकसमान मानचित्र के निरपेक्ष मानों की गणना करता है इस प्रकार $$\phi:(\Omega, w_0) \to (D, 0)$$ की त्रुटि के अन्दर $$O(1/n)$$ से घिरे यादृच्छिक समिष्ट में $$O(k)$$ और समय बहुपद में $$n=2^k$$ (अर्थात बीपीएल द्वारा($n$)-मशीन)। इसके अतिरिक्त, एल्गोरिथ्म के मूल्य की गणना करता है | स्पष्टता $$\phi(w)$$ के साथ $$\tfrac{1}{n}$$ जब तक कि $$|\phi(w)|< 1 -\tfrac{1}{n}.$$ है


 * मान लीजिए कि एल्गोरिदम A है जो सरल-कनेक्टेड डोमेन देता है रैखिक-समय गणना $$\Omega$$ योग्य सीमा और आंतरिक त्रिज्या के साथ $$>1/2$$ और संख्या $$n$$ पहले गणना $$20 n$$ करता है अनुरूप त्रिज्या के अंक $$r(\Omega, 0),$$ तब हम शार्प-सैट( के किसी भी उदाहरण को हल करने के लिए A पर कॉल का उपयोग कर सकते हैं रैखिक समय उपरि के साथ दूसरे शब्दों में, शार्प-पी या पी समुच्चय के अनुरूप त्रिज्या की गणना करने के लिए बहु-समय कम करने योग्य है।


 * सरलता-कनेक्टेड डोमेन $$\Omega,$$ के अनुरूप त्रिज्या की गणना करने की समस्या पर विचार करें, जहां $$\Omega,$$ की सीमा $$O(n^2)$$ पिक्सल के स्पष्ट संग्रह द्वारा स्पष्ट $$1/n$$ के साथ दी गई है। परिशुद्धता के साथ अनुरूप त्रिज्या की गणना करने की समस्या को $$1/n^c$$ $$\texttt{CONF}(n,n^c).$$ द्वारा निरूपित करें, फिर, $$\texttt{MAJ}_n$$ किसी भी AC0 के लिए $$\texttt{CONF}(n,n^c)$$ को $$0 < c < \tfrac{1}{2}.$$ में कम करने योग्य है

==यह भी देखें                                                                                                                                                                                                                        ==
 * मापने योग्य रीमैन मानचित्रण प्रमेय
 * श्वार्ज़-क्रिस्टोफेल मैपिंग - साधारण बहुभुज के आंतरिक भाग पर ऊपरी आधे तल का अनुरूप परिवर्तन।
 * अनुरूप त्रिज्या

==टिप्पणियाँ                                                                                                                                                                                                                   ==