חפיפת מטריצות

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

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

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

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

תהיינה מטריצות חופפות אם קיימת מטריצה הפיכה ,

כך ש: , כאשר הוא הצמוד ההרמיטי של .

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

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

הוכחה:
נניח כי חופפת ל-. מכאן נובע שקיימת מטריצה הפיכה כך ש-. לכן .

כלומר הרמיטית. נותר להוכיח כי מטריצה חיובית. יהא . אזי .

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

שוויון מתקבל אם ורק אם , וכיוון ש- הפיכה, אזי השוויון יתקבל אם ורק אם . כלומר חיובית לחלוטין.

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

תהי מטריצת מעבר מהבסיס הסטנדרטי לבסיס אורתונורמלי במובן הבא (הדלתא של קרונקר).

אזי שכן . מ.ש.ל.

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

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

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

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

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

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

אנו יכולים למצוא מטריצה הפוכה כך ש-:

אז יש לנו:

לפיכך, ו- חופפים.

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

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

איננו יכולים למצוא מטריצה הניתנת להפיכה כך ש, ולכן ו- אינם חופפים.

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

  1. משפט הפירוק הספקטרלי: משפט הפירוק הספקטרלי קובע שכל מטריצה נורמלית (מטריקס שהיא גם הרמיטית וגם יחידה) ניתנת לאלכסון על ידי מטריצה יחידה. המשמעות היא שקיימת מטריצה יחידה כך ש- היא מטריצה אלכסונית.
  2. פירוק לערכים סינגולריים : פירוק לערכים סינגולריים היא שיטה הקובעת שכל מטריצה ניתנת לפירוק למכפלה של שלוש מטריצות: , כאשר ו- הן מטריצות יחידות ו- היא מטריצה אלכסונית. פירוק זה ייחודי עד לבחירת הסימנים של העמודים של ו-.
  3. מכפלה פנימית: מטריצה A מייצגת מכפלה פנימית אם ורק אם היא עולה בקנה אחד עם מטריצת היחידה , כלומר קיימת מטריצה הניתנת להפיכה כך ש-.
  4. תהליך גרם-שמידט: תהליך גרם-שמידט הוא אלגוריתם לבניית בסיס אורתונורמלי מקבוצה נתונה של וקטורים. הוא מסתמך על הרעיון של חפיפה בין וקטורים למכפלה הפנימית.
  5. מכניקת הקוונטים: במכניקת הקוונטים, החפיפה של שתי פונקציות גלים היא מדד לדמיון ביניהן. החפיפה של שתי פונקציות גל ניתנת על ידי המכפלה הפנימית של פונקציות הגל, שניתן לייצג אותה כמטריצה.
  6. עיבוד אותות: בעיבוד אותות, ניתן להשתמש במטריצות לייצוג אותות וניתן לקבוע את החפיפה בין שני אותות על ידי חישוב החפיפה בין המטריצות המתאימות.
  7. ניתוח נתונים: בניתוח נתונים, ניתן להשתמש במטריצות לייצוג מערכי נתונים וניתן לקבוע את החפיפה בין שני מערכי נתונים על ידי חישוב החפיפה בין המטריצות המתאימות.
  8. עיבוד תמונה: בעיבוד תמונה ניתן להשתמש במטריצות לייצוג תמונות וניתן לקבוע את החפיפה בין שתי תמונות על ידי חישוב החפיפה בין המטריצות המתאימות.


קישורים חיצוניים[עריכת קוד מקור | עריכה]