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

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

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

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

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

תכונות

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

ראו גם


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

  • טופולוגיה חלשה, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0