מטריצה לכסינה
באלגברה ליניארית, מטריצה ריבועית היא לכסינה (או ניתנת ללכסון) אם היא דומה למטריצה אלכסונית, כלומר, אם קיימות מטריצה אלכסונית ומטריצה הפיכה , כך ש-, או באופן שקול: . במקרה כזה, נקראת מטריצה מלכסנת, ו־D נקראת מטריצה ספקטרלית של A. ניתן בקלות יחסית להעלות בחזקה מטריצות לכסינות ולהציבן בפולינומים. כל מטריצה נורמלית ניתנת ללכסון, אבל ישנן מטריצות שאינן ניתנות ללכסון. באופן דומה, העתקה ליניארית מהמרחב הווקטורי אל עצמו היא לכסינה אם קיים בסיס של , ש- פועלת על כל רכיביו כמו כפל בסקלר; דהיינו קיימים סקלרים , שעבורם . העתקה ליניארית היא לכסינה אם ורק אם קיימת לה מטריצה מייצגת לכסינה; ובמקרה כזה כל מטריצה מייצגת שלה היא לכסינה. תכונת הלכסינות תלויה בשדה שממנו נלקחות המטריצות ו-. ישנן למשל מטריצות ממשיות, שהן לכסינות מעל המרוכבים אבל אינן לכסינות מעל הממשיים. אפיון בעזרת הפולינום המינימלילמטריצה אלכסונית, שאלכסונה כולל את המספרים , יש פולינום אופייני , ופולינום מינימלי השווה למכפלת הגורמים עבור הערכים השונים זה מזה. אם שתי מטריצות דומות זו לזו, אז יש להן אותו פולינום אופייני ופולינום מינימלי. באופן כללי, מטריצה היא לכסינה אם ורק אם הפולינום האופייני שלה מתפרק לגורמים ליניאריים, והריבוי האלגברי של כל ערך עצמי שווה לזה של הריבוי הגאומטרי. מכיוון שהריבוי הגאומטרי לעולם קטן או שווה מן הריבוי האלגברי, התנאי האחרון שקול לתנאי הבא: סכום הריבויים הגאומטריים של כל הערכים העצמיים שווה למימד המטריצה. אם המטריצה ניתנת ללכסון, אפשר להרכיב מטריצה מלכסנת על ידי איסוף בסיס של וקטורים עצמיים כעמודות במטריצה. במקרה כזה האלכסון הראשי של המטריצה האלכסונית הם הערכים העצמיים של , כאשר כל ערך מופיע בה מספר פעמים ששווה לריבוי האלגברי שלו. מוטיבציה ושימושיםהמוטיבציה ללכסון מטריצות היא הנוחות הרבה שבעבודה עם מטריצות אלכסוניות: הערכים העצמיים והווקטורים העצמיים שלה ברורים מאוד ואין קושי במציאתם, וקל מאוד להעלות אותה בחזקה: די בהעלאת כל איבר ואיבר שלה באותה חזקה. דבר זה חשוב במיוחד לצורך העלאה בחזקה של מטריצות שאינן אלכסוניות, אך הן לכסינות. למשל, תהי המטריצה הלכסינה, המטריצה האלכסונית הדומה לה ו- המטריצה המלכסנת: , או באופן שקול: . נעלה את בחזקה:
כלומר, לשם העלאת מטריצה לכסינה בחזקה אין צורך לבצע כפל מטריצות פעמים, אלא די בשתי פעולות כפל מטריצות, שכן העלאת מטריצה אלכסונית בחזקה היא כאמור טריוויאלית. ככלל, מעל לשדה המספרים המרוכבים, קיים סיכוי רב יותר שמטריצה אקראית תהיה לכסינה. הדבר אינו נכון לגבי המספרים הממשיים: הסיכוי שמטריצה אקראית מעל למספרים הממשיים תהיה לכסינה הולך ופוחת ככל שסדר המטריצה גדל. משפט חשוב אומר שכל מטריצה הרמיטית (ובהמשך נראה שגם כל מטריצה נורמלית) ניתנת ללכסון אוניטרי. במקרה הפרטי שבו מדובר במטריצה סימטרית ממשית, זה אומר שהיא ניתנת ללכסון והמטריצה המלכסנת היא מטריצה אורתוגונלית. בנוסף, ללכסון מטריצות חשיבות מכרעת בפיזיקה, בין היתר לשם מציאת אופני תנודה עצמיים של מערכת וכן לפתרון משוואת שרדינגר. אלגוריתם ללכסון מטריצותתהי מטריצה ריבועית לכסינה מסדר .
אינטואיציהידוע כי אפשר לזהות כל מטריצה כאופרטור הפועל על מרחב וקטורי. מושגי הווקטורים העצמיים והערכים העצמיים עוזרים רבות עם חישוב אופן הפעולה של מטריצה על המרחב הווקטורי, דבר שלעיתים קרובות קשה לחשב. לכל מטריצה לכסינה מסדר קיימים וקטורים עצמיים שהם בסיס למרחב ה- ממדי שעליו המטריצה פועלת. אם נכתוב את המטריצה לפי בסיס זה, ונכתוב כל וקטור לפי בסיס זה, יהיה קל מאוד לחשב את התמונה של הווקטור הזה. יש כאלו שיאמרו כי במובן מסוים, קל יותר להבין את אופן הפעולה של המטריצות, מאחר שהיא לוקחת את המרחב ומותחת אותו בעוצמות שונות לכיוונים שונים. הנוסחה מציגה לנו גם את מעבר הבסיס שנעשה לצורך החישוב. על אף שמעבר בסיס זה בפני עצמו דורש הבנה של אופן הפעולה של מטריצה מסוימת, מטריצות לכסינות שימושיות למשל להעלאת מטריצות בחזקה (במובן מסוים, לכל פעילות שבה ו- מבטלים זה את זה). לכסון אוניטרילכסון אוניטרי הוא לכסון של מטריצה בעזרת מטריצה אוניטרית. כאשר המרחב הוא מעל שדה הממשיים () הלכסון נקרא גם לכסון אורתוגונלי. הגדרהמטריצה היא לכסינה אוניטרית, אם קיים בסיס אורתונורמלי של (כאשר מעל שדה ), שבו המטריצה מיוצגת כמטריצה אלכסונית, כך: כאשר היא המטריצה אותה אנחנו רוצים ללכסן, היא המטריצה המלכסנת, שעמודותיה מורכבות מבסיס אורתונורמלי ו- היא מטריצה אלכסונית. מטריצה מעל ניתנת לליכסון אוניטרי אם ורק אם היא נורמלית. מטריצה ניתנת לשילושמטריצה ריבועית ניתנת לשילוש (או שלישה) אם היא דומה למטריצה משולשית עליונה, כלומר, אם יש מטריצה הפיכה כך ש- משולשית עליונה. מטריצה ניתנת לשילוש (מעל שדה ) אם ורק אם הפולינום האופייני שלה מתפרק לגורמים ליניאריים מעל אותו שדה. בפרט, כל מטריצה מעל שדה המספרים המרוכבים ניתנת לשילוש שם. מטריצה ניתנת לשילוש אוניטרי (כלומר ניתנת לשילוש על ידי מטריצה כך ש- היא מטריצה אוניטרית) אם ורק אם היא ניתנת לשילוש. ראו גם
קישורים חיצוניים
|