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

From Vigyanwiki
No edit summary
No edit summary
Line 13: Line 13:
किसी  <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>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> अर्थात अगर होता है {{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>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>द्वारा निरूपित किया जाता है।


'''सामान्यीकरण'''
'''सामान्यीकरण'''
Line 22: Line 22:


{{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|midpoint}}{{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|अंतिमबिंदुओं}} इन अंतरालों में से। एक अंतराल कहा जाता है। {{visible anchor|गैर-पतित अंतराल}} या ए{{visible anchor|उचित अंतराल}} यदि इसके अंतिम बिंदु अलग हैं।{{visible anchor|midpoint of an interval}} इसके समापन बिंदुओं का मध्य बिंदु है।
 
किसी भी तत्व के लिए <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|face}}{{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|face}}{{sfn|Narici|Beckenstein|2011|pp=275-339}} का <math>K</math> अगर जब भी एक बिंदु <math>p \in F</math> के दो बिंदुओं के बीच स्थित है <math>K,</math> तो वे दो बिंदु <math>F.</math>अनिवार्य रूप से संबंधित हैं।  
Line 54: Line 55:
== गुण ==
== गुण ==


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


== प्रमेय ==
== प्रमेय ==
Line 83: Line 84:
=== के-चरम अंक ===
=== के-चरम अंक ===


अधिक सामान्यतः, एक अवमुख समुच्चय  में एक बिंदु <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>-आयामी खुले चेहरे विभाजित हैं।


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

Revision as of 11:28, 29 May 2023

हल्के नीले रंग में एक अवमुख समुच्चय , और इसके चरम बिंदु लाल रंग में।

गणित में, अवमुख समुच्चय का एक चरम बिंदु एक वास्तविक संख्या या जटिल संख्या में सदिश स्थान एक बिंदु होता है। जो दो बिन्दुओं को मिलाने वाले किसी खुले रेखाखण्ड में स्थित नहीं है।

रैखिक प्रोग्रामिंग समस्याओं में, एक चरम बिंदु को कोणबिंदु या कॉर्नर पॉइंट भी कहा जाता है[1]


परिभाषा

पूरे समय यह माना जाता है कि एक वास्तविक संख्या या जटिल संख्या सदिश स्थान है।

किसी कहते हैं कि बीच मे स्थित[2] और अगर और वहाँ एक उपलब्ध है ऐसा है कि

अगर का उपसमुच्चय है और तब एक चरम बिंदु[2] कहा जाता है का अगर यह किन्हीं दो के बीच नहीं है अलग अलग के अंक अर्थात अगर का अस्तित्व नहीं होता है और ऐसा है कि और के सभी चरम बिंदुओं का समुच्चय द्वारा निरूपित किया जाता है।

सामान्यीकरण

अगर सदिश समष्टि का एक उपसमुच्चय है फिर एक रेखीय उप-किस्म (अर्थात, एक सजातीय उप-वर्ग) सदिश समष्टि का भाग कहलाता है Template:दृश्यमान एंकर अगर की बैठक (वह है, खाली नहीं है) और हर खुला खंड जिसका आंतरिक भाग मिलता है अनिवार्य रूप से का एक उपसमुच्चय है [3] एक 0-आयामी समर्थन विविधता को चरम बिंदु [3] कहा जाता है।

लक्षण वर्णन

midpoint[2] दो तत्वों का और सदिश स्थान में सदिश है

किसी भी तत्व के लिए और वेक्टर अंतरिक्ष में, समुच्चय कहा जाता है बंद रेखा खंड याबंद अंतराल बीच में और ओपन लाइन खंड या खुला अंतराल बीच में और है कब जबकि यह है कब [2] बिन्दु और कहलाते हैंअंतिमबिंदुओं इन अंतरालों में से। एक अंतराल कहा जाता है। गैर-पतित अंतराल या एउचित अंतराल यदि इसके अंतिम बिंदु अलग हैं।एक अंतराल का मध्य बिंदु इसके समापन बिंदुओं का मध्य बिंदु है।

बंद अंतराल के उत्तल पतवार के बराबर है अगर और केवल अगर) तो यदि उत्तल है और तब अगर का एक अरिक्त उपसमुच्चय है और का एक अरिक्त उपसमुच्चय है तब ए कहा जाता हैface[2] का अगर जब भी एक बिंदु के दो बिंदुओं के बीच स्थित है तो वे दो बिंदु अनिवार्य रूप से संबंधित हैं।

Theorem[2] — Let be a non-empty convex subset of a vector space and let Then the following statements are equivalent:

  1. is an extreme point of
  2. is convex.
  3. is not the midpoint of a non-degenerate line segment contained in
  4. for any if then
  5. if is such that both and belong to then
  6. is a face of

उदाहरण

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

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

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

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

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

गुण

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

प्रमेय

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

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

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

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

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

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

Theorem (Gerald Edgar) —  को राडोन-निकोडीम संपत्ति के साथ एक बानाच स्थान होने दें, को का एक वियोज्य, बंद, घिरा, उत्तल उपसमुच्चय होने दें को Failed to parse (Conversion error. Server ("cli") reported: "SyntaxError: Expected "-", "[", "\\", "\\begin", "\\begin{", "]", "^", "_", "{", "}", [ \t\n\r], [%$], [().], [,:;?!'], [/|], [0-9], [><~], [\-+*=], or [a-zA-Z] but "म" found.in 1:18"): {\displaystyle C में एक बिंदु होने दें। } फिर Failed to parse (Conversion error. Server ("cli") reported: "SyntaxError: Expected "-", "[", "\\", "\\begin", "\\begin{", "]", "^", "_", "{", "}", [ \t\n\r], [%$], [().], [,:;?!'], [/|], [0-9], [><~], [\-+*=], or [a-zA-Z] but "म" found.in 1:18"): {\displaystyle C में सार्वभौमिक रूप से मापने योग्य सेट पर एक [[संभाव्यता माप]] <math>p} है </math> ऐसा कि , का barycenter है और के चरम बिंदुओं के समुच्चय में Failed to parse (Conversion error. Server ("cli") reported: "SyntaxError: Expected "-", "[", "\\", "\\begin", "\\begin{", "]", "^", "_", "{", "}", [ \t\n\r], [%$], [().], [,:;?!'], [/|], [0-9], [><~], [\-+*=], or [a-zA-Z] but "ह" found.in 1:17"): {\displaystyle है p} -माप 1.[5]

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

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

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

के-चरम अंक

अधिक सामान्यतः, एक अवमुख समुच्चय में एक बिंदु है-चरम अगर यह एक के इंटीरियर में स्थित है -आयामी उत्तल भीतर समुच्चय लेकिन नहीं -आयामी उत्तल भीतर समुच्चय इस प्रकार, एक चरम बिंदु भी एक है -चरम बिंदु। अगर एक पॉलीटॉप है, तो -चरम बिंदु ठीक इसके आंतरिक बिंदु हैं -आयामी चेहरे अधिक सामान्यतः, किसी भी अवमुख समुच्चय के लिए -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 2.9 Narici & Beckenstein 2011, pp. 275–339.
  3. 3.0 3.1 Grothendieck 1973, p. 186.
  4. 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.
  5. एडगर जीए। एक नॉनकॉम्पैक्ट चॉकेट प्रमेय। की कार्यवाही अमेरिकी गणितीय सोसायटी। 1975;49(2):354-8.
  6. 6.0 6.1 Halmos 1982, p. 5.


ग्रन्थसूची