מרחב וקטורי טופולוגי

מרחב וקטורי בעל טופולוגיה משמרת הזזות וכפל בסקלר

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

במתמטיקה מרחב וקטורי טופולוגי (במקורות מסוימים קרוי גם מרחב טופולוגי ליניארי[1]) הוא קבוצה אשר מהווה מרחב וקטורי מעל המספרים הממשיים או המרוכבים וכן מוגדרת עליה טופולוגיה עבורה פעולת החיבור וכפל בסקלר מהוות פונקציות רציפות. כל מרחב הילברט ומרחב בנך הם מרחבים וקטוריים טופולוגיים עם הטופולוגיה המושרית מהנורמה.

למרחבים מסוג זה יש חשיבות רבה בתחום האנליזה הפונקציונלית והם מאפשרים לחקור מקרים של התכנסות ורציפות על מרחבי פונקציות ללא שימוש במטריקה או בנורמה.

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

מבוא ומוטיבציה

עריכה

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

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

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

הגדרה מתמטית

עריכה

מרחב וקטורי   מעל שדה   ובעל טופולוגיה   יקרא מרחב וקטורי טופולוגי אם ורק אם:[2]

  1. פונקציית החיבור   היא פונקציה רציפה.
  2. פונקציית הכפל בסקלר   היא פונקציה רציפה.
  3. הקבוצה   היא קבוצה סגורה (כלומר   היא קבוצה פתוחה).

הרציפות בתנאים 1 ו-2 היא רציפות בין מרחבי המכפלה   ו-  לבין המרחב  , כאשר הטופולוגיה על   היא הטופולוגיה נפרשת על ידי כדורים פתוחים.

מקורות מסוימים אינם כוללים את תנאי 3 בהגדרה זו.[3] ניתן להוכיח שבהינתן תנאים 1 ו-2, תנאי 3 שקול לכך שהמרחב הוא מרחב האוסדורף.

שימור תחת הזזה והרחבה

עריכה

עבור כל קבוצה פתוחה  :

  • לכל   הקבוצה   פתוחה.
  • לכל   הקבוצה   פתוחה.

כלומר, קבוצות פתוחות נשמרות תחת הזזה והרחבה. תכונות אלו מתקיימות אף עבור קבוצות סגורות.

מעבר לכך:

  • עבור קבוצה פתוחה   וקבוצה   כלשהי (לאו דווקא פתוחה), הקבוצה   פתוחה.
  • עבור קבוצה סגורה   וקבוצה קומפקטית  , הקבוצה   סגורה.

מונחים מרכזיים

עריכה

בסיס מקומי

עריכה

קבוצה   תקרא בסיס מקומי של   אם ורק אם:

  1. כל איברי   מכילים את   (כלומר, לכל   מתקיים  )
  2. כל סביבה פתוחה של   מכילה איבר כלשהו מ-  (כלומר, לכל קבוצה פתוחה   כך ש-  קיימת קבוצה פתוחה   כך ש- )

ניתן להראות כי אם   בסיס מקומי של   ו- , אז   הוא בסיס מקומי של  .

קבוצה מאוזנת וקבוצה סימטרית

עריכה

קבוצה   תקרא קבוצה מאוזנת אם ורק אם לכל   ולכל   כך ש-  מתקיים  .

קבוצה   תקרא קבוצה סימטרית אם ורק אם לכל   מתקיים  .

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

ניתן לראות כי כל קבוצה מאוזנת היא קבוצה סימטרית. קבוצות מאוזנות או סימטריות אינן בהכרח פתוחות או סגורות.

עבור קבוצה   כלשהי ניתן להגדיר:

 

 

הקבוצה   היא קבוצה מאוזנת והיא הקבוצה המאוזנת המינימלית המכילה את  . באופן זהה, הקבוצה   היא קבוצה סימטרית והיא הקבוצה הסימטרית המינימלית המכילה את  .

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

קבוצה חסומה

עריכה

קבוצה   תקרא קבוצה חסומה אם ורק אם לכל   סביבה פתוחה של   קיים   כך ש- .

ניתן להוכיח כי כל קבוצה קומפקטית היא גם חסומה. ההפך לא בהכרח נכון.

קבוצה בולעת

עריכה

קבוצה   תקרא קבוצה בולעת אם ורק אם לכל   קיים   כך שלכל   עבורו   מתקיים  .

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

מקרים פרטיים

עריכה

מרחב מטריזבילי

עריכה

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

ניתן להוכיח עבור מרחב וקטורי טופולוגי כלשהו כי אם ל-  קיים בסיס מקומי בן-מנייה אז המרחב מטריזבילי. ההפך אינו בהכרח נכון.

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

מרחב קמור מקומית

עריכה

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

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

מרחבים קמורים מקומית מקיימים גרסה מוכללת של משפט האן-בנך.[4] כמו כן, אם המרחב קמור מקומית ומטריזבילי, ניתן להוכיח כל הכדורים הפתוחים לפי המטריקה המשרה קמורים.

מרחב חסום מקומית

עריכה

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

מרחב קומפקטי מקומי

עריכה

מרחב וקטורי טופולוגי יקרא קומפקטי מקומית אם ורק אם קיימת ל-  סביבה סגורה וקומפקטית. ניתן להוכיח כי מרחב הוא קומפקטי מקומי אם ורק אם הוא מממד סופי.

מרחב F ומרחב פרשה

עריכה

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

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

מרחב נורמבילי

עריכה

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

ניתן להוכיח כי מרחב וקטורי טופולוגי כללי הוא מרחב נורמבילי אם ורק אם הוא קמור מקומית וחסום מקומית.

דוגמאות

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

מחלקות של מרחבים וקטוריים טופולוגיים

עריכה
עץ מיון של מרחבים וקטוריים טופולוגיים
 
 
 
 
 
 
 
מקרא:
מחלקה של מרחבים וקטוריים טופולוגיים (מעל  ).[5]
דוגמה או קבוצת דוגמאות למרחבים וקטוריים טופולוגיים.[6]
מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.
חלק במסלול שרלוונטי רק לדוגמאות.
  מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
                              
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

עריכה

הערות שוליים

עריכה
  1. ^ Gabriel Nagy, Topological Vector Spaces I: Basic Theory, Kensas State University, ‏2007-10-16 (באנגלית)
  2. ^ Eric W. Weisstein, Topological Vector Space, mathworld.wolfram.com (באנגלית)
  3. ^ Raz Kupferman, Topological vector spaces, האוניברסיטה העברית בירושלים, ‏2014-09-29 (באנגלית)
  4. ^ Hahn-Banach theorem in nLab, ncatlab.org (באנגלית)
  5. ^ שמות התואר "וקטורי", "טופולוגי" ו"ממשי" מושמטים בדרך כלל משם המחלקה.
  6. ^ במרחבי הפונקציות בדוגמאות, ניתן להחליף את   ביריעה חלקה כלשהי ואת מעגל היחידה   ביריעה חלקה קומפקטית כלשהי.