הצגת המקור של הדף "משפט קריין-מילמן"

'''משפט קריין-מילמן''' הוא משפט ב[[אנליזה פונקציונלית]] העוסק בתכונות של [[קבוצה קמורה|קבוצות קמורות]] ב[[מרחב וקטורי טופולוגי]]. ממקרה פרטי של המשפט נובע שכל [[מצולע]] קמור נקבע על ידי ה[[קודקוד]]ים שלו - כלומר מספיק לדעת את קודקודי המצולע כדי לקבוע את צורתו באופן יחיד. תוצאת המשפט אינה נכונה כאשר לא מגבילים את המצולע להיות קמור, כיוון שניתן לצייר מספר מצולעים שונים (לא קמורים) שיש להם אותם קודקודים. המשפט הוכח על ידי [[מארק קריין]] ו[[דוד מילמן]].

==תיאור המשפט==
באופן פורמלי: אם X מרחב וקטורי טופולוגי ([[מרחב האוסדורף|האוסדורף]]) קמור מקומית, ו-K היא תת-קבוצה קמורה ו[[קבוצה קומפקטית|קומפקטית]] של X, אז K הוא ה[[סגור (טופולוגיה)|סגור]] של ה[[קמור]] של קבוצת הנקודות הקיצוניות שלו:
:<math>K = Cl( conv (ext(K) ) </math>

כאשר עבור קבוצה קמורה A, נקודה קיצונית היא נקודה בקבוצה שאיננה נמצאת ב"אמצע" בין שתי נקודות בקבוצה A, או באופן פורמלי: <math>x \in A</math> נקודה קיצונית אם לכל <math>0 < \lambda < 1, a, b \in A</math> מתקיים <math>x \neq \lambda a + (1 - \lambda b)</math>.

כיוון אחד של המשפט הוא ברור - אוסף הנקודות הקיצוניות של K הוא תת-קבוצה של K. K קמורה ולכן הקמור שלו מוכל ב-K. K קומפקטית, ובפרט סגורה, ולכן הסגור של הקמור מוכל ב-K. הכיוון המעניין הוא הכיוון ההפוך - משפט קריין-מילמן טוען שלכל קבוצה קומפקטית קמורה K יש מספיק נקודות קיצוניות כדי שניתן יהיה לשחזר אותה מתוכן.

המשפט המקורי (בגרסה מעט פחות כללית מהגרסה הזו) הוכח על ידי [[מרק קריין]] ו[[דוד מילמן]]. [[הרמן מינקובסקי|מינקובסקי]] הראה לפניהם שבכל מרחב מממד סופי K הוא הקמור של הנקודות הקיצוניות שלו. קריין ומילמן הראו שכדי להרחיב את התוצאה למרחבים אינסופיים יש להוסיף את הסגור.

== הוכחת המשפט ==
כמו שנאמר למעלה ההכלה <math>\supset</math> ברורה. נותר להוכיח את הכיוון השני.

ראשית נראה שיש ל-K נקודות קיצוניות. נגדיר '''פאה''' של K להיות תת-קבוצה קמורה <math>K_1 \neq \empty</math> המקיימת <math>tx + (1-t)y \in K_1 \Rightarrow x,y \in K_1 \forall x,y \in K ,t \in (0,1)</math>, כלומר כל [[צירוף קמור]] הנמצא ב-<math>K_1</math> נוצר על ידי איברים מ <math>K_1</math>. נשים לב שמההגדרה, נקודה קיצונית היא פאה המכילה נקודה אחת. יהי <math>\Omega</math>אוסף הפאות של K. נשים לב כי <math>\Omega \neq \empty</math> כיוון ש-K היא פאה של עצמה. חיתוך של [[סדרה (מתמטיקה)|סדרה יורדת]] של פאות הוא פאה (החיתוך לא ריק מקומפקטיות) ולכן מ[[הלמה של צורן]] יש פאה מינימלית <math>K_1</math>. נראה כי <math>K_1</math> מכילה נקודה אחת. אחרת, מ[[משפט האן-בנך]] נקבל שקיים פונקציונל ליניארי רציף ממשי <math>\phi</math> על X שאינו קבוע על <math>K_1</math>. הקבוצה <math>K_0 := \{x \in K_1|\phi(x) = \max_{y \in K_1}\phi(y)\}</math>היא פאה של <math>K_1</math>ולכן של <math>K</math>המוכלת ממש ב-<math>K_1</math>, בסתירה להנחה.

כעת נראה את ההכלה <math>\subset</math>. יהי <math>K' = Cl( conv (ext(K) ) </math> נניח בשלילה כי <math>K \setminus K' \neq \empty </math>. ממסקנה ממשפט האן בנך קיים פונקציונל ליניארי ממשי רציף <math>\phi</math> כך שמתקיים <math>\sup_{x \in K'}\phi(x)< \sup_{x \in K}\phi(x) </math>. נגדיר קבוצה <math>K_1 :=\{y \in K| \phi(y)=\sup_{x \in K}\phi(x)\} </math>. מתקיים <math>K_1 \cap K' = \empty </math>אבל <math>K_1</math> פאה סגורה (ולכן קומפקטית) של K ומהחלק הראשון נקבל ש <math>ext(K_1) </math> אינו ריק. אבל אז <chem>ext(K_1) \subset ext(K) \subset K'</chem>, בסתירה להנחה.

== תוצאות נוספות ==
* למשפט קריין מילמן יש את הבעיה שהסגור של הנק' הקיצוניות עלול להיות הרבה יותר גדול מהנק' הקיצוניות לכן יש עניין במשפט של גוסטב שוקת (Choquet) שטוען שבמקרים מאוד כלליים, ניתן לבנות [[מידת רדון]] המקיימת, בין השאר כי התומך שלה הוא נק' הקיצון של K. תוצאה ממשפט זה היא, למשל, משפט הפירוק הארגודי.
* למשפט קריין מילמן יש משפט "הפוך", משפט מילמן: נניח ש X תת-קבוצה קומפקטית קמורה של מרחב קמור מקומית ו <math>Z \subset X </math>כך ש <math>X = Cl( conv (Z) ) </math>. אז הנק' הקיצוניות של X מוכלות בסגור של Z.

== לקריאה נוספת ==
* רוברט פלס, '''הרצאות על תורת שוקת''' ,הוצאת ספרינגר 2001.
* וויס בנימין, ליינדרשטראוס יורם, פזי אמנון, '''אנליזה פונקציונלית''', האוניברסיטה העברית 1980.

[[קטגוריה:משפטים באנליזה פונקציונלית|קריין-מילמן]]
[[קטגוריה:משפטים בגאומטריה|קריין-מילמן]]