ברוכים הבאים ליחידת הלימוד "מטריצות סימטריות וצורות ריבועיות" בקורס אלגברה לינארית לתלמידי מדעים (20430). יחידה זו היא אבן יסוד בהבנת הקשר העמוק בין תכונות של מטריצות לבין גיאומטריה של פונקציות מרובות משתנים. נתמקד ביישומים של לכסון אורתוגונלי ובקשר למרחבי מכפלה פנימית, נושאים בעלי חשיבות רבה במתמטיקה, פיזיקה, הנדסה ומדעי המחשב. הבנה מעמיקה של החומר תאפשר לכם לפתור מגוון רחב של בעיות, כולל אלו המופיעות במבחני הקורס, אשר נוטות לבחון את השליטה בטכניקות חישוב וביישום משפטים מרכזיים.
מטריצות סימטריות ולכסון אורתוגונלי
מטריצות סימטריות הן סוג מיוחד של מטריצות ריבועיות בעלות תכונות יוצאות דופן, המאפשרות לכסון שלהן באופן "יפה" במיוחד.
משפט הלכסון האורתוגונלי (המשפט הספקטרלי)
זהו אחד המשפטים החשובים ביותר באלגברה לינארית: כל מטריצה סימטרית ניתנת ללכסון אורתוגונלי. משמעות הדבר היא שקיימת מטריצה אורתוגונלית P (כלומר PTP = I) ומטריצה אלכסונית D כך ש-A = PDPT. העמודות של P הן וקטורים עצמיים אורתונורמליים של A, והאיברים באלכסון של D הם הערכים העצמיים המתאימים.
שלבי הלכסון האורתוגונלי:
- מצאו את הערכים העצמיים של A על ידי פתרון המשוואה האופיינית det(A - λI) = 0.
- לכל ערך עצמי λ, מצאו בסיס למרחב העצמי המתאים Eλ = Nul(A - λI).
- הפכו את הבסיסים הללו לבסיסים אורתונורמליים (לרוב באמצעות תהליך גרם-שמידט אם יש יותר מוקטור עצמי אחד לאותו ערך עצמי, או פשוט נירמול אם יש רק אחד). עבור ערכים עצמיים שונים, הוקטורים העצמיים כבר אורתוגונליים זה לזה.
- בנו את P כשהעמודות שלה הן הוקטורים העצמיים האורתונורמליים.
- בנו את D כשהאלכסון שלה מכיל את הערכים העצמיים, בסדר התואם את סדר הוקטורים העצמיים ב-P.
צורות ריבועיות וסיווגן
צורות ריבועיות הן פונקציות הומוגניות ממעלה שנייה של מספר משתנים, והן קשורות קשר הדוק למטריצות סימטריות.
יישום מרכזי: פישוט צורות ריבועיות על ידי החלפת משתנים. באמצעות לכסון אורתוגונלי, ניתן למצוא שינוי קואורדינטות x = Py (כאשר P היא מטריצת הוקטורים העצמיים האורתונורמליים) כך שהצורה הריבועית תהפוך לצורה ללא איברי כפל מעורבים (cross-product terms): Q(x) = Q(Py) = yTD y = λ1y12 + λ2y22 + ... + λnyn2. הקואורדינטות החדשות yi נקראות צירים ראשיים.
סיווג צורות ריבועיות
ניתן לסווג צורות ריבועיות לפי סימן הערכים העצמיים של המטריצה הסימטרית A המייצגת אותן. סיווג זה קריטי למשל באופטימיזציה (מבחן הנגזרת השנייה) ובזיהוי חתכי חרוט ומשטחי ריבוע.
חיובית לחלוטין
Q(x) > 0 לכל x ≠ 0. כל הערכים העצמיים λi > 0.
שלילית לחלוטין
Q(x) < 0 לכל x ≠ 0. כל הערכים העצמיים λi < 0.
אי-שלילית
Q(x) ≥ 0 לכל x. כל הערכים העצמיים λi ≥ 0 (ולא כולם אפס).
אי-חיובית
Q(x) ≤ 0 לכל x. כל הערכים העצמיים λi ≤ 0 (ולא כולם אפס).
מעורבת
Q(x) מקבלת גם ערכים חיוביים וגם שליליים. ישנם ערכים עצמיים חיוביים ושליליים.
קשר למרחבי מכפלה פנימית
לכסון אורתוגונלי מתרחש בהקשר של מרחבי מכפלה פנימית, כאשר המכפלה הפנימית הסטנדרטית (מכפלה סקלרית) היא המקרה הנפוץ ביותר. הרעיון של וקטורים עצמיים אורתוגונליים הוא הרחבה טבעית של מושג האורתוגונליות במרחבי מכפלה פנימית כלליים.
המשפט הספקטרלי מבטיח לנו שבמרחב Rn עם המכפלה הפנימית הסטנדרטית, למטריצה סימטרית תמיד קיים בסיס אורתונורמלי של וקטורים עצמיים. זהו מקרה פרטי חשוב של תיאוריה כללית יותר במרחבי מכפלה פנימית.
שאלות לדיון
- כיצד משפט הלכסון האורתוגונלי מפשט את הניתוח של צורות ריבועיות, ומהי המשמעות הגיאומטרית של פישוט זה?
- מהם השלבים המדויקים ללכסון אורתוגונלי של מטריצה סימטרית, ומהם האתגרים החישוביים הנפוצים בתהליך?
- הסבירו כיצד ניתן לסווג צורה ריבועית באמצעות הערכים העצמיים של המטריצה הסימטרית המשויכת לה. תנו דוגמה לכל סוג סיווג.
- מדוע בסיס אורתונורמלי של וקטורים עצמיים הוא קריטי לפישוט צורות ריבועיות, וכיצד הוא קשור למושג הצירים הראשיים?
נקודות לתשובת מודל
- הגדירו מטריצה סימטרית וצורה ריבועית, והציגו את הקשר Q(x) = xTAx.
- ציינו את משפט הלכסון האורתוגונלי: לכל מטריצה סימטרית A קיימת מטריצה אורתוגונלית P ומטריצה אלכסונית D כך ש-A = PDPT.
- פרטו את השלבים לביצוע לכסון אורתוגונלי: מציאת ערכים עצמיים, מציאת וקטורים עצמיים, אורתוגונליזציה (גרם-שמידט אם נדרש) ונרמול ליצירת P, ובניית D.
- הסבירו כיצד שינוי המשתנים x = Py הופך את הצורה הריבועית לצורה ללא איברי כפל מעורבים: Q(y) = λ1y12 + ... + λnyn2, וכיצד yi הם הצירים הראשיים.
- קשרו את סימן הערכים העצמיים לסיווג הצורה הריבועית (חיובית/שלילית לחלוטין, אי-שלילית/אי-חיובית, מעורבת).
- הדגישו את חשיבות האורתונורמליות של בסיס הוקטורים העצמיים לשמירה על אורכים וזוויות בשינוי הקואורדינטות, וכיצד זה מתקשר למרחבי מכפלה פנימית.