अवमुख समुच्चय: Difference between revisions

From Vigyanwiki
m (Abhishek moved page उत्तल सेट to अवमुख समुच्चय without leaving a redirect)
No edit summary
 
(18 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|In geometry, set whose intersection with every line is a single line segment}}
{{short description|In geometry, set whose intersection with every line is a single line segment}}
[[File:Convex polygon illustration1.svg|right|thumb|उत्तल सेट का चित्रण जो कुछ-कुछ विकृत वृत्त जैसा दिखता है। रेखा खंड, जो ऊपर काले रंग में दिखाया गया है, बिंदु x और y को मिलाते हुए, सेट के भीतर पूरी तरह से स्थित है, जिसे हरे रंग में दिखाया गया है। चूंकि यह उपरोक्त सेट के भीतर किन्हीं दो बिंदुओं के संभावित स्थानों के लिए सही है, सेट उत्तल है।]]
[[File:Convex polygon illustration1.svg|right|thumb|उत्तल समुच्चय का चित्रण जो कुछ-कुछ विकृत वृत्त जैसा दिखता है। रेखा खंड, जो ऊपर काले रंग में दिखाया गया है, बिंदु x और y को मिलाते हुए, समुच्चय के भीतर पूरी तरह से स्थित है, जिसे हरे रंग में दिखाया गया है। चूंकि यह उपरोक्त समुच्चय के भीतर किन्हीं दो बिंदुओं के संभावित स्थानों के लिए सही है, समुच्चय उत्तल है।]]
[[File:Convex polygon illustration2.svg|right|thumb|एक गैर-उत्तल सेट का चित्रण। उपरोक्त रेखा खंड द्वारा चित्रित किया गया है जिससे यह काले रंग से लाल रंग में बदल जाता है। हरे रंग में दिखाया गया यह उपरोक्त सेट गैर-उत्तल क्यों है इसका उदाहरण।]][[ज्यामिति]] में, एक [[यूक्लिडियन अंतरिक्ष]] का एक उपसमुच्चय, या अधिक आम तौर पर [[वास्तविक संख्या]] पर एक संबधित स्थान उत्तल होता है, यदि उपसमुच्चय में कोई दो बिंदु दिए गए हों, तो उपसमुच्चय में उनसे जुड़ने वाला संपूर्ण [[रेखा खंड]] होता है। समतुल्य रूप से, उत्तल सेट या उत्तल क्षेत्र एक उपसमुच्चय है जो प्रत्येक [[रेखा (ज्यामिति)]] को एक रेखा खंड (संभवतः खाली) में प्रतिच्छेद करता है।<ref>{{cite book|last1=Morris|first1=Carla C.|last2=Stark|first2=Robert M.|title=परिमित गणित: मॉडल और अनुप्रयोग|date=24 August 2015|publisher=John Wiley & Sons|isbn=9781119015383|page=121|url=https://books.google.com/books?id=ZgJyCgAAQBAJ&q=convex+region&pg=PA121|access-date=5 April 2017|language=en}}</ref><ref>{{cite journal|last1=Kjeldsen|first1=Tinne Hoff|title=उत्तलता और गणितीय प्रोग्रामिंग का इतिहास|journal=Proceedings of the International Congress of Mathematicians|issue=ICM 2010|pages=3233–3257|doi=10.1142/9789814324359_0187|url=http://www.mathunion.org/ICM/ICM2010.4/Main/icm2010.4.3233.3257.pdf|access-date=5 April 2017|url-status=dead|archive-url=https://web.archive.org/web/20170811100026/http://www.mathunion.org/ICM/ICM2010.4/Main/icm2010.4.3233.3257.pdf|archive-date=2017-08-11}}</ref>
[[File:Convex polygon illustration2.svg|right|thumb|एक गैर-उत्तल समुच्चय का चित्रण। उपरोक्त रेखा खंड द्वारा चित्रित किया गया है जिससे यह काले रंग से लाल रंग में बदल जाता है। हरे रंग में दिखाया गया यह उपरोक्त समुच्चय गैर-उत्तल क्यों है इसका उदाहरण।]][[ज्यामिति]] में, एक [[यूक्लिडियन अंतरिक्ष]] का एक उपसमुच्चय, या अधिक सामान्यतः [[वास्तविक संख्या]] पर एक संबधित स्थान उत्तल होता है, यदि उपसमुच्चय में कोई दो बिंदु दिए गए हों, तो उपसमुच्चय में उनसे जुड़ने वाला संपूर्ण [[रेखा खंड]] होता है। समतुल्य रूप से, उत्तल समुच्चय या उत्तल क्षेत्र एक उपसमुच्चय है जो प्रत्येक [[रेखा (ज्यामिति)]] को एक रेखा खंड (संभवतः खाली) में प्रतिच्छेद करता है।<ref>{{cite book|last1=Morris|first1=Carla C.|last2=Stark|first2=Robert M.|title=परिमित गणित: मॉडल और अनुप्रयोग|date=24 August 2015|publisher=John Wiley & Sons|isbn=9781119015383|page=121|url=https://books.google.com/books?id=ZgJyCgAAQBAJ&q=convex+region&pg=PA121|access-date=5 April 2017|language=en}}</ref><ref>{{cite journal|last1=Kjeldsen|first1=Tinne Hoff|title=उत्तलता और गणितीय प्रोग्रामिंग का इतिहास|journal=Proceedings of the International Congress of Mathematicians|issue=ICM 2010|pages=3233–3257|doi=10.1142/9789814324359_0187|url=http://www.mathunion.org/ICM/ICM2010.4/Main/icm2010.4.3233.3257.pdf|access-date=5 April 2017|url-status=dead|archive-url=https://web.archive.org/web/20170811100026/http://www.mathunion.org/ICM/ICM2010.4/Main/icm2010.4.3233.3257.pdf|archive-date=2017-08-11}}</ref>
उदाहरण के लिए, एक ठोस [[घन (ज्यामिति)]] एक उत्तल सेट है, लेकिन कुछ भी जो खोखला है या एक इंडेंट है, उदाहरण के लिए, एक [[वर्धमान]] आकार, उत्तल नहीं है।
उदाहरण के लिए, एक ठोस [[घन (ज्यामिति)]] एक उत्तल समुच्चय है, लेकिन कुछ भी जो खोखला या मांगपत्र है, उदाहरण के लिए, एक [[वर्धमान]] आकार, उत्तल नहीं है।


उत्तल सेट की [[सीमा (टोपोलॉजी)]] हमेशा एक [[उत्तल वक्र]] होती है। दिए गए सबसेट वाले सभी उत्तल सेटों का प्रतिच्छेदन {{mvar|A}} यूक्लिडियन अंतरिक्ष की [[उत्तल पतवार]] कहा जाता है {{mvar|A}}. यह युक्त सबसे छोटा उत्तल सेट है {{mvar|A}}.
उत्तल समुच्चय की [[सीमा (टोपोलॉजी)|सीमा (सांस्थिति)]] हमेशा एक [[उत्तल वक्र]] होती है। दिए गए सबसमुच्चय वाले सभी उत्तल समूह का प्रतिच्छेदन {{mvar|A}} यूक्लिडियन अंतरिक्ष की [[उत्तल पतवार]] कहा जाता है {{mvar|A}}. यह युक्त सबसे छोटा उत्तल समुच्चय है {{mvar|A}}.


एक उत्तल फलन एक वास्तविक-मूल्यवान फलन है जो एक [[अंतराल (गणित)]] पर इस गुण के साथ परिभाषित होता है कि इसका [[पुरालेख (गणित)]] (फ़ंक्शन के किसी फलन के ग्राफ़ पर या उसके ऊपर बिंदुओं का समुच्चय) एक उत्तल समुच्चय है। [[उत्तल न्यूनीकरण]] [[गणितीय अनुकूलन]] का एक उपक्षेत्र है जो उत्तल सेटों पर उत्तल कार्यों को कम करने की समस्या का अध्ययन करता है। उत्तल सेट और उत्तल कार्यों के गुणों के अध्ययन के लिए समर्पित गणित की शाखा [[उत्तल विश्लेषण]] कहलाती है।
एक उत्तल फलन एक वास्तविक-मूल्यवान फलन है जो एक [[अंतराल (गणित)|अंतराल]] पर इस गुण के साथ परिभाषित होता है कि इसका [[पुरालेख (गणित)|पुरालेख]] (फलन के किसी फलन के ग्राफ़ पर या उसके ऊपर बिंदुओं का समुच्चय) एक उत्तल समुच्चय है। [[उत्तल न्यूनीकरण]] [[गणितीय अनुकूलन]] का एक उपक्षेत्र है जो उत्तल समूह पर उत्तल कार्यों को कम करने की समस्या का अध्ययन करता है। उत्तल समुच्चय और कार्यों के गुणों के अध्ययन के लिए समर्पित गणित की शाखा [[उत्तल विश्लेषण]] कहलाती है।


उत्तल समुच्चय की धारणा को नीचे वर्णित के अनुसार सामान्यीकृत किया जा सकता है।
उत्तल समुच्चय की धारणा को नीचे वर्णित के अनुसार सामान्यीकृत किया जा सकता है।


== परिभाषाएँ ==
== परिभाषाएँ ==
[[File:Convex supergraph.svg|right|thumb|एक उत्तल फलन उत्तल होता है यदि और केवल यदि इसका एपीग्राफ (गणित), इसके फलन के ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक उत्तल समुच्चय है।]]होने देना {{mvar|S}} सदिश समष्टि हो या वास्तविक संख्याओं के ऊपर एक संबंद्ध स्थान हो, या, सामान्यतः, कुछ [[आदेशित क्षेत्र]] पर। इसमें यूक्लिडियन स्पेस शामिल हैं, जो एफ़िन स्पेस हैं। उपसमुच्चय {{mvar|C}} का {{mvar|S}} उत्तल है अगर, सभी के लिए {{mvar|x}} तथा {{mvar|y}} में {{mvar|C}}, जोड़ने वाला रेखा खंड {{mvar|x}} तथा {{mvar|y}} में शामिल है {{mvar|C}}. इसका मतलब है कि affine संयोजन {{math|(1 − ''t'')''x'' + ''ty''}} का है {{mvar|C}}, सभी के लिए {{mvar|x}} तथा {{mvar|y}} में {{mvar|C}}, तथा {{mvar|t}} अंतराल में (गणित) {{math|[0, 1]}}. इसका तात्पर्य है कि उत्तलता (उत्तल होने की संपत्ति) [[affine परिवर्तन]]ों के तहत अपरिवर्तनीय है। इसका तात्पर्य यह भी है कि वास्तविक संख्या या [[जटिल संख्या]] [[टोपोलॉजिकल वेक्टर स्पेस]] में एक उत्तल सेट [[पथ से जुड़ा हुआ]] है, इस प्रकार [[जुड़ा हुआ स्थान]] है।
[[File:Convex supergraph.svg|right|thumb|एक उत्तल फलन उत्तल होता है यदि और केवल यदि इसका एपीग्राफ (गणित), इसके फलन के ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक उत्तल समुच्चय है।]]मान लीजिए कि {{mvar|S}} सदिश समष्टि हो या वास्तविक संख्याओं के ऊपर एक संबंद्ध स्थान हो, या, सामान्यतः, कुछ [[आदेशित क्षेत्र]] पर। इसमें यूक्लिडियन स्पेस सम्मलित हैं, जो एफ़िन स्पेस हैं। उपसमुच्चय {{mvar|C}} का {{mvar|S}} उत्तल है यदि, सभी के लिए {{mvar|x}} तथा {{mvar|y}} में {{mvar|C}}, जोड़ने वाला रेखा खंड {{mvar|x}} तथा {{mvar|y}} में सम्मलित है {{mvar|C}}. इसका मतलब है कि एफ़िन संयोजन {{math|(1 − ''t'')''x'' + ''ty''}} का है {{mvar|C}}, सभी के लिए {{mvar|x}} तथा {{mvar|y}} में {{mvar|C}}, तथा {{mvar|t}} अंतराल में (गणित) {{math|[0, 1]}}. इसका तात्पर्य है कि उत्तलता (उत्तल होने की संपत्ति) [[affine परिवर्तन|एफ़िन परिवर्तन]]ों के अंतर्गत अपरिवर्तनीय है। इसका तात्पर्य यह भी है कि वास्तविक संख्या या [[जटिल संख्या]] [[टोपोलॉजिकल वेक्टर स्पेस|सांस्थितिक सदिश स्पेस]] में एक उत्तल समुच्चय [[पथ से जुड़ा हुआ]] है, इस प्रकार [[जुड़ा हुआ स्थान]] है।


एक सेट {{mvar|C}} है{{visible anchor|strictly convex}}यदि प्रत्येक बिंदु कनेक्टिंग लाइन सेगमेंट पर है {{mvar|x}} तथा {{mvar|y}} समापन बिंदु के अलावा अन्य की आंतरिक (टोपोलॉजी) के अंदर है {{mvar|C}}. एक बंद उत्तल उपसमुच्चय सख्ती से उत्तल होता है यदि और केवल अगर इसकी प्रत्येक सीमा (टोपोलॉजी) एक [[चरम बिंदु]] है।<ref>{{Halmos A Hilbert Space Problem Book 1982|p=5}}</ref>
एक समुच्चय {{mvar|C}} {{visible anchor|सख्ती से उत्तल}} है यदि प्रत्येक बिंदु जुड़ा हुआ है रेखा खंड पर {{mvar|x}} तथा {{mvar|y}} अंतिमबिंदु के अतिरिक्त अन्य की आंतरिक सांस्थिति के अंदर है {{mvar|C}}. एक बंद उत्तल उपसमुच्चय सख्ती से उत्तल होता है यदि और केवल यदि इसकी प्रत्येक सीमा एक [[चरम बिंदु]] है।<ref>{{Halmos A Hilbert Space Problem Book 1982|p=5}}</ref>
एक सेट {{mvar|C}} उत्तल और [[संतुलित सेट]] होने पर [[बिल्कुल उत्तल]] है।


का उत्तल उपसमुच्चय {{math|'''R'''}} (वास्तविक संख्याओं का समुच्चय) के अंतराल और बिंदु हैं {{math|'''R'''}}. [[यूक्लिडियन विमान]] के उत्तल उपसमुच्चय के कुछ उदाहरण ठोस [[नियमित बहुभुज]], ठोस त्रिकोण और ठोस त्रिकोण के चौराहे हैं। यूक्लिडियन अंतरिक्ष के उत्तल उपसमुच्चय के कुछ उदाहरण|यूक्लिडियन 3-आयामी अंतरिक्ष आर्किमिडीयन ठोस और [[प्लेटोनिक ठोस]] हैं। [[केप्लर-पॉइन्सॉट पॉलीहेड्रा]] गैर-उत्तल सेट के उदाहरण हैं।
एक समुच्चय {{mvar|C}} उत्तल और [[संतुलित सेट|संतुलित समुच्चय]] होने पर [[बिल्कुल उत्तल]] है।


=== गैर-उत्तल सेट ===
{{math|'''R'''}} का उत्तल उपसमुच्चय (वास्तविक संख्याओं का समुच्चय) अंतराल और {{math|'''R'''}} के बिंदु हैं . [[यूक्लिडियन विमान]] के उत्तल उपसमुच्चय के कुछ उदाहरण ठोस [[नियमित बहुभुज]], ठोस त्रिकोण और ठोस त्रिकोण के चौराहे हैं। यूक्लिडियन अंतरिक्ष के उत्तल उपसमुच्चय के कुछ उदाहरण| यूक्लिडियन-3 आयामी अंतरिक्ष आर्किमिडीयन ठोस और [[प्लेटोनिक ठोस]] हैं। [[केप्लर-पॉइन्सॉट पॉलीहेड्रा]] गैर-उत्तल समुच्चय के उदाहरण हैं।
एक सेट जो उत्तल नहीं होता है उसे गैर-उत्तल सेट कहा जाता है। एक [[बहुभुज]] जो [[उत्तल बहुभुज]] नहीं है, उसे कभी-कभी [[अवतल बहुभुज]] कहा जाता है,<ref>{{cite book |first=Jeffrey J. |last=McConnell |year=2006 |title=कंप्यूटर ग्राफिक्स: व्यवहार में सिद्धांत|isbn=0-7637-2250-2 |page=[https://archive.org/details/computergraphics0000mcco/page/130 130] |url=https://archive.org/details/computergraphics0000mcco/page/130 }}.</ref> और कुछ स्रोत अधिक आम तौर पर अवतल सेट शब्द का उपयोग गैर-उत्तल सेट के लिए करते हैं,<ref>{{MathWorld|title=Concave|id=Concave}}</ref> लेकिन अधिकांश अधिकारी इस प्रयोग पर रोक लगाते हैं।<ref>{{cite book|title=अर्थशास्त्र में विश्लेषणात्मक तरीके|first=Akira|last=Takayama|publisher=University of Michigan Press|year=1994|isbn=9780472081356|url=https://books.google.com/books?id=_WmZA0MPlmEC&pg=PA54|page=54|quote=अक्सर देखा जाने वाला भ्रम एक "अवतल सेट" है। अवतल और उत्तल कार्य कुछ वर्गों के कार्यों को निर्दिष्ट करते हैं, सेटों के नहीं, जबकि उत्तल सेट सेटों के एक निश्चित वर्ग को निर्दिष्ट करते हैं, न कि कार्यों के वर्ग को। एक "अवतल सेट" कार्यों के साथ सेट को भ्रमित करता है।}}</ref><ref>{{cite book|title=आर्थिक सिद्धांत और अर्थमिति के लिए गणितीय विश्लेषण का परिचय|first1=Dean|last1=Corbae|first2=Maxwell B.|last2=Stinchcombe|first3= Juraj|last3=Zeman|publisher=Princeton University Press|year=2009|isbn=9781400833085|url=https://books.google.com/books?id=j5P83LtzVO8C&pg=PT347|page=347|quote=अवतल समुच्चय जैसी कोई चीज़ नहीं होती।}}</ref>
 
एक उत्तल सेट का [[पूरक (सेट सिद्धांत)]], जैसे एक अवतल फ़ंक्शन के एपिग्राफ (गणित), को कभी-कभी रिवर्स उत्तल सेट कहा जाता है, विशेष रूप से गणितीय अनुकूलन के संदर्भ में।<ref>{{cite journal | last = Meyer | first = Robert | journal = SIAM Journal on Control and Optimization | mr = 0312915 | pages = 41–54 | title = अनुकूलन विधियों के एक परिवार की वैधता| volume = 8 | year = 1970| doi = 10.1137/0308003 | url = https://minds.wisconsin.edu/bitstream/handle/1793/57508/TR28.pdf?sequence=1 }}.</ref>
=== गैर-उत्तल समुच्चय ===
एक समुच्चय जो उत्तल नहीं होता है उसे गैर-उत्तल समुच्चय कहा जाता है। एक [[बहुभुज]] जो [[उत्तल बहुभुज]] नहीं है, उसे कभी-कभी [[अवतल बहुभुज]] कहा जाता है,<ref>{{cite book |first=Jeffrey J. |last=McConnell |year=2006 |title=कंप्यूटर ग्राफिक्स: व्यवहार में सिद्धांत|isbn=0-7637-2250-2 |page=[https://archive.org/details/computergraphics0000mcco/page/130 130] |url=https://archive.org/details/computergraphics0000mcco/page/130 }}.</ref> और कुछ स्रोत अधिक सामान्यतः अवतल समुच्चय शब्द का उपयोग गैर-उत्तल समुच्चय के लिए करते हैं,<ref>{{MathWorld|title=Concave|id=Concave}}</ref> लेकिन अधिकांश अधिकारी इस प्रयोग पर रोक लगाते हैं।<ref>{{cite book|title=अर्थशास्त्र में विश्लेषणात्मक तरीके|first=Akira|last=Takayama|publisher=University of Michigan Press|year=1994|isbn=9780472081356|url=https://books.google.com/books?id=_WmZA0MPlmEC&pg=PA54|page=54|quote=अक्सर देखा जाने वाला भ्रम एक "अवतल सेट" है। अवतल और उत्तल कार्य कुछ वर्गों के कार्यों को निर्दिष्ट करते हैं, सेटों के नहीं, जबकि उत्तल सेट सेटों के एक निश्चित वर्ग को निर्दिष्ट करते हैं, न कि कार्यों के वर्ग को। एक "अवतल सेट" कार्यों के साथ सेट को भ्रमित करता है।}}</ref><ref>{{cite book|title=आर्थिक सिद्धांत और अर्थमिति के लिए गणितीय विश्लेषण का परिचय|first1=Dean|last1=Corbae|first2=Maxwell B.|last2=Stinchcombe|first3= Juraj|last3=Zeman|publisher=Princeton University Press|year=2009|isbn=9781400833085|url=https://books.google.com/books?id=j5P83LtzVO8C&pg=PT347|page=347|quote=अवतल समुच्चय जैसी कोई चीज़ नहीं होती।}}</ref>
एक उत्तल समुच्चय का [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]], जैसे एक अवतल फलन के एपिग्राफ, को कभी-कभी रिवर्स उत्तल समुच्चय कहा जाता है, विशेष रूप से गणितीय अनुकूलन के संदर्भ में।<ref>{{cite journal | last = Meyer | first = Robert | journal = SIAM Journal on Control and Optimization | mr = 0312915 | pages = 41–54 | title = अनुकूलन विधियों के एक परिवार की वैधता| volume = 8 | year = 1970| doi = 10.1137/0308003 | url = https://minds.wisconsin.edu/bitstream/handle/1793/57508/TR28.pdf?sequence=1 }}.</ref>




== गुण ==
== गुण ==


दिया गया {{mvar|r}} अंक {{math|''u''<sub>1</sub>, ..., ''u<sub>r</sub>''}} उत्तल सेट में {{mvar|S}}, तथा {{mvar|r}}
दिया गया {{mvar|r}} अंक {{math|''u''<sub>1</sub>, ..., ''u<sub>r</sub>''}} उत्तल समुच्चय में {{mvar|S}}, तथा {{mvar|r}} नकारात्मक संख्या {{math|''λ''<sub>1</sub>, ..., ''λ<sub>r</sub>''}} ऐसा है कि {{math|''λ''<sub>1</sub> + ... + ''λ<sub>r</sub>'' {{=}} 1}}, एफाइन संयोजन
नकारात्मक संख्या {{math|''λ''<sub>1</sub>, ..., ''λ<sub>r</sub>''}} ऐसा है कि {{math|''λ''<sub>1</sub> + ... + ''λ<sub>r</sub>'' {{=}} 1}}, affine संयोजन
<math display=block>\sum_{k=1}^r\lambda_k u_k</math>
<math display=block>\sum_{k=1}^r\lambda_k u_k</math>
का है {{mvar|S}}. जैसा कि एक उत्तल समुच्चय की परिभाषा है {{math|1=''r'' = 2}}, यह संपत्ति उत्तल समूह की विशेषता है।
का है {{mvar|S}}. जैसा कि एक उत्तल सेट की परिभाषा है {{math|1=''r'' = 2}}, यह संपत्ति उत्तल सेटों की विशेषता है।


इस तरह के एक affine संयोजन को एक [[उत्तल संयोजन]] कहा जाता है {{math|''u''<sub>1</sub>, ..., ''u<sub>r</sub>''}}.
इस तरह के एक एफाइन संयोजन को एक [[उत्तल संयोजन]] कहा जाता है {{math|''u''<sub>1</sub>, ..., ''u<sub>r</sub>''}}.


=== चौराहे और संघ ===
=== चौराहे और संघ ===
वेक्टर स्पेस, एफाइन स्पेस या यूक्लिडियन स्पेस के उत्तल उपसमुच्चय के संग्रह में निम्नलिखित गुण होते हैं:<ref name="Soltan" >Soltan, Valeriu, ''Introduction to the Axiomatic Theory of Convexity'', Ştiinţa, [[Chişinău]], 1984 (in Russian).
सदिश स्पेस, एफाइन स्पेस या यूक्लिडियन स्पेस के उत्तल उपसमुच्चय के संग्रह में निम्नलिखित गुण होते हैं:<ref name="Soltan" >Soltan, Valeriu, ''Introduction to the Axiomatic Theory of Convexity'', Ştiinţa, [[Chişinău]], 1984 (in Russian).
</ref><ref name="Singer" >{{cite book|last=Singer|first=Ivan|title=सार उत्तल विश्लेषण|series=Canadian Mathematical Society series of monographs and advanced texts|publisher=John Wiley&nbsp;&&nbsp;Sons, Inc.|location=New&nbsp;York|year= 1997|pages=xxii+491|isbn=0-471-16015-6|mr=1461544}}</ref>
</ref><ref name="Singer" >{{cite book|last=Singer|first=Ivan|title=सार उत्तल विश्लेषण|series=Canadian Mathematical Society series of monographs and advanced texts|publisher=John Wiley&nbsp;&&nbsp;Sons, Inc.|location=New&nbsp;York|year= 1997|pages=xxii+491|isbn=0-471-16015-6|mr=1461544}}</ref>
# [[खाली सेट]] और पूरा स्थान उत्तल है।
# [[खाली सेट|खाली समुच्चय]] और पूरा स्थान उत्तल है।
# उत्तल सेटों के किसी भी संग्रह का प्रतिच्छेदन उत्तल है।
# उत्तल समूह के किसी भी संग्रह का प्रतिच्छेदन उत्तल है।
#उत्तल सेटों के एक अनुक्रम का [[संघ (सेट)]] उत्तल है, यदि वे समावेशन के लिए कुल क्रम#चेन|गैर-घटती श्रृंखला बनाते हैं। इस संपत्ति के लिए, जंजीरों पर प्रतिबंध महत्वपूर्ण है, क्योंकि दो उत्तल सेटों के मिलन को उत्तल होने की आवश्यकता नहीं है।
#उत्तल समूह के एक अनुक्रम का [[संघ (सेट)|संघ (समुच्चय)]] उत्तल है, यदि वे समावेशन के लिए कुल क्रम चेन| गैर-घटती श्रृंखला बनाते हैं। इस संपत्ति के लिए, जंजीरों पर प्रतिबंध महत्वपूर्ण है, क्योंकि दो उत्तल समूह के मिलन को उत्तल होने की आवश्यकता नहीं है।


=== बंद उत्तल सेट ===
=== बंद उत्तल समुच्चय ===
[[बंद सेट]] उत्तल सेट उत्तल सेट होते हैं जिनमें उनके सभी सीमा बिंदु होते हैं। उन्हें बंद हाफ-स्पेस (ज्यामिति) के इंटरसेक्शन के रूप में चित्रित किया जा सकता है।
[[बंद सेट|बंद समुच्चय]] उत्तल समुच्चय होते हैं जिनमें उनके सभी सीमा बिंदु होते हैं। उन्हें बंद आधे स्थान के इंटरसेक्शन के रूप में चित्रित किया जा सकता है।


अभी जो कहा गया है, उससे यह स्पष्ट है कि ऐसे चौराहे उत्तल हैं, और वे बंद सेट भी होंगे। उलटा साबित करने के लिए, यानी, प्रत्येक बंद उत्तल सेट को इस तरह के चौराहे के रूप में प्रदर्शित किया जा सकता है, किसी को [[hyperplane]] प्रमेय को इस रूप में समर्थन देने की आवश्यकता होती है कि किसी दिए गए बंद उत्तल सेट के लिए {{mvar|C}} और बिंदु {{mvar|P}} इसके बाहर एक बंद अर्ध-आकाश है {{mvar|H}} उसमें सम्मिलित है {{mvar|C}} और नहीं {{mvar|P}}. सहायक हाइपरप्लेन प्रमेय [[कार्यात्मक विश्लेषण]] के हन-बनाक प्रमेय का एक विशेष मामला है।
अभी जो कहा गया है, उससे यह स्पष्ट है कि ऐसे चौराहे उत्तल हैं, और वे बंद समुच्चय भी होंगे। उलटा सिद्ध करने के लिए, अर्थात, प्रत्येक बंद उत्तल समुच्चय को इस तरह के चौराहे के रूप में प्रदर्शित किया जा सकता है, किसी को [[hyperplane|अधिसमतल]] प्रमेय को इस रूप में समर्थन देने की आवश्यकता होती है कि किसी दिए गए बंद उत्तल समुच्चय के लिए {{mvar|C}} और बिंदु {{mvar|P}} इसके बाहर एक बंद अर्ध-आकाश है {{mvar|H}} उसमें सम्मिलित है {{mvar|C}} और नहीं {{mvar|P}}. सहायक अधिसमतल प्रमेय [[कार्यात्मक विश्लेषण]] के हन-बनाक प्रमेय का एक विशेष मामला है।


=== उत्तल सेट और आयत ===
=== उत्तल समुच्चय और आयत ===
होने देना {{mvar|C}} विमान में एक [[उत्तल शरीर]] हो (एक उत्तल सेट जिसका इंटीरियर खाली नहीं है)। हम एक आयत r को अंदर अंकित कर सकते हैं {{mvar|C}} जैसे कि r की एक [[होमोथेटिक परिवर्तन]] कॉपी R के बारे में बताया गया है {{mvar|C}}. धनात्मक समरूपता अनुपात अधिक से अधिक 2 है और:<ref>{{Cite journal | doi = 10.1007/BF01263495| title = आयतों द्वारा उत्तल पिंडों का सन्निकटन| journal = Geometriae Dedicata| volume = 47| pages = 111–117| year = 1993| last1 = Lassak | first1 = M. | s2cid = 119508642}}</ref>
होने देना {{mvar|C}} विमान में एक [[उत्तल शरीर]] हो (एक उत्तल समुच्चय जिसका आंतरिक खाली नहीं है)। हम एक आयत r को अंदर अंकित कर सकते हैं {{mvar|C}} जैसे कि r की एक [[होमोथेटिक परिवर्तन]] कॉपी R के बारे में बताया गया है {{mvar|C}}. धनात्मक समरूपता अनुपात अधिक से अधिक 2 है और:<ref>{{Cite journal | doi = 10.1007/BF01263495| title = आयतों द्वारा उत्तल पिंडों का सन्निकटन| journal = Geometriae Dedicata| volume = 47| pages = 111–117| year = 1993| last1 = Lassak | first1 = M. | s2cid = 119508642}}</ref>
<math display=block>\tfrac{1}{2} \cdot\operatorname{Area}(R) \leq \operatorname{Area}(C) \leq 2\cdot \operatorname{Area}(r)</math>
<math display=block>\tfrac{1}{2} \cdot\operatorname{Area}(R) \leq \operatorname{Area}(C) \leq 2\cdot \operatorname{Area}(r)</math>
<br />
=== ब्लाश्के-संतालो आरेख ===
=== ब्लाश्के-संतालो आरेख ===
सेट <math>\mathcal{K}^2</math> उत्तल शरीर व्यास # सामान्यीकरण डी, इसके अंतःत्रिज्या आर (उत्तल शरीर में निहित सबसे बड़ा वृत्त) और इसकी परिधि आर (उत्तल शरीर वाला सबसे छोटा वृत्त) के संदर्भ में सभी तलीय उत्तल पिंडों को परिचालित किया जा सकता है। वास्तव में, इस सेट को असमानताओं के सेट द्वारा वर्णित किया जा सकता है<ref name=":0">{{Cite journal|last=Santaló|first=L.|date=1961|title=समतल उत्तल आकृति के तीन तत्वों के बीच असमानताओं की पूरी प्रणाली पर|journal=Mathematicae Notae|volume=17|pages=82–104}}</ref><ref name=":1">{{Cite journal|last1=Brandenberg|first1=René|last2=González Merino|first2=Bernardo|date=2017|title=एक पूर्ण 3-आयामी ब्लाश्के-सैंटलो आरेख|url=http://mia.ele-math.com/20-22|journal=Mathematical Inequalities & Applications|language=en|issue=2|pages=301–348|doi=10.7153/mia-20-22|issn=1331-4343|doi-access=free}}</ref>
समुच्चय <math>\mathcal{K}^2</math> उत्तल शरीर व्यास सामान्यीकरण d, इसके अंतःत्रिज्या r (उत्तल शरीर में निहित सबसे बड़ा वृत्त) और इसकी परिधि r (उत्तल शरीर वाला सबसे छोटा वृत्त) के संदर्भ में सभी तलीय उत्तल पिंडों को परिचालित किया जा सकता है। वास्तव में, इस समुच्चय को असमानताओं के समुच्चय द्वारा वर्णित किया जा सकता है<ref name=":0">{{Cite journal|last=Santaló|first=L.|date=1961|title=समतल उत्तल आकृति के तीन तत्वों के बीच असमानताओं की पूरी प्रणाली पर|journal=Mathematicae Notae|volume=17|pages=82–104}}</ref><ref name=":1">{{Cite journal|last1=Brandenberg|first1=René|last2=González Merino|first2=Bernardo|date=2017|title=एक पूर्ण 3-आयामी ब्लाश्के-सैंटलो आरेख|url=http://mia.ele-math.com/20-22|journal=Mathematical Inequalities & Applications|language=en|issue=2|pages=301–348|doi=10.7153/mia-20-22|issn=1331-4343|doi-access=free}}</ref>
<math display=block>2r \le D \le 2R</math>
<math display=block>2r \le D \le 2R</math>
<math display=block>R \le \frac{\sqrt{3}}{3} D</math>
<math display=block>R \le \frac{\sqrt{3}}{3} D</math>
<math display=block>r + R \le D</math>
<math display=block>r + R \le D</math>
<math display=block>D^2 \sqrt{4R^2-D^2} \le 2R (2R + \sqrt{4R^2 -D^2})</math>
<math display=block>D^2 \sqrt{4R^2-D^2} \le 2R (2R + \sqrt{4R^2 -D^2})</math>
और फ़ंक्शन जी की छवि के रूप में देखा जा सकता है जो एक उत्तल शरीर को मैप करता है {{math|'''R'''<sup>2</sup>}} (आर/आर, डी/2आर) द्वारा दिया गया बिंदु। इस फ़ंक्शन की छवि को एक (आर, डी, आर) ब्लाचके-संतालो आरेख के रूप में जाना जाता है।<ref name=":1" />फ़ाइल: ब्लास्चके-सैंटलो_डायग्राम_फॉर_प्लानर_कोनवेक्स_बॉडीज़.पीडीएफ|alt=|center|thumb|673x673px|ब्लाशके-सैंटलो (आर, डी, आर) प्लानर उत्तल पिंडों के लिए आरेख। <math>\mathbb{L}</math> रेखा खंड को दर्शाता है, <math>\mathbb{I}_{\frac{\pi}{3}}</math> समबाहु त्रिभुज, <math>\mathbb{RT}</math> Reuleaux त्रिकोण और <math>\mathbb{B}_2</math> यूनिट सर्कल।
और फलन g की छवि के रूप में देखा जा सकता है जो एक उत्तल शरीर को प्रतिचित्रित करता है {{math|'''R'''<sup>2</sup>}} (r/r, d/2,r) द्वारा दिया गया बिंदु। इस फलन की छवि को एक (r, d, r) ब्लाचके-संतालो आरेख के रूप में जाना जाता है।<ref name=":1" />फ़ाइल: ब्लास्चके-सैंटलो_डायग्राम_फॉर_प्लानर_कोनवेक्स_बॉडीज़.पीडीएफ|alt=|center|thumb|673x673px|ब्लाशके-सैंटलो (r, d, r) प्लानर उत्तल पिंडों के लिए आरेख। <math>\mathbb{L}</math> रेखा खंड को दर्शाता है, <math>\mathbb{I}_{\frac{\pi}{3}}</math> समबाहु त्रिभुज, <math>\mathbb{RT}</math> Reuleaux त्रिकोण और <math>\mathbb{B}_2</math> यूनिट सर्कल। वैकल्पिक रूप से, समुच्चय <math>\mathcal{K}^2</math> इसकी चौड़ाई (किसी भी दो अलग-अलग समानांतर समर्थन अधिसमतल के बीच की सबसे छोटी दूरी), परिधि और क्षेत्र द्वारा पैरामीट्रिज्ड किया जा सकता है।<ref name=":0" /><ref name=":1" />
वैकल्पिक रूप से, सेट <math>\mathcal{K}^2</math> इसकी चौड़ाई (किसी भी दो अलग-अलग समानांतर समर्थन हाइपरप्लेन के बीच की सबसे छोटी दूरी), परिधि और क्षेत्र द्वारा पैरामीट्रिज्ड किया जा सकता है।<ref name=":0" /><ref name=":1" />




=== अन्य गुण ===
=== अन्य गुण ===
मान लीजिए कि X एक सांस्थितिक सदिश समष्टि है और <math>C \subseteq X</math> उत्तल हो।
मान लीजिए कि X एक सांस्थितिक सदिश समष्टि है और <math>C \subseteq X</math> उत्तल हो।
* <math>\operatorname{Cl} C</math> तथा <math>\operatorname{Int} C</math> दोनों उत्तल हैं (अर्थात उत्तल सेट का संवरण और आंतरिक भाग उत्तल हैं)।
* <math>\operatorname{Cl} C</math> तथा <math>\operatorname{Int} C</math> दोनों उत्तल हैं (अर्थात उत्तल समुच्चय का संवरण और आंतरिक भाग उत्तल हैं)।
* यदि <math>a \in \operatorname{Int} C</math> तथा <math>b \in \operatorname{Cl} C</math> फिर <math>[a, b[ \, \subseteq \operatorname{Int} C</math> (कहाँ पे <math>[a, b[ \, := \left\{ (1 - r) a + r b : 0 \leq r < 1 \right\}</math>).
* यदि <math>a \in \operatorname{Int} C</math> तथा <math>b \in \operatorname{Cl} C</math> फिर <math>[a, b[ \, \subseteq \operatorname{Int} C</math> (कहाँ पे <math>[a, b[ \, := \left\{ (1 - r) a + r b : 0 \leq r < 1 \right\}</math>).
* यदि <math>\operatorname{Int} C \neq \emptyset</math> फिर:
* यदि <math>\operatorname{Int} C \neq \emptyset</math> फिर:
Line 70: Line 67:


=== उत्तल पतवार ===
=== उत्तल पतवार ===
{{Main|convex hull}}
{{Main|उत्तल पतवार}}
हर उपसमुच्चय {{mvar|A}} सदिश स्थान का एक सबसे छोटा उत्तल सेट (जिसे उत्तल पतवार कहा जाता है) के भीतर समाहित है {{mvar|A}}), अर्थात् सभी उत्तल सेटों का चौराहा {{mvar|A}}. उत्तल-पतवार ऑपरेटर कनव () में [[बंद करने वाला ऑपरेटर]] के विशिष्ट गुण हैं:
हर उपसमुच्चय {{mvar|A}} सदिश स्थान का एक सबसे छोटा उत्तल समुच्चय (जिसे उत्तल पतवार कहा जाता है) के भीतर समाहित है {{mvar|A}}), अर्थात् सभी उत्तल समूह का चौराहा {{mvar|A}}. उत्तल-पतवार ऑपरेटर कनव () में [[बंद करने वाला ऑपरेटर]] के विशिष्ट गुण हैं:
* बहुत बड़ा: {{math|''S''&nbsp;⊆&nbsp;Conv(''S'')}},
* बहुत बड़ा: {{math|''S''&nbsp;⊆&nbsp;Conv(''S'')}},
* मोनोटोन फ़ंक्शन # क्रम सिद्धांत में एकरसता | गैर-घटता: {{math|''S''&nbsp;⊆&nbsp;''T''}} इसका आशय है {{math|Conv(''S'')&nbsp;⊆&nbsp;Conv(''T'')}}, तथा
* मोनोटोन फलन # क्रम सिद्धांत में एकरसता | गैर-घटता: {{math|''S''&nbsp;⊆&nbsp;''T''}} इसका आशय है {{math|Conv(''S'')&nbsp;⊆&nbsp;Conv(''T'')}}, तथा
* [[आलस्य]] : {{math|Conv(Conv(''S'')) {{=}} Conv(''S'')}}.
* [[आलस्य]] : {{math|Conv(Conv(''S'')) {{=}} Conv(''S'')}}.
उत्तल सेट के सेट को a बनाने के लिए उत्तल-पतवार ऑपरेशन की आवश्यकता होती है <!-- complete  -->जाली (क्रम), जिसमें जुड़ना और मिलना | ज्वाइन ऑपरेशन दो उत्तल सेटों के मिलन का उत्तल पतवार है
उत्तल समुच्चय के समुच्चय को a बनाने के लिए उत्तल-पतवार ऑपरेशन की आवश्यकता होती है <!-- complete  -->जाली (क्रम), जिसमें जुड़ना और मिलना | ज्वाइन ऑपरेशन दो उत्तल समूह के मिलन का उत्तल पतवार है
<math display=block>\operatorname{Conv}(S)\vee\operatorname{Conv}(T) = \operatorname{Conv}(S\cup T) = \operatorname{Conv}\bigl(\operatorname{Conv}(S)\cup\operatorname{Conv}(T)\bigr).</math>
<math display=block>\operatorname{Conv}(S)\vee\operatorname{Conv}(T) = \operatorname{Conv}(S\cup T) = \operatorname{Conv}\bigl(\operatorname{Conv}(S)\cup\operatorname{Conv}(T)\bigr).</math>
उत्तल सेटों के किसी भी संग्रह का प्रतिच्छेदन स्वयं उत्तल होता है, इसलिए एक (वास्तविक या जटिल) वेक्टर स्थान के उत्तल उपसमुच्चय एक पूर्ण जाली (क्रम) बनाते हैं।
उत्तल समूह के किसी भी संग्रह का प्रतिच्छेदन स्वयं उत्तल होता है, इसलिए एक (वास्तविक या जटिल) सदिश स्थान के उत्तल उपसमुच्चय एक पूर्ण जाली (क्रम) बनाते हैं।


=== मिन्कोव्स्की जोड़ ===
=== मिन्कोव्स्की जोड़ ===
{{Main|Minkowski addition}}
{{Main|
[[File:Minkowski sum graph - vector version.svg|thumb|alt=Three squares are shown in the nonnegative quadrant of the Cartesian plane. चौराहा {{math|''Q''<sub>1</sub> {{=}} [0, 1] × [0, 1]}} हरा है। चौराहा {{math|''Q''<sub>2</sub> {{=}} [1, 2] × [1, 2]}} भूरा है, और यह फ़िरोज़ा वर्ग के अंदर बैठता है {{math|1=Q<sub>1</sub>+Q<sub>2</sub>{{=}}[1,3]×[1,3]}}. सेट का। <!-- [[Minkowski addition|Minkowski]]&nbsp; -->-->वर्गों का योग Q<sub>1</sub>=[0,1]<sup>2</sup> और Q<sub>2</sub>=[1,2]<sup>2</sup> वर्ग Q है<sub>1</sub>+ क्यू<sub>2</sub>=[1,3]<sup>2</उप>।]]एक वास्तविक वेक्टर-स्पेस में, दो (गैर-खाली) सेटों का मिन्कोव्स्की जोड़, {{math|''S''<sub>1</sub>}} तथा {{math|''S''<sub>2</sub>}}, सारांश के रूप में परिभाषित किया गया है {{math|''S''<sub>1</sub>&nbsp;+&nbsp;''S''<sub>2</sub>}} सारांश-सेट से तत्व-वार वैक्टर के योग से बनता है
मिन्कोव्स्की अतिरिक्त}}
[[File:Minkowski sum graph - vector version.svg|thumb|alt=Three squares are shown in the nonnegative quadrant of the Cartesian plane. चौराहा {{math|''Q''<sub>1</sub> {{=}} [0, 1] × [0, 1]}} हरा है। चौराहा {{math|''Q''<sub>2</sub> {{=}} [1, 2] × [1, 2]}} भूरा है, और यह फ़िरोज़ा वर्ग के अंदर बैठता है {{math|1=Q<sub>1</sub>+Q<sub>2</sub>{{=}}[1,3]×[1,3]}}. सेट का। <!-- [[Minkowski addition|Minkowski]]&nbsp; -->-->वर्गों का योग Q<sub>1</sub>=[0,1]<sup>2</sup> और Q<sub>2</sub>=[1,2]<sup>2</sup> वर्ग Q है<sub>1</sub>+ क्यू<sub>2</sub>=[1,3]<sup>2</उप>।]]एक वास्तविक सदिश-स्पेस में, दो (गैर-खाली) समूह का मिन्कोव्स्की जोड़, {{math|''S''<sub>1</sub>}} तथा {{math|''S''<sub>2</sub>}}, सारांश के रूप में परिभाषित किया गया है {{math|''S''<sub>1</sub>&nbsp;+&nbsp;''S''<sub>2</sub>}} सारांश-समुच्चय से तत्व-वार वैक्टर के योग से बनता है
<math display=block>S_1+S_2=\{x_1+x_2: x_1\in S_1, x_2\in S_2\}.</math>
<math display=block>S_1+S_2=\{x_1+x_2: x_1\in S_1, x_2\in S_2\}.</math>
अधिक आम तौर पर, (गैर-रिक्त) सेटों के परिमित परिवार का मिन्कोव्स्की योग {{math|''S<sub>n</sub>''}} है <!-- defined to be --> सेट <!-- of vectors --> वैक्टर के तत्व-वार जोड़ से बनता है<!--  from the summand-sets -->
अधिक सामान्यतः, (गैर-रिक्त) समूह के परिमित परिवार का मिन्कोव्स्की योग {{math|''S<sub>n</sub>''}} है <!-- defined to be --> समुच्चय <!-- of vectors --> वैक्टर के तत्व-वार जोड़ से बनता है<!--  from the summand-sets -->
<math display=block> \sum_n S_n = \left \{ \sum_n x_n : x_n \in S_n \right \}.</math>
<math display=block> \sum_n S_n = \left \{ \sum_n x_n : x_n \in S_n \right \}.</math>
मिन्कोव्स्की योग के लिए, शून्य सेट{{math|{0} }} जिसमें केवल शून्य वेक्टर|शून्य वेक्टर हो{{math|0}} [[पहचान तत्व]] है: सदिश स्थान के प्रत्येक गैर-रिक्त उपसमुच्चय S के लिए
मिन्कोव्स्की योग के लिए, शून्य समुच्चय{{math|{0} }} जिसमें केवल शून्य सदिश| शून्य सदिश हो {{math|0}} [[पहचान तत्व]] है: सदिश स्थान के प्रत्येक गैर-रिक्त उपसमुच्चय S के लिए
<math display=block>S+\{0\}=S;</math>
<math display=block>S+\{0\}=S;</math>
बीजीय शब्दावली में, {{math|{0} }} मिन्कोव्स्की जोड़ का पहचान तत्व है (गैर-खाली सेटों के संग्रह पर)।<ref>The [[empty set]] is important in Minkowski addition, because the empty set annihilates every other subset: For every subset {{mvar|S}} of a vector space, its sum with the empty set is empty: <math>S+\emptyset=\emptyset</math>.</ref>
बीजीय शब्दावली में, {{math|{0} }}मिन्कोव्स्की जोड़ का पहचान तत्व है (गैर-खाली समूह के संग्रह पर)।<ref>The [[empty set]] is important in Minkowski addition, because the empty set annihilates every other subset: For every subset {{mvar|S}} of a vector space, its sum with the empty set is empty: <math>S+\emptyset=\emptyset</math>.</ref>




=== Minkowski रकम के उत्तल हल ===
=== मिन्कोव्स्की रकम के उत्तल हल ===
उत्तल हल्स लेने की संक्रिया के संबंध में मिन्कोवस्की योग अच्छा व्यवहार करता है, जैसा कि निम्नलिखित प्रस्ताव द्वारा दिखाया गया है:
उत्तल हल्स लेने की संक्रिया के संबंध में मिन्कोवस्की योग अच्छा व्यवहार करता है, जैसा कि निम्नलिखित प्रस्ताव द्वारा दिखाया गया है:


होने देना {{math|''S''<sub>1</sub>, ''S''<sub>2</sub>}} एक वास्तविक सदिश-स्थान के उपसमुच्चय हों, उनके मिन्कोव्स्की योग का उत्तल हल उनके उत्तल हलों का मिन्कोव्स्की योग है
मान लीजिए  {{math|''S''<sub>1</sub>, ''S''<sub>2</sub>}} एक वास्तविक सदिश-स्थान के उपसमुच्चय हों, उनके मिन्कोव्स्की योग का उत्तल हल उनके उत्तल हलों का मिन्कोव्स्की योग है
<math display=block>\operatorname{Conv}(S_1+S_2)=\operatorname{Conv}(S_1)+\operatorname{Conv}(S_2).</math>
<math display=block>\operatorname{Conv}(S_1+S_2)=\operatorname{Conv}(S_1)+\operatorname{Conv}(S_2).</math>
यह परिणाम आमतौर पर गैर-रिक्त सेटों के प्रत्येक सीमित संग्रह के लिए अधिक होता है:
यह परिणाम आमतौर पर गैर-रिक्त समूह के प्रत्येक सीमित संग्रह के लिए अधिक होता है:
<math display=block>\text{Conv}\left ( \sum_n S_n \right ) = \sum_n \text{Conv} \left (S_n \right).</math>
<math display=block>\text{Conv}\left ( \sum_n S_n \right ) = \sum_n \text{Conv} \left (S_n \right).</math>
गणितीय शब्दावली में, मिन्कोवस्की संकलन की [[संक्रिया (गणित)]] और उत्तल पतवार बनाने की संक्रियाएँ [[क्रमविनिमेयता]] संक्रियाएँ हैं।<ref>Theorem&nbsp;3 (pages&nbsp;562–563): {{cite journal|first1=M.|last1=Krein|author-link1=Mark Krein|first2=V.|last2=Šmulian|year=1940|title=On regularly convex sets in the space conjugate to a Banach space|journal=Annals of Mathematics |series=Second Series| volume=41 |issue=3 |pages=556–583|jstor=1968735|doi=10.2307/1968735}}</ref><ref name="Schneider">For the commutativity of [[Minkowski addition]] and [[convex hull|convexification]], see Theorem&nbsp;1.1.2 (pages&nbsp;2–3) in Schneider; this reference discusses much of the literature on the [[convex hull]]s of [[Minkowski addition|Minkowski]] [[sumset]]s in its "Chapter&nbsp;3 Minkowski addition" (pages&nbsp;126–196): {{cite book|last=Schneider|first=Rolf|title=Convex bodies: The Brunn–Minkowski theory|series=Encyclopedia of mathematics and its applications|volume=44|publisher=Cambridge&nbsp;University Press|location=Cambridge|year=1993|pages=xiv+490|isbn=0-521-35220-7|mr=1216521|url=https://archive.org/details/convexbodiesbrun0000schn}}</ref>
गणितीय शब्दावली में, मिन्कोवस्की संकलन की [[संक्रिया (गणित)]] और उत्तल पतवार बनाने की संक्रियाएँ [[क्रमविनिमेयता]] संक्रियाएँ हैं।<ref>Theorem&nbsp;3 (pages&nbsp;562–563): {{cite journal|first1=M.|last1=Krein|author-link1=Mark Krein|first2=V.|last2=Šmulian|year=1940|title=On regularly convex sets in the space conjugate to a Banach space|journal=Annals of Mathematics |series=Second Series| volume=41 |issue=3 |pages=556–583|jstor=1968735|doi=10.2307/1968735}}</ref><ref name="Schneider">For the commutativity of [[Minkowski addition]] and [[convex hull|convexification]], see Theorem&nbsp;1.1.2 (pages&nbsp;2–3) in Schneider; this reference discusses much of the literature on the [[convex hull]]s of [[Minkowski addition|Minkowski]] [[sumset]]s in its "Chapter&nbsp;3 Minkowski addition" (pages&nbsp;126–196): {{cite book|last=Schneider|first=Rolf|title=Convex bodies: The Brunn–Minkowski theory|series=Encyclopedia of mathematics and its applications|volume=44|publisher=Cambridge&nbsp;University Press|location=Cambridge|year=1993|pages=xiv+490|isbn=0-521-35220-7|mr=1216521|url=https://archive.org/details/convexbodiesbrun0000schn}}</ref>




=== उत्तल सेटों के मिन्कोवस्की योग ===
=== उत्तल समूह के मिन्कोवस्की योग ===
दो सघन उत्तल समुच्चयों का मिन्कोव्स्की योग संहत है। एक कॉम्पैक्ट उत्तल सेट और एक बंद उत्तल सेट का योग बंद है।<ref>Lemma&nbsp;5.3: {{cite book|first1=C.D.|last1= Aliprantis|first2=K.C.| last2=Border|title=Infinite Dimensional Analysis, A Hitchhiker's Guide| publisher=Springer| location=Berlin|year=2006|isbn=978-3-540-29587-7}}</ref>
दो सघन उत्तल समुच्चयों का मिन्कोव्स्की योग संहत है। एक कॉम्पैक्ट उत्तल समुच्चय और एक बंद उत्तल समुच्चय का योग बंद है।<ref>Lemma&nbsp;5.3: {{cite book|first1=C.D.|last1= Aliprantis|first2=K.C.| last2=Border|title=Infinite Dimensional Analysis, A Hitchhiker's Guide| publisher=Springer| location=Berlin|year=2006|isbn=978-3-540-29587-7}}</ref>
निम्नलिखित प्रसिद्ध प्रमेय, 1966 में डियूडोने द्वारा सिद्ध किया गया, दो बंद उत्तल उपसमुच्चय के अंतर को बंद करने के लिए पर्याप्त स्थिति देता है।<ref name="Zalinescu p. 7">{{cite book|last=Zălinescu|first=C.|title=सामान्य सदिश स्थानों में उत्तल विश्लेषण|url=https://archive.org/details/convexanalysisge00zali_934|url-access=limited|publisher=World Scientific Publishing Co., Inc|location= River Edge, NJ |date= 2002|page=[https://archive.org/details/convexanalysisge00zali_934/page/n27 7]|isbn=981-238-067-1|mr=1921556}}</ref> यह एक गैर-खाली उत्तल उपसमुच्चय ''S'' के मंदी शंकु की अवधारणा का उपयोग करता है, जिसे इस प्रकार परिभाषित किया गया है:
निम्नलिखित प्रसिद्ध प्रमेय, 1966 में डियूडोने द्वारा सिद्ध किया गया, दो बंद उत्तल उपसमुच्चय के अंतर को बंद करने के लिए पर्याप्त स्थिति देता है।<ref name="Zalinescu p. 7">{{cite book|last=Zălinescu|first=C.|title=सामान्य सदिश स्थानों में उत्तल विश्लेषण|url=https://archive.org/details/convexanalysisge00zali_934|url-access=limited|publisher=World Scientific Publishing Co., Inc|location= River Edge, NJ |date= 2002|page=[https://archive.org/details/convexanalysisge00zali_934/page/n27 7]|isbn=981-238-067-1|mr=1921556}}</ref> यह एक गैर-खाली उत्तल उपसमुच्चय ''S'' के मंदी शंकु की अवधारणा का उपयोग करता है, जिसे इस प्रकार परिभाषित किया गया है:
<math display=block>\operatorname{rec} S = \left\{ x \in X \, : \, x + S \subseteq S \right\},</math>
<math display=block>\operatorname{rec} S = \left\{ x \in X \, : \, x + S \subseteq S \right\},</math>
जहां यह सेट [[उत्तल शंकु]] युक्त है <math>0 \in X </math> और संतोषजनक <math>S + \operatorname{rec} S = S</math>. ध्यान दें कि यदि S बंद है और तब उत्तल है <math>\operatorname{rec} S</math> बंद है और सभी के लिए है <math>s_0 \in S</math>,
जहां यह समुच्चय [[उत्तल शंकु]] युक्त है <math>0 \in X </math> और संतोषजनक <math>S + \operatorname{rec} S = S</math>. ध्यान दें कि यदि S बंद है और तब उत्तल है <math>\operatorname{rec} S</math> बंद है और सभी के लिए है <math>s_0 \in S</math>,
<math display=block>\operatorname{rec} S = \bigcap_{t > 0} t (S - s_0).</math>
<math display=block>\operatorname{rec} S = \bigcap_{t > 0} t (S - s_0).</math>
प्रमेय (डाययूडोने)। चलो '' और 'बी' गैर-खाली, बंद, और [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस]] के उत्तल उपसमुच्चय हैं जैसे कि <math>\operatorname{rec} A \cap \operatorname{rec} B</math> एक रेखीय उपसमष्टि है। यदि ए या बी [[स्थानीय रूप से कॉम्पैक्ट]] है तो ए − बी बंद है।
प्रमेय (डाययूडोने)। चलो 'a' और 'b' गैर-खाली, बंद, और [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस|स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश स्पेस]] के उत्तल उपसमुच्चय हैं जैसे कि <math>\operatorname{rec} A \cap \operatorname{rec} B</math> एक रेखीय उपसमष्टि है। यदि ए या बी [[स्थानीय रूप से कॉम्पैक्ट]] है तो a − b बंद है।


== उत्तलता के लिए सामान्यीकरण और विस्तार ==
== उत्तलता के लिए सामान्यीकरण और विस्तार ==
कुछ या अन्य पहलुओं में परिभाषा को संशोधित करके यूक्लिडियन अंतरिक्ष में उत्तलता की धारणा को सामान्यीकृत किया जा सकता है। सामान्य नाम सामान्यीकृत उत्तलता का उपयोग किया जाता है, क्योंकि परिणामी वस्तुएं उत्तल सेट के कुछ गुणों को बनाए रखती हैं।
कुछ या अन्य पहलुओं में परिभाषा को संशोधित करके यूक्लिडियन अंतरिक्ष में उत्तलता की धारणा को सामान्यीकृत किया जा सकता है। सामान्य नाम सामान्यीकृत उत्तलता का उपयोग किया जाता है, क्योंकि परिणामी वस्तुएं उत्तल समुच्चय के कुछ गुणों को बनाए रखती हैं।


=== स्टार-उत्तल (स्टार के आकार का) सेट ===
=== स्टार-उत्तल (स्टार के आकार का) समुच्चय ===
{{main|Star domain}}
{{main|स्टार डोमेन}}
होने देना {{mvar|C}} वास्तविक या जटिल सदिश समष्टि में समुच्चय हो। {{mvar|C}} तारा उत्तल (तारा-आकार) है यदि कोई मौजूद है {{math|''x''<sub>0</sub>}} में {{mvar|C}} जैसे कि रेखा खंड से {{math|''x''<sub>0</sub>}} किसी भी बिंदु पर {{mvar|y}} में {{mvar|C}} में निहित है {{mvar|C}}. इसलिए एक गैर-रिक्त उत्तल सेट हमेशा स्टार-उत्तल होता है लेकिन एक स्टार-उत्तल सेट हमेशा उत्तल नहीं होता है।
मान लीजिए {{mvar|C}} वास्तविक या जटिल सदिश समष्टि में समुच्चय हो। {{mvar|C}} तारा उत्तल (तारा-आकार) है यदि कोई सम्मलित है {{math|''x''<sub>0</sub>}} में {{mvar|C}} जैसे कि रेखा खंड से {{math|''x''<sub>0</sub>}} किसी भी बिंदु पर {{mvar|y}} में {{mvar|C}} में निहित है {{mvar|C}}. इसलिए एक गैर-रिक्त उत्तल समुच्चय हमेशा स्टार-उत्तल होता है लेकिन एक स्टार-उत्तल समुच्चय हमेशा उत्तल नहीं होता है।


=== लम्बवत उत्तलता ===
=== लम्बवत उत्तलता ===
{{main|Orthogonal convex hull}}
{{main|ऑर्थोगोनल उत्तल पतवार}}
सामान्यीकृत उत्तलता का एक उदाहरण ओर्थोगोनल उत्तलता है।<ref>Rawlins G.J.E. and Wood D, "Ortho-convexity and its generalizations",  in: ''Computational Morphology'', 137-152. [[Elsevier]], 1988.</ref>
सामान्यीकृत उत्तलता का एक उदाहरण ओर्थोगोनल उत्तलता है।<ref>Rawlins G.J.E. and Wood D, "Ortho-convexity and its generalizations",  in: ''Computational Morphology'', 137-152. [[Elsevier]], 1988.</ref>एक समुच्चय {{mvar|S}} यूक्लिडियन अंतरिक्ष में ऑर्थोगोनली उत्तल या ऑर्थो-उत्तल कहा जाता है, यदि कोई खंड किसी भी समन्वय अक्ष के समानांतर दो बिंदुओं को जोड़ता है {{mvar|S}} पूरी तरह भीतर है {{mvar|S}}. यह सिद्ध करना आसान है कि ऑर्थोकोनवेक्स समुच्चय के किसी भी संग्रह का इंटरसेक्शन ऑर्थोकॉन्वेक्स है। उत्तल समुच्चय के कुछ अन्य गुण भी मान्य हैं।
एक सेट {{mvar|S}} यूक्लिडियन अंतरिक्ष में ऑर्थोगोनली उत्तल या ऑर्थो-उत्तल कहा जाता है, यदि कोई खंड किसी भी समन्वय अक्ष के समानांतर दो बिंदुओं को जोड़ता है {{mvar|S}} पूरी तरह भीतर है {{mvar|S}}. यह सिद्ध करना आसान है कि ऑर्थोकोनवेक्स सेट के किसी भी संग्रह का इंटरसेक्शन ऑर्थोकॉन्वेक्स है। उत्तल समुच्चय के कुछ अन्य गुण भी मान्य हैं।


=== गैर-यूक्लिडियन ज्यामिति ===
=== गैर-यूक्लिडियन ज्यामिति ===
एक उत्तल सेट और एक उत्तल पतवार की परिभाषा स्वाभाविक रूप से उन ज्यामितीयों तक फैली हुई है जो एक [[geodesic]] उत्तलता को परिभाषित करके यूक्लिडियन नहीं हैं, जिसमें सेट में किसी भी दो बिंदुओं में शामिल होने वाले जियोडेसिक्स शामिल हैं।
एक उत्तल समुच्चय और एक उत्तल पतवार की परिभाषा स्वाभाविक रूप से उन ज्यामितीयों तक फैली हुई है जो एक [[geodesic|जियोडेसिक]] उत्तलता को परिभाषित करके यूक्लिडियन नहीं हैं, जिसमें समुच्चय में किसी भी दो बिंदुओं में सम्मलित होने वाले जियोडेसिक्स सम्मलित हैं।


=== ऑर्डर टोपोलॉजी ===
=== ऑर्डर सांस्थिति ===
पूरी तरह से ऑर्डर किए गए सेट के लिए उत्तलता को बढ़ाया जा सकता है {{mvar|X}} [[आदेश टोपोलॉजी]] के साथ संपन्न।<ref>[[James Munkres|Munkres, James]]; ''Topology'', Prentice Hall; 2nd edition (December 28, 1999). {{ISBN|0-13-181629-2}}.</ref>
पूरी तरह से ऑर्डर किए गए समुच्चय के लिए उत्तलता को बढ़ाया जा सकता है {{mvar|X}} [[आदेश टोपोलॉजी|आदेश सांस्थिति]] के साथ संपन्न।<ref>[[James Munkres|Munkres, James]]; ''Topology'', Prentice Hall; 2nd edition (December 28, 1999). {{ISBN|0-13-181629-2}}.</ref>होने देना {{math|''Y'' ⊆ ''X''}}. उपस्थान {{mvar|Y}} एक उत्तल समुच्चय है यदि प्रत्येक जोड़ी बिंदुओं के लिए {{math|''a'', ''b''}} में {{mvar|Y}} ऐसा है कि {{math|''a'' ≤ ''b''}}, अंतराल {{math|[''a'', ''b''] {{=}} {''x'' ∈ ''X'' {{!}} ''a'' ≤ ''x'' ≤ ''b''} }} में निहित है {{mvar|Y}}. वह है, {{mvar|Y}} उत्तल है यदि और केवल यदि सभी के लिए {{math|''a'', ''b''}} में {{mvar|Y}}, {{math|''a'' ≤ ''b''}} तात्पर्य {{math|[''a'', ''b''] ⊆ ''Y''}}.
होने देना {{math|''Y'' ⊆ ''X''}}. उपस्थान {{mvar|Y}} एक उत्तल सेट है यदि प्रत्येक जोड़ी बिंदुओं के लिए {{math|''a'', ''b''}} में {{mvar|Y}} ऐसा है कि {{math|''a'' ≤ ''b''}}, अंतराल {{math|[''a'', ''b''] {{=}} {''x'' ∈ ''X'' {{!}} ''a'' ≤ ''x'' ≤ ''b''} }} में निहित है {{mvar|Y}}. वह है, {{mvar|Y}} उत्तल है अगर और केवल अगर सभी के लिए {{math|''a'', ''b''}} में {{mvar|Y}}, {{math|''a'' ≤ ''b''}} तात्पर्य {{math|[''a'', ''b''] ⊆ ''Y''}}.


एक उत्तल सेट सामान्य रूप से जुड़ा नहीं है: उप-उदाहरण {1,2,3} द्वारा एक प्रति-उदाहरण दिया गया है {{math|'''Z'''}}, जो दोनों उत्तल है और जुड़ा नहीं है।
एक उत्तल समुच्चय सामान्य रूप से जुड़ा नहीं है: उप-उदाहरण {1,2,3} द्वारा एक प्रति-उदाहरण दिया गया है {{math|'''Z'''}}, जो दोनों उत्तल है और जुड़ा नहीं है।


=== उत्तल स्थान ===
=== उत्तल स्थान ===
उत्तलता की धारणा को अन्य वस्तुओं के लिए सामान्यीकृत किया जा सकता है, यदि उत्तलता के कुछ गुणों को [[स्वयंसिद्ध]] के रूप में चुना जाता है।
उत्तलता की धारणा को अन्य वस्तुओं के लिए सामान्यीकृत किया जा सकता है, यदि उत्तलता के कुछ गुणों को [[स्वयंसिद्ध]] के रूप में चुना जाता है।


एक सेट दिया {{mvar|X}}, एक उत्तलता {{mvar|X}} एक संग्रह है {{math|''𝒞''}} के सबसेट का {{mvar|X}} निम्नलिखित स्वयंसिद्धों को संतुष्ट करना:<ref name="Soltan"/><ref name="Singer"/><ref name="vanDeVel" >{{cite book|last=van De Vel|first=Marcel L. J.|title=उत्तल संरचनाओं का सिद्धांत|series=North-Holland Mathematical Library|publisher=North-Holland Publishing Co.|location=Amsterdam|year= 1993|pages=xvi+540|isbn=0-444-81505-8|mr=1234493}}</ref>
एक समुच्चय दिया {{mvar|X}}, एक उत्तलता {{mvar|X}} एक संग्रह है {{math|c}} के सबसमुच्चय का {{mvar|X}} निम्नलिखित स्वयंसिद्धों को संतुष्ट करना:<ref name="Soltan"/><ref name="Singer"/><ref name="vanDeVel" >{{cite book|last=van De Vel|first=Marcel L. J.|title=उत्तल संरचनाओं का सिद्धांत|series=North-Holland Mathematical Library|publisher=North-Holland Publishing Co.|location=Amsterdam|year= 1993|pages=xvi+540|isbn=0-444-81505-8|mr=1234493}}</ref>
# खाली सेट और {{mvar|X}} में हैं {{math|''𝒞''}}
# खाली सेट और {{mvar|X}} में हैं {{math|c}}
# से किसी भी संग्रह का प्रतिच्छेदन {{math|''𝒞''}} में है {{math|''𝒞''}}.
#c से किसी भी संग्रह का प्रतिच्छेदन {{math|c
# तत्वों के [[कुल आदेश]] (समावेशी संबंध के संबंध में) का संघ {{math|''𝒞''}} में है {{math|''𝒞''}}.
}} में है {{math|c}}
# तत्वों के [[कुल आदेश]] (समावेशी संबंध के संबंध में) का संघ {{math|c}} में है {{math|c}}.


के तत्व {{math|''𝒞''}} उत्तल समुच्चय और युग्म कहलाते हैं {{math|(''X'', ''𝒞'')}} उत्तल स्थान कहा जाता है। साधारण उत्तलता के लिए, पहले दो स्वयंसिद्ध हैं, और तीसरा तुच्छ है।
के तत्व {{math|c}} उत्तल समुच्चय और युग्म कहलाते हैं {{math|(''X'', ''c'')}} उत्तल स्थान कहा जाता है। साधारण उत्तलता के लिए, पहले दो स्वयंसिद्ध हैं, और तीसरा तुच्छ है।


अमूर्त उत्तलता की एक वैकल्पिक परिभाषा के लिए, [[असतत ज्यामिति]] के लिए अधिक अनुकूल, [[antimatroid]] से जुड़े ''उत्तल ज्यामिति'' देखें।
अमूर्त उत्तलता की एक वैकल्पिक परिभाषा के लिए, [[असतत ज्यामिति]] के लिए अधिक अनुकूल, [[Index.php?title=एंटीमैट्रोइड|एंटीमैट्रोइड]] से जुड़े ''उत्तल ज्यामिति'' देखें।


== यह भी देखें ==
== यह भी देखें ==
Line 153: Line 150:
* चॉकेट सिद्धांत
* चॉकेट सिद्धांत
* हेली की प्रमेय
* हेली की प्रमेय
* [[Holomorphically उत्तल पतवार]]
* [[होलोमॉर्फिक रूप से उत्तल पतवार]]
* इंटीग्रेटेड-उत्तल सेट
* इंटीग्रेटेड-उत्तल सेट
* [[जॉन इलिप्सिड]]
* [[जॉन इलिप्सिड]]
Line 175: Line 172:
*एक समारोह का ग्राफ
*एक समारोह का ग्राफ
*सदिश स्थल
*सदिश स्थल
*सबसेट
*सबसमुच्चय
*एफ़िन संयोजन
*एफ़िन संयोजन
*इंटीरियर (टोपोलॉजी)
*इंटीरियर (सांस्थिति)
*आर्किमिडीज़ ठोस
*आर्किमिडीज़ ठोस
*अवतल समारोह
*अवतल समारोह
*ऋणात्मक संख्या
*ऋणात्मक संख्या
*हाइपरप्लेन प्रमेय का समर्थन करना
*अधिसमतल प्रमेय का समर्थन करना
*सीमा अंक
*सीमा अंक
*आधा स्थान (ज्यामिति)
*आधा स्थान (ज्यामिति)
Line 190: Line 187:
*sumset
*sumset
*जियोडेसिक उत्तलता
*जियोडेसिक उत्तलता
*पूरी तरह से आदेशित सेट
*पूरी तरह से आदेशित समुच्चय
*समावेशन संबंध
*समावेशन संबंध
*एकीकृत-उत्तल सेट
*एकीकृत-उत्तल समुच्चय
*चॉक्लेट सिद्धांत
*चॉक्लेट सिद्धांत
==बाहरी संबंध==
==बाहरी संबंध==
Line 204: Line 201:
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Convex Set}}[[Category:उत्तल विश्लेषण]]
{{DEFAULTSORT:Convex Set}}
[[Category: उत्तल ज्यामिति]]
 


[[Category: Machine Translated Page]]
[[Category:AC with 0 elements|Convex Set]]
[[Category:Created On 24/11/2022]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Convex Set]]
[[Category:Articles with short description|Convex Set]]
[[Category:CS1 English-language sources (en)]]
[[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 24/11/2022|Convex Set]]
[[Category:Lua-based templates|Convex Set]]
[[Category:Machine Translated Page|Convex Set]]
[[Category:Multi-column templates|Convex Set]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter|Convex Set]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description|Convex Set]]
[[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|Convex Set]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData|Convex Set]]
[[Category:Templates using under-protected Lua modules|Convex Set]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:उत्तल ज्यामिति|Convex Set]]
[[Category:उत्तल विश्लेषण|Convex Set]]

Latest revision as of 14:26, 7 December 2022

उत्तल समुच्चय का चित्रण जो कुछ-कुछ विकृत वृत्त जैसा दिखता है। रेखा खंड, जो ऊपर काले रंग में दिखाया गया है, बिंदु x और y को मिलाते हुए, समुच्चय के भीतर पूरी तरह से स्थित है, जिसे हरे रंग में दिखाया गया है। चूंकि यह उपरोक्त समुच्चय के भीतर किन्हीं दो बिंदुओं के संभावित स्थानों के लिए सही है, समुच्चय उत्तल है।
एक गैर-उत्तल समुच्चय का चित्रण। उपरोक्त रेखा खंड द्वारा चित्रित किया गया है जिससे यह काले रंग से लाल रंग में बदल जाता है। हरे रंग में दिखाया गया यह उपरोक्त समुच्चय गैर-उत्तल क्यों है इसका उदाहरण।

ज्यामिति में, एक यूक्लिडियन अंतरिक्ष का एक उपसमुच्चय, या अधिक सामान्यतः वास्तविक संख्या पर एक संबधित स्थान उत्तल होता है, यदि उपसमुच्चय में कोई दो बिंदु दिए गए हों, तो उपसमुच्चय में उनसे जुड़ने वाला संपूर्ण रेखा खंड होता है। समतुल्य रूप से, उत्तल समुच्चय या उत्तल क्षेत्र एक उपसमुच्चय है जो प्रत्येक रेखा (ज्यामिति) को एक रेखा खंड (संभवतः खाली) में प्रतिच्छेद करता है।[1][2]

उदाहरण के लिए, एक ठोस घन (ज्यामिति) एक उत्तल समुच्चय है, लेकिन कुछ भी जो खोखला या मांगपत्र है, उदाहरण के लिए, एक वर्धमान आकार, उत्तल नहीं है।

उत्तल समुच्चय की सीमा (सांस्थिति) हमेशा एक उत्तल वक्र होती है। दिए गए सबसमुच्चय वाले सभी उत्तल समूह का प्रतिच्छेदन A यूक्लिडियन अंतरिक्ष की उत्तल पतवार कहा जाता है A. यह युक्त सबसे छोटा उत्तल समुच्चय है A.

एक उत्तल फलन एक वास्तविक-मूल्यवान फलन है जो एक अंतराल पर इस गुण के साथ परिभाषित होता है कि इसका पुरालेख (फलन के किसी फलन के ग्राफ़ पर या उसके ऊपर बिंदुओं का समुच्चय) एक उत्तल समुच्चय है। उत्तल न्यूनीकरण गणितीय अनुकूलन का एक उपक्षेत्र है जो उत्तल समूह पर उत्तल कार्यों को कम करने की समस्या का अध्ययन करता है। उत्तल समुच्चय और कार्यों के गुणों के अध्ययन के लिए समर्पित गणित की शाखा उत्तल विश्लेषण कहलाती है।

उत्तल समुच्चय की धारणा को नीचे वर्णित के अनुसार सामान्यीकृत किया जा सकता है।

परिभाषाएँ

एक उत्तल फलन उत्तल होता है यदि और केवल यदि इसका एपीग्राफ (गणित), इसके फलन के ग्राफ़ के ऊपर का क्षेत्र (हरे रंग में) एक उत्तल समुच्चय है।

मान लीजिए कि S सदिश समष्टि हो या वास्तविक संख्याओं के ऊपर एक संबंद्ध स्थान हो, या, सामान्यतः, कुछ आदेशित क्षेत्र पर। इसमें यूक्लिडियन स्पेस सम्मलित हैं, जो एफ़िन स्पेस हैं। उपसमुच्चय C का S उत्तल है यदि, सभी के लिए x तथा y में C, जोड़ने वाला रेखा खंड x तथा y में सम्मलित है C. इसका मतलब है कि एफ़िन संयोजन (1 − t)x + ty का है C, सभी के लिए x तथा y में C, तथा t अंतराल में (गणित) [0, 1]. इसका तात्पर्य है कि उत्तलता (उत्तल होने की संपत्ति) एफ़िन परिवर्तनों के अंतर्गत अपरिवर्तनीय है। इसका तात्पर्य यह भी है कि वास्तविक संख्या या जटिल संख्या सांस्थितिक सदिश स्पेस में एक उत्तल समुच्चय पथ से जुड़ा हुआ है, इस प्रकार जुड़ा हुआ स्थान है।

एक समुच्चय C सख्ती से उत्तल है यदि प्रत्येक बिंदु जुड़ा हुआ है रेखा खंड पर x तथा y अंतिमबिंदु के अतिरिक्त अन्य की आंतरिक सांस्थिति के अंदर है C. एक बंद उत्तल उपसमुच्चय सख्ती से उत्तल होता है यदि और केवल यदि इसकी प्रत्येक सीमा एक चरम बिंदु है।[3]

एक समुच्चय C उत्तल और संतुलित समुच्चय होने पर बिल्कुल उत्तल है।

R का उत्तल उपसमुच्चय (वास्तविक संख्याओं का समुच्चय) अंतराल और R के बिंदु हैं . यूक्लिडियन विमान के उत्तल उपसमुच्चय के कुछ उदाहरण ठोस नियमित बहुभुज, ठोस त्रिकोण और ठोस त्रिकोण के चौराहे हैं। यूक्लिडियन अंतरिक्ष के उत्तल उपसमुच्चय के कुछ उदाहरण| यूक्लिडियन-3 आयामी अंतरिक्ष आर्किमिडीयन ठोस और प्लेटोनिक ठोस हैं। केप्लर-पॉइन्सॉट पॉलीहेड्रा गैर-उत्तल समुच्चय के उदाहरण हैं।

गैर-उत्तल समुच्चय

एक समुच्चय जो उत्तल नहीं होता है उसे गैर-उत्तल समुच्चय कहा जाता है। एक बहुभुज जो उत्तल बहुभुज नहीं है, उसे कभी-कभी अवतल बहुभुज कहा जाता है,[4] और कुछ स्रोत अधिक सामान्यतः अवतल समुच्चय शब्द का उपयोग गैर-उत्तल समुच्चय के लिए करते हैं,[5] लेकिन अधिकांश अधिकारी इस प्रयोग पर रोक लगाते हैं।[6][7] एक उत्तल समुच्चय का पूरक (समुच्चय सिद्धांत), जैसे एक अवतल फलन के एपिग्राफ, को कभी-कभी रिवर्स उत्तल समुच्चय कहा जाता है, विशेष रूप से गणितीय अनुकूलन के संदर्भ में।[8]


गुण

दिया गया r अंक u1, ..., ur उत्तल समुच्चय में S, तथा r नकारात्मक संख्या λ1, ..., λr ऐसा है कि λ1 + ... + λr = 1, एफाइन संयोजन

का है S. जैसा कि एक उत्तल समुच्चय की परिभाषा है r = 2, यह संपत्ति उत्तल समूह की विशेषता है।

इस तरह के एक एफाइन संयोजन को एक उत्तल संयोजन कहा जाता है u1, ..., ur.

चौराहे और संघ

सदिश स्पेस, एफाइन स्पेस या यूक्लिडियन स्पेस के उत्तल उपसमुच्चय के संग्रह में निम्नलिखित गुण होते हैं:[9][10]

  1. खाली समुच्चय और पूरा स्थान उत्तल है।
  2. उत्तल समूह के किसी भी संग्रह का प्रतिच्छेदन उत्तल है।
  3. उत्तल समूह के एक अनुक्रम का संघ (समुच्चय) उत्तल है, यदि वे समावेशन के लिए कुल क्रम चेन| गैर-घटती श्रृंखला बनाते हैं। इस संपत्ति के लिए, जंजीरों पर प्रतिबंध महत्वपूर्ण है, क्योंकि दो उत्तल समूह के मिलन को उत्तल होने की आवश्यकता नहीं है।

बंद उत्तल समुच्चय

बंद समुच्चय उत्तल समुच्चय होते हैं जिनमें उनके सभी सीमा बिंदु होते हैं। उन्हें बंद आधे स्थान के इंटरसेक्शन के रूप में चित्रित किया जा सकता है।

अभी जो कहा गया है, उससे यह स्पष्ट है कि ऐसे चौराहे उत्तल हैं, और वे बंद समुच्चय भी होंगे। उलटा सिद्ध करने के लिए, अर्थात, प्रत्येक बंद उत्तल समुच्चय को इस तरह के चौराहे के रूप में प्रदर्शित किया जा सकता है, किसी को अधिसमतल प्रमेय को इस रूप में समर्थन देने की आवश्यकता होती है कि किसी दिए गए बंद उत्तल समुच्चय के लिए C और बिंदु P इसके बाहर एक बंद अर्ध-आकाश है H उसमें सम्मिलित है C और नहीं P. सहायक अधिसमतल प्रमेय कार्यात्मक विश्लेषण के हन-बनाक प्रमेय का एक विशेष मामला है।

उत्तल समुच्चय और आयत

होने देना C विमान में एक उत्तल शरीर हो (एक उत्तल समुच्चय जिसका आंतरिक खाली नहीं है)। हम एक आयत r को अंदर अंकित कर सकते हैं C जैसे कि r की एक होमोथेटिक परिवर्तन कॉपी R के बारे में बताया गया है C. धनात्मक समरूपता अनुपात अधिक से अधिक 2 है और:[11]

ब्लाश्के-संतालो आरेख

समुच्चय उत्तल शरीर व्यास सामान्यीकरण d, इसके अंतःत्रिज्या r (उत्तल शरीर में निहित सबसे बड़ा वृत्त) और इसकी परिधि r (उत्तल शरीर वाला सबसे छोटा वृत्त) के संदर्भ में सभी तलीय उत्तल पिंडों को परिचालित किया जा सकता है। वास्तव में, इस समुच्चय को असमानताओं के समुच्चय द्वारा वर्णित किया जा सकता है[12][13]

और फलन g की छवि के रूप में देखा जा सकता है जो एक उत्तल शरीर को प्रतिचित्रित करता है R2 (r/r, d/2,r) द्वारा दिया गया बिंदु। इस फलन की छवि को एक (r, d, r) ब्लाचके-संतालो आरेख के रूप में जाना जाता है।[13]फ़ाइल: ब्लास्चके-सैंटलो_डायग्राम_फॉर_प्लानर_कोनवेक्स_बॉडीज़.पीडीएफ|alt=|center|thumb|673x673px|ब्लाशके-सैंटलो (r, d, r) प्लानर उत्तल पिंडों के लिए आरेख। रेखा खंड को दर्शाता है, समबाहु त्रिभुज, Reuleaux त्रिकोण और यूनिट सर्कल। वैकल्पिक रूप से, समुच्चय इसकी चौड़ाई (किसी भी दो अलग-अलग समानांतर समर्थन अधिसमतल के बीच की सबसे छोटी दूरी), परिधि और क्षेत्र द्वारा पैरामीट्रिज्ड किया जा सकता है।[12][13]


अन्य गुण

मान लीजिए कि X एक सांस्थितिक सदिश समष्टि है और उत्तल हो।

  • तथा दोनों उत्तल हैं (अर्थात उत्तल समुच्चय का संवरण और आंतरिक भाग उत्तल हैं)।
  • यदि तथा फिर (कहाँ पे ).
  • यदि फिर:
    • , तथा
    • , कहाँ पे C का बीजगणितीय आंतरिक भाग है।

उत्तल हल्स और मिन्कोव्स्की रकम

उत्तल पतवार

हर उपसमुच्चय A सदिश स्थान का एक सबसे छोटा उत्तल समुच्चय (जिसे उत्तल पतवार कहा जाता है) के भीतर समाहित है A), अर्थात् सभी उत्तल समूह का चौराहा A. उत्तल-पतवार ऑपरेटर कनव () में बंद करने वाला ऑपरेटर के विशिष्ट गुण हैं:

  • बहुत बड़ा: S ⊆ Conv(S),
  • मोनोटोन फलन # क्रम सिद्धांत में एकरसता | गैर-घटता: S ⊆ T इसका आशय है Conv(S) ⊆ Conv(T), तथा
  • आलस्य : Conv(Conv(S)) = Conv(S).

उत्तल समुच्चय के समुच्चय को a बनाने के लिए उत्तल-पतवार ऑपरेशन की आवश्यकता होती है जाली (क्रम), जिसमें जुड़ना और मिलना | ज्वाइन ऑपरेशन दो उत्तल समूह के मिलन का उत्तल पतवार है

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

मिन्कोव्स्की जोड़

Three squares are shown in the nonnegative quadrant of the Cartesian plane. चौराहा Q1 = [0, 1] × [0, 1] हरा है। चौराहा Q2 = [1, 2] × [1, 2] भूरा है, और यह फ़िरोज़ा वर्ग के अंदर बैठता है Q1+Q2=[1,3]×[1,3]. सेट का। -->वर्गों का योग Q1=[0,1]2 और Q2=[1,2]2 वर्ग Q है1+ क्यू2=[1,3]2</उप>।

एक वास्तविक सदिश-स्पेस में, दो (गैर-खाली) समूह का मिन्कोव्स्की जोड़, S1 तथा S2, सारांश के रूप में परिभाषित किया गया है S1 + S2 सारांश-समुच्चय से तत्व-वार वैक्टर के योग से बनता है

अधिक सामान्यतः, (गैर-रिक्त) समूह के परिमित परिवार का मिन्कोव्स्की योग Sn है समुच्चय वैक्टर के तत्व-वार जोड़ से बनता है
मिन्कोव्स्की योग के लिए, शून्य समुच्चय{0} जिसमें केवल शून्य सदिश| शून्य सदिश हो 0 पहचान तत्व है: सदिश स्थान के प्रत्येक गैर-रिक्त उपसमुच्चय S के लिए
बीजीय शब्दावली में, {0} मिन्कोव्स्की जोड़ का पहचान तत्व है (गैर-खाली समूह के संग्रह पर)।[14]


मिन्कोव्स्की रकम के उत्तल हल

उत्तल हल्स लेने की संक्रिया के संबंध में मिन्कोवस्की योग अच्छा व्यवहार करता है, जैसा कि निम्नलिखित प्रस्ताव द्वारा दिखाया गया है:

मान लीजिए S1, S2 एक वास्तविक सदिश-स्थान के उपसमुच्चय हों, उनके मिन्कोव्स्की योग का उत्तल हल उनके उत्तल हलों का मिन्कोव्स्की योग है

यह परिणाम आमतौर पर गैर-रिक्त समूह के प्रत्येक सीमित संग्रह के लिए अधिक होता है:
गणितीय शब्दावली में, मिन्कोवस्की संकलन की संक्रिया (गणित) और उत्तल पतवार बनाने की संक्रियाएँ क्रमविनिमेयता संक्रियाएँ हैं।[15][16]


उत्तल समूह के मिन्कोवस्की योग

दो सघन उत्तल समुच्चयों का मिन्कोव्स्की योग संहत है। एक कॉम्पैक्ट उत्तल समुच्चय और एक बंद उत्तल समुच्चय का योग बंद है।[17] निम्नलिखित प्रसिद्ध प्रमेय, 1966 में डियूडोने द्वारा सिद्ध किया गया, दो बंद उत्तल उपसमुच्चय के अंतर को बंद करने के लिए पर्याप्त स्थिति देता है।[18] यह एक गैर-खाली उत्तल उपसमुच्चय S के मंदी शंकु की अवधारणा का उपयोग करता है, जिसे इस प्रकार परिभाषित किया गया है:

जहां यह समुच्चय उत्तल शंकु युक्त है और संतोषजनक . ध्यान दें कि यदि S बंद है और तब उत्तल है बंद है और सभी के लिए है ,
प्रमेय (डाययूडोने)। चलो 'a' और 'b' गैर-खाली, बंद, और स्थानीय रूप से उत्तल टोपोलॉजिकल सदिश स्पेस के उत्तल उपसमुच्चय हैं जैसे कि एक रेखीय उपसमष्टि है। यदि ए या बी स्थानीय रूप से कॉम्पैक्ट है तो a − b बंद है।

उत्तलता के लिए सामान्यीकरण और विस्तार

कुछ या अन्य पहलुओं में परिभाषा को संशोधित करके यूक्लिडियन अंतरिक्ष में उत्तलता की धारणा को सामान्यीकृत किया जा सकता है। सामान्य नाम सामान्यीकृत उत्तलता का उपयोग किया जाता है, क्योंकि परिणामी वस्तुएं उत्तल समुच्चय के कुछ गुणों को बनाए रखती हैं।

स्टार-उत्तल (स्टार के आकार का) समुच्चय

मान लीजिए C वास्तविक या जटिल सदिश समष्टि में समुच्चय हो। C तारा उत्तल (तारा-आकार) है यदि कोई सम्मलित है x0 में C जैसे कि रेखा खंड से x0 किसी भी बिंदु पर y में C में निहित है C. इसलिए एक गैर-रिक्त उत्तल समुच्चय हमेशा स्टार-उत्तल होता है लेकिन एक स्टार-उत्तल समुच्चय हमेशा उत्तल नहीं होता है।

लम्बवत उत्तलता

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

गैर-यूक्लिडियन ज्यामिति

एक उत्तल समुच्चय और एक उत्तल पतवार की परिभाषा स्वाभाविक रूप से उन ज्यामितीयों तक फैली हुई है जो एक जियोडेसिक उत्तलता को परिभाषित करके यूक्लिडियन नहीं हैं, जिसमें समुच्चय में किसी भी दो बिंदुओं में सम्मलित होने वाले जियोडेसिक्स सम्मलित हैं।

ऑर्डर सांस्थिति

पूरी तरह से ऑर्डर किए गए समुच्चय के लिए उत्तलता को बढ़ाया जा सकता है X आदेश सांस्थिति के साथ संपन्न।[20]होने देना YX. उपस्थान Y एक उत्तल समुच्चय है यदि प्रत्येक जोड़ी बिंदुओं के लिए a, b में Y ऐसा है कि ab, अंतराल [a, b] = {xX | axb} में निहित है Y. वह है, Y उत्तल है यदि और केवल यदि सभी के लिए a, b में Y, ab तात्पर्य [a, b] ⊆ Y.

एक उत्तल समुच्चय सामान्य रूप से जुड़ा नहीं है: उप-उदाहरण {1,2,3} द्वारा एक प्रति-उदाहरण दिया गया है Z, जो दोनों उत्तल है और जुड़ा नहीं है।

उत्तल स्थान

उत्तलता की धारणा को अन्य वस्तुओं के लिए सामान्यीकृत किया जा सकता है, यदि उत्तलता के कुछ गुणों को स्वयंसिद्ध के रूप में चुना जाता है।

एक समुच्चय दिया X, एक उत्तलता X एक संग्रह है c के सबसमुच्चय का X निम्नलिखित स्वयंसिद्धों को संतुष्ट करना:[9][10][21]

  1. खाली सेट और X में हैं c
  2. c से किसी भी संग्रह का प्रतिच्छेदन c

में है c

  1. तत्वों के कुल आदेश (समावेशी संबंध के संबंध में) का संघ c में है c.

के तत्व c उत्तल समुच्चय और युग्म कहलाते हैं (X, c) उत्तल स्थान कहा जाता है। साधारण उत्तलता के लिए, पहले दो स्वयंसिद्ध हैं, और तीसरा तुच्छ है।

अमूर्त उत्तलता की एक वैकल्पिक परिभाषा के लिए, असतत ज्यामिति के लिए अधिक अनुकूल, एंटीमैट्रोइड से जुड़े उत्तल ज्यामिति देखें।

यह भी देखें


संदर्भ

  1. Morris, Carla C.; Stark, Robert M. (24 August 2015). परिमित गणित: मॉडल और अनुप्रयोग (in English). John Wiley & Sons. p. 121. ISBN 9781119015383. Retrieved 5 April 2017.
  2. Kjeldsen, Tinne Hoff. "उत्तलता और गणितीय प्रोग्रामिंग का इतिहास" (PDF). Proceedings of the International Congress of Mathematicians (ICM 2010): 3233–3257. doi:10.1142/9789814324359_0187. Archived from the original (PDF) on 2017-08-11. Retrieved 5 April 2017.
  3. Halmos, Paul R. (8 November 1982). A Hilbert Space Problem Book. Graduate Texts in Mathematics. Vol. 19 (2nd ed.). New York: Springer-Verlag. p. 5. ISBN 978-0-387-90685-0. OCLC 8169781.
  4. McConnell, Jeffrey J. (2006). कंप्यूटर ग्राफिक्स: व्यवहार में सिद्धांत. p. 130. ISBN 0-7637-2250-2..
  5. Weisstein, Eric W. "Concave". MathWorld.
  6. Takayama, Akira (1994). अर्थशास्त्र में विश्लेषणात्मक तरीके. University of Michigan Press. p. 54. ISBN 9780472081356. अक्सर देखा जाने वाला भ्रम एक "अवतल सेट" है। अवतल और उत्तल कार्य कुछ वर्गों के कार्यों को निर्दिष्ट करते हैं, सेटों के नहीं, जबकि उत्तल सेट सेटों के एक निश्चित वर्ग को निर्दिष्ट करते हैं, न कि कार्यों के वर्ग को। एक "अवतल सेट" कार्यों के साथ सेट को भ्रमित करता है।
  7. Corbae, Dean; Stinchcombe, Maxwell B.; Zeman, Juraj (2009). आर्थिक सिद्धांत और अर्थमिति के लिए गणितीय विश्लेषण का परिचय. Princeton University Press. p. 347. ISBN 9781400833085. अवतल समुच्चय जैसी कोई चीज़ नहीं होती।
  8. Meyer, Robert (1970). "अनुकूलन विधियों के एक परिवार की वैधता" (PDF). SIAM Journal on Control and Optimization. 8: 41–54. doi:10.1137/0308003. MR 0312915..
  9. 9.0 9.1 Soltan, Valeriu, Introduction to the Axiomatic Theory of Convexity, Ştiinţa, Chişinău, 1984 (in Russian).
  10. 10.0 10.1 Singer, Ivan (1997). सार उत्तल विश्लेषण. Canadian Mathematical Society series of monographs and advanced texts. New York: John Wiley & Sons, Inc. pp. xxii+491. ISBN 0-471-16015-6. MR 1461544.
  11. Lassak, M. (1993). "आयतों द्वारा उत्तल पिंडों का सन्निकटन". Geometriae Dedicata. 47: 111–117. doi:10.1007/BF01263495. S2CID 119508642.
  12. 12.0 12.1 Santaló, L. (1961). "समतल उत्तल आकृति के तीन तत्वों के बीच असमानताओं की पूरी प्रणाली पर". Mathematicae Notae. 17: 82–104.
  13. 13.0 13.1 13.2 Brandenberg, René; González Merino, Bernardo (2017). "एक पूर्ण 3-आयामी ब्लाश्के-सैंटलो आरेख". Mathematical Inequalities & Applications (in English) (2): 301–348. doi:10.7153/mia-20-22. ISSN 1331-4343.
  14. The empty set is important in Minkowski addition, because the empty set annihilates every other subset: For every subset S of a vector space, its sum with the empty set is empty: .
  15. Theorem 3 (pages 562–563): Krein, M.; Šmulian, V. (1940). "On regularly convex sets in the space conjugate to a Banach space". Annals of Mathematics. Second Series. 41 (3): 556–583. doi:10.2307/1968735. JSTOR 1968735.
  16. For the commutativity of Minkowski addition and convexification, see Theorem 1.1.2 (pages 2–3) in Schneider; this reference discusses much of the literature on the convex hulls of Minkowski sumsets in its "Chapter 3 Minkowski addition" (pages 126–196): Schneider, Rolf (1993). Convex bodies: The Brunn–Minkowski theory. Encyclopedia of mathematics and its applications. Vol. 44. Cambridge: Cambridge University Press. pp. xiv+490. ISBN 0-521-35220-7. MR 1216521.
  17. Lemma 5.3: Aliprantis, C.D.; Border, K.C. (2006). Infinite Dimensional Analysis, A Hitchhiker's Guide. Berlin: Springer. ISBN 978-3-540-29587-7.
  18. Zălinescu, C. (2002). सामान्य सदिश स्थानों में उत्तल विश्लेषण. River Edge, NJ: World Scientific Publishing Co., Inc. p. 7. ISBN 981-238-067-1. MR 1921556.
  19. Rawlins G.J.E. and Wood D, "Ortho-convexity and its generalizations", in: Computational Morphology, 137-152. Elsevier, 1988.
  20. Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
  21. van De Vel, Marcel L. J. (1993). उत्तल संरचनाओं का सिद्धांत. North-Holland Mathematical Library. Amsterdam: North-Holland Publishing Co. pp. xvi+540. ISBN 0-444-81505-8. MR 1234493.


इस पेज में लापता आंतरिक लिंक की सूची

  • affine अंतरिक्ष
  • उत्तल समारोह
  • वास्तविक मूल्यवान समारोह
  • एक समारोह का ग्राफ
  • सदिश स्थल
  • सबसमुच्चय
  • एफ़िन संयोजन
  • इंटीरियर (सांस्थिति)
  • आर्किमिडीज़ ठोस
  • अवतल समारोह
  • ऋणात्मक संख्या
  • अधिसमतल प्रमेय का समर्थन करना
  • सीमा अंक
  • आधा स्थान (ज्यामिति)
  • रेलेक्स त्रिकोण
  • बीजगणितीय इंटीरियर
  • जाली (आदेश)
  • मिन्कोव्स्की जोड़
  • sumset
  • जियोडेसिक उत्तलता
  • पूरी तरह से आदेशित समुच्चय
  • समावेशन संबंध
  • एकीकृत-उत्तल समुच्चय
  • चॉक्लेट सिद्धांत

बाहरी संबंध