מטריצה לכסינה

בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

באלגברה ליניארית, מטריצה ריבועית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} היא לכסינה (או: ניתנת ללכסון) אם היא דומה למטריצה אלכסונית, כלומר, אם קיימות מטריצה אלכסונית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} ומטריצה הפיכה $P$, כך ש-$D=P^{-1}AP$. במקרה כזה, $P$ נקראת מטריצה מלכסנת.

מטריצות לכסינות ניתן להעלות בחזקה ולהציב בפולינומים בקלות יחסית. כל מטריצה נורמלית ניתנת ללכסון, אבל ישנן מטריצות שאינן ניתנות ללכסון. באופן דומה, טרנספורמציה ליניארית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T: V\rarr V} מהמרחב הווקטורי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} אל עצמו היא לכסינה אם קיים בסיס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \{b_1,\dots,b_n\}} של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} , ש-$T$ פועלת על כל רכיביו כמו כפל בסקלר; דהיינו קיימים סקלרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lambda_1,\dots,\lambda_n} , שעבורם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ T(b_i) = \lambda_i b_i} . טרנספורמציה היא לכסינה אם ורק אם קיימת לה מטריצה מייצגת לכסינה; ובמקרה כזה כל מטריצה מייצגת שלה היא לכסינה.

תכונת הלכסינות תלויה בשדה שממנו נלקחות המטריצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} . ישנן למשל מטריצות ממשיות, שהן לכסינות מעל המרוכבים אבל אינן לכסינות מעל הממשיים.

אפיון בעזרת הפולינום המינימלי

למטריצה אלכסונית, שאלכסונה כולל את המספרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a_1,\dots,a_n} , יש פולינום אופייני $\ f_{D}(t)=(t-a_{1})\cdots (t-a_{n})$, ופולינום מינימלי השווה למכפלת הגורמים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (t-a_i)} עבור הערכים השונים זה מזה. אם שתי מטריצות דומות זו לזו, אז יש להן אותו פולינום אופייני ופולינום מינימלי.

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

אם המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ניתנת ללכסון, אפשר להרכיב מטריצה מלכסנת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} על ידי איסוף בסיס של וקטורים עצמיים כעמודות במטריצה. במקרה כזה האלכסון הראשי של המטריצה האלכסונית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P^{-1}AP} הם הערכים העצמיים של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , כאשר כל ערך מופיע בה מספר פעמים ששווה לריבוי האלגברי שלו.

מוטיבציה ושימושים

המוטיבציה ללכסון מטריצות היא הנוחות הרבה שבעבודה עם מטריצות אלכסוניות: הערכים העצמיים והווקטורים העצמיים שלה ברורים מאוד ואין קושי במציאתם, וקל מאוד להעלות אותה בחזקה: די בהעלאת כל איבר ואיבר שלה באותה חזקה. דבר זה חשוב במיוחד לצורך העלאה בחזקה של מטריצות שאינן אלכסוניות, אך הן לכסינות. למשל, תהי $A$ המטריצה הלכסינה, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} המטריצה האלכסונית הדומה לה ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} המטריצה המלכסנת: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ D = P^{-1} A P} , או באופן שקול: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = P D P^{-1}} . נעלה את $A$ בחזקה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^n = (P D P^{-1})^n = (P D P^{-1})(P D P^{-1})...(P D P^{-1}) = P D (P^{-1} P) D (P^{-1} P) D ... (P^{-1} P) D P^{-1} = P D^n P^{-1}}

כלומר, לשם העלאת מטריצה לכסינה בחזקה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} אין צורך לבצע כפל מטריצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n-1} פעמים, אלא די בשתי פעולות כפל מטריצות, שכן העלאת מטריצה אלכסונית בחזקה היא כאמור טריוויאלית.

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

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

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

אלגוריתם ללכסון מטריצות

תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} מטריצה ריבועית לכסינה מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} .

1. נפתור את הפולינום האופייני הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle p(\lambda )=\det \left(\lambda I-A\right)=0} למציאת הערכים העצמיים של המטריצה.
2. המטריצה האלכסונית היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D = \mbox{diag} \left( \lambda_1 , \cdots , \lambda_n \right)} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda_1 , ... , \lambda_n} הם שורשי הפולינום האופייני.
3. נמצא את הריבוי הגאומטרי, כלומר: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dim \ker ( \lambda I - A)} עבור כל ערך עצמי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda} .
4. נמצא את המרחב העצמי של כל ערך עצמי, המרחב המכיל את הווקטורים העצמיים לכל ערך עצמי $\lambda$, כלומר: נמצא את הווקטורים השונים מאפס המאפסים את המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A - \ \lambda I)} . בדרך כלל נהוג לנרמל אותם כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{v} \cdot \vec{v} = \langle \vec{v} , \vec{v} \rangle = 1} .
5. נסמן ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} את המטריצה שעמודותיה הם ווקטורים עצמיים בלתי תלויים ליניארית (זוהי המטריצה המלכסנת). אזי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D = P^{-1} A P} .

אינטואיציה

ידוע כי אפשר לזהות כל מטריצה כאופרטור הפועל על מרחב וקטורי. מושגי הוקטורים העצמיים והערכים העצמיים עוזרים רבות עם חישוב אופן הפעולה של מטריצה על המרחב הווקטורי, דבר שלעיתים קרובות קשה לחשב. לכל מטריצה לכסינה מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \times n} קיימים $n$ וקטורים עצמיים שהם בסיס למרחב ה-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} ממדי שעליו המטריצה פועלת. אם נכתוב את המטריצה לפי בסיס זה, ונכתוב כל וקטור לפי בסיס זה, יהיה קל מאוד לחשב את התמונה של הווקטור הזה. יש כאלו שיאמרו כי במובן מסוים, קל יותר להבין את אופן הפעולה של המטריצות, מאחר שהיא לוקחת את המרחב ומותחת אותו בעוצמות שונות לכיוונים שונים.

הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = P D P^{-1}} מציגה לנו גם את מעבר הבסיס שנעשה לצורך החישוב. על אף שמעבר בסיס זה בפני עצמו דורש הבנה של אופן הפעולה של מטריצה מסוימת, מטריצות לכסינות שימושיות למשל להעלאת מטריצות בחזקה (במובן מסוים, לכל פעילות שבה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P^{-1}} מבטלים זה את זה).

לכסון אוניטרי

לכסון אוניטרי הוא לכסון של מטריצה בעזרת מטריצה אוניטרית.

כאשר מעל שדה הממשיים (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F = \mathbb{R}} ) הלכסון נקרא גם לכסון אורתוגונלי.

הגדרה

מטריצה היא לכסינה אוניטרית, אם קיים בסיס אורתונורמלי של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V=F^n} (כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} מעל שדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} ), שבו המטריצה מיוצגת כמטריצה אלכסונית, כך:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q^{-1} AQ=D=\operatorname{diag}(a_1,a_2,...,a_n)}

כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} היא המטריצה אותה אנחנו רוצים ללכסן, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q} היא המטריצה המלכסנת, שעמודותיה מורכבות מבסיס אורתונורמלי ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D} היא מטריצה אלכסונית.

מטריצה במרחב אוניטרי ניתנת לליכסון, רק אם היא נורמלית וכל מטריצה נורמלית ניתנת לליכסון אוניטרי.

מטריצה ניתנת לשילוש

מטריצה ריבועית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ניתנת לשילוש (או: שלישה) אם היא דומה למטריצה משולשית עליונה, כלומר, אם יש מטריצה הפיכה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D = P^{-1}AP} משולשית עליונה. מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ניתנת לשילוש (מעל שדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{F}} ) אם ורק אם הפולינום האופייני שלה מתפרק לגורמים ליניאריים מעל אותו שדה. בפרט, כל מטריצה מעל שדה המספרים המרוכבים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{C}} ניתנת לשילוש שם.

מטריצה ניתנת לשילוש אוניטרי (כלומר ניתנת לשילוש על ידי מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} היא מטריצה אוניטרית) אם ורק אם היא ניתנת לשילוש.

ראו גם

• מטריצה אלכסונית

• מטריצת ז'ורדן - הכללה של מטריצה אלכסונית

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

• מטריצה לכסינה, באתר MathWorld (באנגלית)   

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

28185331מטריצה לכסינה