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

समिष्ट विश्लेषण में, रीमैन मैपिंग प्रमेय में कहा गया है कि यदि $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\geq 2$), बॉल और पॉलीडिस्क दोनों बस जुड़े हुए हैं, किन्तु उनके बीच कोई बायोलोमोर्फिक मानचित्र नहीं है।

सामान्य वर्गों के माध्यम से प्रमाण

Main article: सामान्य वर्ग

सरल कनेक्टिविटी

प्रमेय. विवृत डोमेन के लिए $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 _{C}g^{-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}$ पूरी तरह से सीमित अनुक्रम बनें और गणनीय सघन उपसमुच्चय चुनें $w_{m}$ का $G$. स्थानीय रूप से बाध्यता और विकर्ण तर्क द्वारा, अनुवर्ती को चुना जा सकता है $g_{n}$ प्रत्येक बिंदु पर अभिसरण है $w_{m}$. यह सत्यापित किया जाना चाहिए कि होलोमोर्फिक फलन का यह क्रम अभिसरण करता है $G$ प्रत्येक कॉम्पेक्टम पर समान रूप से $K$. लेना $E$ के साथ खोलें $K\subset E$ ऐसे कि संवृत हो जाए $E$ कॉम्पैक्ट है और इसमें सम्मिलित है $G$. अनुक्रम के बाद से $\{g_{n}'\}$ स्थानीय रूप से घिरा हुआ है, $|g_{n}'|\leq M$ पर $E$. सघनता से, यदि $\delta >0$ अधिक छोटी, बहुत सी खुली डिस्क ली गई है $D_{k}$ त्रिज्या का $\delta >0$ कवर करना आवश्यक है $K$ अंदर रहते हुए $E$. तब से

$g_{n}(b)-g_{n}(a)=\int _{a}^{b}g_{n}^{\prime }(z)\,dz$,

वह हमारे पास है $|g_{n}(a)-g_{n}(b)|\leq M|a-b|\leq 2\delta M$. अब प्रत्येक के लिए $k$ कुछ चुनें $w_{i}$ में $D_{k}$ कहाँ $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\neq \mathbb {C}$ सरलता से जुड़ा हुआ डोमेन है और $a\in G$, अद्वितीय अनुरूप मानचित्रण है $f$ का $G$ यूनिट डिस्क पर $D$ इस प्रकार सामान्यीकृत किया गया $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}}$ गैर-रिक्त है. पॉल कोएबे की विधि समस्या को हल करने के लिए अनुरूप मानचित्रण उत्पन्न करने के लिए चरम फलन का उपयोग करना है: इस स्थिति में इसे अक्सर अहलफोर्स फलन कहा जाता है G, लार्स अहलफोर्स के बाद। होने देना $0<M\leq \infty$ का सर्वोच्च होना $f'(a)$ के लिए $f\in {\cal {F}}$. चुनना $f_{n}\in {\cal {F}}$ साथ $f_{n}'(a)$ के लिए उन्मुख $M$. मॉन्टेल के प्रमेय के अनुसार, यदि आवश्यक हो तो अनुवर्ती से गुजरते हुए, $f_{n}$ होलोमोर्फिक फलन की ओर प्रवृत्त होता है $f$ कॉम्पेक्टा पर समान रूप से। हर्विट्ज़ प्रमेय द्वारा, $f$ या तो असंयोजक है या स्थिर है। किन्तु $f$ है $f(a)=0$ और $f'(a)>0$. इसलिए $M$ परिमित है, समान है $f'(a)>0$ और ${f\in {\cal {F}}}$. यह जाँचना बाकी है कि अनुरूप मानचित्रण $f$ लेता है $G$ पर $D$. नहीं तो ले लो $c\neq 0$ में $D\setminus f(G)$ और जाने $H$ का होलोमोर्फिक वर्गमूल हो $(f(z)-c)/(1-{\overline {c}}f(z))$ पर $G$. कार्यक्रम $H$ एकसमान और मानचित्र है $G$ में $D$. होने देना

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

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

समानांतर स्लिट मैपिंग

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

$f(z)=z^{-1}+a_{1}z+a_{2}z^{2}+\cdots$

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

Schiff (1993) ने समानांतर स्लिट डोमेन के लिए एकरूपता का प्रमाण दिया जो रीमैन मैपिंग प्रमेय के समान था। अंकन को सरल बनाने के लिए क्षैतिज स्लिटों का सहारा लिया जाएगा। सबसे पहले, कोएबे तिमाही प्रमेय द्वारा#बीबरबैक की असमान प्रमेय के लिए गुणांक असमानता|बीबरबैक की असमानता, कोई भी असमान कार्य

$g(z)=z+cz^{2}+\cdots$

साथ $z$ खुली इकाई में डिस्क को संतुष्ट करना होगा $|c|\leq 2$. परिणामस्वरूप, यदि

$f(z)=z+a_{0}+a_{1}z^{-1}+\cdots$

में एकसमान है $|z|>R$, तब $|f(z)-a_{0}|\leq 2|z|$. इसे देखने के लिए लीजिए $S>R$ और समुच्चय करें

$g(z)=S(f(S/z)-b)^{-1}$

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

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

लेना $R$ इतना बड़ा $\partial G$ खुली डिस्क में है $|z|<R$. के लिए $S>R$, एकरूपता और अनुमान $|f(z)|\leq 2|z|$ इसका तात्पर्य यह है कि, यदि $z$ में निहित है $G$ साथ $|z|\leq S$, तब $|f(z)|\leq 2S$. एकसमान वर्ग के बाद से $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}$ कॉम्पैक्ट और कनेक्टेड घटक है $K$ इसकी सीमा का जो क्षैतिज झिरी नहीं है। फिर पूरक $G_{2}$ का $K$ में $\mathbb {C} \cup \{\infty \}$ बस से जुड़ा हुआ है $G_{2}\supset G_{1}$. रीमैन मानचित्रण प्रमेय के अनुसार अनुरूप मानचित्रण होता है

$h(w)=w+b_{1}w^{-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})$ की चरम सीमा से $f$. इसलिए, $\mathrm {Re} (b_{1})\leq 0$. दूसरी ओर रीमैन मानचित्रण प्रमेय द्वारा अनुरूप मानचित्रण होता है

$k(w)=w+c_{0}+c_{1}w^{-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})$ विरोधाभासी हैं. अनुरूप समानांतर स्लिट परिवर्तन की विशिष्टता का प्रमाण दिया गया है Goluzin (1969) और Grunsky (1978). जौकोव्स्की परिवर्तन का व्युत्क्रम लागू करना $h$ क्षैतिज स्लिट डोमेन के लिए, यह माना जा सकता है $G$ यूनिट सर्कल से घिरा डोमेन है $C_{0}$ और इसमें विश्लेषणात्मक आर्क सम्मिलित हैं $C_{i}$ और अलग-अलग बिंदु (जौकोव्स्की के विपरीत अन्य की छवियां अन्य समानांतर क्षैतिज स्लिट के नीचे बदल जाती हैं)। इस प्रकार, निश्चित लेना $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 .$

नीचे के चित्र $F_{0}$ या $F_{1}$ प्रत्येक की $C_{i}$ निश्चित है y-निर्देशांक क्षैतिज खंड हैं। वहीं दूसरी ओर, $F_{2}(w)=F_{0}(w)-F_{1}(w)$ में होलोमोर्फिक है $G$. यदि यह स्थिर है, तो इसे समान रूप से शून्य होना चाहिए $F_{2}(a)=0$. कल्पना करना $F_{2}$ गैर-स्थिर है, तो धारणा से $F_{2}(C_{i})$ सभी क्षैतिज रेखाएँ हैं. अगर $t$ इन पंक्तियों में से में नहीं है, कॉची के तर्क सिद्धांत से पता चलता है कि समाधानों की संख्या $F_{2}(w)=t$ में $G$ शून्य है (कोई भी $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}$ वक्र या ए K-अर्धवृत्त. एल्गोरिथ्म को अनुरूप वेल्डिंग के लिए अनुमानित विधि के रूप में खोजा गया था; चूँकि, इसे लोवेनर अंतर समीकरण के विवेकाधीनता के रूप में भी देखा जा सकता है। निम्नलिखित दो समतलीय डोमेन के बीच अनुरूप मानचित्रण को संख्यात्मक रूप से अनुमानित करने के बारे में जाना जाता है। सकारात्मक नतीजे:

• एक एल्गोरिदम ए है जो निम्नलिखित अर्थों में एकरूपीकरण मानचित्र की गणना करता है। होने देना $\Omega$ सीमाबद्ध सरल-कनेक्टेड डोमेन बनें, और $w_{0}\in \Omega$. $\partial \Omega$ ए को ओरेकल द्वारा पिक्सेलयुक्त अर्थ में प्रतिनिधित्व करते हुए प्रदान किया जाता है (अर्थात, यदि स्क्रीन को विभाजित किया गया है) $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 का उपयोग अंतरिक्ष में समान मानचित्र की गणना करने के लिए किया जा सकता है $C\cdot n^{\max(a,2)}$ और समय $2^{O(n^{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}}.$

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

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

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

यह भी देखें

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

संदर्भ

• Ahlfors, Lars V. (1978), Complex analysis. An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics (3rd ed.), McGraw-Hill, ISBN 0070006571
• Beardon, Alan F. (1979), Complex analysis.The argument principle in analysis and topology, John Wiley & Sons, ISBN 0471996718
• Bell, Steven R. (1992), The Cauchy transform, potential theory, and conformal mapping, Studies in Advanced Mathematics, CRC Press, ISBN 0-8493-8270-X
• Berenstein, Carlos A.; Gay, Roger (1991), Complex variables. An introduction, Graduate Texts in Mathematics, vol. 125, Springer-Verlag, ISBN 0387973494
• Carathéodory, C. (1912), "Untersuchungen über die konformen Abbildungen von festen und veranderlichen Gebieten", Mathematische Annalen, 72: 107–144, doi:10.1007/bf01456892, S2CID 115544426
• Conway, John B. (1978), Functions of one complex variable, Springer-Verlag, ISBN 0-387-90328-3
• Conway, John B. (1995), Functions of one complex variable II, Springer-Verlag, ISBN 0-387-94460-5
• Duren, P. L. (1980), "Extremal problems for univalent functions", in Brannan, D.A.; Clunie, J.G. (eds.), Aspects of contemporary complex analysis, Academic Press, pp. 181–208, ISBN 9780121259501
• Duren, P. L. (1983), Univalent functions, Grundlehren der Mathematischen Wissenschaften, vol. 259, Springer-Verlag, ISBN 0-387-90795-5
• Gamelin, Theodore W. (2001), Complex analysis, Undergraduate Texts in Mathematics, Springer, ISBN 0-387-95069-9
• Goluzin, G. M. (1969), Geometric theory of functions of a complex variable, Translations of Mathematical Monographs, vol. 26, American Mathematical Society
• Gray, Jeremy (1994), "On the history of the Riemann mapping theorem" (PDF), Rendiconti del Circolo Matematico di Palermo. Serie II. Supplemento (34): 47–94, MR 1295591
• Greene, Robert E.; Kim, Kang‑Tae (2017), "The Riemann mapping theorem from Riemann's viewpoint", Complex Analysis and Its Synergies, 3, doi:10.1186/s40627-016-0009-7
• Grötzsch, Herbert (1932), "Über das Parallelschlitztheorem der konformen Abbildung schlichter Bereiche", Berichte über die Verhandlungen der Sächsischen Akademie der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse (in Deutsch), 84: 15–36, Zbl 0005.06802
• Grunsky, Helmut (1978), Lectures on theory of functions in multiply connected domains, Studia Mathematica, vol. 4, Vandenhoeck & Ruprecht, ISBN 978-3-525-40142-2
• Jänich, Klaus (1993), Funktionentheorie. Eine Einführung, Springer-Lehrbuch (in Deutsch) (3rd ed.), Springer-Verlag, ISBN 3540563377
• Jenkins, James A. (1958), Univalent functions and conformal mapping., Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 18, Springer-Verlag
• Kodaira, Kunihiko (2007), Complex analysis, Cambridge Studies in Advanced Mathematics, vol. 107, Cambridge University Press, ISBN 9780521809375
• Krantz, Steven G. (2006), "Riemann Mapping Theorem and its Generalizations", Geometric Function Theory, Birkhäuser, pp. 83–108, ISBN 0-8176-4339-7
• Lakhtakia, Akhlesh; Varadan, Vijay K.; Messier, Russell; Varadan, Vasundara (1987), "Generalisations and randomisation of the plane Koch curve", Journal of Physics A: Mathematical and General, 20 (11): 3537–3541, doi:10.1088/0305-4470/20/11/052
• Nehari, Zeev (1952), Conformal mapping, Dover Publications, ISBN 9780486611372
• Osgood, W. F. (1900), "On the Existence of the Green's Function for the Most General Simply Connected Plane Region", Transactions of the American Mathematical Society, Providence, R.I.: American Mathematical Society, 1 (3): 310–314, doi:10.2307/1986285, ISSN 0002-9947, JFM 31.0420.01, JSTOR 1986285
• de Possel, René (1931), "Zum Parallelschlitztheorm unendlich- vielfach zusammenhängender Gebiete", Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse (in Deutsch): 199−202
• Remmert, Reinhold (1998), Classical topics in complex function theory, translated by Leslie M. Kay, Springer-Verlag, ISBN 0-387-98221-3
• Riemann, Bernhard (1851), Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse (PDF) (in Deutsch), Göttingen{{citation}}: CS1 maint: location missing publisher (link)
• Schiff, Joel L. (1993), Normal families, Universitext, Springer-Verlag, ISBN 0387979670
• Schober, Glenn (1975), "Appendix C. Schiffer's boundary variation and fundamental lemma", Univalent functions—selected topics, Lecture Notes in Mathematics, vol. 478, Springer-Verlag, pp. 181–190
• Walsh, J. L. (1973), "History of the Riemann mapping theorem", The American Mathematical Monthly, 80 (3): 270–276, doi:10.2307/2318448, ISSN 0002-9890, JSTOR 2318448, MR 0323996

बाहरी संबंध

• Dolzhenko, E.P. (2001) [1994], "Riemann theorem", Encyclopedia of Mathematics, EMS Press