نقطة قصوى

مجموعة محدبة باللون الأزرق الفاتح، ونقاطها القصوى باللون الأحمر

في الرياضيات ، النقطة القصوى لمجموعة محدبةS{\displaystyle S}في فضاء متجهي حقيقي أو مركب أو فضاء أفيني، تكون النقطة فيS{\displaystyle S}لا يقع ذلك في أي قطعة مستقيمة مفتوحة تصل بين نقطتين منS.{\displaystyle S.}تُسمى النقاط القصوى لقطعة مستقيمة بنقطتي نهايتها . في مسائل البرمجة الخطية ، تُسمى النقطة القصوى أيضًا رأسًا أو نقطة زاوية .S.{\displaystyle S.}

تعريف

يفترض طوال الوقت أنX{\displaystyle X}هو فضاء متجهي حقيقي أو مركب أو فضاء أفيني .

لأيص،x،yX،{\displaystyle p,x,y\in X,}قل ذلكص{\displaystyle p}يقع بين [ 1 ]x{\displaystyle x}وy{\displaystyle y}لوxy{\displaystyle x\neq y}ويوجد0<ت<1{\displaystyle 0<t<1}بحيثص=تx+(1-ت)y.{\displaystyle p=tx+(1-t)y.}

لوك{\displaystyle K}هي مجموعة فرعية منX{\displaystyle X}وصك،{\displaystyle p\in K,}ثمص{\displaystyle p}يُطلق عليه اسمالنقطة القصوى [ 1 ] منك{\displaystyle K}إذا لم يقع بين أي نقطتين متميزتينك.{\displaystyle K.}أي إذا لم يكن موجودًاx،yك{\displaystyle x,y\in K}و0<ت<1{\displaystyle 0<t<1}بحيثxy{\displaystyle x\neq y}وص=تx+(1-ت)y.{\displaystyle p=tx+(1-t)y.}مجموعة جميع النقاط القصوى لـك{\displaystyle K}يُرمز إليه بـأقصى(ك).{\displaystyle \operatorname {extreme} (K).}

التعميمات

لوS{\displaystyle S}إذا كانت مجموعة جزئية من فضاء متجهي، فإنها تكون مجموعة فرعية خطية (أي فضاء فرعي أفيني ).أ{\displaystyle A}يُطلق على جزء من الفضاء المتجهي اسمادعم التنوع إذاأ{\displaystyle A}يلتقِS{\displaystyle S}(إنه،أS{\displaystyle A\cap S}(ليست فارغة) وكل جزء مفتوحأناS{\displaystyle I\subseteq S}الذي يلتقي داخلهأ{\displaystyle A}هي بالضرورة مجموعة فرعية منأ.{\displaystyle A.}[ 2 ] يُطلق على مجموعة الدعم ذات البعد الصفري اسم النقطة القصوى لـS.{\displaystyle S.}[ 2 ]

الخصائص

النقطة المنتصف [ 1 ] لعنصرينx{\displaystyle x}وy{\displaystyle y}في الفضاء المتجهي يكون المتجه12(x+y).{\displaystyle {\tfrac {1}{2}}(x+y).}

لأي عناصرx{\displaystyle x}وy{\displaystyle y}في فضاء متجهي، المجموعة[x،y]={تx+(1-ت)y:0ت1}{\displaystyle [x,y]=\{tx+(1-t)y:0\leq t\leq 1\}}يُطلق عليه اسمقطعة خطية مغلقة أوالفاصل الزمني المغلق بينx{\displaystyle x}وy.{\displaystyle y.}القطعة خطية مفتوحة أوالفاصل الزمني المفتوح بينx{\displaystyle x}وy{\displaystyle y}يكون(x،x)={\displaystyle (x,x)=\varnothing }متىx=y{\displaystyle x=y}بينما هو(x،y)={تx+(1-ت)y:0<ت<1}{\displaystyle (x,y)=\{tx+(1-t)y:0<t<1\}}متىxy.{\displaystyle x\neq y.}[ 1 ] النقاطx{\displaystyle x}وy{\displaystyle y}تُسمىنقاط نهاية هذه الفترة. يُقال إن الفترة هيفترة غير متدهورة أو أالفترة الزمنية المناسبة إذا كانت نقاط نهايتها متميزة.نقطة منتصف الفترة هي نقطة منتصف طرفيها.

الفترة المغلقة[x،y]{\displaystyle [x,y]}يساوي الغلاف المحدب لـ(x،y){\displaystyle (x,y)}إذا (وفقط إذا)xy.{\displaystyle x\neq y.}لذلك إذاك{\displaystyle K}محدب وx،yك،{\displaystyle x,y\in K,}ثم[x،y]ك.{\displaystyle [x,y]\subseteq K.}

لوك{\displaystyle K}هي مجموعة جزئية غير فارغة منX{\displaystyle X}وF{\displaystyle F}هي مجموعة جزئية غير فارغة منك،{\displaystyle K,}ثمF{\displaystyle F}يُطلق عليه اسموجه [ 1 ] منك{\displaystyle K}إذا كان كلما نقطةصF{\displaystyle p\in F}يقع بين نقطتين منك،{\displaystyle K,}إذن، تنتمي هاتان النقطتان بالضرورة إلىF.{\displaystyle F.}

النظرية [ 1 ] ليكنك{\displaystyle K}ليكن مجموعة جزئية محدبة غير فارغة من فضاء متجهيX{\displaystyle X}ودعصك.{\displaystyle p\in K.} إذن، العبارات التالية متكافئة:

  1. ص{\displaystyle p}هي نقطة متطرفة منك.{\displaystyle K.}
  2. ك{ص}{\displaystyle K\setminus \{p\}}محدب.
  3. ص{\displaystyle p}ليست نقطة منتصف قطعة مستقيمة غير متدهورة موجودة فيك.{\displaystyle K.}
  4. لأيx،yك،{\displaystyle x,y\in K,}لوص[x،y]{\displaystyle p\in [x,y]}ثمx=ص أو y=ص.{\displaystyle x=p{\text{ or }}y=p.}
  5. لوxX{\displaystyle x\in X}بحيث يكون كلاهماص+x{\displaystyle p+x}وص-x{\displaystyle p-x}ينتمي إلىك،{\displaystyle K,}ثمx=0.{\displaystyle x=0.}
  6. {ص}{\displaystyle \{p\}}هو وجهك.{\displaystyle K.}

أمثلة

لوأ<ب{\displaystyle a<b}إذا كانا عددين حقيقيين، فإنهماأ{\displaystyle a}وب{\displaystyle b}هي نقاط قصوى للفترة[أ،ب].{\displaystyle [a,b].}ومع ذلك، فإن الفترة المفتوحة(أ،ب){\displaystyle (a,b)}ليس لها نقاط قصوى. [ 1 ] أي فترة مفتوحة فيR{\displaystyle \mathbb {R} }لا توجد نقاط قصوى، بينما أي فترة مغلقة غير متدهورة لا تساويR{\displaystyle \mathbb {R} }لها نقاط قصوى (أي نقاط نهاية الفترة المغلقة). وبشكل أعم، أي مجموعة جزئية مفتوحة من الفضاء الإقليدي ذي الأبعاد المحدودةRن{\displaystyle \mathbb {R} ^{n}}ليس له نقاط متطرفة.

النقاط القصوى للقرص المغلق ذي الوحدة فيR2{\displaystyle \mathbb {R} ^{2}}هي دائرة الوحدة .

محيط أي مضلع محدب في المستوى هو وجه من أوجه ذلك المضلع. [ 1 ] رؤوس أي مضلع محدب في المستوىR2{\displaystyle \mathbb {R} ^{2}}هي النقاط القصوى لهذا المضلع.

خريطة خطية أحاديةF:XY{\displaystyle F:X\to Y}يرسل النقاط القصوى لمجموعة محدبةجX{\displaystyle C\subseteq X}إلى أقصى نقاط المجموعة المحدبةF(X).{\displaystyle F(X).}[ 1 ] وينطبق هذا أيضًا على الخرائط الأفينية الحقنية.

ملكيات

تشكل النقاط القصوى لمجموعة محدبة مضغوطة فضاء باير (مع طوبولوجيا الفضاء الجزئي)، ولكن قد لا تكون هذه المجموعة مغلقة.X.{\displaystyle X.}[ 1 ]

النظريات

نظرية كرين-ميلمان

يمكن القول إن نظرية كرين -ميلمان هي واحدة من أشهر النظريات المتعلقة بالنقاط المتطرفة.

نظرية إذاS{\displaystyle S}إذا كانت محدبة ومتراصة في فضاء متجهي طوبولوجي محدب محليًا ، فإنS{\displaystyle S}هو الغلاف المحدب المغلق لنقاطه القصوى: على وجه الخصوص، تحتوي هذه المجموعة على نقاط قصوى.

مساحات باناش

هذه النظريات خاصة بفضاءات باناخ التي تتمتع بخاصية رادون-نيكوديم .

تنص نظرية يورام ليندنشتراوس على أنه في فضاء باناخ ذي خاصية رادون-نيكوديم، فإن أي مجموعة مغلقة ومحدودة غير فارغة لها نقطة قصوى. (في الفضاءات اللانهائية الأبعاد، تكون خاصية التراص أقوى من الخاصيتين المشتركتين للإغلاق والتقييد. [ 3 ] )

نظرية ( جيرالد إدغار ) - ليكن هـ{\displaystyle E}ليكن فضاء باناخ ذو خاصية رادون-نيكوديم،ج{\displaystyle C}لتكن مجموعة فرعية قابلة للفصل، مغلقة، محدودة، ومحدبة منهـ،{\displaystyle E,}ودعأ{\displaystyle a}كن نقطة فيج.{\displaystyle C.}ثم هناك مقياس احتماليص{\displaystyle p}حول المجموعات القابلة للقياس عالميًا فيج{\displaystyle C}بحيثأ{\displaystyle a}هو مركز ثقلص،{\displaystyle p,}ومجموعة النقاط القصوى لـج{\displaystyle C}لديهص{\displaystyle p}-المقياس 1. [ 4 ]

تستلزم نظرية إدغار نظرية ليندنشتراوس.

تُسمى المجموعة الجزئية المحدبة المغلقة في فضاء متجهي طوبولوجي محدبة تمامًا إذا كانت كل نقطة من نقاط حدودها (الطوبولوجية) نقطة قصوى. [ 5 ] كرة الوحدة في أي فضاء هيلبرت هي مجموعة محدبة تمامًا. [ 5 ]

نقاط k القصوى

وبشكل أعم، نقطة في مجموعة محدبةS{\displaystyle S}يكونك{\displaystyle k}- متطرف إذا كان يقع في داخلك{\displaystyle k}مجموعة محدبة ذات أبعاد n داخلS،{\displaystyle S,}لكن ليسك+1{\displaystyle k+1}مجموعة محدبة ذات أبعاد n داخلS.{\displaystyle S.} وبالتالي، فإن النقطة القصوى هي أيضًا0{\displaystyle 0}- نقطة قصوى. إذاS{\displaystyle S}إذا كان متعدد السطوح، فإنك{\displaystyle k}- النقاط القصوى هي بالضبط النقاط الداخلية لـك{\displaystyle k}الوجوه ذات الأبعادS.{\displaystyle S.} وبشكل أعم، لأي مجموعة محدبةS،{\displaystyle S,}الك{\displaystyle k}- يتم تقسيم النقاط القصوى إلىك{\displaystyle k}وجوه مفتوحة ذات أبعاد.

يمكن إثبات نظرية كرين-ميلمان ذات الأبعاد المحدودة، والتي تعود إلى مينكوفسكي، بسرعة باستخدام مفهومك{\displaystyle k}- نقاط قصوى. إذاS{\displaystyle S}مغلق، ومحدود، ون{\displaystyle n}-الأبعاد، وإذاص{\displaystyle p}هي نقطة فيS،{\displaystyle S,}ثمص{\displaystyle p}يكونك{\displaystyle k}-متطرف بالنسبة للبعضكن.{\displaystyle k\leq n.} تنص النظرية على أنص{\displaystyle p}هو مزيج محدب من النقاط القصوى. إذاك=0{\displaystyle k=0}عندها يكون الأمر فورياً. وإلاص{\displaystyle p}يقع على قطعة مستقيمة فيS{\displaystyle S}والتي يمكن تمديدها إلى أقصى حد (لأنS{\displaystyle S}(مغلقة ومحدودة). إذا كانت نقاط نهاية القطعةq{\displaystyle q}ور،{\displaystyle r,}إذن، يجب أن تكون رتبتهم القصوى أقل من رتبةص،{\displaystyle p,}وتستنتج النظرية بالاستقراء.

انظر أيضاً

الاقتباسات

  1. 1 2 3 4 5 6 7 8 9 10 Narici & Beckenstein 2011 ، ص 275-339.
  2. 1 2 غروتينديك 1973 ، ص. 186.
  3. 1 2 أرتشتاين، تسفي (1980). "الفراغات المنفصلة  والمتصلة  والفراغات الوجهية  ، أو: ابحث عن النقاط القصوى". مجلة SIAM . 22 (2): 172-185 . doi : 10.1137/1022026 . JSTOR 2029960. MR 0564562 .  
  4. إدغار جي إيه. نظرية تشوكيه غير المدمجة. وقائع الجمعية الرياضية الأمريكية. 1975؛49(2):354-8.
  5. 1 2 هالموس 1982 ، ص. 5.

فهرس