משפט בנך-אלאוגלו

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

משפט בנך-אלאוגלו (Banach-Alaoglu theorem) הוא משפט מתמטי באנליזה פונקציונלית. משפט זה אומר שכדור יחידה במרחב הדואלי הוא קומפקטי בטופולוגיה החלשה עליה.

הוכחה שהמשפט מתקיים במרחב ספרבילי נורמי ניתנה בשנת 1932 על ידי סטפן בנך, ובשנת 1940 ניתנה הוכחה כוללת על ידי לאונידס אלאוגלו.

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

הטופולוגיה החלשה-* המוגדרת על המרחב הדואלי למרחב וקטורי טופולוגי[עריכת קוד מקור | עריכה]

יהי X מרחב וקטורי טופולוגי נורמי (למשל מרחב בנך), ויהי  \ X^* המרחב הדואלי שלו.
נשים לב כי כל מרחב X כנ"ל, משוכן באופן קנוני במרחב הדואלי למרחב הדואלי  \ X^*, על ידי אופרטורי הערכה בנקודה.
כלומר לכל  x \in X, נגדיר אופרטור  \ T_{x} שיפעל על  \ X^* באופן הבא - לכל  \ f \in X^* יתקיים  \ T_{x} (f) = f(x). קל לראות כי  \ T_{x} פונקציונאל לינארי רציף, וההתאמה  x \mapsto T_{x} מהווה שיכון איזומטרי.
הטופולוגיה החלשה-* (קרי חלשה-כוכב,weak-star באנגלית) על המרחב הדואלי  \ X^*, מוגדרת כטופולוגיה החלשה ביותר כך שאופרטורי הערכה בנקודה המתוארים מעלה רציפים.
באופן שקול, ניתן לכל אופרטור הערכה כזה  \ T_{x} להגדיר סמינורמה על  \ X^* על ידי  \ \rho_{x}(f)=|f(x)| , לכל  \ f\in X^*, והטופולוגיה החלשה-* היא הטופולוגיה המושרית על ידי משפחת הסמינורמות הללו.

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

ניסוח משפט בנך-אלאוגלו[עריכת קוד מקור | עריכה]

נגדיר את B להיות כדור היחידה הסגור, המתקבל במרחב הדואלי  \ X^* בטופולוגיה הנורמית שלו (המתקבלת מנורמה אופרטורית). אזי B קומפקטי, ביחס לטופולוגיה החלשה-*.

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

לכל \ x \in X נגדיר אינטרוול \ I_x = \left[ -\|x\| , \|x\| \right] ונסתכל במרחב מכפלת טיכונוף שלהם \ K = \prod_{x \in X}{I_x}. לומר שפונקציונל f נמצא בכדור היחידה זה שקול לומר שהגרף של הפונקציונל הלינארי f עובר בתוך כל אינטרוול ולא יוצא ממנו, כלומר: הגרף של f הוא "קו" שנמצא כולו בין קצוות ה"רצועה" שנוצרה על ידי האינטרוולים. בנוסחה , \ | f(x) | \le \| x \| \iff f \in D(X^*) כאשר D מסמל את כדור היחידה. לכן אפשר לשכן את כדור היחידה D בתוך K.

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

כדי להוכיח ש-D הוא קומפקט מספיק להראות שזו קבוצה סגורה, אך זה ברור מאחר שלינאריות היא תכונה סגורה וכל פונקציונל ניתן להגדיר על ידי חיתוך כל התנאים הסגורים מהצורה \ f( x_1 +  x_2) =  f(x_1) +  f(x_2) \ , \ f(ax) = a f(x) ויש משפט בטופולוגיה הקובע שחיתוך כלשהו של קבוצות סגורות הוא קבוצה סגורה. \blacksquare

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