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

जॉर्डन वक्र प्रमेय का चित्रण। एक जॉर्डन वक्र समतल क्षेत्र को "अंदर" और "बाहरी" क्षेत्र में विभाजित करता हैI

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

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

परिभाषाएं और जॉर्डन प्रमेय का अर्थ

एक जॉर्डन वक्र 'R² ' में साधारण बंद वक्र के एक वृत्त के समतल में एक निरंतर एकैकी फलन है,φ: S¹ → R^{2 .}

^{समतल [a, b] में जॉर्डन चाप एक बंद और बंधे हुए अंतराल के इंजेक्शन निरंतर मानचित्र की छवि है।}

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

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

प्रमेय - मान लीजिए C विमान R2 में एक जॉर्डन वक्र है। फिर इसके पूरक, R2 \ C, में ठीक दो जुड़े हुए घटक होते हैं। इनमें से एक घटक परिबद्ध (आंतरिक) है और दूसरा असंबद्ध (बाहरी) है, और वक्र C प्रत्येक घटक की सीमा है।

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

प्रमाण और सामान्यीकरण

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

प्रमेय - मान लीजिए कि X (n+1)-आयामी यूक्लिडियन अंतरिक्ष Rn+1 (n > 0) में एक n-विमीय स्थलाकृतिक क्षेत्र है, यानी n-गोले Sn की Rn+1 में प्रतिच्छेदी निरंतर मानचित्रण की छवि। फिर Rn+1 में X के पूरक Y में वास्तव में दो जुड़े घटक हैं। इन घटकों में से एक बाउंड (आंतरिक) है और दूसरा अनबाउंड (बाहरी) है। समुच्चय X उनकी सामान्य सीमा है।

प्रमाण होमोलॉजी सिद्धांत का उपयोग करता है। यह पहली बार स्थापित किया गया है कि, X, k-क्षेत्र के लिए होमोमोर्फिक है, तो Y = Rⁿ⁺¹ \ 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 जे द्वारा पाया गया। डब्ल्यू एलेक्जेंडर, जिन्होंने 'RN + 1' कॉम्पैक्ट स्पेस सबसेट एक्स के कम होमोलोजी और इसके पूरक के कम कोहोलॉजी के बीच सिकंदर द्वैत की स्थापना की। यदि एक्स(X) बिना सीमा के 'R ⁿ⁺¹' (या 'S'ⁿ⁺¹) का n-आयामी सघन जोड़ सबमैनफोल्ड है तो इसके पूरक में 2 घटक जुड़े हैं।

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

असतत संस्करण

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

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

छवि प्रसंस्करण के लिए आवेदन

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

$\mathbb {Z} ^{2}$ पर दो स्पष्ट ग्राफ संरचनाएं हैं-

8-पड़ोसी और 4-पड़ोसी वर्ग ग्रिड।

• चार-पड़ोसी वर्ग , जिसके सभी शीर्ष $(x,y)$ के साथ जुड़े है $(x+1,y),(x-1,y),(x,y+1),(x,y-1)$.

• आठ -पड़ोसी वर्ग , जिसके सभी शीर्ष $(x,y)$ के साथ जुड़े है $(x',y')$ आईएफएफ $|x-x'|\leq 1,|y-y'|\leq 1$, तथा $(x,y)\neq (x',y')$.

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

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

स्टीनहॉस शतरंज की बिसात प्रमेय

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

इतिहास और आगे के प्रमाण

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

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

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

थॉमस सी. हेल्स ने लिखा:

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

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

जॉर्डन का प्रमाण अनिवार्य रूप से सही हैI जॉर्डन का प्रमाण संतोषजनक उपाय से विवरण प्रस्तुत नहीं करता है। लेकिन विचार सही है, और कुछ घर्षण के साथ प्रमाण त्रुटिहीन होगा।

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

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

• प्राथमिक प्रमाण फिलिप्पोव (1950) तथा टावरबर्ग (1980) प्रस्तुत किए गए.
• गैर-मानक विश्लेषण का उपयोग करके नारेंस (1971) एक प्रमाण दिया गया.
• रचनात्मक गणित का उपयोग करके एक प्रमाण गॉर्डन ओ. बर्ग, डब्ल्यू. जूलियन, और आर. माइन्स एट अल (1975).
• ब्रौवर नियत बिंदु प्रमेय का उपयोग करके एक प्रमाण मेहरा (1984).
• समतलीय ग्राफ का उपयोग करते हुए एक प्रमाण K_3,3 द्वारा थॉमसन (1992) दिया गया था.

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

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

आवेदन

विषम।

Main article: बहुभुज में बिंदु § रे कास्टिंग एल्गोरिथ्म

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

यह भी देखें

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

संदर्भ

• Berg, Gordon O.; Julian, W.; Mines, R.; Richman, Fred (1975), "The constructive Jordan curve theorem", Rocky Mountain Journal of Mathematics, 5 (2): 225–236, doi:10.1216/RMJ-1975-5-2-225, ISSN 0035-7596, MR 0410701
• Courant, Richard (1978). "V. Topology". Written at Oxford. What is mathematics? : an elementary approach to ideas and methods. Herbert Robbins ([4th ed.] ed.). United Kingdom: Oxford University Press. p. 267. ISBN 978-0-19-502517-0. OCLC 6450129.
• Filippov, A. F. (1950), "An elementary proof of Jordan's theorem" (PDF), Uspekhi Mat. Nauk (in русский), 5 (5): 173–176
• Hales, Thomas C. (2007a), "The Jordan curve theorem, formally and informally", The American Mathematical Monthly, 114 (10): 882–894, doi:10.1080/00029890.2007.11920481, ISSN 0002-9890, MR 2363054, S2CID 887392
• Hales, Thomas (2007b), "Jordan's proof of the Jordan Curve theorem" (PDF), Studies in Logic, Grammar and Rhetoric, 10 (23)
• Jordan, Camille (1887), Cours d'analyse (PDF), pp. 587–594
• Maehara, Ryuji (1984), "The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem", The American Mathematical Monthly, 91 (10): 641–643, doi:10.2307/2323369, ISSN 0002-9890, JSTOR 2323369, MR 0769530
• Narens, Louis (1971), "A nonstandard proof of the Jordan curve theorem", Pacific Journal of Mathematics, 36: 219–229, doi:10.2140/pjm.1971.36.219, ISSN 0030-8730, MR 0276940
• Osgood, William F. (1903), "A Jordan Curve of Positive Area", Transactions of the American Mathematical Society, 4 (1): 107–112, doi:10.2307/1986455, ISSN 0002-9947, JFM 34.0533.02, JSTOR 1986455
• Ross, Fiona; Ross, William T. (2011), "The Jordan curve theorem is non-trivial", Journal of Mathematics and the Arts, 5 (4): 213–219, doi:10.1080/17513472.2011.634320, S2CID 3257011. author's site
• Sakamoto, Nobuyuki; Yokoyama, Keita (2007), "The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic", Archive for Mathematical Logic, 46 (5): 465–480, doi:10.1007/s00153-007-0050-6, ISSN 0933-5846, MR 2321588, S2CID 33627222
• Thomassen, Carsten (1992), "The Jordan–Schönflies theorem and the classification of surfaces", American Mathematical Monthly, 99 (2): 116–130, doi:10.2307/2324180, JSTOR 2324180
• Tverberg, Helge (1980), "A proof of the Jordan curve theorem" (PDF), Bulletin of the London Mathematical Society, 12 (1): 34–38, CiteSeerX 10.1.1.374.2903, doi:10.1112/blms/12.1.34
• Veblen, Oswald (1905), "Theory on Plane Curves in Non-Metrical Analysis Situs", Transactions of the American Mathematical Society, 6 (1): 83–98, doi:10.2307/1986378, JSTOR 1986378, MR 1500697

बाहरी संबंध

• M.I. Voitsekhovskii (2001) [1994], "Jordan theorem", Encyclopedia of Mathematics, EMS Press
• 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
• Brown, R.; Antolino-Camarena, O. (2014). "Corrigendum to "Groupoids, the Phragmen-Brouwer Property, and the Jordan Curve Theorem", J. Homotopy and Related Structures 1 (2006) 175-183". arXiv:1404.0556 [math.AT].