שגיאות פרמטריות בתבנית:לשכתב   
פרמטרי חובה [ נושא ] חסרים 


באלגברה ליניארית, מושג **החפיפה** מתייחס לקשר בין שתי מטריצות {\displaystyle A} ו-{\displaystyle B} כאשר קיימת מטריצה {\displaystyle P} הניתנת להפיכה כך שניתן לקבל את {\displaystyle B} מ-{\displaystyle A} על ידי שינוי הבסיס באמצעות המטריצה {\displaystyle P}. המשמעות היא ש-{\displaystyle B} ו-{\displaystyle A} מייצגים את אותה תבנית ביליניארית בבסיסים שונים. יחס חפיפה זה, כהגדרתו הוא גם יחס שקילות, כלומר עבור כל מטריצות, {\displaystyle B} {\displaystyle A}ו-{\displaystyle C}, אם {\displaystyle A} חופפת {\displaystyle B} ו-{\displaystyle B} חופפת {\displaystyle C}, אז {\displaystyle A} חייבת גם לחפוף {\displaystyle C}. בנוסף, כל מטריצה חופפת את עצמה ואף מטריצה לא חופפת את מטריצת האפס. מושג החפיפה קשור קשר הדוק לרעיון של תוצרים פנימיים וניתן להשתמש בו כדי לקבוע מתי שתי מטריצות מייצגות את אותו מכפלה פנימית.

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

הגדרה
-----

תהיינה {\displaystyle A,B\in \ \mathbb {F} ^{n\times n}} מטריצות חופפות אם קיימת מטריצה הפיכה {\displaystyle P\in \ \mathbb {F} ^{n\times n}},

כך ש: {\displaystyle B=P^{\*}AP}, כאשר {\displaystyle P^{\*}} הוא הצמוד ההרמיטי של {\displaystyle P} (מעל שדה ממשי: {\displaystyle P^{\*}=P^{\top }} (שחלוף מטריצות) אך מעל שדה המספרים המרוכבים: {\displaystyle P^{\*}={\bar {P}}^{\top }}, כלומר: לשחלוף נוספת הצמדה מרוכבת).

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

מכך נובע גם כי מטריצה {\displaystyle A\in \ \mathbb {F} ^{n\times n}} מייצגת מכפלה פנימית אם ורק אם היא חופפת למטריצת היחידה {\displaystyle I}.  

**הוכחה**:  

נניח כי {\displaystyle A} חופפת ל-{\displaystyle I}. מכאן נובע שקיימת מטריצה הפיכה {\displaystyle P} כך ש-{\displaystyle A=P^{\*}IP=P^{\*}P}. לכן {\displaystyle A^{\*}=(P^{\*}P)^{\*}=P^{\*}P=A}.

כלומר {\displaystyle A} הרמיטית.
נותר להוכיח כי {\displaystyle A} מטריצה חיובית. יהא {\displaystyle {\underline {b}}\in \ \mathbb {F} ^{n}}. אזי {\displaystyle {\underline {b}}^{\*}A{\underline {b}}={\underline {b}}^{\*}P^{\*}P{\underline {b}}=(P{\underline {b}})^{\*}(P{\underline {b}})}.

הביטוי האחרון שקיבלנו הוא המכפלה הפנימית הסטנדרטית ב-{\displaystyle \mathbb {C} ^{n}}, לכן {\displaystyle {\underline {b}}^{\*}A{\underline {b}}=\langle P{\underline {b}},P{\underline {b}}\rangle =\|P{\underline {b}}\|^{2}\geq 0}.

שוויון מתקבל אם ורק אם {\displaystyle P{\underline {b}}={\underline {0}}}, וכיוון ש-{\displaystyle P} הפיכה, אזי השוויון יתקבל אם ורק אם {\displaystyle {\underline {b}}={\underline {0}}}. כלומר {\displaystyle A} חיובית לחלוטין.

נניח כי {\displaystyle A} מייצגת מכפלה פנימית. אזי {\displaystyle A} הרמיטית וחיובית לחלוטין.

תהי {\displaystyle P} מטריצת מעבר מהבסיס הסטנדרטי לבסיס אורתונורמלי במובן הבא {\displaystyle {\underline {v}}\_{i}^{\*}A{\underline {v}}\_{j}=\delta \_{ij}} (הדלתא של קרונקר).

אזי {\displaystyle \ P^{\*}AP=I} שכן {\displaystyle \delta \_{ij}={\underline {v}}\_{i}^{\*}A{\underline {v}}\_{j}={\underline {e}}\_{i}^{\*}P^{\*}APe\_{j}=(P^{\*}AP)\_{ij}}.
**מ.ש.ל.**

דוגמאות
-------

### דוגמה 1

נתונות המטריצות הבאות:

{\displaystyle B={\begin{bmatrix}2&3\\5&7\end{bmatrix}},A={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}

כפי שמוצג בדוגמה הקודמת, נוכל למצוא מטריצה הפיכה {\displaystyle P} המקיימת {\displaystyle B=P^{\*}AP}, ולכן {\displaystyle A} ו-{\displaystyle B} חופפות.

### דוגמה 2

נתונות המטריצות הבאות:

{\displaystyle B={\begin{bmatrix}0&1\\1&0\end{bmatrix}},A={\begin{bmatrix}1&0\\0&1\end{bmatrix}}}

לא ניתן למצוא מטריצה הפיכה {\displaystyle P} המקיימת {\displaystyle P^{\*}AP=B}, ולכן {\displaystyle A} ו-{\displaystyle B} אינן חופפות.

שימושים
-------

1. **משפט הפירוק הספקטרלי**: משפט הפירוק הספקטרלי קובע שכל מטריצה נורמלית (מטריצה שהיא גם הרמיטית וגם יחידה) ניתנת ללכסון על ידי מטריצה יחידה. המשמעות היא שקיימת מטריצה יחידה {\displaystyle P} כך ש-{\displaystyle P^{\*}AP} היא מטריצה אלכסונית.
2. **פירוק לערכים סינגולריים**: פירוק לערכים סינגולריים היא שיטה הקובעת שכל מטריצה {\displaystyle A} ניתנת לפירוק למכפלה של שלוש מטריצות: {\displaystyle A=U\*S\*V^{\*}}, כאשר {\displaystyle U} ו-{\displaystyle V} הן מטריצות יחידות ו-{\displaystyle S} היא מטריצה אלכסונית. פירוק זה ייחודי עד לבחירת הסימנים של העמודים של {\displaystyle U} ו-{\displaystyle V}.
3. **מכפלה פנימית**: מטריצה A מייצגת מכפלה פנימית אם ורק אם היא עולה בקנה אחד עם מטריצת היחידה {\displaystyle I}, כלומר קיימת מטריצה {\displaystyle P} הניתנת להפיכה כך ש-{\displaystyle A=P^{\*}IP}.
4. **תהליך גרם-שמידט**: תהליך גרם-שמידט הוא אלגוריתם לבניית בסיס אורתונורמלי מקבוצה נתונה של וקטורים. הוא מסתמך על הרעיון של חפיפה בין וקטורים למכפלה הפנימית.
5. **מכניקת הקוונטים**: במכניקת הקוונטים, החפיפה של שתי פונקציות גלים היא מדד לדמיון ביניהן. החפיפה של שתי פונקציות גל ניתנת על ידי המכפלה הפנימית של פונקציות הגל, שניתן לייצג אותה כמטריצה.
6. **עיבוד אותות**: בעיבוד אותות, ניתן להשתמש במטריצות לייצוג אותות וניתן לקבוע את החפיפה בין שני אותות על ידי חישוב החפיפה בין המטריצות המתאימות.
7. **ניתוח נתונים**: בניתוח נתונים, ניתן להשתמש במטריצות לייצוג מערכי נתונים וניתן לקבוע את החפיפה בין שני מערכי נתונים על ידי חישוב החפיפה בין המטריצות המתאימות.
8. **עיבוד תמונה**: בעיבוד תמונה ניתן להשתמש במטריצות לייצוג תמונות וניתן לקבוע את החפיפה בין שתי תמונות על ידי חישוב החפיפה בין המטריצות המתאימות.

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

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

* חפיפת מטריצות, באתר MathWorld (באנגלית)