वक्र संकुलन प्रमेय

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

सर्कल पैकिंग प्रमेय: प्रत्येक जुड़े सरल प्लानर ग्राफ 'जी' के लिए विमान में एक सर्कल पैकिंग होती है जिसका प्रतिच्छेदन ग्राफ (ग्राफ समरूपता)  जी  है।

अद्वितीयता
एक अधिकतम प्लानर ग्राफ G एक परिमित सरल प्लानर ग्राफ है जिसमें प्लानेरिटी को संरक्षित करते हुए कोई और किनारा नहीं जोड़ा जा सकता है। इस तरह के ग्राफ में हमेशा एक अद्वितीय प्लानर एम्बेडिंग होता है, जिसमें एम्बेडिंग का हर चेहरा (बाहरी चेहरे सहित) एक त्रिकोण होता है। दूसरे शब्दों में, प्रत्येक अधिकतम प्लेनर ग्राफ G एक साधारण परिसर का 1-कंकाल है जो गोले के लिए होमियोमॉर्फिक है। सर्कल पैकिंग प्रमेय एक सर्कल पैकिंग के अस्तित्व की गारंटी देता है जिसमें बहुत से सर्किल होते हैं जिनके चौराहे का ग्राफ जी के लिए आइसोमोर्फिक होता है। जैसा कि निम्नलिखित प्रमेय अधिक औपचारिक रूप से बताता है, प्रत्येक अधिकतम प्लानर ग्राफ में अधिकतम एक पैकिंग हो सकती है।

'कोएबे-एंड्रीव-थर्स्टन प्रमेय': यदि जी एक परिमित अधिकतम प्लेनर ग्राफ है, तो सर्कल पैकिंग जिसका स्पर्शरेखा ग्राफ जी के लिए आइसोमॉर्फिक है, अद्वितीय है, मोबियस परिवर्तन और लाइनों में प्रतिबिंब तक।

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

किसी परिमित समुच्चय में अधिकतम मान के अस्तित्व के आधार पर और इस अवलोकन पर कि, तीन पारस्परिक रूप से स्पर्शरेखा मंडलों के केंद्रों को जोड़ने वाले त्रिभुज में, एक के केंद्र में बने कोण के आधार पर, एक ही अद्वितीयता संपत्ति का एक और प्राथमिक प्रमाण भी है। वृत्तों की संख्या अपनी त्रिज्या में एकरसता घट रही है और दो अन्य त्रिज्याओं में एकरसता बढ़ रही है। एक ही ग्राफ के लिए दो पैकिंग दी गई हैं $$G$$, कोई इन दो संकुलों में बाहरी वृत्तों को एक दूसरे के अनुरूप बनाने के लिए प्रतिबिंब और मोबियस रूपांतरण लागू कर सकता है और एक ही त्रिज्या हो सकता है। तो करने दें $$v$$ का आंतरिक शीर्ष हो $$G$$ जिसके लिए दो पैकिंग में मंडलियों के आकार हैं जो जितना संभव हो उतना दूर हैं: यानी, चुनें $$v$$ अनुपात को अधिकतम करने के लिए $$r_1/r_2$$ दो पैकिंग में इसके हलकों की त्रिज्या। के प्रत्येक त्रिकोणीय चेहरे के लिए $$G$$ युक्त $$v$$, यह इस प्रकार है कि वृत्त के केंद्र में कोण के लिए $$v$$ पहली पैकिंग में दूसरी पैकिंग के कोण से कम या उसके बराबर है, समानता के साथ तभी संभव है जब त्रिभुज बनाने वाले अन्य दो वृत्तों का अनुपात समान हो $$r_1/r_2$$ दो पैकिंग में रेडी की। लेकिन त्रिभुज के केंद्र को घेरने वाले इन सभी त्रिभुजों के कोणों का योग होना चाहिए $$2\pi$$ दोनों पैकिंग में, इसलिए सभी पड़ोसी कोने $$v$$ के समान अनुपात होना चाहिए $$v$$ अपने आप। इन अन्य वृत्तों पर समान तर्क लागू करने से, यह पता चलता है कि दोनों संकुलों में सभी वृत्तों का अनुपात समान है। लेकिन बाहरी हलकों को एक अनुपात में बदल दिया गया है, इसलिए $$r_1/r_2=1$$ और दो पैकिंग में सभी मंडलियों के लिए समान त्रिज्या है।

अनुरूप मानचित्रण सिद्धांत के साथ संबंध
विमान में या उच्च-आयामी अंतरिक्ष में दो खुले सेटों के बीच एक अनुरूप मानचित्र एक सेट से दूसरे तक एक सतत कार्य है जो किसी भी दो वक्रों के बीच कोणों को संरक्षित करता है। 1851 में बर्नहार्ड रीमैन द्वारा तैयार किए गए रीमैन मैपिंग प्रमेय में कहा गया है कि, विमान में किसी भी दो खुली डिस्क (गणित) के लिए, एक डिस्क से दूसरी डिस्क पर एक अनुरूप मानचित्र होता है। अनुरूप मानचित्रण में जाल निर्माण, मानचित्र प्रक्षेपण और अन्य क्षेत्रों में अनुप्रयोग होते हैं। हालांकि, स्पष्ट तरीके से दो दिए गए डोमेन के बीच एक अनुरूप मानचित्रण का निर्माण करना हमेशा आसान नहीं होता है। 1985 में बीबरबैक सम्मेलन में, विलियम थर्स्टन ने अनुमान लगाया कि सर्कल पैकिंग का उपयोग अनुमानित अनुरूप मैपिंग के लिए किया जा सकता है। अधिक सटीक रूप से, थर्स्टन ने सर्कल पैकिंग का उपयोग एक मनमाने ढंग से खुली डिस्क ए से एक सर्कल के इंटीरियर के अनुरूप मैपिंग खोजने के लिए किया; एक टोपोलॉजिकल डिस्क ए से दूसरी डिस्क बी में मैपिंग तब ए से एक सर्कल में मानचित्र को बी से एक सर्कल के नक्शे के व्युत्क्रम के साथ बनाकर पाया जा सकता है।

थर्स्टन का विचार क्षेत्र A के भीतर समतल के हेक्सागोनल चौकोर में कुछ छोटे त्रिज्या r के हलकों को पैक करना था, चौड़ाई r की A की सीमा के पास एक संकीर्ण क्षेत्र छोड़कर, जहाँ इस त्रिज्या के और अधिक वृत्त फिट नहीं हो सकते। फिर वह पैकिंग की सीमा पर सभी मंडलियों के आस-पास एक अतिरिक्त वर्टेक्स के साथ सर्कल के चौराहे ग्राफ से एक अधिकतम प्लानर ग्राफ जी बनाता है। सर्कल पैकिंग प्रमेय द्वारा, इस प्लानर ग्राफ को सर्कल पैकिंग सी द्वारा दर्शाया जा सकता है जिसमें सभी किनारों (सीमा के शीर्ष पर घटना सहित) मंडलियों की स्पर्शरेखाओं द्वारा दर्शाए जाते हैं। ए के पैकिंग से मंडल सी से मंडलियों के साथ एक-से-एक के अनुरूप होते हैं, सी के सीमा चक्र को छोड़कर, जो ए की सीमा से मेल खाता है। सर्कल के इस पत्राचार का उपयोग ए से सी तक निरंतर कार्य करने के लिए किया जा सकता है। जिसमें प्रत्येक सर्कल और तीन सर्किलों के बीच प्रत्येक अंतर को मोबियस परिवर्तन द्वारा एक पैकिंग से दूसरे में मैप किया जाता है। थर्स्टन ने अनुमान लगाया कि, त्रिज्या आर के शून्य तक पहुंचने की सीमा में, इस तरह से निर्मित ए से सी तक के कार्य रीमैन मैपिंग प्रमेय द्वारा दिए गए अनुरूप कार्य तक पहुंचेंगे।

थर्स्टन के अनुमान द्वारा सिद्ध किया गया था. अधिक सटीक रूप से, उन्होंने दिखाया कि, जैसे n अनंत तक जाता है, फ़ंक्शन fnथर्स्टन की विधि का उपयोग त्रिज्या -1 / एन सर्कल के हेक्सागोनल पैकिंग से ए से सी के अनुरूप मानचित्र के ए के कॉम्पैक्ट सबसेट पर समान रूप से अभिसरण करता है।

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

प्रमाण
सर्कल पैकिंग प्रमेय के कई ज्ञात प्रमाण हैं। पॉल कोबे का मूल प्रमाण है उनके अनुरूप एकरूपता प्रमेय के आधार पर कहा गया है कि एक अंतिम रूप से जुड़ा प्लानर डोमेन अनुरूप रूप से एक सर्कल डोमेन के बराबर है। कई अलग-अलग सामयिक प्रमाण हैं जो जाने जाते हैं। थर्स्टन की उपपत्ति Brouwer नियत बिंदु प्रमेय | Brouwer की नियत बिंदु प्रमेय पर आधारित है। एक स्नातक छात्र के रूप में, प्रिंसटन विश्वविद्यालय में थर्स्टन द्वारा ओडेड श्राम की देखरेख की गई थी। जैसा याद करता है, श्रैम के शोध प्रबंध में एक काव्यात्मक वर्णन है कि सर्कल पैकिंग के लिए अस्तित्व को निश्चित बिंदु प्रमेय से कैसे घटाया जा सकता है: कोई भी भयानक राक्षस को अपनी बाहों को सरासर क्रोध में झूलते हुए देख सकता है, एक भयानक फुफकार पैदा करने वाले तंबू, जैसे वे रगड़ते हैं एक दूसरे के खिलाफ। समाधान के निर्माण के पेरोन की विधि के असतत संस्करण का उपयोग करने का एक प्रमाण भी है डिरिचलेट समस्या। यवेस कॉलिन डी वेर्डिएर साबित हुए एक निश्चित कॉन्फ़िगरेशन पर एक उत्तल फ़ंक्शन के न्यूनतम के रूप में सर्कल पैकिंग का अस्तित्व अंतरिक्ष।

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

सर्कल पैकिंग प्रमेय का एक मजबूत रूप यह दावा करता है कि किसी भी पॉलीहेड्रल ग्राफ और उसके दोहरे ग्राफ को दो सर्कल पैकिंग द्वारा दर्शाया जा सकता है, जैसे कि दो स्पर्शरेखा सर्कल एक प्राइमल ग्राफ एज का प्रतिनिधित्व करते हैं और दो स्पर्शरेखा सर्कल एक ही किनारे के दोहरे का प्रतिनिधित्व करते हैं। समतल के एक ही बिंदु पर एक दूसरे के समकोण पर उनकी स्पर्शरेखाएँ। इस प्रकार की एक पैकिंग का उपयोग उत्तल बहुतल  के निर्माण के लिए किया जा सकता है जो दिए गए ग्राफ का प्रतिनिधित्व करता है और जिसमें एक मध्य क्षेत्र है, जो पॉलीहेड्रॉन के सभी किनारों पर स्पर्शरेखा है। इसके विपरीत, यदि उत्तल बहुफलक में एक मिडस्फीयर होता है, तो पॉलीहेड्रॉन चेहरों के साथ गोले के चौराहों से बनने वाले घेरे और प्रत्येक पॉलीहेड्रॉन वर्टेक्स से देखे जाने वाले गोले पर क्षितिज द्वारा बनाए गए घेरे इस प्रकार की दोहरी पैकिंग बनाते हैं।

एल्गोरिथम पहलू
विलियम थर्स्टन के विचारों के आधार पर सर्कल पैकिंग खोजने के लिए एक संख्यात्मक विश्राम (पुनरावृत्ति विधि) का वर्णन करें। सर्कल पैकिंग समस्या का संस्करण जिसे वे हल करते हैं, इनपुट के रूप में एक प्लानर ग्राफ लेता है, जिसमें सभी आंतरिक चेहरे त्रिकोण होते हैं और जिसके लिए बाहरी कोने सकारात्मक संख्याओं द्वारा लेबल किए जाते हैं। यह आउटपुट के रूप में एक सर्कल पैकिंग का उत्पादन करता है जिसकी स्पर्शरेखाएं दिए गए ग्राफ का प्रतिनिधित्व करती हैं, और जिसके लिए बाहरी कोने का प्रतिनिधित्व करने वाले मंडलियों में इनपुट में निर्दिष्ट त्रिज्या होती है। जैसा कि वे सुझाव देते हैं, समस्या की कुंजी पहले पैकिंग में मंडलियों की त्रिज्या की गणना करना है; एक बार त्रिज्या ज्ञात हो जाने के बाद, मंडलियों की ज्यामितीय स्थिति की गणना करना मुश्किल नहीं होता है। वे अस्थायी रेडी के एक सेट से शुरू होते हैं जो वैध पैकिंग के अनुरूप नहीं होते हैं, और फिर बार-बार निम्न चरणों का पालन करते हैं: इनमें से प्रत्येक चरण सरल त्रिकोणमितीय गणनाओं के साथ किया जा सकता है, और जैसा कि कोलिन्स और स्टीफेंसन तर्क देते हैं, त्रिज्या की प्रणाली तेजी से एक अद्वितीय निश्चित बिंदु (गणित) में परिवर्तित हो जाती है, जिसके लिए सभी कवरिंग कोण बिल्कुल 2π हैं। एक बार जब सिस्टम अभिसरण हो जाता है, तो प्रत्येक क्रमिक चक्र के केंद्र को निर्धारित करने के लिए दो पड़ोसी मंडलों की स्थिति और त्रिज्या का उपयोग करके प्रत्येक चरण में मंडलियों को एक समय में रखा जा सकता है।
 * 1) इनपुट ग्राफ़ का एक आंतरिक शीर्ष v चुनें।
 * 2) कुल कोण θ की गणना करें कि इसके k पड़ोसी मंडल सर्कल के चारों ओर v के लिए कवर करेंगे, यदि पड़ोसियों को एक दूसरे के लिए स्पर्शरेखा और उनके अस्थायी त्रिज्या का उपयोग करके केंद्रीय सर्कल में रखा गया हो।
 * 3) पड़ोसी मंडलियों के लिए एक प्रतिनिधि त्रिज्या r निर्धारित करें, जैसे कि त्रिज्या r के k वृत्त वही आवरण कोण θ देंगे जो v के पड़ोसी देते हैं।
 * 4) v के लिए नई त्रिज्या को वह मान सेट करें जिसके लिए त्रिज्या r के k वृत्त ठीक 2π का आवरण कोण देंगे।

एक पॉलीहेड्रल ग्राफ और उसके दोहरे के एक साथ पैकिंग को खोजने के लिए एक समान पुनरावृत्त तकनीक का वर्णन करता है, जिसमें दोहरे वृत्त प्रारंभिक हलकों के समकोण पर होते हैं। वह साबित करता है कि विधि में मंडलियों की संख्या और लॉग 1/ε में समय लगता है, जहां ε केंद्रों की दूरी और एक इष्टतम पैकिंग में गणना की गई पैकिंग की त्रिज्या पर एक सीमा है।

सामान्यीकरण
सर्कल पैकिंग प्रमेय उन ग्राफ़ों को सामान्यीकृत करता है जो प्लानर नहीं हैं। अगर जी एक ग्राफ है जिसे सतह एस पर एम्बेड किया जा सकता है, तो S पर एक स्थिर वक्रता रीमैनियन कई गुना d और (S, d) पर एक सर्कल पैकिंग है जिसका संपर्क ग्राफ G के लिए आइसोमॉर्फिक है। यदि S बंद है ( कॉम्पैक्ट जगह और सीमा के साथ मैनिफोल्ड के बिना) और G, S का त्रिभुज है, फिर (S, d) और पैकिंग अनुरूप समानता तक अद्वितीय हैं। यदि S गोला है, तो यह तुल्यता मोबियस रूपांतरणों तक है; यदि यह एक टोरस है, तो तुल्यता एक स्थिरांक और आइसोमेट्री द्वारा स्केलिंग तक है, जबकि यदि S में जीनस (गणित) कम से कम 2 है, तो तुल्यता आइसोमेट्रीज़ तक है।

सर्कल पैकिंग प्रमेय के एक अन्य सामान्यीकरण में स्पर्शरेखा की स्थिति को पड़ोसी कोने के अनुरूप हलकों के बीच एक निर्दिष्ट चौराहे कोण के साथ बदलना शामिल है। एक विशेष रूप से सुरुचिपूर्ण संस्करण इस प्रकार है। मान लीजिए कि जी एक परिमित कनेक्टिविटी (ग्राफ सिद्धांत) | 3-कनेक्टेड प्लानर ग्राफ (यानी, एक पॉलीहेड्रल ग्राफ) है, तो सर्कल पैकिंग की एक जोड़ी है, जिसका चौराहे का ग्राफ जी के लिए आइसोमॉर्फिक है, दूसरा जिसका इंटरसेक्शन ग्राफ आइसोमोर्फिक है जी के दोहरे ग्राफ के लिए, और G में प्रत्येक शीर्ष के लिए और उसके निकटवर्ती फलक के लिए, पहले संकुलन में शीर्ष के संगत वृत्त चेहरे के अनुरूप दूसरी पैकिंग में सर्कल के साथ लंबवत रूप से प्रतिच्छेद करता है। उदाहरण के लिए, इस परिणाम को टेट्राहेड्रॉन के ग्राफ पर लागू करने से, किन्हीं भी चार पारस्परिक स्पर्शरेखा हलकों के लिए, चार पारस्परिक रूप से स्पर्शरेखा वाले हलकों का एक दूसरा सेट मिलता है, जिनमें से प्रत्येक पहले चार में से तीन के लिए ऑर्थोगोनल है। एक और सामान्यीकरण, प्रतिच्छेदन कोण को व्युत्क्रम दूरी के साथ बदलकर, पैकिंग के विनिर्देशन की अनुमति देता है जिसमें कुछ हलकों को पार करने या स्पर्शरेखा होने के बजाय एक दूसरे से अलग होना आवश्यक है। फिर भी एक अन्य प्रकार के सामान्यीकरण उन आकृतियों की अनुमति देते हैं जो वृत्त नहीं हैं। मान लीजिए कि G = (V, E) एक परिमित समतलीय ग्राफ़ है, और G के प्रत्येक शीर्ष v के लिए एक आकृति से मेल खाता है $$K_v\subset\mathbb R^2$$, जो होमियोमोर्फिज्म है बंद इकाई डिस्क के लिए और जिसकी सीमा चिकनी है। फिर पैकिंग होती है $$ P = (K'_v:v\in V)$$ प्लेन में ऐसा है कि $$K'_v\cap K'_u\ne \varnothing$$ अगर और केवल अगर $$[v,u]\in E$$ और प्रत्येक के लिए $$v\in V$$ सेट $$K'_v$$ से प्राप्त होता है $$K_v$$ अनुवाद करके और स्केलिंग। (ध्यान दें कि मूल सर्कल पैकिंग प्रमेय में प्रति शीर्ष तीन वास्तविक पैरामीटर हैं, जिनमें से दो संगत वृत्त के केंद्र का वर्णन करते हैं और जिनमें से एक त्रिज्या का वर्णन करता है, और प्रति किनारा एक समीकरण है। यह इस सामान्यीकरण में भी है।) कोबे के मूल प्रमाण को लागू करके इस सामान्यीकरण का एक प्रमाण प्राप्त किया जा सकता है और प्रमेय ब्रांट का और हैरिंगटन यह बताते हुए कि कोई भी अंतिम रूप से जुड़ा हुआ डोमेन अनुरूप रूप से समतुल्य है एक प्लानर डोमेन जिसके सीमा घटकों में निर्दिष्ट आकार हैं, अनुवाद और स्केलिंग तक।

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

यह भी देखें

 * Apollonian गैसकेट, एक अनंत पैकिंग त्रिकोणीय अंतराल को बार-बार भरने से बनता है
 * सर्किल पैकिंग, निर्दिष्ट स्पर्शरेखाओं के बिना मंडलियों की सघन व्यवस्था
 * डॉयल सर्पिल, अनंत 6-नियमित प्लानर ग्राफ का प्रतिनिधित्व करने वाली सर्कल पैकिंग
 * फोर्ड सर्कल, परिमेय संख्या रेखा के साथ सर्किलों की पैकिंग
 * पेनी ग्राफ, कॉइन ग्राफ जिसके सभी वृत्तों की त्रिज्याएँ समान हैं
 * रिंग लेम्मा, एक पैकिंग में आसन्न मंडलियों के आकार पर बाध्य

बाहरी संबंध

 * CirclePack (free software for constructing circle packings from graphs) and Circle packing bibliography by Kenneth Stephenson, Univ. of Tennessee