מרחב דואלי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־13:18, 6 במרץ 2018

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

המרחב הדואלי של מרחב וקטורי

יהי $\ V$ מרחב וקטורי מעל השדה $\ F$ . המרחב הדואלי של $\ V$ הוא המרחב הווקטורי $\ V^{*}$ שאיבריו הם הפונקציות הליניאריות $\ V\to F$ , כאשר החיבור והכפל בסקלר מוגדרים נקודתית. איבר ב- $\ V^{*}$ נקרא פונקציונאל ליניארי.

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

אפילו כאשר למרחב יש ממד סופי, האיזומורפיזם למרחב הדואלי אינו טבעי, והוא תלוי בבחירת בסיס. אם V הוא מרחב מכפלה פנימית, המצב נוח יותר: ההתאמה $\ x\mapsto \varphi _{x}$ כאשר $\ \varphi _{x}:y\mapsto (x,y)$ מהווה שיכון טבעי של V במרחב הדואלי שלו (שהוא איזומורפיזם אם הממד סופי).

לעומת זאת, יש שיכון טבעי $\ V\hookrightarrow V^{**}$ אפילו ללא מכפלה פנימית: הווקטור x מתאים לפונקציונל $\ s_{x}:V^{*}\rightarrow F$ המוגדר על ידי $\ s_{x}(f)=f(x)$ . גם כאן, אם הממד סופי זהו איזומורפיזם.

המרחב הדואלי של מרחב נורמי

ערך מורחב – פונקציונל

את קבוצת כל הפונקציונלים הליניאריים החסומים על מרחב לינארי $\ X$ מסמנים ב- $\ X^{*}$ . זהו מרחב בנך ביחס לנורמה האופרטורית, והוא מכונה "המרחב הדואלי". אם מתרחשת תופעה של דואליות בדמות איזומורפיזם טבעי $X^{**}\cong X$ , אז $X$ מכונה "מרחב רפלקסיבי" (ובפרט הוא גם מרחב בנך). כל מרחב הילברט הוא רפלקסיבי, לפי משפט ההצגה של ריס.

הבסיס הדואלי

נניח כי $\ V$ מרחב נורמי מממד $n$ ויהי $\ \left\{v_{i}\right\}_{i=1}^{n}$ בסיס עבורו.

עבור כל $1\leq i\leq n$ נסמן ב- $\ f_{i}$ את הפונקציונאל הליניארי היחיד המוגדר על ידי $f_{i}(v_{j})=\delta _{i,j}$ , כאשר הדלתא של קרונקר. אזי הקבוצה $\ \left\{f_{i}\right\}_{i=1}^{n}$ מהווה בסיס ל- $\ V^{*}$ המכונה הבסיס הדואלי.

אם מציגים איבר מ-V ופונקציונאל מ-*V באמצעות בסיסים אלו כוקטורי קואורדינטות, אז הפעלת הפונקציונאל על האיבר היא מכפלה סקלרית.

משפט אורבך

משפט אורבך קובע כי לכל מרחב נורמי $\ V$ מממד $n$ קיים בסיס $\ \left\{v_{i}\right\}_{i=1}^{n}$ המקיים $\|v_{i}\|=1$ לכל $1\leq i\leq n$ , כך שגם הבסיס הדואלי המתאים לו $\ \left\{f_{i}\right\}_{i=1}^{n}$ מקיים $\|f_{i}\|=1$ לכל $1\leq i\leq n$ (בנורמה האופרטורית).

ההוכחה למשפט זה מפתיעה ויחסית פשוטה: ניתן להניח ללא הגבלת הכלליות כי $V=\mathbb {C} ^{n}$ . העתקת הדטרמיננטה $\det :V^{n}=\mathbb {C} ^{n\times n}\to \mathbb {C}$ היא רציפה, ולכן $\left|\det \right|$ מקבלת מקסימום על כדור היחידה הקומפקטי של $\mathbb {C} ^{n\times n}$ . נניח כי מקסימום זה הוא המטריצה שעמודותיה הן $v_{1},\dots ,v_{n}\in \mathbb {C} ^{n}$ , שהן בבירור בלתי תלויות ולכן בסיס של $\mathbb {C} ^{n}$ . נגדיר $f_{i}\left(x\right)={\frac {\det \left(v_{1},\dots ,v_{i-1},x,v_{i+1},\dots ,v_{n}\right)}{\det \left(v_{1},\dots ,v_{n}\right)}}$ עבור $i=1,\dots ,n$ . לא קשה לוודא כי זהו הבסיס הדואלי של $v_{1},\dots ,v_{n}\in \mathbb {C} ^{n}$ וכי הוא מקיים את המבוקש.

ראו גם

אופרטור צמוד

@@ שורה 19: / שורה 19: @@
 ==הבסיס הדואלי==
-נניח כי <math>\ V</math> מממד סופי ויהי <math>\ \left\{v_i\right\}_{i=1}^n</math> בסיס עבורו.
+נניח כי <math>\ V</math> מרחב נורמי מממד <math>n</math> ויהי <math>\ \left\{v_i\right\}_{i=1}^n</math> בסיס עבורו.
-נסמן ב-<math>\ v_i^*</math> את הפונקציונאל הליניארי המקבל 1 על <math>\ v_i</math> ו-0 על שאר אברי הבסיס (כמובן שיש פונקציונאל ליניארי יחיד כנ"ל).
+עבור כל <math>1 \leq i \leq n</math> נסמן ב-<math>\ f_i</math> את הפונקציונאל הליניארי היחיד המוגדר על ידי <math>f_i(v_j) = \delta_{i,j}</math>, כאשר [[הדלתא של קרונקר]]. אזי הקבוצה <math>\ \left\{f_i\right\}_{i=1}^n</math> מהווה בסיס ל-<math>\  V^* </math> המכונה '''הבסיס הדואלי'''.
-הקבוצה <math>\ \left\{v_i^*\right\}_{i=1}^n</math> מהווה בסיס ל-<math>\  V^* </math> שיקרא '''הבסיס הדואלי'''. בסיס זה מקיים את כלל ה[[דלתא של קרונקר]] - <math>\ v_i^* (v_j) = \delta_{ij}</math> - ואומרים שהוא בי-אורתוגונלי לבסיס הישר.
 אם מציגים איבר מ-V ופונקציונאל מ-*V באמצעות בסיסים אלו כ[[וקטור קואורדינטות|וקטורי קואורדינטות]], אז הפעלת הפונקציונאל על האיבר היא [[מכפלה סקלרית]].
+===משפט אורבך===
+משפט אורבך קובע כי לכל מרחב נורמי <math>\ V</math> מממד <math>n</math> קיים בסיס <math>\ \left\{v_i\right\}_{i=1}^n</math> המקיים <math>\| v_i \| = 1</math> לכל <math>1 \leq i \leq n</math>, כך שגם הבסיס הדואלי המתאים לו <math>\ \left\{f_i\right\}_{i=1}^n</math> מקיים <math>\| f_i \| = 1</math> לכל <math>1 \leq i \leq n</math> (בנורמה האופרטורית).
+ההוכחה למשפט זה מפתיעה ויחסית פשוטה: ניתן להניח ללא הגבלת הכלליות כי <math>V = \mathbb{C}^n</math>. העתקת ה[[דטרמיננטה]] <math>\det: V^n = \mathbb{C}^{n \times n} \to \mathbb{C}</math> היא רציפה, ולכן <math>\left|\det\right|</math> מקבלת מקסימום על כדור היחידה הקומפקטי של <math>\mathbb{C}^{n \times n}</math>. נניח כי מקסימום זה הוא המטריצה שעמודותיה הן <math>v_1,\dots,v_n \in \mathbb{C}^n</math>, שהן בבירור בלתי תלויות ולכן בסיס של <math>\mathbb{C}^n</math>. נגדיר <math>f_{i}\left(x\right)=\frac{\det\left(v_{1},\dots,v_{i-1},x,v_{i+1},\dots,v_{n}\right)}{\det\left(v_{1},\dots,v_{n}\right)}</math> עבור <math>i=1,\dots,n</math>. לא קשה לוודא כי זהו הבסיס הדואלי של <math>v_1,\dots,v_n \in \mathbb{C}^n</math> וכי הוא מקיים את המבוקש.
 == ראו גם ==