משפט קריין-מילמן

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

תיאור המשפט[עריכת קוד מקור | עריכה]

באופן פורמלי: אם X מרחב וקטורי טופולוגי (האוסדורף) קמור מקומית, ו-K היא תת-קבוצה קמורה וקומפקטית של X, אז K הוא הסגור של הקמור של קבוצת הנקודות הקיצוניות שלו:

כאשר עבור קבוצה קמורה A, נקודה קיצונית היא נקודה בקבוצה שאיננה נמצאת ב"אמצע" בין שתי נקודות בקבוצה A, או באופן פורמלי: נקודה קיצונית אם לכל מתקיים .

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

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

הוכחת המשפט[עריכת קוד מקור | עריכה]

כמו שנאמר למעלה ההכלה ברורה לכן נוכיח את הכיוון השני.

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

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

תוצאות נוספות[עריכת קוד מקור | עריכה]

  • למשפט קריין מילמן יש את הבעיה שהסגור של הנק' הקיצוניות עלול להיות הרבה יותר גדול מהנק' הקיצוניות לכן יש עניין במשפט של גוסטב שוקת (Choquet) שטוען שבמקרים מאוד כלליים, ניתן לבנות מידת רדון המקיימת, בין השאר כי התומך שלה הוא נק' הקיצון של K. תוצאה ממשפט זה היא, למשל, משפט הפירוק הארגודי.
  • למשפט קריין מילמן יש משפט "הפוך", משפט מילמן: נניח ש X תת-קבוצה קומפקטית קמורה של מרחב קמור מקומית ו כך ש . אז הנק' הקיצוניות של X מוכלות בסגור של Z.

לקריאה נוספת[עריכת קוד מקור | עריכה]

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