טופולוגיות אופרטוריות

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

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

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

תהי \{T_n\} סדרה של אופרטורים לינארים על מרחב הילברט H. ההצהרה  T_n \to T יכולה להיות בעלת מספר משמעויות שונות, למשל:

במקרה הראשון נאמר כי הסדרה מתכנסת בנורמה האופרטורית. שני המקרים האחרונים יותר מורכבים, ולמעשה מגדירים טופולוגיה על H שהיא יותר חלשה מהטופולוגיה המושרית על ידי הנורמה האופרטורית. הטופולוגיה השנייה נקראת הטופולוגיה האופרטורית החזקה (באנגלית Strong Operator Topology או SOT) והשלישית הטופולוגיה האופרטורית החלשה (באנגלית Weak Operator Topology או WOT). ניתן לראות כי הטופולוגיה הראשונה חזקה מהשנייה והשנייה חזקה מהשלישית, עם זאת, לא קיים יחס אחיד בין הטופולוגיה האופרטורית החזקה לבין הטופולוגיה החלשה הסטנדרטית.

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

Diagram of relations among topologies on the space B(H) of bounded

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

למרחב B(H), שהוא מרחב בנך, יש מרחב קדם-צמוד (מרחב המקיים ש-B(H) הוא הצמוד שלו) יחיד שהוא מחלקות העקבה של האופרטורים. נוכל להגדיר לכל איבר חיובי w בקדם-דואלי את הסמי-נורמה p_w(x)= \langle w,x^\star x \rangle^{1/2} .

אם B הוא מרחב וקטורי של העתקות לינאריות על המרחב הווקטורי A, אזי \sigma(A,B) מוגדרת להיות הטופולוגיה החלשה ביותר על A בה כל רכיבי B רציפים.

הטופולוגיות הנפוצות ביותר בספרות הן:

  • הטופולוגיה הנורמית, הנוצרת על ידי הנורמה האופרטורית.
  • הטופולוגיה החלשה של מרחבי בנך,  \sigma(B(H),B(H)^\star) - הטופולוגיה החלשה ביותר על B(H) בה כל איברי B(H)^\star רציפים.
  • טופולוגיית מק'קיי (Mackay) - הטופולוגיה הקמורה מקומית החזקה ביותר על B(H) כך שהמרחב הדואלי נשמר. כלומר, הטופולוגיה החזקה ביותר אשר אינה הופכת אופרטורים לינאריים שלא היו רציפים בטופולוגיה הנורמית לרציפים. היא יותר חלשה מהטופולוגיה הנורמית, היחס בינה לטופולוגיה החלשה כוכב אינו חד משמעי והיא חזקה יותר משאר הטופולוגיות ברשימה.
  • הטופולוגיה האולטרה-חזקה-כוכב היא הטופולוגיה החלשה ביותר המכילה את הטופולוגיה האולטרה-חזקה בה פעולת האינבולוציה נותרת רציפה.
  • הטופולוגיה האולטרה-חזקה היא הטופולוגיה החלשה ביותר בה כל הסמי-נורמות math>p_w(x)=<w,x^\star x>^{1/2} </math> רציפות.
  • הטופולוגיה האולטרה-חלשה, או הטופולוגיה החלשה כוכב, מוגדרת להיות הטופולוגיה החלשה ביותר בה כל הסמינורמות מהצורה |<w,x>| עבור w בקדם-דואלי של B(H).
  • הטופולוגיה החזקה כוכב מוגדרת על ידי הסמינורמות \|x^\star (h)\| ו-\|x (h)\| עבור h\in H .
  • הטופולוגיה האופרטורית החזקה (SOT) והחלשה (WOT) כפי שהוגדרו למעלה.

בספרות השם 'הטופולוגיה החלשה' משמש לתיאור הטופולוגיה החלשה, האופרטורית החלשה והאולטרה-חלשה אף על פי שאלו טופולוגיות שונות.

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

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