समसंचारी असमानता: Difference between revisions

From Vigyanwiki
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Geometric inequality which sets a lower bound on the surface area of a set given its volume}}
{{short description|Geometric inequality which sets a lower bound on the surface area of a set given its volume}}
{{Use dmy dates|date=July 2013}}
गणित में, आइसोपेरिमेट्रिक असमानता एक [[ज्यामिति]] [[असमानता (गणित)]] है जिसमें इस समूह की परिधि और उसकी मात्रा सम्मलित होती है। <math>n</math>-आयामी स्थान में <math>\R^n</math> असमानता [[सतह क्षेत्र]] या परिधि को <math>\operatorname{per}(S)</math> कम करती है एक समुच्चय <math>S\subset\R^n</math> का <math>\operatorname{vol}(S)</math> इसकी [[मात्रा]] से
गणित में, आइसोपेरिमेट्रिक असमानता एक [[ज्यामिति]] [[असमानता (गणित)]] है जिसमें एक सेट की परिधि और इसकी मात्रा शामिल होती है। में <math>n</math>-आयामी स्थान <math>\R^n</math> असमानता [[सतह क्षेत्र]] या परिधि को कम करती है <math>\operatorname{per}(S)</math> एक सेट का <math>S\subset\R^n</math> इसकी [[मात्रा]] से <math>\operatorname{vol}(S)</math>,


:<math>\operatorname{per}(S)\geq n \operatorname{vol}(S)^{\frac{n-1}{n}} \, \operatorname{vol}(B_1)^{\frac{1}{n}}</math>,
:<math>\operatorname{per}(S)\geq n \operatorname{vol}(S)^{\frac{n-1}{n}} \, \operatorname{vol}(B_1)^{\frac{1}{n}}</math>,


कहाँ पे <math>B_1\subset\R^n</math> एक [[इकाई क्षेत्र]] है। समानता तभी होती है जब <math>S</math> में एक गोला है <math>\R^n</math>.
जहाँ पर <math>B_1\subset\R^n</math> एक [[इकाई क्षेत्र]] है। समानता तभी होती है जब <math>S</math> में एक गोला <math>\R^n</math> है .


हवाई जहाज़ पर, यानी कब <math>n=2</math>, आइसोपेरिमेट्रिक असमानता एक [[बंद वक्र]] की [[परिधि]] के वर्ग और एक समतल [[क्षेत्र]] के क्षेत्र को घेरती है। wikt:isoperimetric#अंग्रेजी का शाब्दिक अर्थ है समान परिमाप होना। विशेष रूप से में <math>\R ^2</math>, isoperimetric असमानता बताती है, एक बंद वक्र की लंबाई L और समतल क्षेत्र के A क्षेत्र के लिए जो इसे घेरता है, कि
समतल पर, अर्थात जब <math>n=2</math>, हो तब आइसोपेरिमेट्रिक असमानता [[बंद वक्र]] की [[परिधि]] के वर्ग और एक समतल [[क्षेत्र]] के क्षेत्र को घेरती है। wikt:आइसोपेरिमेट्रिकअंग्रेजी का शाब्दिक अर्थ है जो सामान परिमाप के लिए होता हैं, विशेष रूप से <math>\R ^2</math> में आइसोपेरिमेट्रिक असमानता बताती है, एक बंद वक्र की लंबाई L और समतल क्षेत्र के A क्षेत्र के लिए जो इसे इस प्रकार घेरता है कि


:<math> L^2 \ge 4\pi A,</math>
:<math> L^2 \ge 4\pi A,</math>
और यह समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त हो।
और यह समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त के रूप में हो।


आइसोपेरिमेट्रिक समस्या सबसे बड़े संभावित क्षेत्र का समतल आंकड़ा निर्धारित करना है जिसकी [[सीमा (टोपोलॉजी)]] में एक निर्दिष्ट लंबाई है।<ref>{{cite journal|author=Blåsjö, Viktor|title=आइसोपेरिमेट्रिक समस्या का विकास|journal=Amer. Math. Monthly|volume=112|issue=6|year=2005|pages=526–566|doi=10.2307/30037526|url=http://www.maa.org/programs/maa-awards/writing-awards/the-evolution-of-the-isoperimetric-problem|jstor=30037526}}</ref> बारीकी से संबंधित डिडो की समस्या एक सीधी रेखा से घिरे अधिकतम क्षेत्र के क्षेत्र और वक्र रेखा [[चाप (ज्यामिति)]] के लिए पूछती है, जिनके अंत बिंदु उस रेखा से संबंधित हैं। इसका नाम डिडो ([[कार्थेज]] की रानी), पौराणिक संस्थापक और कार्थेज की पहली रानी के नाम पर रखा गया है। आइसोपेरिमेट्रिक समस्या का समाधान एक वृत्त द्वारा दिया गया है और [[प्राचीन ग्रीस]] में पहले से ही जाना जाता था। हालाँकि, इस तथ्य का पहला गणितीय रूप से कठोर प्रमाण केवल 19वीं शताब्दी में प्राप्त किया गया था। इसके बाद से और भी कई सबूत मिले हैं।
आइसोपेरिमेट्रिक समस्या सबसे बड़े संभावित क्षेत्र का समतल आंकड़ा निर्धारित करना है जिसकी [[सीमा (टोपोलॉजी)]] में एक निर्दिष्ट लंबाई तक सीमित है।<ref>{{cite journal|author=Blåsjö, Viktor|title=आइसोपेरिमेट्रिक समस्या का विकास|journal=Amer. Math. Monthly|volume=112|issue=6|year=2005|pages=526–566|doi=10.2307/30037526|url=http://www.maa.org/programs/maa-awards/writing-awards/the-evolution-of-the-isoperimetric-problem|jstor=30037526}}</ref> इसे बारीकी से संबंधित डिडो की समस्या एक सीधी रेखा से घिरे अधिकतम क्षेत्र के क्षेत्र और वक्र रेखा [[चाप (ज्यामिति)]] के लिए पूछती है, जिनके अंत बिंदु उस रेखा से संबंधित हैं। इसका नाम डिडो ([[कार्थेज]] की रानी), पौराणिक संस्थापक और कार्थेज की पहली रानी के नाम पर रखा गया है। आइसोपेरिमेट्रिक समस्या का समाधान एक वृत्त द्वारा दिया गया है और [[प्राचीन ग्रीस]] में पहले से ही जाना जाता था। चूंकि, इस तथ्य का पहला गणितीय रूप से कठोर प्रमाण केवल 19वीं शताब्दी में प्राप्त किया गया था। इसके बाद से और भी कई साक्ष्य मिले हैं।


आइसोपेरिमेट्रिक समस्या को कई तरीकों से विस्तारित किया गया है, उदाहरण के लिए, सतहों की विभेदक ज्यामिति पर घटता और उच्च-आयामी स्थानों में क्षेत्रों के लिए। शायद 3-आयामी आइसोपेरिमेट्रिक असमानता का सबसे परिचित भौतिक अभिव्यक्ति पानी की एक बूंद का आकार है। अर्थात्, एक बूंद आमतौर पर एक सममित गोल आकार ग्रहण करेगी। चूँकि एक बूंद में पानी की मात्रा स्थिर होती है, पृष्ठ तनाव बूंद को एक ऐसे आकार में धकेल देता है जो बूंद के सतह क्षेत्र को कम कर देता है, अर्थात् एक गोल गोला।
आइसोपेरिमेट्रिक समस्या को कई तरीकों से विस्तारित किया गया है, उदाहरण के लिए, सतहों की विभेदक ज्यामिति पर घटता और उच्च-आयामी स्थानों में क्षेत्रों के लिए। संभवतः 3-आयामी आइसोपेरिमेट्रिक असमानता का सबसे परिचित भौतिक अभिव्यक्ति पानी की एक बूंद का आकार है। अर्थात्, एक बूंद सामान्यतः एक सममित गोल आकार ग्रहण करेगी। चूँकि एक बूंद में पानी की मात्रा स्थिर होती है, पृष्ठ तनाव बूंद को एक ऐसे आकार में धकेल देता है जो बूंद के सतह क्षेत्र को कम कर देता है, अर्थात् एक गोल गोला।


== विमान में आइसोपेरिमेट्रिक समस्या ==
== विमान में आइसोपेरिमेट्रिक समस्या ==
[[File:Isoperimetric inequality illustr1.svg|right|thumb|यदि कोई क्षेत्र उत्तल नहीं है, तो परिधि को अपरिवर्तित रखते हुए क्षेत्र के क्षेत्र को बढ़ाने के लिए इसकी सीमा में एक गड्ढा फ़्लिप किया जा सकता है।]]
[[File:Isoperimetric inequality illustr1.svg|right|thumb|यदि कोई क्षेत्र उत्तल नहीं है, तो परिधि को अपरिवर्तित रखते हुए क्षेत्र के क्षेत्र को बढ़ाने के लिए इसकी सीमा में एक गड्ढा फ़्लिप किया जा सकता है।]]
[[File:Isoperimetric inequality illustr2.svg|right|thumb|किसी दीर्घ आकृति का परिमाप स्थिर रखते हुए तथा क्षेत्रफल बढ़ाते हुए उसे और गोल बनाया जा सकता है।]]शास्त्रीय आइसोपेरिमेट्रिक समस्या प्राचीन काल की है।<ref>{{Cite web|last=Olmo|first=Carlos Beltrán, Irene|date=2021-01-04|title=साथियों और मिथकों के बारे में|url=https://elpais.com/ciencia/2021-01-04/sobre-mates-y-mitos.html|access-date=2021-01-14|website=EL PAÍS|language=es}}</ref> समस्या को इस प्रकार कहा जा सकता है: निश्चित परिधि के तल में सभी बंद [[वक्र]]ों में से कौन सा वक्र (यदि कोई हो) अपने परिबद्ध क्षेत्र के क्षेत्रफल को अधिकतम करता है? इस प्रश्न को निम्नलिखित समस्या के समतुल्य दिखाया जा सकता है: एक निश्चित क्षेत्र को घेरने वाले तल में सभी बंद वक्रों में से कौन सा वक्र (यदि कोई है) परिमाप को न्यूनतम करता है?
[[File:Isoperimetric inequality illustr2.svg|right|thumb|किसी दीर्घ आकृति का परिमाप स्थिर रखते हुए तथा क्षेत्रफल बढ़ाते हुए उसे और गोल बनाया जा सकता है।]]मौलिक आइसोपेरिमेट्रिक समस्या प्राचीन काल की है।<ref>{{Cite web|last=Olmo|first=Carlos Beltrán, Irene|date=2021-01-04|title=साथियों और मिथकों के बारे में|url=https://elpais.com/ciencia/2021-01-04/sobre-mates-y-mitos.html|access-date=2021-01-14|website=EL PAÍS|language=es}}</ref> इस समस्या को इस प्रकार कहा जाता है: निश्चित परिधि के तल में सभी बंद [[वक्र]] में से कौन सा वक्र (यदि कोई हो) अपने परिबद्ध क्षेत्र के क्षेत्रफल को अधिकतम करता है? इस प्रश्न को निम्नलिखित समस्या के समतुल्य दिखाया जाता है: एक निश्चित क्षेत्र को घेरने वाले तल में सभी बंद वक्रों में से कौन सा वक्र (यदि कोई है) परिमाप को न्यूनतम करता है?


यह समस्या वैचारिक रूप से भौतिकी में कम से कम कार्रवाई के सिद्धांत से संबंधित है, जिसमें इसे पुन: स्थापित किया जा सकता है: कार्रवाई का सिद्धांत क्या है जो सबसे बड़े क्षेत्र को घेरता है, प्रयास की सबसे बड़ी अर्थव्यवस्था के साथ? 15वीं शताब्दी के दार्शनिक और वैज्ञानिक, क्यूसा के कार्डिनल निकोलस, घूर्णी क्रिया को मानते थे, वह प्रक्रिया जिसके द्वारा एक वृत्त उत्पन्न होता है, संवेदी छापों के दायरे में, उस प्रक्रिया का सबसे प्रत्यक्ष प्रतिबिंब होता है, जिसके द्वारा ब्रह्मांड का निर्माण होता है। जर्मन खगोलशास्त्री और ज्योतिषी [[जोहान्स केप्लर]] ने [[कॉस्मोग्राफिक मिस्ट्री]] (द सेक्रेड मिस्ट्री ऑफ द कॉसमॉस, 1596) में सौर प्रणाली की आकृति विज्ञान पर चर्चा करने के लिए आइसोपेरिमेट्रिक सिद्धांत का आह्वान किया।
यह समस्या वैचारिक रूप से भौतिकी में कम से कम कार्रवाई के सिद्धांत से संबंधित है, जिसमें इसे पुन: स्थापित किया जा सकता है: गतिविधि के यह सिद्धांत क्या है जो सबसे बड़े क्षेत्र को घेरता है, प्रयास की सबसे बड़ी अर्थव्यवस्था के साथ? 15वीं शताब्दी के दार्शनिक और वैज्ञानिक, क्यूसा के कार्डिनल निकोलस, घूर्णी क्रिया को मानते थे, वह प्रक्रिया जिसके द्वारा एक वृत्त उत्पन्न होता है, संवेदी छापों के क्षेत्र में, उस प्रक्रिया का सबसे प्रत्यक्ष प्रतिबिंब होता है, जिसके द्वारा ब्रह्मांड का निर्माण होता है। जर्मन खगोलशास्त्री और ज्योतिषी [[जोहान्स केप्लर]] ने [[कॉस्मोग्राफिक मिस्ट्री]] (द सेक्रेड मिस्ट्री ऑफ द कॉसमॉस, 1596) में सौर प्रणाली की आकृति विज्ञान पर चर्चा करने के लिए आइसोपेरिमेट्रिक सिद्धांत का आह्वान किया।


यद्यपि वृत्त समस्या का एक स्पष्ट समाधान प्रतीत होता है, इस तथ्य को सिद्ध करना अपेक्षाकृत कठिन है। समाधान की दिशा में पहली प्रगति 1838 में स्विस जियोमीटर [[जैकब स्टेनर]] द्वारा की गई थी, बाद में एक ज्यामितीय विधि का उपयोग करके जिसे बाद में सिमेट्रिज़ेशन मेथड्स # स्टेनर सिमेट्रिज़ेशन नाम दिया गया।<ref>J. Steiner, ''Einfacher Beweis der isoperimetrischen Hauptsätze'', J. reine angew Math. '''18''', (1838), pp. 281&ndash;296; and Gesammelte Werke Vol. 2, pp. 77&ndash;91, Reimer, Berlin, (1882).</ref> स्टाइनर ने दिखाया कि यदि कोई हल मौजूद है, तो वह वृत्त होना चाहिए। स्टेनर की उपपत्ति को बाद में कई अन्य गणितज्ञों ने पूरा किया।
यद्यपि वृत्त समस्या का एक स्पष्ट समाधान प्रतीत होता है, इस तथ्य को सिद्ध करना अपेक्षाकृत कठिन है। समाधान की दिशा में पहली प्रगति 1838 में स्विस जियोमीटर [[जैकब स्टेनर]] द्वारा की गई थी, बाद में एक ज्यामितीय विधि का उपयोग करके जिसे बाद में सिमेट्रिज़ेशन मेथड्स स्टेनर समभागीकरण नाम दिया गया।<ref>J. Steiner, ''Einfacher Beweis der isoperimetrischen Hauptsätze'', J. reine angew Math. '''18''', (1838), pp. 281&ndash;296; and Gesammelte Werke Vol. 2, pp. 77&ndash;91, Reimer, Berlin, (1882).</ref> स्टाइनर ने दिखाया कि यदि कोई हल सम्मलित है, तो वह वृत्त होना चाहिए। स्टेनर की उपपत्ति को बाद में कई अन्य गणितज्ञों ने पूरा किया।


स्टाइनर कुछ ज्यामितीय रचनाओं से शुरू करते हैं जिन्हें आसानी से समझा जा सकता है; उदाहरण के लिए, यह दिखाया जा सकता है कि किसी क्षेत्र को घेरने वाला कोई भी बंद वक्र जो पूरी तरह से [[उत्तल सेट]] नहीं है, अवतल क्षेत्रों को पलट कर अधिक क्षेत्र घेरने के लिए संशोधित किया जा सकता है ताकि वे उत्तल हो जाएं। आगे यह भी दिखाया जा सकता है कि कोई भी बंद वक्र जो पूरी तरह से सममित नहीं है, झुकाया जा सकता है ताकि यह अधिक क्षेत्र घेर सके। एक आकृति जो पूरी तरह से उत्तल और सममित है, वह वृत्त है, हालांकि यह अपने आप में समपरिमितीय प्रमेय (बाहरी लिंक देखें) के एक कठोर प्रमाण का प्रतिनिधित्व नहीं करता है।
स्टाइनर कुछ ज्यामितीय रचनाओं से शुरू करते हैं जिन्हें सरलता से समझा जा सकता है; उदाहरण के लिए, यह दिखाया जा सकता है कि किसी क्षेत्र को घेरने वाला कोई भी बंद वक्र जो पूरी तरह से [[उत्तल सेट|उत्तल समुच्चय]] नहीं है, अवतल क्षेत्रों को पलट कर अधिक क्षेत्र घेरने के लिए संशोधित किया जा सकता है जिससे कि वे उत्तल हो जाएं। आगे यह भी दिखाया जा सकता है कि कोई भी बंद वक्र जो पूरी तरह से सममित नहीं है, झुकाया जा सकता है जिससे कि यह अधिक क्षेत्र घेर सके। एक आकृति जो पूरी तरह से उत्तल और सममित है, वह वृत्त है, चूंकि यह अपने आप में समपरिमितीय प्रमेय (बाहरी लिंक देखें) के एक कठोर प्रमाण का प्रतिनिधित्व नहीं करता है।


== एक विमान पर ==
== एक विमान पर ==
समपरिमितीय समस्या का समाधान आम तौर पर एक असमानता (गणित) के रूप में व्यक्त किया जाता है जो एक बंद वक्र की लंबाई एल और समतलीय क्षेत्र के क्षेत्र से संबंधित होता है जो इसे घेरता है। 'आइसोपेरिमेट्रिक असमानता' बताती है कि
समपरिमितीय समस्या का समाधान सामान्यतः असमानता के रूप में व्यक्त किया जाता है जो एक बंद वक्र की लंबाई एल और समतलीय क्षेत्र के क्षेत्र A से संबंधित होता है जो इसे घेरता है। 'आइसोपेरिमेट्रिक असमानता' बताती है कि


:<math>4\pi A \le L^2,</math>
:<math>4\pi A \le L^2,</math>
और यह कि समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त हो। त्रिज्या R की [[एक डिस्क का क्षेत्र]]फल πR है<sup>2</sup> और वृत्त की परिधि 2πR है, इसलिए असमानता के दोनों पक्ष 4π के बराबर हैं<sup>2</सुप>आर<sup>2</sup> इस मामले में।
और यह कि समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त हो। त्रिज्या R की [[एक डिस्क का क्षेत्र|एक डिस्क का क्षेत्रफल]] πR<sup>2</sup> है और वृत्त की परिधि 2πR है, इसलिए असमानता के दोनों पक्ष 4πR<sup>2 के बराबर हैं।


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


:<math>Q=\frac{4\pi A}{L^2}</math>
:<math>Q=\frac{4\pi A}{L^2}</math>
और समपरिमितीय असमानता कहती है कि Q ≤ 1. समान रूप से, समपरिमितीय अनुपात {{math|''L''<sup>2</sup>/''A''}} कम से कम 4 है{{pi}} प्रत्येक वक्र के लिए।
और समपरिमितीय असमानता कहती है कि Q ≤ 1. समान रूप से, समपरिमितीय अनुपात {{math|''L''<sup>2</sup>/''A''}} कम से कम 4{{pi}} है प्रत्येक वक्र के लिए एक नियमित n-गॉन का समपरिमितीय भागफल है
 
एक नियमित n-गॉन का समपरिमितीय भागफल है


:<math>Q_n=\frac{\pi}{n \tan \tfrac{\pi}{n}}.</math>
:<math>Q_n=\frac{\pi}{n \tan \tfrac{\pi}{n}}.</math>
होने देना <math>C</math> एक चिकनी नियमित उत्तल बंद वक्र बनें। फिर बेहतर आइसोपेरिमेट्रिक असमानता निम्नलिखित बताती है
<math>C</math> एक चिकनी नियमित उत्तल बंद वक्र बनें। इसके पश्चात सबसे सही आइसोपेरिमेट्रिक असमानता निम्नलिखित बताती है


:<math>L^2\geqslant 4\pi A+8\pi\left|\widetilde{A}_{0.5}\right|,</math>
:<math>L^2\geqslant 4\pi A+8\pi\left|\widetilde{A}_{0.5}\right|,</math>
कहाँ पे <math>L, A, \widetilde{A}_{0.5}</math> की लंबाई निरूपित करें <math>C</math>से घिरा हुआ क्षेत्र <math>C</math> और Wigner कास्टिक का उन्मुख क्षेत्र <math>C</math>, क्रमशः, और समानता रखती है अगर और केवल अगर <math>C</math> स्थिर चौड़ाई का एक वक्र है।<ref>{{cite journal| title = बेहतर आइसोपेरिमेट्रिक असमानता और प्लानर ओवल के विग्नर कास्टिक| first = Michał | last = Zwierzyński | journal = J. Math. Anal. Appl. | volume = 442 | date = 2016| pages = 726–739|doi=10.1016/j.jmaa.2016.05.016|issue=2 | arxiv=1512.06684| s2cid = 119708226 }}</ref>
जहाँ पर <math>L, A, \widetilde{A}_{0.5}</math> की लंबाई निरूपित करें <math>C</math> से घिरा हुआ क्षेत्र <math>C</math> और विग्नर कास्टिक का उन्मुख क्षेत्र <math>C</math>, क्रमशः समानता रखती है यदि <math>C</math> स्थिर चौड़ाई का एक वक्र है।<ref>{{cite journal| title = बेहतर आइसोपेरिमेट्रिक असमानता और प्लानर ओवल के विग्नर कास्टिक| first = Michał | last = Zwierzyński | journal = J. Math. Anal. Appl. | volume = 442 | date = 2016| pages = 726–739|doi=10.1016/j.jmaa.2016.05.016|issue=2 | arxiv=1512.06684| s2cid = 119708226 }}</ref>
 
 
== गोले पर ==
== गोले पर ==


Line 56: Line 49:


इस असमानता की खोज पॉल लेवी (गणितज्ञ) | पॉल लेवी (1919) ने की थी जिन्होंने इसे उच्च आयामों और सामान्य सतहों तक भी बढ़ाया।<ref>{{Cite book|chapter-url=http://cds.cern.ch/record/1412861|title=रीमैनियन और गैर-रिमैनियन स्पेस के लिए मीट्रिक संरचनाएं|last1=Gromov|first1=Mikhail|last2=Pansu|first2=Pierre|date=2006|publisher=Springer|isbn=9780817645830|series=Modern Birkhäuser Classics|location=Dordrecht|pages=519|chapter=Appendix C. Paul Levy's Isoperimetric Inequality}}</ref>
इस असमानता की खोज पॉल लेवी (गणितज्ञ) | पॉल लेवी (1919) ने की थी जिन्होंने इसे उच्च आयामों और सामान्य सतहों तक भी बढ़ाया।<ref>{{Cite book|chapter-url=http://cds.cern.ch/record/1412861|title=रीमैनियन और गैर-रिमैनियन स्पेस के लिए मीट्रिक संरचनाएं|last1=Gromov|first1=Mikhail|last2=Pansu|first2=Pierre|date=2006|publisher=Springer|isbn=9780817645830|series=Modern Birkhäuser Classics|location=Dordrecht|pages=519|chapter=Appendix C. Paul Levy's Isoperimetric Inequality}}</ref>
मनमाना त्रिज्या R के अधिक सामान्य मामले में, यह ज्ञात है <ref>[[Robert Osserman|Osserman, Robert]]. "The Isoperimetric Inequality." Bulletin of the American Mathematical Society. 84.6 (1978) http://www.ams.org/journals/bull/1978-84-06/S0002-9904-1978-14553-4/S0002-9904-1978-14553-4.pdf</ref> वह
 
त्रिज्या R के अधिक सामान्य स्थिति में यह ज्ञात है <ref>[[Robert Osserman|Osserman, Robert]]. "The Isoperimetric Inequality." Bulletin of the American Mathematical Society. 84.6 (1978) http://www.ams.org/journals/bull/1978-84-06/S0002-9904-1978-14553-4/S0002-9904-1978-14553-4.pdf</ref> वह


:<math>L^2\ge 4\pi A - \frac{A^2}{R^2}.</math>
:<math>L^2\ge 4\pi A - \frac{A^2}{R^2}.</math>
 
== {{math|R<sup>n</sup>}} में ==
 
आइसोपेरिमेट्रिक असमानता बताती है कि एक गोले में प्रति दिए गए आयतन का सबसे छोटा सतह क्षेत्र होता है। एक परिबद्ध समुच्चय दिया गया है <math>S\subset\R ^n</math> सतह क्षेत्र के साथ <math>\operatorname{per}(S)</math> और मात्रा <math>\operatorname{vol}(S)</math>, आइसोपेरिमेट्रिक असमानता स्थिति में
== में {{math|R<sup>n</sup>}} ==
आइसोपेरिमेट्रिक असमानता बताती है कि एक गोले में प्रति दिए गए आयतन का सबसे छोटा सतह क्षेत्र होता है। एक परिबद्ध समुच्चय दिया गया है <math>S\subset\R ^n</math> सतह क्षेत्र के साथ <math>\operatorname{per}(S)</math> और मात्रा <math>\operatorname{vol}(S)</math>, isoperimetric असमानता राज्यों


:<math>\operatorname{per}(S)\geq n \operatorname{vol}(S)^{\frac{n-1}{n}} \, \operatorname{vol}(B_1)^{\frac{1}{n}},</math>
:<math>\operatorname{per}(S)\geq n \operatorname{vol}(S)^{\frac{n-1}{n}} \, \operatorname{vol}(B_1)^{\frac{1}{n}},</math>
कहाँ पे <math>B_1\subset\R ^n</math> एक इकाई गोला है। समानता कब होती है <math>S</math> में एक गेंद है <math>\R ^n</math>. सेट पर अतिरिक्त प्रतिबंधों के तहत (जैसे उत्तल सेट, [[बंद नियमित सेट]], चिकनी सतह), समानता केवल एक गेंद के लिए होती है। लेकिन पूर्ण व्यापकता में स्थिति अधिक जटिल है। का प्रासंगिक परिणाम {{harvtxt|Schmidt|1949|loc=Sect. 20.7}} (सरल प्रमाण के लिए देखें {{harvtxt|Baebler|1957}}) में स्पष्ट किया गया है {{harvtxt|Hadwiger|1957|loc=Sect. 5.2.5}} निम्नलिखित नुसार। एक चरम सेट में एक गेंद और एक कोरोना होता है जो न तो मात्रा और न ही सतह क्षेत्र में योगदान देता है। यही है, समानता एक कॉम्पैक्ट सेट के लिए है <math>S</math> अगर और केवल अगर <math>S</math> एक बंद गेंद शामिल है <math>B</math> ऐसा है कि <math>\operatorname{vol}(B) = \operatorname{vol}(S)</math> तथा <math>\operatorname{per}(B) = \operatorname{per}(S).</math> उदाहरण के लिए, कोरोना एक वक्र हो सकता है।
जहाँ पर <math>B_1\subset\R ^n</math> एक इकाई गोला है। समानता कब होती है <math>S</math> में एक गेंद है <math>\R ^n</math>. समुच्चय पर अतिरिक्त प्रतिबंधों के अनुसार (जैसे उत्तल समुच्चय, [[बंद नियमित सेट|बंद नियमित समुच्चय]], चिकनी सतह), समानता केवल एक गेंद के लिए होती है। लेकिन पूर्ण व्यापकता में स्थिति अधिक जटिल है। का प्रासंगिक परिणाम {{harvtxt|श्मिट|1949|loc=Sect. 20.7}} (सरल प्रमाण के लिए देखें {{harvtxt|बेबलर|1957}}) में स्पष्ट किया गया है {{harvtxt|हैडविगर|1957|loc=Sect. 5.2.5}} निम्नलिखित नुसार। एक चरम समुच्चय में एक गेंद और एक कोरोना होता है जो न तो मात्रा और न ही सतह क्षेत्र में योगदान देता है। यही है, समानता एक कॉम्पैक्ट समुच्चय के लिए है <math>S</math> यदि और केवल यदि <math>S</math> एक बंद गेंद सम्मलित है <math>B</math> ऐसा है कि <math>\operatorname{vol}(B) = \operatorname{vol}(S)</math> तथा <math>\operatorname{per}(B) = \operatorname{per}(S).</math> उदाहरण के लिए, कोरोना का एक वक्र हो सकता है।


असमानता का प्रमाण सीधे ब्रून-मिन्कोव्स्की प्रमेय से मिलता है | एक सेट के बीच ब्रून-मिन्कोव्स्की असमानता <math>S</math> और त्रिज्या के साथ एक गेंद <math>\epsilon</math>, अर्थात। <math>B_\epsilon=\epsilon B_1</math>. ब्रून-मिन्कोव्स्की असमानता को सत्ता में ले कर <math>n</math>, घटाना <math>\operatorname{vol}(S)</math> दोनों ओर से, उन्हें विभाजित करके <math>\epsilon</math>, और सीमा के रूप में ले रहा है <math>\epsilon\to 0.</math> ({{harvtxt|Osserman|1978}}; {{harvtxt|Federer|1969|loc=§3.2.43}}).
असमानता का प्रमाण सीधे ब्रून-मिन्कोव्स्की प्रमेय से मिलता है | एक समुच्चय के बीच ब्रून-मिन्कोव्स्की असमानता <math>S</math> और त्रिज्या के साथ एक गेंद <math>\epsilon</math>, अर्थात। <math>B_\epsilon=\epsilon B_1</math>. ब्रून-मिन्कोव्स्की असमानता को सत्ता में ले कर <math>n</math>, घटाना <math>\operatorname{vol}(S)</math> दोनों ओर से, उन्हें विभाजित करके <math>\epsilon</math>, और सीमा के रूप में ले रहा है <math>\epsilon\to 0.</math> ({{harvtxt|Osserman|1978}}; {{harvtxt|Federer|1969|loc=§3.2.43}}).


पूर्ण सामान्यता में {{harv|Federer|1969|loc=§3.2.43}}, isoperimetric असमानता बताती है कि किसी भी सेट के लिए <math>S\subset\R^n</math> जिसके सेट के बंद होने का परिमित Lebesgue माप है
पूर्ण सामान्यता में {{harv|Federer|1969|loc=§3.2.43}}, आइसोपेरिमेट्रिकअसमानता बताती है कि किसी भी समुच्चय के लिए <math>S\subset\R^n</math> जिसके समुच्चय के बंद होने का परिमित लेबेस्ग माप है


:<math>n\,\omega_n^{\frac{1}{n}} L^n(\bar{S})^{\frac{n-1}{n}} \le M^{n-1}_*(\partial S)</math>
:<math>n\,\omega_n^{\frac{1}{n}} L^n(\bar{S})^{\frac{n-1}{n}} \le M^{n-1}_*(\partial S)</math>
कहाँ पे <math>M_*^{n-1}</math> (n-1)-आयामी मिन्कोव्स्की सामग्री है, एल<sup>n</sup> n-आयामी Lebesgue माप है, और ω<sub>n</sub>[[यूनिट बॉल]] का आयतन है <math>\R^n</math>. यदि S की सीमा सुधार योग्य वक्र है, तो मिन्कोवस्की सामग्री (n-1)-आयामी हौसडॉर्फ माप है।
जहाँ पर <math>M_*^{n-1}</math> (n-1)-आयामी मिन्कोव्स्की सामग्री है, L<sup>n</sup> n-आयामी लेबेस्ग माप है, और ω<sub>n</sub> [[यूनिट बॉल]] <math>\R^n</math> का आयतन है, यदि S की सीमा सुधार योग्य वक्र है, तो मिन्कोवस्की सामग्री (n-1)-आयामी हौसडॉर्फ माप है।


एन-डायमेंशनल आइसोपेरिमेट्रिक असमानता [[सोबोलेव असमानता]] के बराबर (पर्याप्त रूप से चिकने डोमेन के लिए) है <math>\R^n</math> इष्टतम स्थिरांक के साथ:
n-डायमेंशनल आइसोपेरिमेट्रिक असमानता [[सोबोलेव असमानता]] के बराबर (पर्याप्त रूप से चिकने डोमेन के लिए) है <math>\R^n</math> इष्टतम स्थिरांक के साथ:


:<math>\left( \int_{\R^n} |u|^{\frac{n}{n-1}}\right)^{\frac{n-1}{n}} \le n^{-1}\omega_{n}^{-\frac{1}{n}}\int_{\R^n}|\nabla u|</math>
:<math>\left( \int_{\R^n} |u|^{\frac{n}{n-1}}\right)^{\frac{n-1}{n}} \le n^{-1}\omega_{n}^{-\frac{1}{n}}\int_{\R^n}|\nabla u|</math>
Line 81: Line 73:
== हैडमार्ड में कई गुना ==
== हैडमार्ड में कई गुना ==


[[हैडमार्ड कई गुना]] पूरी तरह से गैर-सकारात्मक वक्रता के साथ कई गुना जुड़े हुए हैं। इस प्रकार वे यूक्लिडियन स्थान का सामान्यीकरण करते हैं <math>\R^n</math>, जो शून्य वक्रता वाला एक हैडमार्ड मैनिफोल्ड है। 1970 और 1980 के दशक की शुरुआत में, [[थिएरी ऑबिन]], [[मिखाइल लियोनिदोविच ग्रोमोव]], [[यूरी बुरागो]] और [[विक्टर ज़ल्गलर]] ने अनुमान लगाया कि यूक्लिडियन समपरिमितीय असमानता
[[हैडमार्ड कई गुना]] पूरी तरह से गैर-सकारात्मक वक्रता के साथ कई गुना जुड़े हुए हैं। इस प्रकार वे यूक्लिडियन स्थान <math>\R^n</math> का सामान्यीकरण करते हैं, जो शून्य वक्रता वाला एक हैडमार्ड मैनिफोल्ड है। 1970 और 1980 के दशक के प्रारंभ में, [[थिएरी ऑबिन]], [[मिखाइल लियोनिदोविच ग्रोमोव]], [[यूरी बुरागो]] और [[विक्टर ज़ल्गलर]] ने अनुमान लगाया कि यूक्लिडियन समपरिमितीय असमानता
: : : : : : : : : : : : : : : : : : : : : : : : :<math>\operatorname{per}(S)\geq n \operatorname{vol}(S)^{\frac{n-1}{n}}\operatorname{vol}(B_1)^{\frac{1}{n}}</math>
: : : : : : : : : : : : : : : : : : : : : : : : :<math>\operatorname{per}(S)\geq n \operatorname{vol}(S)^{\frac{n-1}{n}}\operatorname{vol}(B_1)^{\frac{1}{n}}</math>
बंधे हुए सेट के लिए होल्ड करता है <math>S</math> हैडमार्ड मैनिफोल्ड्स में, जिसे कार्टन-हैडमार्ड अनुमान के रूप में जाना जाता है।
बंधे हुए समुच्चय के लिए होल्ड करता है <math>S</math> हैडमार्ड मैनिफोल्ड्स में, जिसे कार्टन-हैडमार्ड अनुमान के रूप में जाना जाता है।
 
आयाम 2 में यह पहले से ही 1926 में आंद्रे वेइल द्वारा स्थापित किया गया था, जो उस समय [[जैक्स हैडमार्ड]] के छात्र थे।
आयाम 2 में यह पहले से ही 1926 में आंद्रे वेइल द्वारा स्थापित किया गया था, जो उस समय [[जैक्स हैडमार्ड]] के छात्र थे।
आयाम 3 और 4 में अनुमान क्रमशः 1992 में [[ब्रूस क्लिनर]] और 1984 में [[क्रिस क्रोक]] द्वारा सिद्ध किया गया था।
आयाम 3 और 4 में अनुमान क्रमशः 1992 में [[ब्रूस क्लिनर]] और 1984 में [[क्रिस क्रोक]] द्वारा सिद्ध किया गया था।


== एक मीट्रिक माप अंतरिक्ष == में
=== एक मीट्रिक माप अंतरिक्ष में ===
 
आइसोपेरिमेट्रिक समस्या पर अधिकांश काम [[यूक्लिडियन अंतरिक्ष]] स्थान में चिकनी क्षेत्रों के संदर्भ में किया गया है, या अधिक सामान्यतः [[रीमैनियन कई गुना]] में किया गया है। चूंकि, मिन्कोस्की सामग्री की धारणा का उपयोग करके आइसोपेरिमेट्रिक समस्या को अधिक सामान्यता में तैयार किया जा सकता है। होने देना <math>(X, \mu, d)</math> एक मीट्रिक माप स्थान बनें: X [[मीट्रिक (गणित)]] d के साथ एक [[मीट्रिक स्थान]] है, और μ X पर एक बोरेल माप है। सीमा माप, या मिंकोवस्की सामग्री, X के एक [[औसत दर्जे का]] उपसमुच्चय A को [[lim inf]] के रूप में परिभाषित किया गया है।
आइसोपेरिमेट्रिक समस्या पर अधिकांश काम [[यूक्लिडियन अंतरिक्ष]] स्थान में चिकनी क्षेत्रों के संदर्भ में किया गया है, या अधिक आम तौर पर [[रीमैनियन कई गुना]] में किया गया है। हालांकि, मिन्कोस्की सामग्री की धारणा का उपयोग करके आइसोपेरिमेट्रिक समस्या को अधिक सामान्यता में तैयार किया जा सकता है। होने देना <math>(X, \mu, d)</math> एक मीट्रिक माप स्थान बनें: X [[मीट्रिक (गणित)]] d के साथ एक [[मीट्रिक स्थान]] है, और μ X पर एक बोरेल माप है। सीमा माप, या Minkowski सामग्री, X के एक [[औसत दर्जे का]] उपसमुच्चय A को [[lim inf]] के रूप में परिभाषित किया गया है।


: <math>\mu^+(A) = \liminf_{\varepsilon \to 0+} \frac{\mu(A_\varepsilon) - \mu(A)}{\varepsilon},</math>
: <math>\mu^+(A) = \liminf_{\varepsilon \to 0+} \frac{\mu(A_\varepsilon) - \mu(A)}{\varepsilon},</math>
कहाँ पे
जहाँ पर


: <math>A_\varepsilon = \{ x \in X | d(x, A) \leq \varepsilon \}</math>
: <math>A_\varepsilon = \{ x \in X | d(x, A) \leq \varepsilon \}</math>
A का ε-विस्तार है।
A का ε-विस्तार है।


एक्स में आइसोपेरिमेट्रिक समस्या पूछती है कि कितना छोटा हो सकता है <math>\mu^+(A)</math> दिए गए μ(A) के लिए हो। यदि एक्स सामान्य दूरी और लेबेसेग माप के साथ [[विमान (गणित)]] है तो यह प्रश्न क्लासिकल आइसोपेरिमेट्रिक समस्या को प्लेनर क्षेत्रों में सामान्यीकृत करता है जिनकी सीमा आवश्यक रूप से चिकनी नहीं है, हालांकि उत्तर समान हो जाता है।
एक्स में आइसोपेरिमेट्रिक समस्या पूछती है कि कितना छोटा हो सकता है <math>\mu^+(A)</math> दिए गए μ(A) के लिए हो। यदि एक्स सामान्य दूरी और लेबेसेग माप के साथ [[विमान (गणित)]] है तो यह प्रश्न क्लासिकल आइसोपेरिमेट्रिक समस्या को प्लेनर क्षेत्रों में सामान्यीकृत करता है जिनकी सीमा आवश्यक रूप से चिकनी नहीं है, चूंकि उत्तर समान हो जाता है।


कार्यक्रम
कार्यक्रम


:<math>I(a) = \inf \{ \mu^+(A) | \mu(A) = a\}</math>
:<math>I(a) = \inf \{ \mu^+(A) | \mu(A) = a\}</math>
मीट्रिक माप स्थान का आइसोपेरिमेट्रिक प्रोफ़ाइल कहा जाता है <math>(X, \mu, d)</math>. [[असतत समूह]]ों के [[केली ग्राफ]]के लिए आइसोपेरिमेट्रिक प्रोफाइल का अध्ययन किया गया है और रीमैनियन मैनिफोल्ड्स के विशेष वर्गों के लिए (जहां आमतौर पर केवल नियमित सीमा वाले क्षेत्रों को माना जाता है)।
मीट्रिक माप स्थान का आइसोपेरिमेट्रिक प्रोफ़ाइल कहा जाता है <math>(X, \mu, d)</math>. [[असतत समूह]] के [[केली ग्राफ]] के लिए आइसोपेरिमेट्रिक प्रोफाइल का अध्ययन किया गया है और रीमैनियन मैनिफोल्ड्स के विशेष वर्गों के लिए (जहां सामान्यतः केवल नियमित सीमा वाले क्षेत्रों को माना जाता है)।


== रेखांकन के लिए ==
== रेखांकन के लिए ==


{{main|Expander graph}}
{{main|विस्तारक ग्राफ}}
ग्राफ़ सिद्धांत में, आइसोपेरिमेट्रिक असमानताएं विस्तारक ग्राफ़ के अध्ययन के केंद्र में हैं, जो [[विरल ग्राफ]]हैं जिनमें मजबूत कनेक्टिविटी गुण हैं। [[कम्प्यूटेशनल जटिलता सिद्धांत]], मजबूत [[कंप्यूटर नेटवर्क]] के डिजाइन और त्रुटि-सुधार कोड के सिद्धांत के लिए कई अनुप्रयोगों के साथ विस्तारक निर्माण ने शुद्ध और अनुप्रयुक्त गणित में अनुसंधान को जन्म दिया है।<ref>{{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
ग्राफ़ सिद्धांत में, आइसोपेरिमेट्रिक असमानताएं विस्तारक ग्राफ़ के अध्ययन के केंद्र में हैं, जो [[विरल ग्राफ]] हैं जिनमें मजबूत संयोजी गुण हैं। [[कम्प्यूटेशनल जटिलता सिद्धांत]], मजबूत [[कंप्यूटर नेटवर्क]] के डिजाइन और त्रुटि-सुधार कोड के सिद्धांत के लिए कई अनुप्रयोगों के साथ विस्तारक निर्माण ने शुद्ध और अनुप्रयुक्त गणित में अनुसंधान को जन्म दिया है।<ref>{{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
रेखांकन के लिए आइसोपेरिमेट्रिक असमानताएं वर्टेक्स सबसेट के आकार को उनकी सीमा के आकार से संबंधित करती हैं, जिसे आमतौर पर सबसेट (एज एक्सपेंशन) छोड़ने वाले किनारों की संख्या या पड़ोसी वर्टिकल (वर्टेक्स एक्सपेंशन) की संख्या से मापा जाता है। एक ग्राफ के लिए <math>G</math> और एक संख्या <math>k</math>, ग्राफ़ के लिए निम्नलिखित दो मानक आइसोपेरिमेट्रिक पैरामीटर हैं।<ref>Definitions 4.2 and 4.3 of {{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
 
* बढ़त isoperimetric पैरामीटर:
रेखांकन के लिए आइसोपेरिमेट्रिक असमानताएं निर्देशांक सबसमुच्चय के आकार को उनकी सीमा के आकार से संबंधित करती हैं, जिसे सामान्यतः उपसमुच्चय (एज एक्सपेंशन) छोड़ने वाले किनारों की संख्या या निकटतम वर्टिकल (निर्देशांक एक्सपेंशन) की संख्या से मापा जाता है। एक ग्राफ के लिए <math>G</math> और एक संख्या <math>k</math>, ग्राफ़ के लिए निम्नलिखित दो मानक आइसोपेरिमेट्रिक पैरामीटर हैं।<ref>Definitions 4.2 and 4.3 of {{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
* बढ़त आइसोपेरिमेट्रिकपैरामीटर:
::<math>\Phi_E(G,k)=\min_{S\subseteq V} \left\{|E(S,\overline{S})| : |S|=k \right\}</math>
::<math>\Phi_E(G,k)=\min_{S\subseteq V} \left\{|E(S,\overline{S})| : |S|=k \right\}</math>
* वर्टेक्स आइसोपेरिमेट्रिक पैरामीटर:
* निर्देशांक आइसोपेरिमेट्रिक पैरामीटर:
::<math>\Phi_V(G,k)=\min_{S\subseteq V} \left\{|\Gamma(S)\setminus S| : |S|=k \right\}</math>
::<math>\Phi_V(G,k)=\min_{S\subseteq V} \left\{|\Gamma(S)\setminus S| : |S|=k \right\}</math>
यहां <math>E(S,\overline{S})</math> छोड़ने वाले किनारों के सेट को दर्शाता है <math>S</math> तथा <math>\Gamma(S)</math> वर्टिकल के सेट को दर्शाता है जिसमें एक पड़ोसी है <math>S</math>. आइसोपेरिमेट्रिक समस्या में यह समझना शामिल है कि पैरामीटर कैसे हैं <math>\Phi_E</math> तथा <math>\Phi_V</math> ग्राफ के प्राकृतिक परिवारों के लिए व्यवहार करें।
यहां <math>E(S,\overline{S})</math> छोड़ने वाले किनारों के समुच्चय को दर्शाता है <math>S</math> तथा <math>\Gamma(S)</math> वर्टिकल के समुच्चय को दर्शाता है जिसमें एक निकटतम है <math>S</math>. आइसोपेरिमेट्रिक समस्या में यह समझना सम्मलित है कि पैरामीटर कैसे हैं <math>\Phi_E</math> तथा <math>\Phi_V</math> ग्राफ के प्राकृतिक परिवारों के लिए व्यवहार करें।
 
उदाहरण: हाइपरक्यूब के लिए आइसोपेरिमेट्रिक असमानताएँ <math>d</math>वें आयामी [[अतिविम]] <math>Q_d</math> वह ग्राफ है जिसके शीर्ष लंबाई के सभी बूलियन वैक्टर हैं <math>d</math>, अर्थात समुच्चय <math>\{0,1\}^d</math>. ऐसे दो सदिश एक किनारे से जुड़े हुए हैं <math>Q_d</math> यदि वे एक बिट फ्लिप के बराबर हैं, अर्थात उनकी [[हैमिंग दूरी]] बिल्कुल एक है।


=== उदाहरण: हाइपरक्यूब के लिए आइसोपेरिमेट्रिक असमानताएँ === <math>d</math>वें>-आयामी [[अतिविम]] <math>Q_d</math> वह ग्राफ है जिसके शीर्ष लंबाई के सभी बूलियन वैक्टर हैं <math>d</math>, यानी सेट <math>\{0,1\}^d</math>. ऐसे दो सदिश एक किनारे से जुड़े हुए हैं <math>Q_d</math> यदि वे एक बिट फ्लिप के बराबर हैं, अर्थात उनकी [[हैमिंग दूरी]] बिल्कुल एक है।
बूलियन हाइपरक्यूब के लिए आइसोपेरिमेट्रिक असमानताएँ निम्नलिखित हैं।<ref>See {{harvtxt|Bollobás|1986}} and Section 4 in {{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
बूलियन हाइपरक्यूब के लिए आइसोपेरिमेट्रिक असमानताएँ निम्नलिखित हैं।<ref>See {{harvtxt|Bollobás|1986}} and Section 4 in {{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
==== धार परिमितीय असमानता है ====
==== धार परिमितीय असमानता है ====
हाइपरक्यूब का किनारा आइसोपेरिमेट्रिक असमानता है <math>\Phi_E(Q_d,k) \geq k(d-\log_2 k)</math>. यह बाउंड तंग है, जैसा कि प्रत्येक सेट द्वारा देखा गया है <math>S</math> जो कि किसी उपघन के शीर्षों का समुच्चय है <math>Q_d</math>.
हाइपरक्यूब का किनारा आइसोपेरिमेट्रिक असमानता है <math>\Phi_E(Q_d,k) \geq k(d-\log_2 k)</math>. यह बाउंड तंग है, जैसा कि प्रत्येक <math>S</math> समुच्चय द्वारा देखा गया है जो कि किसी उपघन के शीर्षों का समुच्चय <math>Q_d</math> है


==== शीर्ष संपरिमितीय असमानता है ====
==== शीर्ष संपरिमितीय असमानता है ====
हार्पर की प्रमेय<ref>Cf. {{harvtxt|Calabro|2004}} or {{harvtxt|Bollobás|1986}}</ref> कहते हैं कि हैमिंग बॉल्स में दिए गए आकार के सभी सेटों में सबसे छोटी वर्टेक्स सीमा होती है। हैमिंग बॉल्स ऐसे सेट होते हैं जिनमें [[हैमिंग वजन]] के सभी बिंदु अधिक से अधिक होते हैं <math>r</math> और हैमिंग वजन का कोई बिंदु इससे बड़ा नहीं है <math>r+1</math> कुछ पूर्णांक के लिए <math>r</math>. इस प्रमेय का तात्पर्य है कि कोई भी सेट <math>S\subseteq V</math> साथ
हार्पर की प्रमेय<ref>Cf. {{harvtxt|Calabro|2004}} or {{harvtxt|Bollobás|1986}}</ref> कहते हैं कि हैमिंग बॉल्स में दिए गए आकार के सभी समुच्चयों में सबसे छोटी निर्देशांक सीमा होती है। हैमिंग बॉल्स ऐसे समुच्चय होते हैं जिनमें [[हैमिंग वजन]] के सभी बिंदु अधिक से अधिक होते हैं <math>r</math> और हैमिंग वजन <math>r+1</math> का कोई बिंदु इससे बड़ा नहीं है कुछ पूर्णांक के लिए <math>r</math>. इस प्रमेय का तात्पर्य है कि कोई भी समुच्चय <math>S\subseteq V</math> साथ


:<math>|S|\geq\sum_{i=0}^{r} {d\choose i}</math>
:<math>|S|\geq\sum_{i=0}^{r} {d\choose i}</math>
Line 129: Line 122:


:<math>|S\cup\Gamma(S)|\geq \sum_{i=0}^{r+1}{d\choose i}.</math><ref>cf. {{harvtxt|Leader|1991}}</ref>
:<math>|S\cup\Gamma(S)|\geq \sum_{i=0}^{r+1}{d\choose i}.</math><ref>cf. {{harvtxt|Leader|1991}}</ref>
एक विशेष मामले के रूप में, निर्धारित आकारों पर विचार करें <math>k=|S|</math> फार्म का
एक विशेष स्थिति के रूप में, निर्धारित आकारों पर विचार करें <math>k=|S|</math> फार्म का


:<math>k={d \choose 0} + {d \choose 1} + \dots + {d \choose r}</math>
:<math>k={d \choose 0} + {d \choose 1} + \dots + {d \choose r}</math>
कुछ पूर्णांक के लिए <math>r</math>. फिर ऊपर का तात्पर्य है कि सटीक वर्टेक्स आइसोपेरिमेट्रिक पैरामीटर है
कुछ पूर्णांक के लिए <math>r</math>. फिर ऊपर का तात्पर्य है कि सटीक निर्देशांक आइसोपेरिमेट्रिक पैरामीटर है


:<math>\Phi_V(Q_d,k) = {d\choose r+1}.</math><ref>Also stated in {{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>
:<math>\Phi_V(Q_d,k) = {d\choose r+1}.</math><ref>Also stated in {{harvtxt|Hoory|Linial|Widgerson|2006}}</ref>


==त्रिभुजों के लिए समपरिमितीय असमानता==
==त्रिभुजों के लिए समपरिमितीय असमानता==
Line 141: Line 133:
परिमाप p और क्षेत्रफल T के संदर्भ में त्रिभुजों के लिए समपरिमितीय असमानता बताती है कि<ref name=Chakerian>Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in ''Mathematical Plums'' (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.</ref><ref>{{Cite web | url=https://math.stackexchange.com/q/2325779 |title = त्रिभुजों के लिए समपरिमितीय असमानता}}</ref>
परिमाप p और क्षेत्रफल T के संदर्भ में त्रिभुजों के लिए समपरिमितीय असमानता बताती है कि<ref name=Chakerian>Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in ''Mathematical Plums'' (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.</ref><ref>{{Cite web | url=https://math.stackexchange.com/q/2325779 |title = त्रिभुजों के लिए समपरिमितीय असमानता}}</ref>
:<math>p^2 \ge 12\sqrt{3} \cdot T,</math>
:<math>p^2 \ge 12\sqrt{3} \cdot T,</math>
समबाहु त्रिभुज के लिए समानता के साथ। यह अंकगणित और ज्यामितीय साधनों की असमानता के माध्यम से निहित है। एएम-जीएम असमानता, एक मजबूत असमानता से जिसे त्रिभुजों के लिए आइसोपेरिमेट्रिक असमानता भी कहा जाता है:<ref>Dragutin Svrtan and Darko Veljan, "Non-Euclidean Versions of Some Classical Triangle Inequalities", ''Forum Geometricorum'' 12, 2012, 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217.pdf</ref>
समबाहु त्रिभुज के लिए समानता के साथ यह अंकगणित और ज्यामितीय साधनों की असमानता के माध्यम से निहित है। am-gm असमानता, एक मजबूत असमानता से जिसे त्रिभुजों के लिए आइसोपेरिमेट्रिक असमानता भी कहा जाता है:<ref>Dragutin Svrtan and Darko Veljan, "Non-Euclidean Versions of Some Classical Triangle Inequalities", ''Forum Geometricorum'' 12, 2012, 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217.pdf</ref>
:<math>T \le \frac{\sqrt{3}}{4}(abc)^{\frac{2}{3}}.</math>
:<math>T \le \frac{\sqrt{3}}{4}(abc)^{\frac{2}{3}}.</math>
 
== यह भी देखें{{Portal|Mathematics}}==
 
== यह भी देखें ==
{{Portal|Mathematics}}
* ब्लाश्के-लेबेस्ग प्रमेय
* ब्लाश्के-लेबेस्ग प्रमेय
* [[चैपलिन समस्या]]
* [[चैपलिन समस्या]]
Line 186: Line 175:
== बाहरी संबंध ==
== बाहरी संबंध ==
{{commons category|Isoperimetric inequality}}
{{commons category|Isoperimetric inequality}}
*[https://web.archive.org/web/20070715043457/http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument&nodeId=1186&bodyId=1314 History of the Isoperimetric Problem] at [https://web.archive.org/web/20070713083148/http://mathdl.maa.org/convergence/1/ Convergence]
*[https://web.archive.org/web/20070715043457/http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument&nodeId=1186&bodyId=1314 History of the आइसोपेरिमेट्रिकProblem] at [https://web.archive.org/web/20070713083148/http://mathdl.maa.org/convergence/1/ Convergence]
* [http://www.math.utah.edu/~treiberg/isoperim/isop.pdf Treiberg: Several proofs of the isoperimetric inequality]
* [http://www.math.utah.edu/~treiberg/isoperim/isop.pdf Treiberg: Several proofs of the आइसोपेरिमेट्रिकinequality]
* [http://www.cut-the-knot.org/do_you_know/isoperimetric.shtml Isoperimetric Theorem] at [[cut-the-knot]]
* [http://www.cut-the-knot.org/do_you_know/isoperimetric.shtml आइसोपेरिमेट्रिकTheorem] at [[cut-the-knot]]
[[Category:बहुभिन्नरूपी कलन]]
[[Category: विविधताओं की गणना]]
[[Category:ज्यामितीय असमानताएं]]
[[Category: विश्लेषणात्मक ज्यामिति]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[Category:Articles with short description]]
[[Category:CS1 español-language sources (es)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 25/11/2022]]
[[Category:Created On 25/11/2022]]
[[Category:Exclude in print]]
[[Category:Interwiki category linking templates]]
[[Category:Interwiki link templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal templates with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikimedia Commons templates]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:ज्यामितीय असमानताएं]]
[[Category:बहुभिन्नरूपी कलन]]
[[Category:विविधताओं की गणना]]
[[Category:विश्लेषणात्मक ज्यामिति]]

Latest revision as of 22:17, 7 December 2022

गणित में, आइसोपेरिमेट्रिक असमानता एक ज्यामिति असमानता (गणित) है जिसमें इस समूह की परिधि और उसकी मात्रा सम्मलित होती है। -आयामी स्थान में असमानता सतह क्षेत्र या परिधि को कम करती है एक समुच्चय का इसकी मात्रा से

,

जहाँ पर एक इकाई क्षेत्र है। समानता तभी होती है जब में एक गोला है .

समतल पर, अर्थात जब , हो तब आइसोपेरिमेट्रिक असमानता बंद वक्र की परिधि के वर्ग और एक समतल क्षेत्र के क्षेत्र को घेरती है। wikt:आइसोपेरिमेट्रिकअंग्रेजी का शाब्दिक अर्थ है जो सामान परिमाप के लिए होता हैं, विशेष रूप से में आइसोपेरिमेट्रिक असमानता बताती है, एक बंद वक्र की लंबाई L और समतल क्षेत्र के A क्षेत्र के लिए जो इसे इस प्रकार घेरता है कि

और यह समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त के रूप में हो।

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

आइसोपेरिमेट्रिक समस्या को कई तरीकों से विस्तारित किया गया है, उदाहरण के लिए, सतहों की विभेदक ज्यामिति पर घटता और उच्च-आयामी स्थानों में क्षेत्रों के लिए। संभवतः 3-आयामी आइसोपेरिमेट्रिक असमानता का सबसे परिचित भौतिक अभिव्यक्ति पानी की एक बूंद का आकार है। अर्थात्, एक बूंद सामान्यतः एक सममित गोल आकार ग्रहण करेगी। चूँकि एक बूंद में पानी की मात्रा स्थिर होती है, पृष्ठ तनाव बूंद को एक ऐसे आकार में धकेल देता है जो बूंद के सतह क्षेत्र को कम कर देता है, अर्थात् एक गोल गोला।

विमान में आइसोपेरिमेट्रिक समस्या

यदि कोई क्षेत्र उत्तल नहीं है, तो परिधि को अपरिवर्तित रखते हुए क्षेत्र के क्षेत्र को बढ़ाने के लिए इसकी सीमा में एक गड्ढा फ़्लिप किया जा सकता है।
किसी दीर्घ आकृति का परिमाप स्थिर रखते हुए तथा क्षेत्रफल बढ़ाते हुए उसे और गोल बनाया जा सकता है।

मौलिक आइसोपेरिमेट्रिक समस्या प्राचीन काल की है।[2] इस समस्या को इस प्रकार कहा जाता है: निश्चित परिधि के तल में सभी बंद वक्र में से कौन सा वक्र (यदि कोई हो) अपने परिबद्ध क्षेत्र के क्षेत्रफल को अधिकतम करता है? इस प्रश्न को निम्नलिखित समस्या के समतुल्य दिखाया जाता है: एक निश्चित क्षेत्र को घेरने वाले तल में सभी बंद वक्रों में से कौन सा वक्र (यदि कोई है) परिमाप को न्यूनतम करता है?

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

यद्यपि वृत्त समस्या का एक स्पष्ट समाधान प्रतीत होता है, इस तथ्य को सिद्ध करना अपेक्षाकृत कठिन है। समाधान की दिशा में पहली प्रगति 1838 में स्विस जियोमीटर जैकब स्टेनर द्वारा की गई थी, बाद में एक ज्यामितीय विधि का उपयोग करके जिसे बाद में सिमेट्रिज़ेशन मेथड्स स्टेनर समभागीकरण नाम दिया गया।[3] स्टाइनर ने दिखाया कि यदि कोई हल सम्मलित है, तो वह वृत्त होना चाहिए। स्टेनर की उपपत्ति को बाद में कई अन्य गणितज्ञों ने पूरा किया।

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

एक विमान पर

समपरिमितीय समस्या का समाधान सामान्यतः असमानता के रूप में व्यक्त किया जाता है जो एक बंद वक्र की लंबाई एल और समतलीय क्षेत्र के क्षेत्र A से संबंधित होता है जो इसे घेरता है। 'आइसोपेरिमेट्रिक असमानता' बताती है कि

और यह कि समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त हो। त्रिज्या R की एक डिस्क का क्षेत्रफल πR2 है और वृत्त की परिधि 2πR है, इसलिए असमानता के दोनों पक्ष 4πR2 के बराबर हैं।

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

और समपरिमितीय असमानता कहती है कि Q ≤ 1. समान रूप से, समपरिमितीय अनुपात L2/A कम से कम 4π है प्रत्येक वक्र के लिए एक नियमित n-गॉन का समपरिमितीय भागफल है

एक चिकनी नियमित उत्तल बंद वक्र बनें। इसके पश्चात सबसे सही आइसोपेरिमेट्रिक असमानता निम्नलिखित बताती है

जहाँ पर की लंबाई निरूपित करें से घिरा हुआ क्षेत्र और विग्नर कास्टिक का उन्मुख क्षेत्र , क्रमशः समानता रखती है यदि स्थिर चौड़ाई का एक वक्र है।[4]

गोले पर

मान लीजिए C त्रिज्या के एक गोले पर एक सरल बंद वक्र है। L द्वारा C की लंबाई और A द्वारा C से घिरे क्षेत्र को निरूपित करें। 'गोलाकार समपरिमितीय असमानता' में कहा गया है कि

और यह कि समानता तब और केवल तभी लागू होती है जब वक्र एक वृत्त हो। वास्तव में, एक साधारण बंद वक्र से घिरे गोलाकार क्षेत्र को मापने के दो तरीके हैं, लेकिन पूरक लेने के संबंध में असमानता सममित है।

इस असमानता की खोज पॉल लेवी (गणितज्ञ) | पॉल लेवी (1919) ने की थी जिन्होंने इसे उच्च आयामों और सामान्य सतहों तक भी बढ़ाया।[5]

त्रिज्या R के अधिक सामान्य स्थिति में यह ज्ञात है [6] वह

Rn में

आइसोपेरिमेट्रिक असमानता बताती है कि एक गोले में प्रति दिए गए आयतन का सबसे छोटा सतह क्षेत्र होता है। एक परिबद्ध समुच्चय दिया गया है सतह क्षेत्र के साथ और मात्रा , आइसोपेरिमेट्रिक असमानता स्थिति में

जहाँ पर एक इकाई गोला है। समानता कब होती है में एक गेंद है . समुच्चय पर अतिरिक्त प्रतिबंधों के अनुसार (जैसे उत्तल समुच्चय, बंद नियमित समुच्चय, चिकनी सतह), समानता केवल एक गेंद के लिए होती है। लेकिन पूर्ण व्यापकता में स्थिति अधिक जटिल है। का प्रासंगिक परिणाम श्मिट (1949, Sect. 20.7) (सरल प्रमाण के लिए देखें बेबलर (1957)) में स्पष्ट किया गया है हैडविगर (1957, Sect. 5.2.5) निम्नलिखित नुसार। एक चरम समुच्चय में एक गेंद और एक कोरोना होता है जो न तो मात्रा और न ही सतह क्षेत्र में योगदान देता है। यही है, समानता एक कॉम्पैक्ट समुच्चय के लिए है यदि और केवल यदि एक बंद गेंद सम्मलित है ऐसा है कि तथा उदाहरण के लिए, कोरोना का एक वक्र हो सकता है।

असमानता का प्रमाण सीधे ब्रून-मिन्कोव्स्की प्रमेय से मिलता है | एक समुच्चय के बीच ब्रून-मिन्कोव्स्की असमानता और त्रिज्या के साथ एक गेंद , अर्थात। . ब्रून-मिन्कोव्स्की असमानता को सत्ता में ले कर , घटाना दोनों ओर से, उन्हें विभाजित करके , और सीमा के रूप में ले रहा है (Osserman (1978); Federer (1969, §3.2.43)).

पूर्ण सामान्यता में (Federer 1969, §3.2.43), आइसोपेरिमेट्रिकअसमानता बताती है कि किसी भी समुच्चय के लिए जिसके समुच्चय के बंद होने का परिमित लेबेस्ग माप है

जहाँ पर (n-1)-आयामी मिन्कोव्स्की सामग्री है, Ln n-आयामी लेबेस्ग माप है, और ωn यूनिट बॉल का आयतन है, यदि S की सीमा सुधार योग्य वक्र है, तो मिन्कोवस्की सामग्री (n-1)-आयामी हौसडॉर्फ माप है।

n-डायमेंशनल आइसोपेरिमेट्रिक असमानता सोबोलेव असमानता के बराबर (पर्याप्त रूप से चिकने डोमेन के लिए) है इष्टतम स्थिरांक के साथ:

सभी के लिए .

हैडमार्ड में कई गुना

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

: : : : : : : : : : : : : : : : : : : : : : : :

बंधे हुए समुच्चय के लिए होल्ड करता है हैडमार्ड मैनिफोल्ड्स में, जिसे कार्टन-हैडमार्ड अनुमान के रूप में जाना जाता है।

आयाम 2 में यह पहले से ही 1926 में आंद्रे वेइल द्वारा स्थापित किया गया था, जो उस समय जैक्स हैडमार्ड के छात्र थे।

आयाम 3 और 4 में अनुमान क्रमशः 1992 में ब्रूस क्लिनर और 1984 में क्रिस क्रोक द्वारा सिद्ध किया गया था।

एक मीट्रिक माप अंतरिक्ष में

आइसोपेरिमेट्रिक समस्या पर अधिकांश काम यूक्लिडियन अंतरिक्ष स्थान में चिकनी क्षेत्रों के संदर्भ में किया गया है, या अधिक सामान्यतः रीमैनियन कई गुना में किया गया है। चूंकि, मिन्कोस्की सामग्री की धारणा का उपयोग करके आइसोपेरिमेट्रिक समस्या को अधिक सामान्यता में तैयार किया जा सकता है। होने देना एक मीट्रिक माप स्थान बनें: X मीट्रिक (गणित) d के साथ एक मीट्रिक स्थान है, और μ X पर एक बोरेल माप है। सीमा माप, या मिंकोवस्की सामग्री, X के एक औसत दर्जे का उपसमुच्चय A को lim inf के रूप में परिभाषित किया गया है।

जहाँ पर

A का ε-विस्तार है।

एक्स में आइसोपेरिमेट्रिक समस्या पूछती है कि कितना छोटा हो सकता है दिए गए μ(A) के लिए हो। यदि एक्स सामान्य दूरी और लेबेसेग माप के साथ विमान (गणित) है तो यह प्रश्न क्लासिकल आइसोपेरिमेट्रिक समस्या को प्लेनर क्षेत्रों में सामान्यीकृत करता है जिनकी सीमा आवश्यक रूप से चिकनी नहीं है, चूंकि उत्तर समान हो जाता है।

कार्यक्रम

मीट्रिक माप स्थान का आइसोपेरिमेट्रिक प्रोफ़ाइल कहा जाता है . असतत समूह के केली ग्राफ के लिए आइसोपेरिमेट्रिक प्रोफाइल का अध्ययन किया गया है और रीमैनियन मैनिफोल्ड्स के विशेष वर्गों के लिए (जहां सामान्यतः केवल नियमित सीमा वाले क्षेत्रों को माना जाता है)।

रेखांकन के लिए

ग्राफ़ सिद्धांत में, आइसोपेरिमेट्रिक असमानताएं विस्तारक ग्राफ़ के अध्ययन के केंद्र में हैं, जो विरल ग्राफ हैं जिनमें मजबूत संयोजी गुण हैं। कम्प्यूटेशनल जटिलता सिद्धांत, मजबूत कंप्यूटर नेटवर्क के डिजाइन और त्रुटि-सुधार कोड के सिद्धांत के लिए कई अनुप्रयोगों के साथ विस्तारक निर्माण ने शुद्ध और अनुप्रयुक्त गणित में अनुसंधान को जन्म दिया है।[7]

रेखांकन के लिए आइसोपेरिमेट्रिक असमानताएं निर्देशांक सबसमुच्चय के आकार को उनकी सीमा के आकार से संबंधित करती हैं, जिसे सामान्यतः उपसमुच्चय (एज एक्सपेंशन) छोड़ने वाले किनारों की संख्या या निकटतम वर्टिकल (निर्देशांक एक्सपेंशन) की संख्या से मापा जाता है। एक ग्राफ के लिए और एक संख्या , ग्राफ़ के लिए निम्नलिखित दो मानक आइसोपेरिमेट्रिक पैरामीटर हैं।[8]

  • बढ़त आइसोपेरिमेट्रिकपैरामीटर:
  • निर्देशांक आइसोपेरिमेट्रिक पैरामीटर:

यहां छोड़ने वाले किनारों के समुच्चय को दर्शाता है तथा वर्टिकल के समुच्चय को दर्शाता है जिसमें एक निकटतम है . आइसोपेरिमेट्रिक समस्या में यह समझना सम्मलित है कि पैरामीटर कैसे हैं तथा ग्राफ के प्राकृतिक परिवारों के लिए व्यवहार करें।

उदाहरण: हाइपरक्यूब के लिए आइसोपेरिमेट्रिक असमानताएँ वें आयामी अतिविम वह ग्राफ है जिसके शीर्ष लंबाई के सभी बूलियन वैक्टर हैं , अर्थात समुच्चय . ऐसे दो सदिश एक किनारे से जुड़े हुए हैं यदि वे एक बिट फ्लिप के बराबर हैं, अर्थात उनकी हैमिंग दूरी बिल्कुल एक है।

बूलियन हाइपरक्यूब के लिए आइसोपेरिमेट्रिक असमानताएँ निम्नलिखित हैं।[9]

धार परिमितीय असमानता है

हाइपरक्यूब का किनारा आइसोपेरिमेट्रिक असमानता है . यह बाउंड तंग है, जैसा कि प्रत्येक समुच्चय द्वारा देखा गया है जो कि किसी उपघन के शीर्षों का समुच्चय है

शीर्ष संपरिमितीय असमानता है

हार्पर की प्रमेय[10] कहते हैं कि हैमिंग बॉल्स में दिए गए आकार के सभी समुच्चयों में सबसे छोटी निर्देशांक सीमा होती है। हैमिंग बॉल्स ऐसे समुच्चय होते हैं जिनमें हैमिंग वजन के सभी बिंदु अधिक से अधिक होते हैं और हैमिंग वजन का कोई बिंदु इससे बड़ा नहीं है कुछ पूर्णांक के लिए . इस प्रमेय का तात्पर्य है कि कोई भी समुच्चय साथ

संतुष्ट

[11]

एक विशेष स्थिति के रूप में, निर्धारित आकारों पर विचार करें फार्म का

कुछ पूर्णांक के लिए . फिर ऊपर का तात्पर्य है कि सटीक निर्देशांक आइसोपेरिमेट्रिक पैरामीटर है

[12]

त्रिभुजों के लिए समपरिमितीय असमानता

परिमाप p और क्षेत्रफल T के संदर्भ में त्रिभुजों के लिए समपरिमितीय असमानता बताती है कि[13][14]

समबाहु त्रिभुज के लिए समानता के साथ यह अंकगणित और ज्यामितीय साधनों की असमानता के माध्यम से निहित है। am-gm असमानता, एक मजबूत असमानता से जिसे त्रिभुजों के लिए आइसोपेरिमेट्रिक असमानता भी कहा जाता है:[15]

यह भी देखें

टिप्पणियाँ

  1. Blåsjö, Viktor (2005). "आइसोपेरिमेट्रिक समस्या का विकास". Amer. Math. Monthly. 112 (6): 526–566. doi:10.2307/30037526. JSTOR 30037526.
  2. Olmo, Carlos Beltrán, Irene (2021-01-04). "साथियों और मिथकों के बारे में". EL PAÍS (in español). Retrieved 2021-01-14.{{cite web}}: CS1 maint: multiple names: authors list (link)
  3. J. Steiner, Einfacher Beweis der isoperimetrischen Hauptsätze, J. reine angew Math. 18, (1838), pp. 281–296; and Gesammelte Werke Vol. 2, pp. 77–91, Reimer, Berlin, (1882).
  4. Zwierzyński, Michał (2016). "बेहतर आइसोपेरिमेट्रिक असमानता और प्लानर ओवल के विग्नर कास्टिक". J. Math. Anal. Appl. 442 (2): 726–739. arXiv:1512.06684. doi:10.1016/j.jmaa.2016.05.016. S2CID 119708226.
  5. Gromov, Mikhail; Pansu, Pierre (2006). "Appendix C. Paul Levy's Isoperimetric Inequality". रीमैनियन और गैर-रिमैनियन स्पेस के लिए मीट्रिक संरचनाएं. Modern Birkhäuser Classics. Dordrecht: Springer. p. 519. ISBN 9780817645830.
  6. Osserman, Robert. "The Isoperimetric Inequality." Bulletin of the American Mathematical Society. 84.6 (1978) http://www.ams.org/journals/bull/1978-84-06/S0002-9904-1978-14553-4/S0002-9904-1978-14553-4.pdf
  7. Hoory, Linial & Widgerson (2006)
  8. Definitions 4.2 and 4.3 of Hoory, Linial & Widgerson (2006)
  9. See Bollobás (1986) and Section 4 in Hoory, Linial & Widgerson (2006)
  10. Cf. Calabro (2004) or Bollobás (1986)
  11. cf. Leader (1991)
  12. Also stated in Hoory, Linial & Widgerson (2006)
  13. Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.
  14. "त्रिभुजों के लिए समपरिमितीय असमानता".
  15. Dragutin Svrtan and Darko Veljan, "Non-Euclidean Versions of Some Classical Triangle Inequalities", Forum Geometricorum 12, 2012, 197–209. http://forumgeom.fau.edu/FG2012volume12/FG201217.pdf


संदर्भ


बाहरी संबंध