बोरसुक-उलम प्रमेय
गणित में, बोरसुक-उलम प्रमेय में कहा गया है कि n-गोले से यूक्लिडियन n-समष्टि में प्रत्येक संतत फलन एक ही बिंदु पर प्रतिव्यासांत बिंदुओं की कुछ युग्म को मानचित्र करता है। यहाँ, गोले पर दो बिंदुओं को प्रतिव्यासांत कहा जाता है यदि वे गोले के केंद्र से यथार्थतः विपरीत दिशाओं में होते है।
औपचारिक रूप से: यदि संतत है तो उपस्तिथ है जैसे:
प्रकरण यह कहकर चित्रित किया जा सकता है कि समान तापमान वाले पृथ्वी के भूमध्य रेखा पर हमेशा विपरीत बिंदुओं का एक युग्म उपस्तिथ होता है। किसी भी वृत्त के लिए यही सत्य है। यह मानता है कि समष्टि में तापमान लगातार बदलता रहता है।
प्रकरण प्रायः यह कहते हुए चित्रित किया जाता है कि किसी भी समय, पृथ्वी की सतह पर समान तापमान और समान बैरोमीटर के दबावों के साथ हमेशा प्रतिव्यासांत बिंदुओं का एक युग्म होता है, यह मानते हुए कि दोनों प्राचल समष्टि में लगातार भिन्न होते हैं।
विषम फलनों के संदर्भ में बोरसुक-उलम प्रमेय में कई समान कथन हैं। याद रखें कि n-गोला है और n-गोलक है:
- अगर एक सतत विषम फलन है, तो एक उपस्तिथ है जैसे कि: हैं।
- अगर एक सतत फलन है जो ( की सीमा) पर विषम है, तो उपस्तिथ है जैसे: हैं।
इतिहास
माटूसेक (2003, p. 25) के अनुसार, बोरसुक-उलम प्रमेय के कथन का पहला ऐतिहासिक उल्लेख ल्युस्टर्निक & श्निरेलमैन (1930) में प्रकट होते हैं। प्रथम प्रमाण करोल बोरसुक (1933) द्वारा दिया गया था, जहां समस्या के सूत्रीकरण का श्रेय स्टैनिस्लाव उलम को दिया गया था। तब से, कई वैकल्पिक प्रमाण विभिन्न लेखकों द्वारा खोजे गए हैं, जैसा कि स्टीनलीन (1985) द्वारा एकत्र किया गया था।
समतुल्य कथन
निम्नलिखित कथन बोरसुक-उलम प्रमेय के समतुल्य हैं।[1]
विषम फलनों के साथ
एक फलन को विषम (उर्फ प्रतिव्यासांत या प्रतिव्यासांत-संरक्षी) कहा जाता है यदि प्रत्येक : के लिए हैं।
बोरसुक-उलम प्रमेय निम्नलिखित कथन के समतुल्य है: एक n-क्षेत्र से यूक्लिडियन n-समष्टि में एक सतत विषम फलन शून्य होता है।
प्रमाण:
- यदि प्रमेय सही है, तो यह विशेष रूप से विषम फलनों के लिए सही है, और विषम फलनों के लिए, आईएफएफ है। इसलिए प्रत्येक विषम सतत फलन का एक शून्य होता है।
- प्रत्येक संतत फलन के लिए, निम्न फलन संतत और विषम: है। यदि प्रत्येक विषम सतत फलन में शून्य है, तो एक शून्य है, और इसलिए, है। अतः प्रमेय सही है।
प्रत्यावर्तन के साथ
प्रत्यावर्तन को एक फलन के रूप में परिभाषित करता है। बोरसुक-उलम प्रमेय निम्नलिखित अनुरोध के समान है: कोई संतत विषम प्रत्यावर्तन नहीं है।
प्रमाण: यदि प्रमेय सही है, तो से प्रत्येक सतत विषम फलन को उसकी श्रेणी में 0 अवश्य सम्मिलित होना चाहिए। हालाँकि, इसलिए कोई सतत विषम फलन नहीं हो सकता जिसकी सीमा है।
इसके विपरीत, यदि यह गलत है, तो एक सतत विषम फलन है, जिसमें कोई शून्य नहीं है। तब हम एक और विषम फलन का निर्माण कर सकते हैं:
क्योंकि का कोई शून्य नहीं है, अच्छी तरह से परिभाषित और संतत है। इस प्रकार हमारे पास संतत विषम प्रतिगमन है।
प्रमाण
1-आयामी प्रकरण
मध्यवर्ती मूल्य प्रमेय (आईवीटी) का उपयोग करके 1-आयामी प्रकरण आसानी से सिद्ध किया जा सकता है।
को एक वृत्त पर विषम वास्तविक-मूल्यवान सतत फलन होने दें। एक स्वेच्छाचारी का चयन करे। अगर हम कर चुके हैं। अन्यथा, सामान्यता की हानि के बिना, लेकिन है। इसलिए, IVT द्वारा, और के मध्य एक बिंदु है जिस पर है।
सामान्य प्रकरण
बीजगणितीय सामयिक प्रमाण
मान लें कि के साथ एक विषम सतत फलन है (प्रकरण को ऊपर माना गया है, प्रकरण को आधार आवरण सिद्धांत का उपयोग करके नियंत्रित किया जा सकता है)। प्रतिव्यासांत फलन के अंतर्गत कक्षाओं में जाने से, हम वास्तविक प्रक्षेपीय समष्टि के मध्य एक प्रेरित संतत फलन प्राप्त करते हैं, जो मौलिक समूहों पर एक समरूपता को प्रेरित करता है। ह्यूरेविक्ज़ प्रमेय द्वारा, गुणांकों के साथ सह-समरूपता पर प्रेरित वलय समरूपता [जहाँ दो तत्वों के साथ क्षेत्र को दर्शाता है],
को भेजता है। लेकिन फिर हम प्राप्त करते हैं कि को , परस्पर भेजा जाता है।[2]
कोई भी मजबूत कथन दिखा सकता है कि कोई भी विषम मानचित्र में विषम डिग्री है और फिर इस परिणाम से प्रमेय को घटाते है।
संयुक्त प्रमाण
टकर लेम्मा से बोरसुक-उलम प्रमेय को सिद्ध किया जा सकता है।[1][3][4]
अनुमान एक संतत विषम फलन है। क्योंकि g सघन प्रक्षेत्र पर संतत है, यह समान रूप से संतत है। इसलिए, प्रत्येक के लिए, एक ऐसा है कि, के प्रत्येक दो बिंदुओं के लिए जो एक दूसरे के अंतर्गत, g के अंतर्गत उनका प्रतिबिंब एक दूसरे के के अंतर्गत हैं।
अधिकतम पर लंबाई के किनारों के साथ के त्रिकोणासन को परिभाषित करें। त्रिभुज के प्रत्येक शीर्ष को एक लेबल के साथ निम्नलिखित प्रकार से लेबल करें:
- लेबल का निरपेक्ष मान g: के उच्चतम निरपेक्ष मान के साथ निर्देशांक का सूचकांक हैं।
- लेबल का चिह्न g का चिह्न है, ताकि: हैं।
क्योंकि g विषम है, लेबलिंग भी विषम: है इसलिए, टकर लेम्मा द्वारा, विपरीत लेबल वाले दो आसन्न शीर्ष हैं। मान लीजिए w.l.o.g. कि लेबल हैं। l की परिभाषा के अनुसार, इसका अर्थ है कि और दोनों में, समन्वय #1 सबसे बड़ा निर्देशांक है यह समन्वय सकारात्मक है जबकि में यह नकारात्मक है। त्रिभुज की रचना से, और के मध्य की दूरी अधिक से अधिक है, इसलिए विशेष रूप से (क्योंकि और के विपरीत चिह्न हैं) और इसलिए है। लेकिन का सबसे बड़ा निर्देशांक #1 है, इसका अर्थ है कि प्रत्येक के लिए हैं। इसलिए , जहां कुछ स्थिरांक है जो और मानक पर निर्भर करता है जिसका चयन किया है।
उपरोक्त प्रत्येक के लिए सत्य है; क्योंकि संक्षिप्त है इसलिए एक बिंदु u होना चाहिए जिसमें हैं।
परिणाम
- का कोई उपसमुच्चय के लिए समरूपी नहीं हैं।
- हैम सैंडविच प्रमेय: किसी भी सुसम्बद्ध समष्टि समुच्चय के लिए A1, ..., An में के लिए हम हमेशा उनमें से प्रत्येक को समान माप के दो उपसमुच्चय में विभाजित करने वाला एक अधिसमतल प्राप्त कर सकते हैं।
समतुल्य परिणाम
ऊपर हमने टकर लेम्मा से बोरसुक-उलम प्रमेय को सिद्ध करने का प्रकार दिखाया। इसका विलोम भी सत्य है: टकर लेम्मा को बोरसुक-उलम प्रमेय से सिद्ध करना संभव है। इसलिए, ये दो प्रमेय समकक्ष हैं। 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] हालांकि, सामान्य रूप से यह अन्य फलन A के लिए सही नहीं है।[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). "ड्रेई सत्ज़े उबेर डाई एन-डायमेंशनेल युक्लिडिशे स्फेरे" (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). "परिवर्तनशील समस्याओं में सांस्थितिक तरीके". Issledowatelskii Institut Matematiki I Mechaniki Pri O. M. G. U. Moscow.
- Matoušek, Jiří (2003). बोरसुक-उलम प्रमेय का उपयोग करना. Berlin: Springer Verlag. doi:10.1007/978-3-540-76649-0. ISBN 978-3-540-00362-5.
- Steinlein, H. (1985). "बोरसुक का प्रतिव्यासांत प्रमेय और इसके सामान्यीकरण और अनुप्रयोग: एक सर्वेक्षण। मेथोड्स टोपोलॉजीज एन एनालिसिस नॉन लाइनेयर". 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.