जॉर्डन वक्र प्रमेय

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

इसका पहला प्रमाण गणितज्ञ केमिली जॉर्डन ने पाया था, इसलिए जॉर्डन वक्र प्रमेय को गणितज्ञ केमिली जॉर्डन के नाम से भी जाना जाता है। गणितज्ञों द्वारा सोचा गया था कि इस प्रमाण में बहुत सी कमियां होगी और पहला कठोर प्रमाण ओसवाल्ड वेब्लेन ने किया गया था। लेकिन, इस धारणा को थॉमस कॉलिस्टर हेल्स और अन्य लोगो ने बदल दिया है।

परिभाषाएं और जॉर्डन प्रमेय का अर्थ
एक जॉर्डन वक्र 'आर ' में साधारण बंद वक्र2 के एक वृत्त के समतल में एक निरंतर इंजेक्शन मानचित्र है, एस1 → आर 2 समतल $[a, b]$ में जॉर्डन चाप एक बंद और बंधे हुए अंतराल के इंजेक्शन निरंतर मानचित्र की छवि है।

यह एक समतल वक्र है जो आवश्यक रूप से ना विभेदक वक्र है और ना ही बीजीय वक्र है। जॉर्डन वक्र मानचित्र की छवि है φ: [0,1] → 'आर' 2 जैसे कि φ(0) = φ(1) और φ से [0,1) का रुकावट इंजेक्शन है। दो स्थितियां हैं पहली स्थिति में सी एक लूप है, दूसरी स्थिति में सी आत्म-रुकावट बिंदु नहीं है।

इन परिभाषाओं के अनुसार, जॉर्डन वक्र प्रमेय को कहा जा सकता है:

$$ इसके विपरीत, जॉर्डन चाप समतल क्षेत्र से जुड़ा हुआ हैI

सबूत और सामान्यीकरण
जॉर्डन वक्र प्रमेय को एच. लेबेस्ग्यू और एल.ई.जे. ने उच्च आयामों के लिए सामान्यीकृत किया था। जिसके परिणामस्वरूप 1911 में ब्रौवर के द्वारा जॉर्डन-ब्राउवर प्रमेय को अलग किया गया।

$$ होमोलॉजी सिद्धांत का उपयोग करके साधारणतया एक्स के-क्षेत्र के लिए होमियोमॉर्फिक है, वाई = 'आर' के कम किए गए होमोलॉजी समूहn+1 \ X इस प्रकार हैं:

$$\tilde{H}_{q}(Y)= \begin{cases}\mathbb{Z}, & q=n-k\text{ or }q=n, \\ \{0\}, & \text{otherwise}.\end{cases}$$ यह मेयर-विएटोरिस अनुक्रम का उपयोग करके के(k) में प्रेरण द्वारा सिद्ध होता है। जब एन(n) = के(k), वाई(Y) के उपरांत ज़ीरोथ होमोलॉजी का रैंक 1 होता है, जिसका अर्थ है कि वाई(Y) में 2 घटक जुड़े हैं और थोड़े काम के साथ यह दिखता है कि उनकी सामान्य सीमा एक्स(X) है। सामान्यीकरण जेम्स वाडेल अलेक्जेंडर II जे द्वारा पाया गया। डब्ल्यू एलेक्जेंडर, जिन्होंने 'आरएन + 1'  कॉम्पैक्ट स्पेस  सबसेट एक्स के कम होमोलोजी और इसके पूरक के कम कोहोलॉजी के बीच  सिकंदर द्वैत  की स्थापना की। यदि एक्स बिना सीमा के 'आर n+1' (या 'एस'n+1) का  n-आयामी सघन जोड़ सबमैनफोल्ड है तो इसके पूरक में 2 घटक जुड़े हैं।

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

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

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

छवि प्रसंस्करण के लिए आवेदन
छवि प्रसंस्करण में, चित्र के अनुसार वर्ग ग्रिड में बाइनरी नंबर जीरो(0) और एक(1) है, एक सघन का उपसमुच्चय बराबर होता  है $$\Z^2$$. टोपोलॉजिकल इनवेरिएंट ऑन $$\R^2$$, जैसे कि घटकों की संख्या अच्छी तरह से परिभाषित होने में विफल हो सकती हैI $$\Z^2$$ यदि $$\Z^2$$ उचित रूप से परिभाषित ग्राफ़ संरचना नहीं हैI

पर दो स्पष्ट ग्राफ संरचनाएं हैं $$\Z^2$$: * 4-पड़ोसी वर्ग ग्रिड, जहां प्रत्येक शीर्ष $$(x, y)$$ के साथ जुड़ा हुआ है $$(x+1, y), (x-1, y), (x, y+1), (x, y-1)$$.
 * 8-पड़ोसी वर्ग ग्रिड, जहाँ प्रत्येक शीर्ष $$(x, y)$$ के साथ जुड़ा हुआ है $$(x', y')$$ आईएफएफ $$|x-x'| \leq 1, |y-y'| \leq 1$$, तथा $$(x, y) \neq (x', y')$$.

दोनों ग्राफ संरचनाएं मजबूत हेक्स प्रमेय को संतुष्ट करने में विफल रहती हैं। 4-पड़ोसी वर्ग ग्रिड एक गैर-विजेता स्थिति की अनुमति देता है, और 8-पड़ोसी वर्ग ग्रिड दो-विजेता स्थिति की अनुमति देता है। नतीजतन, कनेक्टिविटी गुण $$\R^2$$, जैसे कि जॉर्डन वक्र प्रमेय, को सामान्यीकृत न करें $$\Z^2$$ या तो ग्राफ संरचना के तहत।

यदि 6-पड़ोसी वर्ग ग्रिड संरचना पर लगाया जाता है $$\Z^2$$, तो यह हेक्सागोनल ग्रिड है, और इस प्रकार मजबूत हेक्स प्रमेय को संतुष्ट करता है, जिससे जॉर्डन वक्र प्रमेय सामान्य हो जाता है। इस कारण से, बाइनरी छवि में जुड़े घटकों की गणना करते समय, आमतौर पर 6-पड़ोसी वर्ग ग्रिड का उपयोग किया जाता है।

स्टीनहॉस शतरंज की बिसात प्रमेय
कुछ अर्थों में स्टाइनहॉस शतरंजबोर्ड प्रमेय से पता चलता है कि 4-पड़ोसी ग्रिड और 8-पड़ोसी ग्रिड एक साथ जॉर्डन वक्र प्रमेय का अर्थ है, और 6-पड़ोसी ग्रिड उनके बीच एक सटीक प्रक्षेप है। प्रमेय कहता है कि: मान लीजिए कि आप कुछ चौकों पर बम डालते हैं a $$n\times n$$ शतरंज की बिसात, ताकि कोई राजा बम पर कदम रखे बिना नीचे की तरफ से ऊपर की तरफ न जा सके, तो एक किश्ती केवल बम पर कदम रखते हुए बाईं ओर से दाईं ओर जा सकता है।

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

इस प्रमेय का पहला प्रमाण केमिली जॉर्डन ने वास्तविक विश्लेषण  पर अपने व्याख्यान में दिया था, और उनकी पुस्तक Cours d'analyse de l'École Polytechnique में प्रकाशित हुआ था। इस बारे में कुछ विवाद है कि क्या जॉर्डन का प्रमाण पूर्ण था: इस पर अधिकांश टिप्पणीकारों ने दावा किया है कि पहला पूर्ण प्रमाण बाद में ओसवाल्ड वेब्लेन द्वारा दिया गया था, जिन्होंने जॉर्डन के प्रमाण के बारे में निम्नलिखित कहा था:

"उनका प्रमाण, हालांकि, कई गणितज्ञों के लिए असंतोषजनक है। यह एक साधारण बहुभुज के महत्वपूर्ण विशेष मामले में बिना सबूत के प्रमेय को मानता है, और उस बिंदु से तर्क के लिए, कम से कम यह स्वीकार करना चाहिए कि सभी विवरण नहीं दिए गए हैं।"

हालांकि, थॉमस कॉलिस्टर हेल्स|थॉमस सी. हेल्स ने लिखा:

"लगभग हर आधुनिक उद्धरण जो मैंने पाया है, इससे सहमत हैं कि पहला सही प्रमाण वेब्लेन के कारण है... जॉर्डन के प्रमाण की भारी आलोचना को देखते हुए, मुझे आश्चर्य हुआ जब मैं उसके प्रमाण को पढ़ने के लिए बैठ गया, जिसमें कुछ भी आपत्तिजनक नहीं पाया गया। यह। तब से, मैंने कई लेखकों से संपर्क किया है जिन्होंने जॉर्डन की आलोचना की है, और प्रत्येक मामले में लेखक ने स्वीकार किया है कि जॉर्डन के सबूत में त्रुटि का कोई प्रत्यक्ष ज्ञान नहीं है।"

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

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

जॉर्डन वक्र प्रमेय के नए प्राथमिक प्रमाण, साथ ही पहले के प्रमाणों के सरलीकरण को जारी रखा गया है।


 * प्राथमिक प्रमाण प्रस्तुत किए गए तथा.
 * गैर-मानक विश्लेषण का उपयोग करके एक प्रमाण.
 * रचनात्मक गणित का उपयोग करके एक प्रमाण.
 * ब्रौवर नियत बिंदु प्रमेय का उपयोग करके एक प्रमाण.
 * सम तलीय ग्राफ का उपयोग करते हुए एक प्रमाण3,3 द्वारा दिया गया था.

कठिनाई की जड़ में समझाया गया है निम्नलिखित नुसार। यह साबित करना अपेक्षाकृत सरल है कि जॉर्डन वक्र प्रमेय प्रत्येक जॉर्डन बहुभुज (लेम्मा 1) के लिए है, और प्रत्येक जॉर्डन वक्र को जॉर्डन बहुभुज (लेम्मा 2) द्वारा मनमाने ढंग से अच्छी तरह से अनुमानित किया जा सकता है। एक जॉर्डन बहुभुज एक  बहुभुज श्रृंखला  है, एक बंधे हुए खुले सेट की सीमा, इसे खुला बहुभुज कहते हैं, और इसका बंद (टोपोलॉजी), बंद बहुभुज। व्यास पर विचार करें $$\delta$$ बंद बहुभुज में निहित सबसे बड़ी डिस्क की। जाहिर है, $$\delta$$ सकारात्मक है। जॉर्डन बहुभुज के अनुक्रम का उपयोग करना (जो दिए गए जॉर्डन वक्र में अभिसरण करता है) हमारे पास एक अनुक्रम है $$\delta_1, \delta_2, \dots$$ संभावित रूप से एक सकारात्मक संख्या में परिवर्तित हो रहा है, व्यास $$\delta$$ जॉर्डन वक्र से घिरे  बंद क्षेत्र  में निहित सबसे बड़ी डिस्क की। हालाँकि, हमें यह साबित करना होगा कि अनुक्रम $$\delta_1, \delta_2, \dots$$ केवल दिए गए जॉर्डन वक्र का उपयोग करते हुए, शून्य में अभिसरण नहीं होता है, न कि संभवतः वक्र से घिरा क्षेत्र। यह टवरबर्ग के लेम्मा 3 का बिंदु है। मोटे तौर पर, बंद बहुभुज हर जगह शून्य से पतले नहीं होने चाहिए। इसके अलावा, उन्हें कहीं भी शून्य से पतला नहीं होना चाहिए, जो कि टवरबर्ग के लेम्मा 4 का बिंदु है।

जॉर्डन वक्र प्रमेय का पहला औपचारिक प्रमाण  किसके द्वारा बनाया गया था  जनवरी 2005 में  एचओएल लाइट  सिस्टम में, और इसमें लगभग 60,000 लाइनें थीं। एक और कठोर 6,500-लाइन औपचारिक प्रमाण 2005 में गणितज्ञों की एक अंतरराष्ट्रीय टीम द्वारा  मिज़ार प्रणाली  का उपयोग करके तैयार किया गया था। मिज़ार और एचओएल लाइट प्रूफ दोनों पहले से सिद्ध प्रमेयों के पुस्तकालयों पर निर्भर करते हैं, इसलिए ये दोनों आकार तुलनीय नहीं हैं।  ने दिखाया कि रिवर्स गणित में जॉर्डन वक्र प्रमेय सिस्टम पर कमजोर कोनिग के लेम्मा के बराबर है रिवर्स गणित#आधार प्रणाली RCA0|$$\mathsf{RCA}_0$$.

आवेदन


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

यह भी देखें

 * Denjoy-Riesz प्रमेय, विमान में बिंदुओं के कुछ सेटों का विवरण जो जॉर्डन वक्रों के उपसमुच्चय हो सकते हैं
 * वाड़ा की झीलें
 * अर्ध-फुचियन समूह, एक गणितीय समूह जो जॉर्डन वक्र को संरक्षित करता है

संदर्भ

 * . author's site
 * . author's site
 * . author's site
 * . author's site
 * . author's site
 * . author's site
 * . author's site
 * . author's site
 * . author's site
 * . author's site

बाहरी संबंध

 * The full 6,500 line formal proof of Jordan's curve theorem in Mizar.
 * Collection of proofs of the Jordan curve theorem at Andrew Ranicki's homepage
 * A simple proof of Jordan curve theorem (PDF) by David B. Gauld
 * A simple proof of Jordan curve theorem (PDF) by David B. Gauld