טופולוגיה חלשה

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

הגדרה פורמלית

יהי $X$ מרחב נורמי ותהי $F\subset C(X)$ משפחה של פונקציות רציפות על $X$. הטופולוגיה החלשה המתאימה ל-$F$ היא הטופולוגיה הגסה ביותר (כלומר: עם אוסף הקבוצות הפתוחות הקטן ביותר האפשרי) שביחס אליה כל הפונקציות של $F$ הן רציפות. תת בסיס טבעי לטופולוגיה חלשה הוא הבא: $U(x_0,f,\epsilon )=\{x\in X||f(x_0)-f(x)|<\epsilon \}$ כאשר עוברים על כל הנקודות $x_0\in X$, על כל $f\in F$ ועל כל $\epsilon >0$. כלומר, האוסף $𝔹=\{U(x_0,f,\epsilon )|f\in F,\epsilon >0,x_0\in X\}$ הוא תת-בסיס לטופולוגיה החלשה המתאימה ל-$F$.

תכונות

• אם המשפחה $F$ מפרידה נקודות (כלומר: לכל $x,y\in X$ יש $f\in F$ כך ש-$f(x)\ne f(y)$) אזי הטופולוגיה החלשה היא האוסדורף.
• התכנסות: בטופולוגיה זו $x_n\to x$ אם ורק אם לכל $f\in F$ מתקיים ש-$f(x_n)\to f(x)$.
• משפט בנך-אלאוגלו: יהי $X$ מרחב בנך ונגדיר טופולוגיה חלשה מעל המרחב הדואלי $X^{*}$ על ידי $w(X)$ כאשר $X\subset X^{**}$ (כאן $X$ משחק בתפקיד של $F$ ואילו $C(X)\subset X^{**}$. אזי במרחב טופולוגי זה, הנקרא $w*$, מתקיים שכדור היחידה הוא קומפקטי.

ראו גם

• טופולוגיות אופרטוריות
• מרחב טיכונוף
• משפט טיכונוף
• אנליזה פונקציונלית

קישורים חיצוניים

• תבנית:MathWorld