מרחב מכפלה פנימית

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

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

מרחב וקטורי ${\displaystyle V}$ מעל השדה ${\displaystyle \mathbb {F} }$, עם מכפלה פנימית ייקרא מרחב מכפלה פנימית. עבור מרחבים מממד סופי, כאשר ${\displaystyle \mathbb {F} =\mathbb {R} }$ המרחב ${\displaystyle V}$ נקרא מרחב אוקלידי, וכאשר ${\displaystyle \mathbb {F} =\mathbb {C} }$ הוא נקרא מרחב אוניטרי.

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

יהי ${\displaystyle \,V}$ מרחב וקטורי מעל השדה ${\displaystyle \mathbb {F} }$, כאשר ${\displaystyle \mathbb {F} }$ הוא שדה המספרים הממשיים ${\displaystyle \mathbb {R} }$ או שדה המספרים המרוכבים ${\displaystyle \mathbb {C} }$. פונקציה ${\displaystyle \langle \cdot ,\cdot \rangle :V\times V\rightarrow \mathbb {F} }$ תיקרא מכפלה פנימית על המרחב אם היא מקיימת את התכונות הבאות:

• אדיטיביות ברכיב הראשון:

  ${\displaystyle \forall a,b,c\in V:\langle a+b,c\rangle =\langle a,c\rangle +\langle b,c\rangle }$

• הומוגניות ברכיב הראשון:

  ${\displaystyle \forall a,b\in V,\lambda \in \mathbb {F} :\langle \lambda a,b\rangle =\lambda \langle a,b\rangle }$

• הרמיטיות (מעל הממשיים – סימטריות):

  ${\displaystyle \forall x,y\in V,\ \langle x,y\rangle ={\overline {\langle y,x\rangle }}}$

• חיוביות לחלוטין (אי-שליליות וממשיות):

  ${\displaystyle \forall x\in V,\ \langle x,x\rangle \geq 0}$ והשוויון מתקבל אם ורק אם ${\displaystyle \ x=0}$

השלכות מההגדרה

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

  ${\displaystyle \langle x,x\rangle ={\overline {\langle x,x\rangle }}}$ פירושו כי ${\displaystyle \langle x,x\rangle }$ הוא מספר ממשי (משום שהצמוד למספר ממשי הוא המספר עצמו).

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

${\displaystyle \langle x,\lambda y\rangle ={\overline {\lambda }}\langle x,y\rangle }$

• מההומוגניות נובע כי תמיד מתקיים: ${\displaystyle \langle 0,x\rangle =\langle 0\cdot x,x\rangle =0\cdot \langle x,x\rangle =0}$

שימושים

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

נורמה (הכללת האורך)

${\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}}$
בזכות תכונת האי-שליליות (חיוביות לחלוטין) גודל זה הוא תמיד אי-שלילי.

מטריקה (הכללת המרחק)

${\displaystyle d(x,y)={\sqrt {\langle x-y,x-y\rangle }}}$

זווית בין שני וקטורים

ניתן להגדיר זווית בין וקטורים בצורה הבאה: ${\displaystyle \operatorname {\theta } (x,y)=\arccos {\frac {\langle x,y\rangle }{\|x\|\cdot \|y\|}}}$. ניתן להראות שהארכקוסינוס תמיד מוגדר בעזרת אי-שוויון קושי-שוורץ.

אורתוגונליות (הכללת הניצבות)

שני וקטורים ${\displaystyle x}$ ו-${\displaystyle y}$ הם אורתוגונליים אם ורק אם המכפלה הפנימית שלהם שווה ${\displaystyle 0}$, כלומר ${\displaystyle \langle x,y\rangle =0}$ ומסמנים ${\displaystyle \,x\perp y}$.

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

דוגמאות למכפלות פנימיות

• המכפלה הסקלרית הסטנדרטית במרחב האוקלידי ${\displaystyle \mathbb {R} ^{3}}$ שנתונה על ידי ${\displaystyle {\vec {a}}\cdot {\vec {b}}=|{\vec {a}}||{\vec {b}}|\cos \theta }$ (כאשר ${\displaystyle \theta }$ היא הזווית בין הווקטורים) היא מכפלה פנימית.
• יהי ${\displaystyle V=\{{\vec {x}}=(x_{1},\cdots ,x_{n})|x_{i}\in \mathbb {F} \}=\mathbb {F} ^{n}}$ מרחב וקטורי.
  • אם ${\displaystyle \ \mathbb {F} =\mathbb {R} }$ אזי המכפלה הסקלרית הבאה ${\displaystyle \langle {\vec {x}},{\vec {y}}\rangle =x_{1}y_{1}+\cdots +x_{n}y_{n}}$ היא מכפלה פנימית.
  • אם ${\displaystyle \ \mathbb {F} =\mathbb {C} }$ אזי המכפלה הסקלרית הבאה ${\displaystyle \langle {\vec {x}},{\vec {y}}\rangle =x_{1}{\overline {y_{1}}}+\cdots +x_{n}{\overline {y_{n}}}}$ היא מכפלה פנימית.
• עבור שתי מטריצות מאותו סדר ${\displaystyle A}$ ו-${\displaystyle B}$ (מעל ${\displaystyle \mathbb {R} }$), הגודל ${\displaystyle \mathrm {tr} (AB^{t})}$ (כלומר העקבה של המכפלת האחת בשחלוף השנייה) הוא מכפלה פנימית. ניתן לכתוב מכפלה פנימית זו גם כך: ${\displaystyle \sum _{i,j}{A_{ij}}B_{ij}}$.
• את המכפלה הסקלרית אפשר לתאר באמצעות כתיב מטריציוני: ${\displaystyle \langle {\vec {x}},{\vec {y}}\rangle ={\vec {x}}^{T}I{\vec {y}}}$. אם נחליף את ${\displaystyle I}$ (מטריצת היחידה) במטריצה ${\displaystyle A}$ חיובית לחלוטין נקבל גם כן מכפלה פנימית. כל מכפלה פנימית מעל ${\displaystyle \mathbb {R} ^{n}}$ ניתנת להצגה בצורה זו עבור מטריצה A כלשהי.
• במרחב כל הפונקציות האינטגרביליות בריבוע במובן לבג בתחום ${\displaystyle \,I}$, שמסומן ${\displaystyle \ L^{2}(I)}$, המכפלה הפנימית היא ${\displaystyle \langle f,g\rangle =\int _{I}{f(x)\ {\overline {g(x)}}\ dx}}$. מכפלה זו הופכת את המרחב למרחב הילברט, לפי משפט ריז-פישר.
• בפיזיקה קוונטית, משתמשים בסימון דיראק (מכונה סימון "ברה-קט") לציון המכפלה הפנימית שפירושה הוא הטלת מצב קוונטי מסוים על מצב אחר. נהוג לקבוע שהיא הומוגנית דווקא ברכיב הימני ולא בשמאלי (בניגוד למוסכמה הנהוגה במתמטיקה): ${\displaystyle \langle a\phi |b\psi \rangle =a^{*}b\langle \phi |\psi \rangle }$. כאשר הכוכבית מסמנת צמוד מרוכב.

ראו גם

• נורמה

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

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

עץ מיון של מרחבים וקטוריים טופולוגיים

מרחב וקטורי טופולוגי מרחב וקטורי טופולוגי       מקרא:   מחלקה של מרחבים וקטוריים טופולוגיים (מעל ${\displaystyle \mathbb {R} }$).[1]   דוגמה או קבוצת דוגמאות למרחבים וקטוריים טופולוגיים.[2]   מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.   חלק במסלול שרלוונטי רק לדוגמאות. ${\displaystyle \cap }$ מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.                             מרחב האוסדורף מרחב האוסדורף                         מרחב מטריזבילי מרחב מטריזבילי   מרחב שלם מרחב שלם   מרחב קמור מקומית מרחב קמור מקומית                                                           מרחב-F מרחב-F ${\displaystyle \cap \,}$                                                                        מרחב פרשה מרחב פרשה ${\displaystyle \cap \,}$   מרחב דואלי לפרשה מרחב דואלי לפרשה   מרחב גרעיני מרחב גרעיני                             ${\displaystyle C^{\infty }(\mathbb {R} )}$ ${\displaystyle C^{\infty }(\mathbb {R} )}$       מרחב נורמי מרחב נורמי                               מרחב בנך מרחב בנך ${\displaystyle \cap \,}$   ${\displaystyle C^{-\infty }(S^{1})}$ ${\displaystyle C^{-\infty }(S^{1})}$     ${\displaystyle L_{loc}^{p}(\mathbb {R} )}$ ${\displaystyle L_{loc}^{p}(\mathbb {R} )}$ ${\displaystyle C(\mathbb {R} )}$ ${\displaystyle C(\mathbb {R} )}$                         ${\displaystyle C_{c}^{\infty }(\mathbb {R} )}$ ${\displaystyle C_{c}^{\infty }(\mathbb {R} )}$       מרחב מכפלה פנימית מרחב מכפלה פנימית                         מרחב הילברט מרחב הילברט ${\displaystyle \cap \,}$   ${\displaystyle C^{-\infty }(\mathbb {R} )}$ ${\displaystyle C^{-\infty }(\mathbb {R} )}$   ${\displaystyle L^{1}(\mathbb {R} )}$ ${\displaystyle L^{1}(\mathbb {R} )}$ ${\displaystyle C(S^{1})}$ ${\displaystyle C(S^{1})}$       ${\displaystyle L^{p}(\mathbb {R} );p>1}$ ${\displaystyle L^{p}(\mathbb {R} );p>1}$                     מרחב (ממשי) ממד סופי - ${\displaystyle \mathbb {R} ^{n}}$ מרחב (ממשי) ממד סופי - ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle \cap \,}$   ${\displaystyle L^{2}(\mathbb {R} )}$ ${\displaystyle L^{2}(\mathbb {R} )}$   שמות התואר "וקטורי", "טופולוגי" ו"ממשי" מושמטים בדרך כלל משם המחלקה. במרחבי הפונקציות בדוגמאות, ניתן להחליף את ${\displaystyle \mathbb {R} }$ ביריעה חלקה כלשהי ואת מעגל היחידה ${\displaystyle S^{1}}$ ביריעה חלקה קומפקטית כלשהי.