बोरसुक-उलम प्रमेय
गणित में, बोरसुक-उलम प्रमेय में कहा गया है कि एक n-sphere|n-sphere से Euclidean space|Euclidean n-space में प्रत्येक निरंतर कार्य एक ही बिंदु पर एंटीपोडल बिंदुओं की कुछ जोड़ी को मैप करता है। यहाँ, गोले पर दो बिंदुओं को एंटीपोडल कहा जाता है यदि वे गोले के केंद्र से बिल्कुल विपरीत दिशाओं में हों।
औपचारिक रूप से: यदि निरंतर है तो वहाँ एक मौजूद है ऐसा है कि: .
मामला यह कहकर सचित्र किया जा सकता है कि पृथ्वी के भूमध्य रेखा पर हमेशा समान तापमान वाले विपरीत बिंदुओं की एक जोड़ी मौजूद होती है। किसी भी सर्कल के लिए भी यही सच है। यह मानता है कि अंतरिक्ष में तापमान लगातार बदलता रहता है।
मामला अक्सर यह कहकर सचित्र किया जाता है कि किसी भी समय, पृथ्वी की सतह पर समान तापमान और समान बैरोमीटर के दबावों के साथ हमेशा एंटीपोडल बिंदुओं की एक जोड़ी होती है, यह मानते हुए कि दोनों पैरामीटर अंतरिक्ष में लगातार भिन्न होते हैं।
विषम कार्यों के संदर्भ में बोरसुक-उलम प्रमेय में कई समान कथन हैं। याद करें कि n-sphere|n-sphere और है एन-बॉल है|एन-बॉल:
- अगर एक सतत विषम कार्य है, तो वहाँ एक मौजूद है ऐसा है कि: .
- अगर एक सतत कार्य है जो विषम है (की सीमा ), तो एक मौजूद है ऐसा है कि: .
इतिहास
के अनुसार Matoušek (2003, p. 25), बोरसुक-उलम प्रमेय के बयान का पहला ऐतिहासिक उल्लेख में प्रकट होता है Lyusternik & Shnirel'man (1930). द्वारा प्रथम प्रमाण दिया गया था Karol Borsuk (1933), जहां समस्या के सूत्रीकरण का श्रेय स्टैनिस्लाव मछुआरे को दिया गया था। तब से, कई वैकल्पिक प्रमाण विभिन्न लेखकों द्वारा खोजे गए हैं, जैसा कि द्वारा एकत्र किया गया है Steinlein (1985).
समतुल्य कथन
निम्नलिखित कथन बोरसुक-उलम प्रमेय के समतुल्य हैं।[1]
विषम कार्यों के साथ
एक समारोह यदि प्रत्येक के लिए विषम (उर्फ एंटीपोडल या एंटीपोड-संरक्षण) कहा जाता है : .
बोरसुक-उलम प्रमेय निम्नलिखित कथन के समतुल्य है: एक n-क्षेत्र से यूक्लिडियन n-अंतरिक्ष में एक सतत विषम फलन शून्य होता है। सबूत:
- यदि प्रमेय सही है, तो यह विशेष रूप से विषम कार्यों के लिए सही है, और विषम कार्यों के लिए, आईएफएफ . इसलिए प्रत्येक विषम सतत फलन का एक शून्य होता है।
- प्रत्येक निरंतर कार्य के लिए , निम्नलिखित कार्य निरंतर और विषम है: . यदि प्रत्येक विषम सतत फलन में शून्य हो, तब एक शून्य है, और इसलिए, . अतः प्रमेय सही है।
प्रत्यावर्तन के साथ
प्रत्यावर्तन को एक क्रिया के रूप में परिभाषित कीजिए बोरसुक-उलम प्रमेय निम्नलिखित दावे के बराबर है: कोई निरंतर विषम प्रत्यावर्तन नहीं है।
उपपत्ति: यदि प्रमेय सही है, तो प्रत्येक सतत विषम फलन from इसकी सीमा में 0 शामिल होना चाहिए। हालाँकि, इसलिए कोई सतत विषम फलन नहीं हो सकता जिसकी सीमा है .
इसके विपरीत, यदि यह गलत है, तो एक सतत विषम फलन होता है बिना शून्य के। तब हम एक और विषम फलन बना सकते हैं द्वारा:
तब से कोई शून्य नहीं है, अच्छी तरह से परिभाषित और निरंतर है। इस प्रकार हमारे पास निरंतर विषम वापसी है।
प्रमाण
एक आयामी मामला
मध्यवर्ती मूल्य प्रमेय (आईवीटी) का उपयोग करके 1-आयामी मामला आसानी से सिद्ध किया जा सकता है।
होने देना एक वृत्त पर एक विषम वास्तविक-मूल्यवान सतत फलन हो। एक मनमाना उठाओ . अगर तो हम कर चुके हैं। अन्यथा, सामान्यता के नुकसान के बिना, लेकिन इसलिए, आईवीटी द्वारा, एक बिंदु है बीच में और जिस पर .
सामान्य मामला
बीजगणितीय सामयिक प्रमाण
ये मान लीजिए के साथ एक विषम सतत फलन है (मामला ऊपर व्यवहार किया जाता है, मामला बेसिक जगह को ढंकना का उपयोग करके संभाला जा सकता है)। एंटीपोडल क्रिया के तहत कक्षाओं में जाने से, हम एक प्रेरित निरंतर कार्य प्राप्त करते हैं वास्तविक प्रोजेक्टिव स्पेस के बीच, जो मौलिक समूह पर एक आइसोमोर्फिज्म को प्रेरित करता है। ह्यूरेविक्ज़ प्रमेय द्वारा, सह-समरूपता पर प्रेरित वलय समरूपता गुणांक [जहाँ GF(2)] को दर्शाता है,
भेजता है को . लेकिन तब हमें वह मिलता है को भेजा जाता है , एक विरोधाभास।[2] कोई भी मजबूत कथन दिखा सकता है कि कोई भी विषम मानचित्र एक सतत मानचित्रण की विषम डिग्री है और फिर इस परिणाम से प्रमेय को घटाएं।
संयुक्त प्रमाण
टकर के लेम्मा से बोरसुक-उलम प्रमेय को सिद्ध किया जा सकता है।[1][3][4] होने देना एक निरंतर विषम कार्य हो। क्योंकि जी कॉम्पैक्ट जगह डोमेन पर निरंतर है, यह समान रूप से निरंतर है। इसलिए, प्रत्येक के लिए , वहां एक है ऐसा है कि, के हर दो बिंदुओं के लिए जो भीतर हैं एक दूसरे के, जी के तहत उनकी छवियां भीतर हैं एक दूसरे की।
त्रिभुज को परिभाषित कीजिए अधिकतम लंबाई के किनारों के साथ . प्रत्येक शीर्ष को लेबल करें एक लेबल के साथ त्रिभुज का इस अनुसार:
- लेबल का निरपेक्ष मान g के उच्चतम निरपेक्ष मान के साथ निर्देशांक का सूचकांक है: .
- लेबल का चिह्न g का चिह्न है, ताकि: .
क्योंकि g विषम है, लेबलिंग भी विषम है: . इसलिए, टकर की लेम्मा द्वारा, दो आसन्न शीर्ष हैं विपरीत लेबल के साथ। मान लीजिए w.l.o.g. कि लेबल हैं . एल की परिभाषा से, इसका मतलब है कि दोनों में और , निर्देशांक #1 सबसे बड़ा निर्देशांक है: in में रहते हुए यह निर्देशांक धनात्मक है यह नकारात्मक है। त्रिभुज के निर्माण से, के बीच की दूरी और अधिक से अधिक है , इसलिए विशेष रूप से (तब से और विपरीत संकेत हैं) और इसी तरह . लेकिन के सबसे बड़े समन्वय के बाद से निर्देशांक #1 है, इसका मतलब है कि प्रत्येक के लिए . इसलिए , कहाँ पर निर्भर कुछ स्थिर है और आदर्श जिसे आपने चुना है।
उपरोक्त सभी के लिए सत्य है ; तब से कॉम्पैक्ट है इसलिए एक बिंदु यू होना चाहिए जिसमें .
परिणाम
- का कोई उपसमुच्चय नहीं के लिए होमियोमॉर्फिक है
- हैम सैंडविच प्रमेय: किसी भी कॉम्पैक्ट स्पेस सेट के लिए ए1, ..., एnमें हम हमेशा उनमें से प्रत्येक को समान माप के दो उपसमुच्चय में विभाजित करने वाला एक हाइपरप्लेन ढूंढ सकते हैं।
समतुल्य परिणाम
ऊपर हमने टकर के लेम्मा से बोरसुक-उलम प्रमेय को साबित करने का तरीका दिखाया। इसका विलोम भी सत्य है: टकर की लेम्मा को बोरसुक-उलम प्रमेय से सिद्ध करना संभव है। इसलिए, ये दो प्रमेय समकक्ष हैं। There are several fixed-point theorems which come in three equivalent variants: an algebraic topology variant, a combinatorial variant and a set-covering variant. Each variant can be proved separately using totally different arguments, but each variant can also be reduced to the other variants in its row. Additionally, each result in the top row can be deduced from the one below it in the same column.[5]
Algebraic topology | Combinatorics | Set covering |
---|---|---|
Brouwer fixed-point theorem | Sperner's lemma | Knaster–Kuratowski–Mazurkiewicz lemma |
Borsuk–Ulam theorem | Tucker's lemma | Lusternik–Schnirelmann theorem |
सामान्यीकरण
- मूल प्रमेय में, फ़ंक्शन f का डोमेन इकाई n-क्षेत्र (इकाई n-गेंद की सीमा) है। व्यापक रूप से, यह तब भी सत्य है जब f का प्रांत किसी खुले परिबद्ध सममित उपसमुच्चय की सीमा हो मूल से युक्त (यहाँ, सममित का अर्थ है कि यदि x उपसमुच्चय में है तो -x भी उपसमुच्चय में है)।[6]
- फ़ंक्शन A पर विचार करें जो एक बिंदु को उसके एंटीपोडल बिंदु पर मैप करता है: ध्यान दें कि मूल प्रमेय का दावा है कि एक बिंदु x है जिसमें सामान्यतः, यह प्रत्येक फलन A के लिए भी सत्य है जिसके लिए [7] हालांकि, सामान्य तौर पर यह अन्य कार्यों ए के लिए सही नहीं है।[8]
यह भी देखें
- टोपोलॉजिकल कॉम्बिनेटरिक्स
- नेकलेस फटने की समस्या
- हैम सैंडविच प्रमेय
- काकुटानी की प्रमेय (ज्यामिति)
- इमरे बरनी
टिप्पणियाँ
- ↑ 1.0 1.1 Prescott, Timothy (2002). Extensions of the Borsuk–Ulam Theorem (BS). Harvey Mudd College. CiteSeerX 10.1.1.124.4120.
- ↑ Joseph J. Rotman, An Introduction to Algebraic Topology (1988) Springer-Verlag ISBN 0-387-96678-1 (See Chapter 12 for a full exposition.)
- ↑ Freund, Robert M.; Todd, Michael J. (1982). "टकर के संयोजी लेम्मा का एक रचनात्मक प्रमाण". Journal of Combinatorial Theory. Series A. 30 (3): 321–325. doi:10.1016/0097-3165(81)90027-3.
- ↑ Simmons, Forest W.; Su, Francis Edward (2003). "Consensus-halving via theorems of Borsuk–Ulam and Tucker". Mathematical Social Sciences. 45: 15–25. doi:10.1016/s0165-4896(02)00087-2. hdl:10419/94656.
- ↑ Nyman, Kathryn L.; Su, Francis Edward (2013), "A Borsuk–Ulam equivalent that directly implies Sperner's lemma", The American Mathematical Monthly, 120 (4): 346–354, doi:10.4169/amer.math.monthly.120.04.346, JSTOR 10.4169/amer.math.monthly.120.04.346, MR 3035127
- ↑ "Borsuk fixed-point theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- ↑ Yang, Chung-Tao (1954). "बोरसुक-उलम, काकुटानी-यामाबे-युजोबो और डायसन के प्रमेयों पर, मैं". Annals of Mathematics. 60 (2): 262–282. doi:10.2307/1969632. JSTOR 1969632.
- ↑ Jens Reinhold, Faisal; Sergei Ivanov. "बोरसुक-उलम का सामान्यीकरण". Math Overflow. Retrieved 18 May 2015.
संदर्भ
- Borsuk, Karol (1933). "Drei Sätze über die n-dimensionale euklidische Sphäre" (PDF). Fundamenta Mathematicae (in Deutsch). 20: 177–190. doi:10.4064/fm-20-1-177-190. Archived (PDF) from the original on 2022-10-09.
- Lyusternik, Lazar; Shnirel'man, Lev (1930). "Topological Methods in Variational Problems". Issledowatelskii Institut Matematiki I Mechaniki Pri O. M. G. U. Moscow.
- Matoušek, Jiří (2003). Using the Borsuk–Ulam theorem. Berlin: Springer Verlag. doi:10.1007/978-3-540-76649-0. ISBN 978-3-540-00362-5.
- Steinlein, H. (1985). "Borsuk's antipodal theorem and its generalizations and applications: a survey. Méthodes topologiques en analyse non linéaire". Sém. Math. Supér. Montréal, Sém. Sci. OTAN (NATO Adv. Study Inst.). 95: 166–235.
- Su, Francis Edward (Nov 1997). "Borsuk-Ulam Implies Brouwer: A Direct Construction" (PDF). The American Mathematical Monthly. 104 (9): 855–859. CiteSeerX 10.1.1.142.4935. doi:10.2307/2975293. JSTOR 2975293. Archived from the original (PDF) on 2008-10-13. Retrieved 2006-04-21.