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

במחקר ה[[מתמטיקה|מתמטי]] בתחום ה[[אנליזה פונקציונלית|אנליזה הפונקציונלית]] קיימת מספר [[טופולוגיה|טופולוגיות]] סטנדרטיות על <math>B(H)</math> - מרחב ה[[אופרטור ליניארי חסום|אופרטורים הליניארים החסומים]] על [[מרחב הילברט]] ''H''.

==הקדמה==
תהי <math>\{T_n\} </math> סדרה של אופרטורים ליניארים על מרחב הילברט ''H''. ההצהרה <math> T_n \to T </math> יכולה להיות בעלת מספר משמעויות שונות, למשל:
* התכנסות ב[[נורמה של אופרטור|נורמה אופרטורית]]: <math>\| T_n -T \| \to 0 </math>
* [[התכנסות נקודתית]]: <math> \forall x \in H : T_n x \to T x </math>
* התכנסות ב[[מכפלה פנימית]]: <math> \forall x,y \in H: \langle x, T_n y \rangle \to \langle x,Ty \rangle </math>

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

==רשימה של טופולוגיות על אופרטורים ליניאריים חסומים של מרחבי הילברט==

[[קובץ:Optop.svg|שמאל|ממוזער|Diagram of relations among topologies on the space ''B''(''H'') of bounded]]

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

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

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

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

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

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

== ראו גם ==
* [[טופולוגיה]]
* [[מרחב הילברט]]
* [[אופרטור חסום]]

==לקריאה נוספת==
<div class="mw-content-ltr">
*''Functional analysis'', by Reed and Simon, {{ISBN|0-12-585050-6}}
*''Theory of Operator Algebras I'', by M. Takesaki (especially chapter II.2) {{ISBN|3-540-42248-X}}
</div>

[[קטגוריה:טופולוגיות|אופרטוריות]]