משפט נקודת השבת של קאקוטאני

מתוך ויקיפדיה, האנציקלופדיה החופשית
Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

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

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

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

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

נעזר בלמה הטופולוגית הבאה:

למה: יהיו מרחבים טופולוגיים כך ש- קומפקטי. תהי ההטלה הטבעית ו-. נניח ש אז קיימת נקודה כך ש .

הוכחה: נניח שלא. לכן לכל קיימות סביבות וכן כך ש-. מהקומפקטיות של B ישנן כך ש-. לכן עבור נקבל ש- סתירה לכך ש-.

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

שימושים[עריכת קוד מקור | עריכה]

משפט נקודת השבת מאפשר להוכיח את הקיום של מידת האר.

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

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

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

  • וולטר רודין, אנליזה פונקציונלית, 1973, Tata MacGraw-HiIl

קישורים חיצוניים[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ ראה למשל בוויקיפדיה האנגלית Kakutani fixed-point theorem.