מרחב הילברט

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

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

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

הגדרה[עריכת קוד מקור | עריכה]

מרחב הילברט הוא מרחב מכפלה פנימית (מרחב וקטורי בעל מכפלה פנימית) שהוא מרחב מטרי שלם ביחס למטריקה \ d(x,y)=\langle x-y,x-y\rangle^{1/2} שמשרה המכפלה הפנימית.

בפרט, מרחב הילברט חייב להיות מרחב וקטורי מעל לשדה שלם כמו שדה המספרים הממשיים או שדה המספרים המרוכבים. לדוגמה, \ \mathbb{R}^n הוא מרחב הילברט (ביחס לכל מכפלה פנימית), בעוד ש- \ \mathbb{Q}^n איננו כזה.

המרחב L2[עריכת קוד מקור | עריכה]

המרחב \ L^2(X) כאשר \ X \subset \mathbb{R} הוא אחד מהמרחבים הפונקציונליים ומרחבי הילברט החשובים ביותר.

מרחב \ L^2(X) מוגדר להיות כקבוצת כל ה"פונקציות" \ f:X \to \mathbb{C} שהן אינטגרביליות לבג בריבוע על הקבוצה \,X. כלומר, האינטגרל לפי לבג קיים ומתקיים \ \int_{X}{|f|^2 d \mu} = \int_{X}{|f(t)|^2 dt} < \infty (כאשר \,\mu היא מידת לבג). אז מסמנים ש \ f \in L^2(X). מרחב זה, עם פעולת חיבור פונקציות וכפל בסקלר הוא מרחב וקטורי.

יתרה מכך, הוא מרחב הילברט עם המכפלה הפנימית הבאה:

\ \lang f , g \rang = \int_{X}{f(t) g^*(t) dt} = \int_{X}{f(t) \overline{g(t)} dt}

כאשר * (או קו עליון) מסמנים צמוד מרוכב.

נקודה מהותית לגבי איברי \ L^2(X) : כאשר אמרנו שזהו מרחב של פונקציות לא ממש דייקנו. לפי בניית אינטגרל לבג, עולה שאין שום דרך להבחין בין שתי פונקציות \, f ו-\, g הנבדלות אחת מהשנייה רק על קבוצה בעלת מידה אפס באמצעות המכפלה הפנימית או הנורמה. לכן, הנורמה של כל פונקציה ששונה מאפס רק על קבוצה בעלת מידה אפס היא אפס. מצב זה עומד בניגוד לאקסיומות הנורמה שדורשות: \ \| f \| =0 \iff f = 0. כדי לתקן מצב זה, במרחב \ L^2(X) לא מדברים על פונקציות אלא על מחלקות השקילות שלהן, שנקבעות לפי יחס השקילות הבא:

\ f = g \ \ \mbox{a.e.} \ \ \equiv f \sim g \iff \mu \left( \left\{ x \in X | f(x) \ne g(x) \right\} \right) = 0

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

דוגמאות נוספות[עריכת קוד מקור | עריכה]

  • המרחב האוקלידי \mathbb{R}^n עם הנורמה האוקלידית הוא מרחב הילברט.
  • המרחב \mathbb{C}^n עם המכפלה הפנימית: \ \lang z , w \rang = \sum_{k=1}^{n}{{z_k}\overline{w_k}} הוא מרחב הילברט.
  • מרחב הסדרות האינסופיות:  \ell_2 =\left\{ (x_n)_{n=1,\dots}| x_n\in \mathbb{C},\sum_{n \in \mathbb{N}} \left|x_n\right|^2 < \infty \right\}, מצויד במכפלה הפנימית \langle x, y \rangle = \sum_{n\in \mathbb{N}} x_n\overline{y_n} , הוא מרחב הילברט.

בניות[עריכת קוד מקור | עריכה]

סכום ישר של מרחבי הילברט[עריכת קוד מקור | עריכה]

אם \mathcal{H}_{1} ו-\mathcal{H}_{2} הם מרחבי הילברט, ניתן ליצור מהם מרחב וקטורי חדש הקרוי הסכום הישר שלהם ומסומן \mathcal{H}_{1}\oplus\mathcal{H}_{2}. כקבוצה, מרחב זה הוא המכפלה הקרטזית \mathcal{H}_{1}\times\mathcal{H}_{2}. החיבור והכפל בסקלר מוגדרים נקודתית והמכפלה הפנימית מוגדרת באופן הבא:

\langle (x_1,x_2), (y_1,y_2)\rangle_{\mathcal{H}_1\oplus \mathcal{H}_2} = \langle x_1,y_1\rangle_{\mathcal{H}_1} + \langle x_2,y_2\rangle_{\mathcal{H}_2}.

כאמור, המרחב המתקבל הוא מרחב הילברט. באופן כללי, אם \left\{ \mathcal{H}_{i}\right\} _{i\in I} היא משפחה כלשהי של מרחבי הילברט, סכומם הישר מוגדר באופן הבא:

\bigoplus_{i\in I}\mathcal{H}_{i}=\left\{ \left(x_{i}\right)_{i\in I}:x_{i}\in\mathcal{H}_{i}\ \forall i,\ \sum_{i\in I}\left\Vert x_{i}\right\Vert ^{2}<\infty\right\} \subseteq\prod_{i\in I}\mathcal{H}_{i}.

כאן הסכום \sum_{i\in I}\left\Vert x_{i}\right\Vert ^{2} מפורש כסופרמום של \sum_{j\in J}\left\Vert x_{j}\right\Vert ^{2} על פני כל תת-הקבוצות הסופיות J\subseteq I. התנאי \sum_{i\in I}\left\Vert x_{i}\right\Vert ^{2}<\infty גורר בפרט ש-x_{i}=0 לכל i פרט למספר בן מנייה של אינדקסים ב-I.

כמו קודם, החיבור והכפל בסקלר מוגדרים נקודתית והמכפלה הפנימית מוגדרת לפי

\left\langle x,y\right\rangle =\sum_{i\in I}\left\langle x_{i},y_{i}\right\rangle _{\mathcal{H}_{i}}

כאשר \left\langle x_{i},y_{i}\right\rangle _{\mathcal{H}_{i}} היא המכפלה הפנימית על \mathcal{H}_{i}. בכך מקבלים מרחב הילברט שכל אחד מהמרחבים \mathcal{H}_{i} משוכן בו כתת-מרחב סגור. בנוסף לכך, תתי-מרחבים אלה הם אורתוגונליים זה לזה.

קיים גם מושג של "סכום ישר פנימי". אם \mathcal{H} הוא מרחב הילברט ונתונה משפחה של תתי-מרחבים \left\{ V_{i}\right\} _{i\in I} סגורים ואורתוגונליים זה לזה כך ש-\mbox{span}\left(\bigcup_{i\in I}V_{i}\right) היא קבוצה צפופה ב-\mathcal{H}, אז אומרים ש-\mathcal{H} הוא סכום ישר פנימי של המרחבים \left\{ V_{i}\right\} _{i\in I} ובמקרה זה הוא איזומורפי קנונית לסכום הישר החיצוני שלהם. כל סכום ישר (חיצוני או פנימי) מצויד במשפחה של הטלות אורתוגונליות P_{i}, כאשר P_{i} היא ההטלה על המרחב ה-i-י בסכום, \mathcal{H}_{i}. הטלות אלה הן אופרטורים חסומים, הרמיטיים ואידמפוטנטיים והן מקיימות את יחס האורתוגונליות: P_{i}P_{j}=0 לכל i\ne j.

מנה של מרחבי הילברט[עריכת קוד מקור | עריכה]

אם \mathcal{H} הוא מרחב הילברט ו-M הוא תת-מרחב סגור שלו, מרחב המנה \mathcal{H}/M הוא מרחב הילברט עם המכפלה הפנימית \left\langle x+M,y+M\right\rangle =\left\langle P\left(x\right),P\left(y\right)\right\rangle _{\mathcal{H}}, כאשר P היא ההטלה האורתוגונלית על המשלים הניצב M^{\bot}. באופן זה מתקבל מרחב הילברט אשר איזומורפי איזומטרית למרחב M^{\bot}. הנורמה המושרית מהמכפלה הפנימית על \mathcal{H}/M היא

\left\Vert x+M\right\Vert =d\left(x,M\right)=\inf_{m\in M}\left\Vert x-m\right\Vert .

ראו גם[עריכת קוד מקור | עריכה]