चरम बिंदु: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(10 intermediate revisions by 3 users not shown)
Line 2: Line 2:
{{Other uses}}
{{Other uses}}


[[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>
[[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>




== परिभाषा ==
== परिभाषा ==


पूरे समय यह माना जाता है <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> एक {{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>p, x, y \in X,</math> कहते हैं कि <math>p</math> {{visible anchor|lies between}}{{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> एक कहा जाता है{{visible anchor|extreme point}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} का <math>K</math> अगर यह किन्हीं दो के बीच नहीं है {{em|distinct}} के अंक <math>K.</math> अर्थात  अगर होता है {{em|not}} अस्तित्व <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|{{visible anchor|support variety}}}} अगर <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}}
अगर <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}} कहा जाता है।


=== लक्षण वर्णन ===
=== लक्षण वर्णन ===


{{visible anchor|midpoint}}{{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, y] = \{t x + (1-t) y : 0 \leq t \leq 1\}</math> कहा जाता है{{visible anchor|closed line segment}} या{{visible anchor|closed interval}} बीच में <math>x</math> और <math>y.</math> {{visible anchor|open line segment}} या{{visible anchor|open interval}} बीच में <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|endpoints}} इन अंतरालों में से। एक अंतराल कहा जाता है{{visible anchor|non−degenerate interval}} या ए{{visible anchor|proper interval}} यदि इसके अंतिम बिंदु अलग हैं।{{visible anchor|midpoint of an interval}} इसके समापन बिंदुओं का मध्य बिंदु है।


बंद अंतराल <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|face}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} का <math>K</math> अगर जब भी एक बिंदु <math>p \in F</math> के दो बिंदुओं के बीच स्थित है <math>K,</math> तो वे दो बिंदु अनिवार्य रूप से संबंधित हैं <math>F.</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 theorem|name=Theorem{{sfn|Narici|Beckenstein|2011|pp=275-339}}|math_statement=
बंद अंतराल <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>अनिवार्य रूप से संबंधित हैं।
Let <math>K</math> be a non-empty convex subset of a vector space <math>X</math> and let <math>p \in K.</math>  
 
Then the following statements are equivalent:
{{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> is an extreme point of <math>K.</math></li>
<li><math>p</math>, <math>K.</math></li> का चरम बिंदु है
<li><math>K \setminus \{p\}</math> is convex.</li>
<li><math>K \setminus \{p\}</math> उत्तल है।</li>
<li><math>p</math> is not the midpoint of a non-degenerate line segment contained in <math>K.</math></li>
<li><math>p</math>, <math>K.</math></li> में समाविष्ट गैर-पतित रेखा खंड का मध्यबिंदु नहीं है।
<li>for any <math>x, y \in K,</math> if <math>p \in [x, y]</math> then <math>x = p \text{ or } y = p.</math></li>
<li>किसी <math>x, y \in K,</math> के लिए यदि <math>p \in [x, y]</math> तो <math>x = p \text{ or } y = p.</math></li>
<li>if <math>x \in X</math> is such that both <math>p + x</math> and <math>p - x</math> belong to <math>K,</math> then <math>x = 0.</math></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> is a face of <math>K.</math></li>
<li><math>\{p\}</math>, <math>K.</math></li> का चेहरा है
</ol>
</ol>
}}
}}


== उदाहरण ==
== उदाहरण ==


अगर <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^n</math> कोई चरम बिंदु नहीं है।
 
में कोई [[खुला अंतराल]] <math>\R</math> कोई चरम बिंदु नहीं है जबकि कोई गैर-पतित [[बंद अंतराल]] के बराबर नहीं है <math>\R</math> में चरम बिंदु होते हैं (अर्थात, बंद अंतराल का समापन बिंदु)। अधिक ऊपरी भाग, परिमित-आयामी [[यूक्लिडियन अंतरिक्ष]] का कोई भी [[खुला सेट|खुला समुच्चय]] <math>\R^n</math> कोई चरम बिंदु नहीं है।


बंद यूनिट डिस्क के चरम बिंदु अंदर <math>\R^2</math> इकाई वृत्त है।
बंद यूनिट डिस्क के चरम बिंदु अंदर <math>\R^2</math> इकाई वृत्त है।


समतल में किसी भी उत्तल बहुभुज का परिमाप उस बहुभुज का एक फलक होता है।{{sfn|Narici|Beckenstein|2011|pp=275-339}}
समतल में किसी भी उत्तल बहुभुज का परिमाप उस बहुभुज का एक फलक होता है।{{sfn|Narici|Beckenstein|2011|pp=275-339}}
समतल में किसी भी उत्तल बहुभुज के शीर्ष <math>\R^2</math> उस बहुभुज के चरम बिंदु हैं।
समतल में किसी भी उत्तल बहुभुज के शीर्ष <math>\R^2</math> उस बहुभुज के चरम बिंदु हैं।


एक इंजेक्शन रैखिक नक्शा <math>F : X \to Y</math> उत्तल सेट के चरम बिंदुओं को भेजता है <math>C \subseteq X</math> उत्तल सेट के चरम बिंदुओं पर <math>F(X).</math>{{sfn|Narici|Beckenstein|2011|pp=275-339}} यह इंजेक्टिव एफ़िन मैप्स के लिए भी सही है।
एक इंजेक्शन रैखिक नक्शा <math>F : X \to Y</math> अवमुख समुच्चय के चरम बिंदुओं को भेजता है <math>C \subseteq X</math> अवमुख समुच्चय के चरम बिंदुओं पर <math>F(X).</math>{{sfn|Narici|Beckenstein|2011|pp=275-339}} यह इंजेक्टिव एफ़िन मैप्स के लिए भी सही है।


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


एक कॉम्पैक्ट उत्तल सेट के चरम बिंदु एक [[बाहर की जगह]] (उप-स्पेस टोपोलॉजी के साथ) बनाते हैं लेकिन यह सेट हो सकता है {{em|fail}} में बंद होना है <math>X.</math>{{sfn|Narici|Beckenstein|2011|pp=275-339}}
एक सघन अवमुख समुच्चय के चरम बिंदु एक [[बाहर की जगह|बाहर की]] स्थान (उप-स्पेस सांस्थितिक के साथ) बनाते हैं लेकिन यह समुच्चय <math>X.</math>हो सकता है {{em|असफल}} में बंद होना है।{{sfn|Narici|Beckenstein|2011|pp=275-339}}


== प्रमेय ==
== प्रमेय ==
Line 57: Line 75:
केरीन-मिलमैन प्रमेय यकीनन चरम बिंदुओं के बारे में सबसे प्रसिद्ध प्रमेयों में से एक है।
केरीन-मिलमैन प्रमेय यकीनन चरम बिंदुओं के बारे में सबसे प्रसिद्ध प्रमेयों में से एक है।


  {{Math theorem|name=[[Krein–Milman theorem]]|math_statement=
  {{Math theorem|name=[[क्रेन-मिलमैन प्रमेय]]|math_statement=
If <math>S</math> is convex and [[Compact space|compact]] in a [[locally convex topological vector space]], then <math>S</math> is the closed [[convex hull]] of its extreme points: In particular, such a set has extreme points.
यदि <math>S</math> उत्तल है और [[कॉम्पैक्ट स्पेस|कॉम्पैक्ट]] एक [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस]] में है, तो <math>S</math> बंद [[उत्तल हल]] है इसके चरम बिंदु: विशेष रूप से, ऐसे सेट के चरम बिंदु होते हैं।
}}
}}


Line 65: Line 83:
ये प्रमेय रैडॉन-निकोडीम संपत्ति के साथ बानाच रिक्त स्थान के लिए हैं।
ये प्रमेय रैडॉन-निकोडीम संपत्ति के साथ बानाच रिक्त स्थान के लिए हैं।


[[जोराम लिंडेनस्ट्रॉस]] के एक प्रमेय में कहा गया है कि, राडोन-निकोडीम संपत्ति के साथ एक [[बनच स्थान]] में, एक गैर-खाली [[बंधा हुआ सेट]] और परिबद्ध सेट का एक चरम बिंदु है। (अनंत-आयामी स्थानों में, [[ कॉम्पैक्ट जगह ]] की संपत्ति बंद होने और बाध्य होने के संयुक्त गुणों से अधिक मजबूत होती है।<ref>{{cite journal|last=Artstein|first=Zvi|title=Discrete&nbsp;and&nbsp;continuous bang-bang and facial&nbsp;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&nbsp;and&nbsp;continuous bang-bang and facial&nbsp;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=
Let <math>E</math> be a Banach space with the Radon-Nikodym property, let <math>C</math> be a separable, closed, bounded, convex subset of <math>E,</math> and let <math>a</math> be a point in <math>C.</math> Then there is a [[probability measure]] <math>p</math> on the universally measurable sets in <math>C</math> such that <math>a</math> is the [[barycenter]] of <math>p,</math> and the set of extreme points of <math>C</math> has <math>p</math>-measure 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>
<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|[[Strictly convex set|strictly convex]]}} यदि इसकी प्रत्येक [[सीमा (टोपोलॉजी)]] | (टोपोलॉजिकल) सीमा बिंदु एक चरम बिंदु है।{{sfn|Halmos|1982|p=5}} किसी भी [[ हिल्बर्ट अंतरिक्ष ]] की [[यूनिट बॉल]] एक सख्त उत्तल सेट है।{{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>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>-आयामी खुले चेहरे विभाजित हैं।


परिमित-विम Krein-Milman प्रमेय, जो Minkowski के कारण है, की अवधारणा का उपयोग करके जल्दी से सिद्ध किया जा सकता है <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>q</math> और <math>r,</math> तो उनकी चरम रैंक इससे कम होनी चाहिए <math>p,</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> तो उनकी चरम रैंक इससे कम होनी चाहिए और प्रमेय प्रेरण द्वारा अनुसरण करता है।


== यह भी देखें ==
== यह भी देखें ==


* {{annotated link|Choquet theory}}
* {{annotated link|चोकेट सिद्धांत}}


==उद्धरण==
==उद्धरण==
Line 119: 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] — मान लीजिये सदिश समष्टि का गैर-रिक्त उत्तल उपसमुच्चय है और तब निम्नलिखित कथन समतुल्य हैं:

  1. ,
  2. का चरम बिंदु है
  3. उत्तल है।
  4. ,
  5. में समाविष्ट गैर-पतित रेखा खंड का मध्यबिंदु नहीं है।
  6. किसी के लिए यदि तो
  7. अगर ऐसा है कि और दोनों से संबंधित हैं, फिर
  8. ,
  9. का चेहरा है







उदाहरण

अगर तब दो वास्तविक संख्याएँ हैं और अंतराल के चरम बिंदु हैं हालाँकि, खुला अंतराल कोई चरम बिंदु नहीं है।[2]

में कोई खुला अंतराल कोई चरम बिंदु नहीं है जबकि कोई गैर-पतित बंद अंतराल के बराबर नहीं है में चरम बिंदु होते हैं (अर्थात, बंद अंतराल का समापन बिंदु)। अधिक ऊपरी भाग, परिमित-आयामी यूक्लिडियन अंतरिक्ष का कोई भी खुला समुच्चय कोई चरम बिंदु नहीं है।

बंद यूनिट डिस्क के चरम बिंदु अंदर इकाई वृत्त है।

समतल में किसी भी उत्तल बहुभुज का परिमाप उस बहुभुज का एक फलक होता है।[2]

समतल में किसी भी उत्तल बहुभुज के शीर्ष उस बहुभुज के चरम बिंदु हैं।

एक इंजेक्शन रैखिक नक्शा अवमुख समुच्चय के चरम बिंदुओं को भेजता है अवमुख समुच्चय के चरम बिंदुओं पर [2] यह इंजेक्टिव एफ़िन मैप्स के लिए भी सही है।

गुण

एक सघन अवमुख समुच्चय के चरम बिंदु एक बाहर की स्थान (उप-स्पेस सांस्थितिक के साथ) बनाते हैं लेकिन यह समुच्चय हो सकता है असफल में बंद होना है।[2]

प्रमेय

क्रेन–मिलमैन प्रमेय

केरीन-मिलमैन प्रमेय यकीनन चरम बिंदुओं के बारे में सबसे प्रसिद्ध प्रमेयों में से एक है।

क्रेन-मिलमैन प्रमेय — यदि उत्तल है और कॉम्पैक्ट एक स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस में है, तो बंद उत्तल हल है इसके चरम बिंदु: विशेष रूप से, ऐसे सेट के चरम बिंदु होते हैं।

बनच रिक्त स्थान के लिए

ये प्रमेय रैडॉन-निकोडीम संपत्ति के साथ बानाच रिक्त स्थान के लिए हैं।

जोराम लिंडेनस्ट्रॉस के एक प्रमेय में कहा गया है कि, राडोन-निकोडीम संपत्ति के साथ एक बनच स्थान में, एक गैर-रिक्त बंधा हुआ समुच्चय और परिबद्ध समुच्चय का एक चरम बिंदु है। (अनंत-आयामी स्थानों में, सघन स्थान की संपत्ति बंद होने और बाध्य होने के संयुक्त गुणों से अधिक मजबूत होती है।[5])

Theorem (Gerald Edgar) —  को राडोन-निकोडीम संपत्ति के साथ एक बानाच स्थान होने दें, को का एक वियोज्य, बंद, घिरा, उत्तल उपसमुच्चय होने दें को में एक बिंदु होने दें। फिर में सार्वभौमिक रूप से मापने योग्य सेट पर एक संभाव्यता माप है, ऐसा कि , का केन्द्रक है और के चरम बिंदुओं के समुच्चय में है-माप 1.[6]

एडगर के प्रमेय का तात्पर्य लिंडेनस्ट्रॉस प्रमेय से है।







संबंधित धारणाएं

एक सांस्थितिक सदिश स्थान का एक बंद उत्तल उपसमुच्चय कहलाता है सख्ती से उत्तल यदि इसकी प्रत्येक सीमा (सांस्थितिक ) | (सांस्थितिक ) सीमा बिंदु एक चरम बिंदु है।[7] किसी भी हिल्बर्ट अंतरिक्ष की यूनिट बॉल एक सख्त अवमुख समुच्चय है।[7]

के-चरम अंक

अधिक सामान्यतः, एक अवमुख समुच्चय में एक बिंदु है-चरम अगर यह एक के इंटीरियर में स्थित है -आयामी उत्तल भीतर समुच्चय लेकिन नहीं -आयामी उत्तल भीतर समुच्चय इस प्रकार, एक चरम बिंदु भी एक है -चरम बिंदु। अगर एक पॉलीटॉप है, तो -चरम बिंदु ठीक इसके आंतरिक बिंदु हैं -आयामी चेहरे अधिक सामान्यतः, किसी भी अवमुख समुच्चय के लिए -Extreme Points में विभाजित हैं -आयामी खुले चेहरे विभाजित हैं।

परिमित-विम केरिन-मिलमैन प्रमेय, जो मिंकोवस्कीके कारण है, की अवधारणा का उपयोग करके जल्दी से सिद्ध किया जा सकता है -चरम बिंदु। अगर बंद है, घिरा हुआ है, और -आयामी, और अगर में एक बिंदु है तब है -कुछ के लिए चरम प्रमेय का दावा है कि चरम बिंदुओं का उत्तल संयोजन है। अगर तो यह तत्काल है। अन्यथा में एक रेखाखंड पर स्थित है जिसे अधिकतम बढ़ाया जा सकता है (क्योंकि बंद और घिरा हुआ है)। यदि खंड के समापन बिंदुए हैं और तो उनकी चरम रैंक इससे कम होनी चाहिए और प्रमेय प्रेरण द्वारा अनुसरण करता है।

यह भी देखें

उद्धरण

  1. Saltzman, Matthew. "What is the difference between corner points and extreme points in linear programming problems?".
  2. 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. 3.0 3.1 Grothendieck 1973, p. 186.
  4. नारिकी & बेकेनस्टीन 2011.
  5. 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.
  6. Edgar GA. A noncompact Choquet theorem. Proceedings of the American Mathematical Society. 1975;49(2):354-8.
  7. 7.0 7.1 Halmos 1982, p. 5.


ग्रन्थसूची