מרחב הילברט
מרחב הילברט הוא מרחב מכפלה פנימית שהוא מרחב מטרי שלם ביחס לנורמה שמשרה המכפלה הפנימית שלו, בדרך כלל מממד אינסופי. מרחבי הילברט קרויים על שם המתמטיקאי הנודע דויד הילברט ונודעת להם חשיבות רבה במסגרת תורת האנליזה הפונקציונלית.
מרחבי הילברט מאפשרים יישום של מושגים גאומטריים בסיסיים כגון הטלה ושינוי בסיס, על מרחבים בעלי ממדים אינסופיים כדוגמת המרחבים הפונקציונליים. הם מספקים הקשר איתו ניתן לעצב ולהכליל את המושגים של טור פורייה במונחים של פולינומים אורתוגונליים שרירותיים ושל התמרת פורייה. כמו כן, מרחבי הילברט הם בעלי חשיבות מכרעת בניסוח מכניקת הקוונטים.
הגדרה
עריכהמרחב הילברט הוא מרחב מכפלה פנימית (מרחב וקטורי בעל מכפלה פנימית) שהוא מרחב מטרי שלם ביחס למטריקה שמשרה המכפלה הפנימית.
בפרט, מרחב הילברט חייב להיות מרחב וקטורי מעל לשדה שלם כמו שדה המספרים הממשיים או שדה המספרים המרוכבים. לדוגמה, הוא מרחב הילברט (ביחס לכל מכפלה פנימית), בעוד ש- איננו כזה.
המרחב L2
עריכההמרחב כאשר הוא אחד מהמרחבים הפונקציונליים ומרחבי הילברט החשובים ביותר.
מרחב מוגדר להיות כקבוצת כל ה"פונקציות" שהן אינטגרביליות לבג בריבוע על הקבוצה (ראו הערה בהמשך). כלומר, האינטגרל לפי לבג קיים ומתקיים (כאשר היא מידת לבג). אז מסמנים ש . מרחב זה, עם פעולת חיבור פונקציות וכפל בסקלר הוא מרחב וקטורי.
יתרה מכך, הוא מרחב הילברט עם המכפלה הפנימית הבאה:
כאשר * (או קו עליון) מסמנים צמוד מרוכב.
הערה לגבי איברי : לפי בניית אינטגרל לבג, עולה שאין שום דרך להבחין בין שתי פונקציות ו- הנבדלות אחת מהשנייה רק על קבוצה ממידה אפס באמצעות המכפלה הפנימית או הנורמה. לכן, הנורמה של כל פונקציה ששונה מאפס רק על קבוצה ממידה אפס היא אפס. מצב זה עומד בניגוד לאקסיומות הנורמה שדורשות: . כדי לתקן מצב זה, מרחב אינו מוגדר על פונקציות אלא על מחלקות השקילות שלהן, שנקבעות לפי יחס השקילות הבא:
כלומר: כל שתי פונקציות ו- הנבדלות אחת מהשנייה רק על קבוצה ממידה אפס הן שקולות ומחלקת השקילות שלהן היא איבר במרחב זה. ניתן להגדיר את כל הפעולות הליניאריות על המחלקות באמצעות ביצוע פעולות אלה על הנציגים של כל מחלקה. הגדרה זו טובה והמרחב שמתקבל הוא מוגדר היטב והוא מרחב הילברט.
דוגמאות נוספות
עריכה- המרחב האוקלידי עם הנורמה האוקלידית הוא מרחב הילברט.
- המרחב עם המכפלה הפנימית: הוא מרחב הילברט.
- מרחב הסדרות האינסופיות: , מצויד במכפלה הפנימית , הוא מרחב הילברט.
בניות
עריכהסכום ישר של מרחבי הילברט
עריכהאם ו- הם מרחבי הילברט, ניתן ליצור מהם מרחב וקטורי חדש הקרוי הסכום הישר שלהם ומסומן . כקבוצה, מרחב זה הוא המכפלה הקרטזית . החיבור והכפל בסקלר מוגדרים נקודתית והמכפלה הפנימית מוגדרת באופן הבא:
- .
כאמור, המרחב המתקבל הוא מרחב הילברט. באופן כללי, אם היא משפחה כלשהי של מרחבי הילברט, סכומם הישר מוגדר באופן הבא:
- .
כאן הסכום מפורש כסופרמום של על פני כל תת-הקבוצות הסופיות . התנאי גורר בפרט ש- לכל פרט למספר בן מנייה של אינדקסים ב- .
כמו קודם, החיבור והכפל בסקלר מוגדרים נקודתית והמכפלה הפנימית מוגדרת לפי
כאשר היא המכפלה הפנימית על . בכך מקבלים מרחב הילברט שכל אחד מהמרחבים משוכן בו כתת-מרחב סגור. בנוסף לכך, תתי-מרחבים אלה הם אורתוגונליים זה לזה.
קיים גם מושג של "סכום ישר פנימי". אם הוא מרחב הילברט ונתונה משפחה של תתי-מרחבים סגורים ואורתוגונליים זה לזה כך ש- היא קבוצה צפופה ב- , אז אומרים ש- הוא סכום ישר פנימי של המרחבים ובמקרה זה הוא איזומורפי באופן קנוני לסכום הישר החיצוני שלהם. כל סכום ישר (חיצוני או פנימי) מצויד במשפחה של הטלות אורתוגונליות , כאשר היא ההטלה על המרחב ה-i-י בסכום, . הטלות אלה הן אופרטורים חסומים, הרמיטיים ואידמפוטנטיים והן מקיימות את יחס האורתוגונליות: לכל .
מנה של מרחבי הילברט
עריכהאם הוא מרחב הילברט ו- הוא תת-מרחב סגור שלו, מרחב המנה הוא מרחב הילברט עם המכפלה הפנימית , כאשר היא ההטלה האורתוגונלית על המשלים הניצב . באופן זה מתקבל מרחב הילברט אשר איזומורפי איזומטרית למרחב . הנורמה המושרית מהמכפלה הפנימית על היא
- .
ראו גם
עריכהקישורים חיצוניים
עריכה- מרחב הילברט, באתר אנציקלופדיה בריטניקה (באנגלית)
- מרחב הילברט, באתר MathWorld (באנגלית)
- מרחבי הילברט, דף שער בספרייה הלאומית
עץ מיון של מרחבים וקטוריים טופולוגיים | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|