חזור לתיקייה: תרגול

23 - עוד ערך עצמי ווקטור עצמי

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • כללי
  • הסבר ללמה המשפט על הפולינום נכון

23 - עוד ערך עצמי ווקטור עצמי

01040166

אלגברה אמ

רשימות תרגול לקריאה בשבת

עוד ערך עצמי ווקטור עצמי

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

תרגיל

A=(1230051012300105)A=\begin{pmatrix} 1 & 2 & 3 & 0 \\ 0 & 5 & 1 & 0 \\ 1 & 2 & 3 & 0 \\ 0 & 1 & 0 & 5 \end{pmatrix}A=​1010​2521​3130​0005​​

א. מצאו ע"ע וו"ע של AAA.
ב. מצאו PPP הפיכה ו-DDD אלכסונית כך ש-P−1AP=DP^{-1}AP=DP−1AP=D.
ג. מצאו בסיס BBB כך ש-[T]B[T]_{B}[T]B​ אלכסונית כאשר [T]E=A[T]_{E}=A[T]E​=A.

פתרון א':
לפי משפט, אם סכום השורות קבוע kkk אז kkk הוא ע"ע עם ו"ע מתאים (1,1,1,1)(1,1,1,1)(1,1,1,1) כאשר יכולים להיות עוד ו"ע.

מ"ער"גר"אע"ע(1111)??6\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & ? & ? & 6 \end{array}מ"ע(1​1​1​1​)​ר"ג?​ר"א?​ע"ע6​​

מכיוון ששורה 1 = שורה 3, (הן בעצם ת"ל) אז המטריצה אינה הפיכה ולכן 0 הוא ע"ע.

מ"ער"גר"אע"ע(1111)??6???0\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & ? & ? & 6 \\ \hline ? & ? & ? & 0 \end{array}מ"ע(1​1​1​1​)?​ר"ג??​ר"א??​ע"ע60​​

עמ' 4 תהיה אפסים ?????

מ"ער"גר"אע"ע(1111)??6???0???5\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & ? & ? & 6 \\ \hline ? & ? & ? & 0 \\ \hline ? & ? & ? & 5 \end{array}מ"ע(1​1​1​1​)??​ר"ג???​ר"א???​ע"ע605​​

לפי משפט, סכום הע"ע הוא העקבה.

מ"ער"גר"אע"ע(1111)??6???0???5???3\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & ? & ? & 6 \\ \hline ? & ? & ? & 0 \\ \hline ? & ? & ? & 5 \\ \hline ? & ? & ? & 3 \end{array}מ"ע(1​1​1​1​)???​ר"ג????​ר"א????​ע"ע6053​​

גילינו 4 ע"ע. מכיוון ש-n=4n=4n=4 אז יש מקסימום 444 ע"ע. לכן, כל אחד מהם יהא עם ר"א 1.

מ"ער"גר"אע"ע(1111)?16??10??15??13\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & ? & 1 & 6 \\ \hline ? & ? & 1 & 0 \\ \hline ? & ? & 1 & 5 \\ \hline ? & ? & 1 & 3 \end{array}מ"ע(1​1​1​1​)???​ר"ג????​ר"א1111​ע"ע6053​​

על פי משפט, 1≤ר"ג≤ר"א1\leq \R{\text{ר"ג}}\leq\R{\text{ר"א}}1≤ר"ג≤ר"א ולכן:

מ"ער"גר"אע"ע(1111)116b2110b3115b4113\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & 1 & 1 & 6 \\ \hline b_{2} & 1 & 1 & 0 \\ \hline b_{3} & 1 & 1 & 5 \\ \hline b_{4} & 1 & 1 & 3 \end{array}מ"ע(1​1​1​1​)b2​b3​b4​​ר"ג1111​ר"א1111​ע"ע6053​​

פתרון ב':

D=(6053)D=\begin{pmatrix} 6 \\ & 0 \\ & & 5 \\ & & & 3 \end{pmatrix}D=​6​0​5​3​​ P=(11∣∣∣1b2b3b41∣∣∣)P=\begin{pmatrix} 1 \\ 1 & \vert & \vert & \vert \\ 1 & b_{2} & b_{3} & b_{4} \\ 1 & \vert & \vert & \vert \end{pmatrix}P=​1111​∣b2​∣​∣b3​∣​∣b4​∣​​

פתרון ג':

B={(1,1,1,1),b2,b3,b4}B=\left\{ \begin{pmatrix} 1,1,1,1 \end{pmatrix},b_{2},b_{3},b_{4} \right\}B={(1,1,1,1​),b2​,b3​,b4​} T(b1)=6b1T(b_{1})=6b_{1}T(b1​)=6b1​ T(b2)=0b2T(b_{2})=0b_{2}T(b2​)=0b2​ T(b3)=5b3T(b_{3})=5b_{3}T(b3​)=5b3​ T(b4)=b4T(b_{4})=b_{4}T(b4​)=b4​ [T]B=(6000000000500003)=D[T]_{B}=\begin{pmatrix} 6 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 5 & 0 \\ 0 & 0 & 0 & 3 \end{pmatrix}=D[T]B​=​6000​0000​0050​0003​​=D
הערה

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

הערה (זה לא משפט אבל זה פרקטי)

ריבוי גיאומטרי הוא ע"פ הגדרה, מספר ו"ע בת"ל. אנחנו יודעים כי זה מימד מרחב הפתרונות של (A−αI)x‾=0(A-\alpha I)\underline{x}=0(A−αI)x​=0 כ
אבל בתכלס, זהו מספר שורות האפסים ב-A−αIA-\alpha IA−αI המדורגת.

תרגיל

[T]B=A=(2222222222222222)[T]_{B}=A=\begin{pmatrix} 2 & 2 & 2 & 2 \\ 2 & 2 & 2 & 2 \\ 2 & 2 & 2 & 2 \\ 2 & 2 & 2 & 2 \end{pmatrix}[T]B​=A=​2222​2222​2222​2222​​ B={(1111),(1110),(1100),(1000)}B=\left\{ \begin{pmatrix} 1 & 1\\1 & 1 \end{pmatrix},\begin{pmatrix} 1 & 1\\1 & 0 \end{pmatrix},\begin{pmatrix} 1 & 1\\ 0 & 0 \end{pmatrix},\begin{pmatrix} 1 & 0\\0 & 0 \end{pmatrix} \right\}B={(11​11​),(11​10​),(10​10​),(10​00​)}

א. מצאו ע"ע וו"ע.
ב. מצאו PPP הפיכה ו-DDD אלכסונית כך ש-P−1AP=DP^{-1}AP=DP−1AP=D.
ג. תהי F=A3−4A+5IF=A^3-4A+5IF=A3−4A+5I. מצאו ע"ע וו"ע של FFF.

פתרון א':

(2222222222222222)→(1111000000000000)\begin{pmatrix} 2 & 2 & 2 & 2 \\ 2 & 2 & 2 & 2 \\ 2 & 2 & 2 & 2 \\ 2 & 2 & 2 & 2 \end{pmatrix}\to \begin{pmatrix} 1 & 1 & 1 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}​2222​2222​2222​2222​​→​1000​1000​1000​1000​​

המטריצה אינה הפיכה(לפי משפט) ולכן, לפי משפט 0 הוא ע"ע

מ"ער"גר"אע"ע???0\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline ? & ? & ? & 0 \end{array}מ"ע?​ר"ג?​ר"א?​ע"ע0​​

מכיוון שיש לנו 3 שורות אפסים, אזי הר"ג שווה 3(ראו הערה קודמת.)

מ"ער"גר"אע"ע?3?0\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline ? & 3 & ? & 0 \end{array}מ"ע?​ר"ג3​ר"א?​ע"ע0​​

סכום השורות קבוע במטריצה והוא שווה ל-888 ולכן הוא גם ע"ע.

מ"ער"גר"אע"ע?3?0(1111)??8\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline ? & 3 & ? & 0 \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & ? & ? & 8 \end{array}מ"ע?(1​1​1​1​)​ר"ג3?​ר"א??​ע"ע08​​

מכיוון שסכום הר"א הוא 4, ונדרש ש-ר"א ≤\leq≤ ר"ג, נקבל שהר"א של 0 הוא או 3 או 4. מכיוון שאנחנו נדרש להשאיר לפחות ר"א 1 ל-8, הר"א של 0 הוא 3 ולכן, של 8 הוא 1. לכן, ע"פ המשפט, הר"ג של 8 הוא 1.

מ"ער"גר"אע"ע?330(1111)118\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline ? & 3 & 3 & 0 \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & 1 & 1 & 8 \end{array}מ"ע?(1​1​1​1​)​ר"ג31​ר"א31​ע"ע08​​

נפתור את מערכת המשוואות:

(22220222202222022220)→(11110000000000000000)\left(\begin{array}{cccc|c} 2 & 2 & 2 & 2 & 0 \\ 2 & 2 & 2 & 2 & 0 \\ 2 & 2 & 2 & 2 & 0 \\ 2 & 2 & 2 & 2 & 0 \end{array}\right)\to \left(\begin{array}{cccc|c} 1 & 1 & 1 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{array}\right)​2222​2222​2222​2222​0000​​→​1000​1000​1000​1000​0000​​

ולכן נקבל:

מ"ער"גר"אע"ע(−1100)(−1010)(−1001)330(1111)118\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{matrix} \begin{pmatrix} -1 & 1 & 0 & 0 \end{pmatrix} \\ \begin{pmatrix} -1 & 0 & 1 & 0 \end{pmatrix} \\ \begin{pmatrix} -1 & 0 & 0 & 1 \end{pmatrix} \end{matrix} & 3 & 3 & 0 \\ \hline \begin{pmatrix} 1 & 1 & 1 & 1 \end{pmatrix} & 1 & 1 & 8 \end{array}מ"ע(−1​1​0​0​)(−1​0​1​0​)(−1​0​0​1​)​(1​1​1​1​)​ר"ג31​ר"א31​ע"ע08​​

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

מ"ער"גר"אע"ע(000−1)(00−1−1)(0−1−1−1)330(4321)118\begin{array}{c|c} \R{\text{מ"ע}} & \R{\text{ר"ג}} & \R{\text{ר"א}} & \R{\text{ע"ע}} \\ \hline \begin{matrix} \begin{pmatrix} 0 & 0 \\ 0 & -1 \end{pmatrix} & \begin{pmatrix} 0 & 0 \\ -1 & -1 \end{pmatrix} \\ & \begin{pmatrix} 0 & -1 \\ -1 & -1 \end{pmatrix} \end{matrix} & 3 & 3 & 0 \\ \hline \begin{pmatrix} 4 & 3 \\ 2 & 1 \end{pmatrix} & 1 & 1 & 8 \end{array}מ"ע(00​0−1​)​(0−1​0−1​)(0−1​−1−1​)​(42​31​)​ר"ג31​ר"א31​ע"ע08​​

קיבלנו כעת את הבסיס האמיתי למ"ו וכאן נקבל את מלוא הנקודות.

הערה (לגבי מעבר בין בסיסים)

נשתמש במשפט [T]B[v]B=[T(v)]B[T]_{B}[v]_{B}=[T(v)]_{B}[T]B​[v]B​=[T(v)]B​ נציב את v=(abcd)v=\begin{pmatrix}a&b\\c&d\end{pmatrix}v=(ac​bd​)(או כל מטריצה כללית אחרת), נמצא את הפתרון ואז נמצא את הקורדינטות שלו בבסיס שאנו רוצים להגיע אליו.

פתרון ב':
את DDD קל למצוא שכן היא פשוט הע"ע באלכסון:

D=(8000)D=\begin{pmatrix} 8 \\ & 0 \\ & & 0 \\ & & & 0 \end{pmatrix}D=​8​0​0​0​​

כעת, כדי למצוא את PPP נדרש להבין משהו. מכיוון ש-A=[T]BA=[T]_{B}A=[T]B​ אז כל התשובות שנדרש לתת פה הן לפי בסיס BBB שכן רק אז הכפל יעבוד.

P=(1−1−1−1110010101001)P=\begin{pmatrix} 1 & -1 & -1 & -1 \\ 1 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 1 & 0 & 0 & 1 \end{pmatrix}P=​1111​−1100​−1010​−1001​​
הערה

תמיד נכון כי DDD היא המטריצה המייצגת לפי בסיס של וקטורים עצמיים CCC.

P−1[T]BP=D=[T]CP^{-1}[T]_{B}P=D=[T]_{C}P−1[T]B​P=D=[T]C​

לכן, PPP היא בעצם PB→CP_{B\to C}PB→C​ וזו בדיוק הסיבה למה כותבים (1111)\begin{pmatrix}1&1&1&1\end{pmatrix}(1​1​1​1​) ולא (4321)\begin{pmatrix}4&3&2&1\end{pmatrix}(4​3​2​1​).

פתרון ג':
נקח פולינום: p(x)=x3−4x+5p(x)=x^3-4x+5p(x)=x3−4x+5. נקבל אם כן כי F=p(A)=A3−4A+5IF=p(A)=A^3-4A+5IF=p(A)=A3−4A+5I.
על פי משפט, C=f(A)C=f(A)C=f(A) אזי λC=f(λA)\lambda_{C}=f(\lambda_{A})λC​=f(λA​) לאותם ו"ע ולכן:

p(0)=03−4⋅0+5=5p(0)=0^3-4\cdot 0+5=5p(0)=03−4⋅0+5=5

לכן, 5 יהיה ע"ע של FFF מריבוי אלגברי 3 וריבוי גיאומטרי 3 עם ו"ע (000−1) (00−1−1)(0−1−1−1)\begin{matrix}\begin{pmatrix}0 & 0 \\0 & -1\end{pmatrix} \ \begin{pmatrix}0 & 0 \\-1 & -1\end{pmatrix} \begin{pmatrix}0 & -1 \\-1 & -1\end{pmatrix}\end{matrix}(00​0−1​) (0−1​0−1​)(0−1​−1−1​)​.

p(8)=83−4⋅8+5=485p(8)=8^3-4\cdot 8+5=485p(8)=83−4⋅8+5=485

לכן, 485485485 יהיה ע"ע של FFF מריבוי אלגברי 1 וריבוי גיאומטרי 1 עם ו"ע (4321)\begin{pmatrix}4 & 3 \\2 & 1\end{pmatrix}(42​31​).

הסבר ללמה המשפט על הפולינום נכון

נניח vvv ו"ע של הע"ע λ\lambdaλ כך Av=λvAv=\lambda vAv=λv.

Fv=(A3−4A+5I)v=A3v−4Av+5IvFv=(A^3-4A+5I)v=A^3v-4Av+5IvFv=(A3−4A+5I)v=A3v−4Av+5Iv

על פי משפט, A3v=λ3vA^3v=\lambda^3vA3v=λ3v ולכן:

=λ3v−4λv+5v=(λ3−4λ+5)v=\lambda^3v-4\lambda v+5v=(\lambda^3-4\lambda+5)v=λ3v−4λv+5v=(λ3−4λ+5)v

ואז קיבנו כי p(λ)=λ3−4λ+5p(\lambda)=\lambda^3-4\lambda+5p(λ)=λ3−4λ+5 הוא ע"ע של FFF.

משפט

A−1v=1λv  ⟸  Av=λvA^{-1}v=\frac{1}{\lambda}v \impliedby Av=\lambda vA−1v=λ1​v⟸Av=λv
משפט

AAA בעלת ע"ע יחיד לכסינה A=αI  ⟺  A=\alpha I \iffA=αI⟺

זה משפט קל, פשוט ומאוד שימושי לדוגמות נגדיות.
הוכחה:
⇒: המטריצה αI\alpha IαI היא אלכסונית ולכן היא דומה לעצמה ולכן לכסינה.
⇐:

∃P:  P−1AP=D=(α⋱α)\exists P:\; P^{-1}AP=D=\begin{pmatrix} \alpha \\ & \ddots \\ & & \alpha \end{pmatrix}∃P:P−1AP=D=​α​⋱​α​​ A=P(αI)P−1=αIA=P(\alpha I)P^{-1}=\alpha IA=P(αI)P−1=αI

∎

תרגיל

מצאו מטריצות המקיימות את הדרישות הבאות:

לכסינההפיכהןכןכA1אלןכA2אלאלA3ןכאלA4\begin{array}{|c|c|} \hline \R{\text{לכסינה}} & \R{\text{הפיכה}} \\ \hline ןכ & ןכ & A_{1} \\ \hline אל & ןכ & A_{2} \\ \hline אל & אל & A_{3} \\ \hline ןכ & אל & A_{4} \\ \hline \end{array}לכסינהןכאלאלןכ​הפיכהןכןכאלאל​A1​A2​A3​A4​​​

נתחיל מ-A1A_{1}A1​:
ברגע שיש למטריצה nnn ע"ע שונים, אז היא בהרכח לכסינה. בנוסף, השורות צריכות להיות בת"ל על מנת שהיא תהיה הפיכה. לדוגמה, המטריצות הבאות:

(1∗05)(2002)\begin{pmatrix} 1 & * \\ 0 & 5 \end{pmatrix} \qquad \begin{pmatrix} 2 & 0 \\ 0 & 2 \end{pmatrix}(10​∗5​)(20​02​)

כעת, A2A_{2}A2​:
נדרש שהיא תהיה הפיכה, ולכן לא יכול להיות לה ע"ע 0, אך שהיא תהיה לא לכסינה. כלומר, שיהיה לה מספר ע"ע קטן מ-nnn לדוגמה:

(2102)(210020005)\begin{pmatrix} 2 & 1 \\ 0 & 2 \end{pmatrix} \qquad \begin{pmatrix} 2 & 1 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 5 \end{pmatrix}(20​12​)​200​120​005​​

במטריצה הימנית נוכל לחלק את האלכסון לשני בלוקים: 2102\begin{matrix}2&1\\0&2\end{matrix}20​12​ ו-555. כעת, נראה כי הבלוק השני לכסין והכל סבבה ואיזה יופי, אבל הבלוק הראשון בעייתי ואינו לכסין בגלל ה-1 הזה.

הערה

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

כעת, A3A_{3}A3​:
המטריצה (0000)\begin{pmatrix}0&0\\0&0\end{pmatrix}(00​00​) היא מטריצה לכסינה ולכן נדרש לבחור מטריצה אחרת כגון:

(0100)\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}(00​10​)

כעת, A4A_{4}A4​:
נשתמש באותו הטריק ממקודם עם הבלוקים:

(010000005)\begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 5 \end{pmatrix}​000​100​005​​
משפט

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

תרגיל (נכון/לא נכון)

A,BA,BA,B לכסינות   ⟸  \impliedby⟸ A+BA+BA+B לכסינה

הטענה אינה נכונה.

(1102)+(1000)=(2102)\begin{pmatrix} 1 & 1 \\ 0 & 2 \end{pmatrix}+\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}=\begin{pmatrix} 2 & 1 \\ 0 & 2 \end{pmatrix}(10​12​)+(10​00​)=(20​12​)

המטריצה (2102)\begin{pmatrix}2&1\\0&2\end{pmatrix}(20​12​) אינה לכסינה.

תרגיל (נכון/לא נכון)

A,BA,BA,B לכסינות   ⟸  \impliedby⟸ A⋅BA\cdot BA⋅B לכסינה

הטענה לא נכונה.
(מצאו דוגמה נגדית בבית)

תרגיל

A=(41−102241−1)A=\begin{pmatrix} 4 & 1 & -1 \\ 0 & 2 & 2 \\ 4 & 1 & -1 \end{pmatrix}A=​404​121​−12−1​​

מצאו BBB כך ש-B2=AB^2=AB2=A.

הע"ע של המטריצה הזו הם: 0,4,10,4,10,4,1.

∃P:  P−1AP=(140)\exists P:\; P^{-1}AP=\begin{pmatrix} 1 \\ & 4 \\ & & 0 \end{pmatrix}∃P:P−1AP=​1​4​0​​

נגדיר B=P(120)P−1B=P\begin{pmatrix}1\\&2\\&&0\end{pmatrix}P^{-1}B=P​1​2​0​​P−1. בעצם הוצאנו שורש רק מהמטריצה האלכסונית.
מתקיים B2=P(120)P−1⋅P(120)P−1B^2=P\begin{pmatrix}1\\&2\\&&0\end{pmatrix}P^{-1}\cdot P\begin{pmatrix}1\\&2\\&&0\end{pmatrix}P^{-1}B2=P​1​2​0​​P−1⋅P​1​2​0​​P−1 האמצעיים הופכים ל-III ולכן B2=P(140)P−1=AB^2=P\begin{pmatrix}1\\&4\\&&0\end{pmatrix}P^{-1}=AB2=P​1​4​0​​P−1=A.

משפט

כל פולינום ש-AAA מאפסת אותו מקיים:

{Aע"ע של }⊆{קבוצת השורשים}\left\{ A\R{\text{ע"ע של }} \right\} \subseteq \left\{ \R{\text{קבוצת השורשים}} \right\}{Aע"ע של }⊆{קבוצת השורשים}

הוכחה של החברה: (רק ל-A3−AA^3-AA3−A)
נניח Av=λvAv=\lambda vAv=λv.

0=(A3−A)v=A3v−Av=λ3v−λv=(λ3−λ)v0=(A^3-A)v=A^3v-Av=\lambda^3v-\lambda v=(\lambda^3-\lambda)v0=(A3−A)v=A3v−Av=λ3v−λv=(λ3−λ)v λ3−λ=0\lambda^3-\lambda=0λ3−λ=0

∎

תרגיל (נכון/לא נכון)

נתון A3=AA^3=AA3=A ו-AAA היא לכסינה.
אזי, r(A)=tr(A)r(A)=tr(A)r(A)=tr(A).

הטענה אינה נכונה.
הוכחה:

f(x)=x3−xf(x)=x^3-xf(x)=x3−x

מתקיים: f(A)=A3−A=0f(A)=A^3-A=0f(A)=A3−A=0 לפי הנתון.
לפי המשפט, שורשי {ע"ע של A}⊆{0,1,−1}=  f(x)\left\{ \R{\text{ע"ע של A}} \right\}\subseteq \left\{ 0,1,-1 \right\}=\; f(x){ע"ע של A}⊆{0,1,−1}=f(x). בנוסף, נתון כי AAA לכסינה ולכן קיימת PPP כך ש:

P−1AP=(11⋱1−1⋱−10⋱0)=DP^{-1}AP=\begin{pmatrix} 1 \\ & 1 \\ & & \ddots \\ & & & 1 \\ & & & & -1 \\ & & & & & \ddots \\ & & & & & & -1 \\ & & & & & & & 0 \\ & & & & & & & & \ddots \\ & & & & & & & & & 0 \end{pmatrix}=DP−1AP=​1​1​⋱​1​−1​⋱​−1​0​⋱​0​​=D

כאשר מספר ה-111-ים הוא kkk, מספר ה-−1-1−1-ים הוא ℓ\ellℓ ומספר האפסים הוא n−k−ℓn-k-\elln−k−ℓ.
המטריצות A,DA,DA,D דומות ולכן יש להן אותה עקבה, אותה דרגה וכו'.

r(D)=k+ℓr(D)=k+\ellr(D)=k+ℓ

זהו מספר השורות השונות מ-000.

tr(D)=k−ℓtr(D)=k-\elltr(D)=k−ℓ

ולכן, r(A)≠tr(A)r(A)\neq tr(A)r(A)=tr(A).
∎

תרגיל (נכון/לא נכון)

נתון A3=AA^3=AA3=A ו-AAA היא לכסינה.
אזי, r(A)=tr(A2)r(A)=tr(A^2)r(A)=tr(A2).

הטענה נכונה.
הוכחה:
כעת, נלך עם ההמשך של הסעיף הקודם:

A=PDP−1  ⟹  A2=PD2P−1A=PDP^{-1}\implies A^2=PD^2P^{-1}A=PDP−1⟹A2=PD2P−1

לכן, A2,D2A^2,D^2A2,D2 דומות ולכן:

r(D2)=k+ℓr(D^2)=k+\ellr(D2)=k+ℓ tr(D2)=k+ℓtr(D^2)=k+\elltr(D2)=k+ℓ

ולכן, מכיוון ש-r(A)=r(D)=k+ℓr(A)=r(D)=k+\ellr(A)=r(D)=k+ℓ מתקיים:

r(A)=tr(A2)r(A)=tr(A^2)r(A)=tr(A2)

∎