चरम बिंदु: Difference between revisions
No edit summary |
No edit summary |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 4: | Line 4: | ||
[[Image:Extreme points.svg|thumb|right|हल्के नीले रंग में एक अवमुख समुच्चय , और इसके चरम बिंदु लाल रंग में।]]गणित में, [[उत्तल सेट|अवमुख समुच्चय]] का एक चरम बिंदु <math>S</math> एक [[वास्तविक संख्या]] या [[जटिल संख्या]] में सदिश स्थान एक बिंदु <math>S</math> होता है। <math>S</math> जो दो बिन्दुओं को मिलाने वाले किसी खुले रेखाखण्ड में स्थित नहीं है। | [[Image:Extreme points.svg|thumb|right|हल्के नीले रंग में एक अवमुख समुच्चय , और इसके चरम बिंदु लाल रंग में।]]गणित में, [[उत्तल सेट|अवमुख समुच्चय]] का एक चरम बिंदु <math>S</math> एक [[वास्तविक संख्या]] या [[जटिल संख्या]] में सदिश स्थान एक बिंदु <math>S</math> होता है। <math>S</math> जो दो बिन्दुओं को मिलाने वाले किसी खुले रेखाखण्ड में स्थित नहीं है। | ||
[[रैखिक प्रोग्रामिंग]] समस्याओं में, एक चरम बिंदु | [[रैखिक प्रोग्रामिंग]] समस्याओं में, एक चरम बिंदु <math>S.</math> को कोण बिंदु या कॉर्नर पॉइंट भी कहा जाता है<ref>{{Cite web|url=https://www.quora.com/What-is-the-difference-between-corner-points-and-extreme-points-in-linear-programming-problems|title=What is the difference between corner points and extreme points in linear programming problems?|last=Saltzman|first=Matthew}}</ref>। | ||
Line 11: | Line 11: | ||
पूरे समय यह माना जाता है कि <math>X</math> एक वास्तविक संख्या या जटिल संख्या सदिश स्थान है। | पूरे समय यह माना जाता है कि <math>X</math> एक वास्तविक संख्या या जटिल संख्या सदिश स्थान है। | ||
किसी | किसी <math>p, x, y \in X,</math> कहते हैं कि <math>p</math> {{visible anchor|बीच मे स्थित}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} <math>x</math> और <math>y</math> अगर <math>x \neq y</math> और वहाँ एक <math>0 < t < 1</math> ऐसा है कि <math>p = t x + (1-t) y.</math>उपलब्ध है। | ||
अगर <math>K</math> का उपसमुच्चय है <math>X</math> और <math>p \in K,</math> तब <math>p</math> एक | अगर <math>K</math> का उपसमुच्चय है <math>X</math> और <math>p \in K,</math> तब <math>p</math> एक {{visible anchor|चरम बिंदु}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} कहा जाता है <math>K</math> का अगर यह किन्हीं दो के बीच नहीं है {{em|अलग अलग}} के अंक <math>K.</math> अर्थात अगर <math>K.</math> का अस्तित्व {{em|नहीं}} होता है<math>x, y \in K</math> और <math>0 < t < 1</math> ऐसा है कि <math>x \neq y</math> और <math>p = t x + (1-t) y.</math> के सभी चरम बिंदुओं का समुच्चय <math>K</math> <math>\operatorname{extreme}(K).</math>द्वारा निरूपित किया जाता है। | ||
'''सामान्यीकरण''' | '''सामान्यीकरण''' | ||
अगर <math>S</math> सदिश समष्टि का एक उपसमुच्चय है फिर एक रेखीय उप-किस्म (अर्थात, एक सजातीय उप-वर्ग) <math>A</math> सदिश समष्टि का भाग कहलाता है {{em|{{दृश्यमान एंकर|समर्थन किस्म}}}} अगर <math>A</math> की बैठक <math>S</math> (वह है, <math>A \cap S</math> रिक्त नहीं है) और हर खुला खंड <math>I \subseteq S</math> जिसका आंतरिक भाग मिलता है <math>A</math> अनिवार्य रूप से का एक उपसमुच्चय है <math>A.</math>{{sfn|Grothendieck|1973|p=186}} एक 0-आयामी समर्थन विविधता को चरम बिंदु | अगर <math>S</math> सदिश समष्टि का एक उपसमुच्चय है फिर एक रेखीय उप-किस्म (अर्थात, एक सजातीय उप-वर्ग) <math>A</math> सदिश समष्टि का भाग कहलाता है {{em|{{दृश्यमान एंकर|समर्थन किस्म}}}} अगर <math>A</math> की बैठक <math>S</math> (वह है, <math>A \cap S</math> रिक्त नहीं है) और हर खुला खंड <math>I \subseteq S</math> जिसका आंतरिक भाग मिलता है <math>A</math> अनिवार्य रूप से का एक उपसमुच्चय है <math>A.</math>{{sfn|Grothendieck|1973|p=186}} एक 0-आयामी समर्थन विविधता को चरम बिंदु <math>S.</math>{{sfn|Grothendieck|1973|p=186}} कहा जाता है। | ||
=== लक्षण वर्णन === | === लक्षण वर्णन === | ||
Line 23: | Line 23: | ||
{{visible anchor|मध्य बिंदु}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} दो तत्वों का <math>x</math> और <math>y</math> सदिश स्थान में सदिश <math>\tfrac{1}{2}(x+y).</math>है। | {{visible anchor|मध्य बिंदु}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} दो तत्वों का <math>x</math> और <math>y</math> सदिश स्थान में सदिश <math>\tfrac{1}{2}(x+y).</math>है। | ||
किसी भी तत्व के लिए <math>x</math> और <math>y</math> वेक्टर अंतरिक्ष में, समुच्चय | किसी भी तत्व के लिए <math>x</math> और <math>y</math> वेक्टर अंतरिक्ष में, समुच्चय <math>[x, y] = \{t x + (1-t) y : 0 \leq t \leq 1\}</math> कहा जाता है {{visible anchor|बंद रेखा खंड}} या{{visible anchor|बंद अंतराल}} बीच में <math>x</math> और <math>y.</math> {{visible anchor|ओपन लाइन खंड}} या {{visible anchor|खुला अंतराल}} बीच में <math>x</math> और <math>y</math> है <math>(x, x) = \varnothing</math> कब <math>x = y</math> जबकि यह है <math>(x, y) = \{t x + (1-t) y : 0 < t < 1\}</math> कब <math>x \neq y.</math>{{sfn|Narici|Beckenstein|2011|pp=275-339}} बिन्दु <math>x</math> और <math>y</math> कहलाते हैं{{visible anchor|अंतिमबिंदुओं}} इन अंतरालों में से। एक अंतराल कहा जाता है। {{visible anchor|गैर-पतित अंतराल}} या ए{{visible anchor|उचित अंतराल}} यदि इसके अंतिम बिंदु अलग हैं।{{visible anchor|एक अंतराल का मध्य बिंदु}} इसके समापन बिंदुओं का मध्य बिंदु है। | ||
बंद अंतराल <math>[x, y]</math> के उत्तल पतवार के बराबर है <math>(x, y)</math> अगर और केवल अगर) <math>x \neq y.</math> तो यदि <math>K</math> उत्तल है और <math>x, y \in K,</math> तब <math>[x, y] \subseteq K.</math> अगर <math>K</math> का एक अरिक्त उपसमुच्चय है <math>X</math> और <math>F</math> का एक अरिक्त उपसमुच्चय है <math>K,</math> तब <math>F</math> ए कहा जाता है {{visible anchor|ऊपरी भाग }}{{sfn|Narici|Beckenstein|2011|pp=275-339}} का <math>K</math> अगर जब भी एक बिंदु <math>p \in F</math> के दो बिंदुओं के बीच स्थित है <math>K,</math> तो वे दो बिंदु <math>F.</math>अनिवार्य रूप से संबंधित हैं। | बंद अंतराल <math>[x, y]</math> के उत्तल पतवार के बराबर है <math>(x, y)</math> अगर और केवल अगर) <math>x \neq y.</math> तो यदि <math>K</math> उत्तल है और <math>x, y \in K,</math> तब <math>[x, y] \subseteq K.</math> अगर <math>K</math> का एक अरिक्त उपसमुच्चय है <math>X</math> और <math>F</math> का एक अरिक्त उपसमुच्चय है <math>K,</math> तब <math>F</math> ए कहा जाता है {{visible anchor|ऊपरी भाग }}{{sfn|Narici|Beckenstein|2011|pp=275-339}} का <math>K</math> अगर जब भी एक बिंदु <math>p \in F</math> के दो बिंदुओं के बीच स्थित है <math>K,</math> तो वे दो बिंदु <math>F.</math>अनिवार्य रूप से संबंधित हैं। | ||
{{Math theorem|name=Theorem{{sfn| | {{Math theorem|name=Theorem{{sfn|नारिकी|बेकेनस्टीन|2011|पीपी=275-339}}|math_statement= | ||
मान लीजिये <math>K</math> सदिश समष्टि <math>X</math> का गैर-रिक्त उत्तल उपसमुच्चय है और <math>p \in K.</math> | |||
तब निम्नलिखित कथन समतुल्य हैं: | |||
<ol> | <ol> | ||
<li><math>p</math> | <li><math>p</math>, <math>K.</math></li> का चरम बिंदु है | ||
<li><math>K \setminus \{p\}</math> | <li><math>K \setminus \{p\}</math> उत्तल है।</li> | ||
<li><math>p</math> | <li><math>p</math>, <math>K.</math></li> में समाविष्ट गैर-पतित रेखा खंड का मध्यबिंदु नहीं है। | ||
<li> | <li>किसी <math>x, y \in K,</math> के लिए यदि <math>p \in [x, y]</math> तो <math>x = p \text{ or } y = p.</math></li> | ||
<li> | <li>अगर <math>x \in X</math> ऐसा है कि <math>p + x</math> और <math>p - x</math> दोनों <math>K,</math> से संबंधित हैं, फिर <math>x = 0.</math></li> | ||
<li><math>\{p\}</math> | <li><math>\{p\}</math>, <math>K.</math></li> का चेहरा है | ||
</ol> | </ol> | ||
}} | }} | ||
== उदाहरण == | == उदाहरण == | ||
Line 44: | Line 55: | ||
अगर <math>a < b</math> तब दो वास्तविक संख्याएँ हैं <math>a</math> और <math>b</math> अंतराल के चरम बिंदु हैं <math>[a, b].</math> हालाँकि, खुला अंतराल <math>(a, b)</math> कोई चरम बिंदु नहीं है।{{sfn |Narici|Beckenstein|2011|pp=275-339}} | अगर <math>a < b</math> तब दो वास्तविक संख्याएँ हैं <math>a</math> और <math>b</math> अंतराल के चरम बिंदु हैं <math>[a, b].</math> हालाँकि, खुला अंतराल <math>(a, b)</math> कोई चरम बिंदु नहीं है।{{sfn |Narici|Beckenstein|2011|pp=275-339}} | ||
में कोई [[खुला अंतराल]] <math>\R</math> कोई चरम बिंदु नहीं है जबकि कोई गैर-पतित [[बंद अंतराल]] के बराबर नहीं है <math>\R</math> में चरम बिंदु होते हैं (अर्थात, बंद अंतराल का समापन बिंदु)। अधिक ऊपरी भाग, परिमित-आयामी [[यूक्लिडियन अंतरिक्ष]] का कोई भी [[खुला सेट|खुला समुच्चय]] | में कोई [[खुला अंतराल]] <math>\R</math> कोई चरम बिंदु नहीं है जबकि कोई गैर-पतित [[बंद अंतराल]] के बराबर नहीं है <math>\R</math> में चरम बिंदु होते हैं (अर्थात, बंद अंतराल का समापन बिंदु)। अधिक ऊपरी भाग, परिमित-आयामी [[यूक्लिडियन अंतरिक्ष]] का कोई भी [[खुला सेट|खुला समुच्चय]] <math>\R^n</math> कोई चरम बिंदु नहीं है। | ||
बंद यूनिट डिस्क के चरम बिंदु अंदर <math>\R^2</math> इकाई वृत्त है। | बंद यूनिट डिस्क के चरम बिंदु अंदर <math>\R^2</math> इकाई वृत्त है। | ||
Line 52: | Line 63: | ||
समतल में किसी भी उत्तल बहुभुज के शीर्ष <math>\R^2</math> उस बहुभुज के चरम बिंदु हैं। | समतल में किसी भी उत्तल बहुभुज के शीर्ष <math>\R^2</math> उस बहुभुज के चरम बिंदु हैं। | ||
एक इंजेक्शन रैखिक नक्शा <math>F : X \to Y</math> अवमुख समुच्चय | एक इंजेक्शन रैखिक नक्शा <math>F : X \to Y</math> अवमुख समुच्चय के चरम बिंदुओं को भेजता है <math>C \subseteq X</math> अवमुख समुच्चय के चरम बिंदुओं पर <math>F(X).</math>{{sfn|Narici|Beckenstein|2011|pp=275-339}} यह इंजेक्टिव एफ़िन मैप्स के लिए भी सही है। | ||
== गुण == | == गुण == | ||
एक सघन अवमुख समुच्चय | एक सघन अवमुख समुच्चय के चरम बिंदु एक [[बाहर की जगह|बाहर की]] स्थान (उप-स्पेस सांस्थितिक के साथ) बनाते हैं लेकिन यह समुच्चय <math>X.</math>हो सकता है {{em|असफल}} में बंद होना है।{{sfn|Narici|Beckenstein|2011|pp=275-339}} | ||
== प्रमेय == | == प्रमेय == | ||
Line 72: | Line 83: | ||
ये प्रमेय रैडॉन-निकोडीम संपत्ति के साथ बानाच रिक्त स्थान के लिए हैं। | ये प्रमेय रैडॉन-निकोडीम संपत्ति के साथ बानाच रिक्त स्थान के लिए हैं। | ||
[[जोराम लिंडेनस्ट्रॉस]] के एक प्रमेय में कहा गया है कि, राडोन-निकोडीम संपत्ति के साथ एक [[बनच स्थान]] में, एक गैर-रिक्त [[बंधा हुआ सेट|बंधा हुआ समुच्चय]] और परिबद्ध समुच्चय का एक चरम बिंदु है। (अनंत-आयामी स्थानों में, [[ कॉम्पैक्ट जगह | सघन स्थान]] की संपत्ति बंद होने और बाध्य होने के संयुक्त गुणों से अधिक मजबूत होती है।<ref>{{cite journal|last=Artstein|first=Zvi|title=Discrete and continuous bang-bang and facial spaces, or: Look for the extreme points|journal=SIAM Review|volume=22|year=1980|number=2|pages=172–185|doi=10.1137/1022026|mr=564562|jstor=2029960}}</ref>) | [[जोराम लिंडेनस्ट्रॉस]] के एक प्रमेय में कहा गया है कि, राडोन-निकोडीम संपत्ति के साथ एक [[बनच स्थान]] में, एक गैर-रिक्त [[बंधा हुआ सेट|बंधा हुआ समुच्चय]] और परिबद्ध समुच्चय का एक चरम बिंदु है। (अनंत-आयामी स्थानों में, [[ कॉम्पैक्ट जगह |सघन स्थान]] की संपत्ति बंद होने और बाध्य होने के संयुक्त गुणों से अधिक मजबूत होती है।<ref>{{cite journal|last=Artstein|first=Zvi|title=Discrete and continuous bang-bang and facial spaces, or: Look for the extreme points|journal=SIAM Review|volume=22|year=1980|number=2|pages=172–185|doi=10.1137/1022026|mr=564562|jstor=2029960}}</ref>) | ||
{{Math theorem|name=Theorem|note=[[Gerald Edgar]]|math_statement= | {{Math theorem|name=Theorem|note=[[Gerald Edgar]]|math_statement= | ||
<math>E</math> को राडोन-निकोडीम संपत्ति के साथ एक बानाच स्थान होने दें, <math>C</math> को <math>E,</math> का एक वियोज्य, बंद, घिरा, उत्तल उपसमुच्चय होने दें <math>a</math> को <math>C में एक बिंदु होने दें। < | <math>E</math> को राडोन-निकोडीम संपत्ति के साथ एक बानाच स्थान होने दें, <math>C</math> को <math>E,</math> का एक वियोज्य, बंद, घिरा, उत्तल उपसमुच्चय होने दें <math>a</math> को <math>C</math> में एक बिंदु होने दें। फिर <math>C</math> में सार्वभौमिक रूप से मापने योग्य सेट पर एक [[संभाव्यता माप]] <math>p</math> है, ऐसा कि <math>a</math>, <math>p,</math> का [[केन्द्रक]] है और <math>C</math> के चरम बिंदुओं के समुच्चय में <math>p</math>है-माप 1.<ref>Edgar GA. [https://www.ams.org/journals/proc/1975-049-02/S0002-9939-1975-0372586-2/S0002-9939-1975-0372586-2.pdf A noncompact Choquet theorem.] Proceedings of the American Mathematical Society. 1975;49(2):354-8.</ref> | ||
}} | }} | ||
एडगर के प्रमेय का तात्पर्य लिंडेनस्ट्रॉस प्रमेय से है। | एडगर के प्रमेय का तात्पर्य लिंडेनस्ट्रॉस प्रमेय से है। | ||
== संबंधित धारणाएं == | == संबंधित धारणाएं == | ||
एक सांस्थितिक सदिश स्थान का एक बंद उत्तल उपसमुच्चय कहलाता है {{em|[[सख्ती से उत्तल सेट|सख्ती से उत्तल]]}} यदि इसकी प्रत्येक [[सीमा (टोपोलॉजी)|सीमा (सांस्थितिक )]] | (सांस्थितिक ) सीमा बिंदु एक चरम बिंदु है।{{sfn|Halmos|1982|p=5}} किसी भी [[ हिल्बर्ट अंतरिक्ष ]] की [[यूनिट बॉल]] एक सख्त अवमुख समुच्चय | एक सांस्थितिक सदिश स्थान का एक बंद उत्तल उपसमुच्चय कहलाता है {{em|[[सख्ती से उत्तल सेट|सख्ती से उत्तल]]}} यदि इसकी प्रत्येक [[सीमा (टोपोलॉजी)|सीमा (सांस्थितिक )]] | (सांस्थितिक ) सीमा बिंदु एक चरम बिंदु है।{{sfn|Halmos|1982|p=5}} किसी भी [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट अंतरिक्ष]] की [[यूनिट बॉल]] एक सख्त अवमुख समुच्चय है।{{sfn|Halmos|1982|p=5}} | ||
=== के-चरम अंक === | === के-चरम अंक === | ||
अधिक सामान्यतः, एक अवमुख समुच्चय | अधिक सामान्यतः, एक अवमुख समुच्चय में एक बिंदु <math>S</math> है<math>k</math>-चरम अगर यह एक के इंटीरियर में स्थित है <math>k</math>-आयामी उत्तल भीतर समुच्चय <math>S,</math> लेकिन नहीं <math>k + 1</math>-आयामी उत्तल भीतर समुच्चय <math>S.</math> इस प्रकार, एक चरम बिंदु भी एक है <math>0</math>-चरम बिंदु। अगर <math>S</math> एक पॉलीटॉप है, तो <math>k</math>-चरम बिंदु ठीक इसके आंतरिक बिंदु हैं <math>k</math>-आयामी चेहरे <math>S.</math> अधिक सामान्यतः, किसी भी अवमुख समुच्चय के लिए <math>S,</math> <math>k</math>-Extreme Points में विभाजित हैं <math>k</math>-आयामी खुले चेहरे विभाजित हैं। | ||
परिमित-विम केरिन-मिलमैन प्रमेय, जो मिंकोवस्कीके कारण है, की अवधारणा का उपयोग करके जल्दी से सिद्ध किया जा सकता है <math>k</math>-चरम बिंदु। अगर <math>S</math> बंद है, घिरा हुआ है, और <math>n</math>-आयामी, और अगर <math>p</math> में एक बिंदु है <math>S,</math> तब <math>p</math> है <math>k</math>-कुछ के लिए चरम <math>k \leq n.</math> प्रमेय का दावा है कि <math>p</math> चरम बिंदुओं का उत्तल संयोजन है। अगर <math>k = 0</math> तो यह तत्काल है। अन्यथा <math>p</math> में एक रेखाखंड पर स्थित है <math>S</math> जिसे अधिकतम बढ़ाया जा सकता है (क्योंकि <math>S</math> बंद और घिरा हुआ है)। यदि खंड के समापन बिंदुए <math>p,</math> हैं <math>q</math> और <math>r,</math> तो उनकी चरम रैंक इससे कम होनी चाहिए और प्रमेय प्रेरण द्वारा अनुसरण करता है। | परिमित-विम केरिन-मिलमैन प्रमेय, जो मिंकोवस्कीके कारण है, की अवधारणा का उपयोग करके जल्दी से सिद्ध किया जा सकता है <math>k</math>-चरम बिंदु। अगर <math>S</math> बंद है, घिरा हुआ है, और <math>n</math>-आयामी, और अगर <math>p</math> में एक बिंदु है <math>S,</math> तब <math>p</math> है <math>k</math>-कुछ के लिए चरम <math>k \leq n.</math> प्रमेय का दावा है कि <math>p</math> चरम बिंदुओं का उत्तल संयोजन है। अगर <math>k = 0</math> तो यह तत्काल है। अन्यथा <math>p</math> में एक रेखाखंड पर स्थित है <math>S</math> जिसे अधिकतम बढ़ाया जा सकता है (क्योंकि <math>S</math> बंद और घिरा हुआ है)। यदि खंड के समापन बिंदुए <math>p,</math> हैं <math>q</math> और <math>r,</math> तो उनकी चरम रैंक इससे कम होनी चाहिए और प्रमेय प्रेरण द्वारा अनुसरण करता है। | ||
Line 91: | Line 113: | ||
== यह भी देखें == | == यह भी देखें == | ||
* {{annotated link| | * {{annotated link|चोकेट सिद्धांत}} | ||
==उद्धरण== | ==उद्धरण== | ||
Line 126: | Line 148: | ||
[[Category:Created On 25/05/2023]] | [[Category:Created On 25/05/2023]] | ||
[[Category:Harv and Sfn no-target errors]] | [[Category:Harv and Sfn no-target errors]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | [[Category:Machine Translated Page]] | ||
[[Category:Navigational boxes| ]] | [[Category:Navigational boxes| ]] | ||
[[Category:Navigational boxes without horizontal lists]] | [[Category:Navigational boxes without horizontal lists]] | ||
[[Category:Pages using sfn with unknown parameters|पीपीचरम बिंदु]] | |||
[[Category:Pages with broken file links]] | |||
[[Category:Pages with math errors]] | |||
[[Category:Pages with math render errors]] | |||
[[Category:Pages with script errors]] | [[Category:Pages with script errors]] | ||
[[Category:Short description with empty Wikidata description]] | [[Category:Short description with empty Wikidata description]] | ||
[[Category:Sidebars with styles needing conversion]] | [[Category:Sidebars with styles needing conversion]] | ||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] |
Latest revision as of 15:24, 6 June 2023
गणित में, अवमुख समुच्चय का एक चरम बिंदु एक वास्तविक संख्या या जटिल संख्या में सदिश स्थान एक बिंदु होता है। जो दो बिन्दुओं को मिलाने वाले किसी खुले रेखाखण्ड में स्थित नहीं है।
रैखिक प्रोग्रामिंग समस्याओं में, एक चरम बिंदु को कोण बिंदु या कॉर्नर पॉइंट भी कहा जाता है[1]।
परिभाषा
पूरे समय यह माना जाता है कि एक वास्तविक संख्या या जटिल संख्या सदिश स्थान है।
किसी कहते हैं कि बीच मे स्थित[2] और अगर और वहाँ एक ऐसा है कि उपलब्ध है।
अगर का उपसमुच्चय है और तब एक चरम बिंदु[2] कहा जाता है का अगर यह किन्हीं दो के बीच नहीं है अलग अलग के अंक अर्थात अगर का अस्तित्व नहीं होता है और ऐसा है कि और के सभी चरम बिंदुओं का समुच्चय द्वारा निरूपित किया जाता है।
सामान्यीकरण
अगर सदिश समष्टि का एक उपसमुच्चय है फिर एक रेखीय उप-किस्म (अर्थात, एक सजातीय उप-वर्ग) सदिश समष्टि का भाग कहलाता है Template:दृश्यमान एंकर अगर की बैठक (वह है, रिक्त नहीं है) और हर खुला खंड जिसका आंतरिक भाग मिलता है अनिवार्य रूप से का एक उपसमुच्चय है [3] एक 0-आयामी समर्थन विविधता को चरम बिंदु [3] कहा जाता है।
लक्षण वर्णन
मध्य बिंदु[2] दो तत्वों का और सदिश स्थान में सदिश है।
किसी भी तत्व के लिए और वेक्टर अंतरिक्ष में, समुच्चय कहा जाता है बंद रेखा खंड याबंद अंतराल बीच में और ओपन लाइन खंड या खुला अंतराल बीच में और है कब जबकि यह है कब [2] बिन्दु और कहलाते हैंअंतिमबिंदुओं इन अंतरालों में से। एक अंतराल कहा जाता है। गैर-पतित अंतराल या एउचित अंतराल यदि इसके अंतिम बिंदु अलग हैं।एक अंतराल का मध्य बिंदु इसके समापन बिंदुओं का मध्य बिंदु है।
बंद अंतराल के उत्तल पतवार के बराबर है अगर और केवल अगर) तो यदि उत्तल है और तब अगर का एक अरिक्त उपसमुच्चय है और का एक अरिक्त उपसमुच्चय है तब ए कहा जाता है ऊपरी भाग [2] का अगर जब भी एक बिंदु के दो बिंदुओं के बीच स्थित है तो वे दो बिंदु अनिवार्य रूप से संबंधित हैं।
Theorem[4] — मान लीजिये सदिश समष्टि का गैर-रिक्त उत्तल उपसमुच्चय है और तब निम्नलिखित कथन समतुल्य हैं:
- , का चरम बिंदु है
- उत्तल है।
- , में समाविष्ट गैर-पतित रेखा खंड का मध्यबिंदु नहीं है।
- किसी के लिए यदि तो
- अगर ऐसा है कि और दोनों से संबंधित हैं, फिर
- , का चेहरा है
उदाहरण
अगर तब दो वास्तविक संख्याएँ हैं और अंतराल के चरम बिंदु हैं हालाँकि, खुला अंतराल कोई चरम बिंदु नहीं है।[2]
में कोई खुला अंतराल कोई चरम बिंदु नहीं है जबकि कोई गैर-पतित बंद अंतराल के बराबर नहीं है में चरम बिंदु होते हैं (अर्थात, बंद अंतराल का समापन बिंदु)। अधिक ऊपरी भाग, परिमित-आयामी यूक्लिडियन अंतरिक्ष का कोई भी खुला समुच्चय कोई चरम बिंदु नहीं है।
बंद यूनिट डिस्क के चरम बिंदु अंदर इकाई वृत्त है।
समतल में किसी भी उत्तल बहुभुज का परिमाप उस बहुभुज का एक फलक होता है।[2]
समतल में किसी भी उत्तल बहुभुज के शीर्ष उस बहुभुज के चरम बिंदु हैं।
एक इंजेक्शन रैखिक नक्शा अवमुख समुच्चय के चरम बिंदुओं को भेजता है अवमुख समुच्चय के चरम बिंदुओं पर [2] यह इंजेक्टिव एफ़िन मैप्स के लिए भी सही है।
गुण
एक सघन अवमुख समुच्चय के चरम बिंदु एक बाहर की स्थान (उप-स्पेस सांस्थितिक के साथ) बनाते हैं लेकिन यह समुच्चय हो सकता है असफल में बंद होना है।[2]
प्रमेय
क्रेन–मिलमैन प्रमेय
केरीन-मिलमैन प्रमेय यकीनन चरम बिंदुओं के बारे में सबसे प्रसिद्ध प्रमेयों में से एक है।
क्रेन-मिलमैन प्रमेय — यदि उत्तल है और कॉम्पैक्ट एक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस में है, तो बंद उत्तल हल है इसके चरम बिंदु: विशेष रूप से, ऐसे सेट के चरम बिंदु होते हैं।
बनच रिक्त स्थान के लिए
ये प्रमेय रैडॉन-निकोडीम संपत्ति के साथ बानाच रिक्त स्थान के लिए हैं।
जोराम लिंडेनस्ट्रॉस के एक प्रमेय में कहा गया है कि, राडोन-निकोडीम संपत्ति के साथ एक बनच स्थान में, एक गैर-रिक्त बंधा हुआ समुच्चय और परिबद्ध समुच्चय का एक चरम बिंदु है। (अनंत-आयामी स्थानों में, सघन स्थान की संपत्ति बंद होने और बाध्य होने के संयुक्त गुणों से अधिक मजबूत होती है।[5])
Theorem (Gerald Edgar) — को राडोन-निकोडीम संपत्ति के साथ एक बानाच स्थान होने दें, को का एक वियोज्य, बंद, घिरा, उत्तल उपसमुच्चय होने दें को में एक बिंदु होने दें। फिर में सार्वभौमिक रूप से मापने योग्य सेट पर एक संभाव्यता माप है, ऐसा कि , का केन्द्रक है और के चरम बिंदुओं के समुच्चय में है-माप 1.[6]
एडगर के प्रमेय का तात्पर्य लिंडेनस्ट्रॉस प्रमेय से है।
संबंधित धारणाएं
एक सांस्थितिक सदिश स्थान का एक बंद उत्तल उपसमुच्चय कहलाता है सख्ती से उत्तल यदि इसकी प्रत्येक सीमा (सांस्थितिक ) | (सांस्थितिक ) सीमा बिंदु एक चरम बिंदु है।[7] किसी भी हिल्बर्ट अंतरिक्ष की यूनिट बॉल एक सख्त अवमुख समुच्चय है।[7]
के-चरम अंक
अधिक सामान्यतः, एक अवमुख समुच्चय में एक बिंदु है-चरम अगर यह एक के इंटीरियर में स्थित है -आयामी उत्तल भीतर समुच्चय लेकिन नहीं -आयामी उत्तल भीतर समुच्चय इस प्रकार, एक चरम बिंदु भी एक है -चरम बिंदु। अगर एक पॉलीटॉप है, तो -चरम बिंदु ठीक इसके आंतरिक बिंदु हैं -आयामी चेहरे अधिक सामान्यतः, किसी भी अवमुख समुच्चय के लिए -Extreme Points में विभाजित हैं -आयामी खुले चेहरे विभाजित हैं।
परिमित-विम केरिन-मिलमैन प्रमेय, जो मिंकोवस्कीके कारण है, की अवधारणा का उपयोग करके जल्दी से सिद्ध किया जा सकता है -चरम बिंदु। अगर बंद है, घिरा हुआ है, और -आयामी, और अगर में एक बिंदु है तब है -कुछ के लिए चरम प्रमेय का दावा है कि चरम बिंदुओं का उत्तल संयोजन है। अगर तो यह तत्काल है। अन्यथा में एक रेखाखंड पर स्थित है जिसे अधिकतम बढ़ाया जा सकता है (क्योंकि बंद और घिरा हुआ है)। यदि खंड के समापन बिंदुए हैं और तो उनकी चरम रैंक इससे कम होनी चाहिए और प्रमेय प्रेरण द्वारा अनुसरण करता है।
यह भी देखें
उद्धरण
- ↑ Saltzman, Matthew. "What is the difference between corner points and extreme points in linear programming problems?".
- ↑ 2.0 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 Narici & Beckenstein 2011, pp. 275–339.
- ↑ 3.0 3.1 Grothendieck 1973, p. 186.
- ↑ नारिकी & बेकेनस्टीन 2011.
- ↑ Artstein, Zvi (1980). "Discrete and continuous bang-bang and facial spaces, or: Look for the extreme points". SIAM Review. 22 (2): 172–185. doi:10.1137/1022026. JSTOR 2029960. MR 0564562.
- ↑ Edgar GA. A noncompact Choquet theorem. Proceedings of the American Mathematical Society. 1975;49(2):354-8.
- ↑ 7.0 7.1 Halmos 1982, p. 5.
ग्रन्थसूची
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics. Vol. 639. Berlin New York: Springer-Verlag. ISBN 978-3-540-08662-8. OCLC 297140003.
- Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
- Paul E. Black, ed. (2004-12-17). "extreme point". Dictionary of algorithms and data structures. US National institute of standards and technology. Retrieved 2011-03-24.
- Borowski, Ephraim J.; Borwein, Jonathan M. (1989). "extreme point". Dictionary of mathematics. Collins dictionary. HarperCollins. ISBN 0-00-434347-6.
- Grothendieck, Alexander (1973). Topological Vector Spaces. Translated by Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- Halmos, Paul R. (8 November 1982). A Hilbert Space Problem Book. Graduate Texts in Mathematics. Vol. 19 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-90685-0. OCLC 8169781.
- Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. Vol. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704.
- Köthe, Gottfried (1979). Topological Vector Spaces II. Grundlehren der mathematischen Wissenschaften. Vol. 237. New York: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics. Vol. 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
- Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.