קוד:דוגמאות לפולינומים מאפסים

מתוך Math-Wiki
גרסה מ־19:12, 18 באוגוסט 2014 מאת גיא בלשר (שיחה) (יצירת דף עם התוכן "נראה שתי דוגמאות לפולינומים מאפסים. \begin{enumerate} \item עבור $A=I_k$, נסתכל על $f=x-1$. באופן ברור $f\neq...")

(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)
קפיצה אל: ניווט, חיפוש

נראה שתי דוגמאות לפולינומים מאפסים.

\begin{enumerate}

\item עבור $A=I_k$, נסתכל על $f=x-1$. באופן ברור $f\neq 0$, וכן $f\left(A \right )=A-1\cdot I_k=I_k-I_k=0$. כלומר, $f$ פולינום מאפס ל-$A$.

\item עבור $A=\left ( \begin{matrix} \lambda_1 &0 \\ 0 &\lambda_2 \end{matrix} \right )$, נסתכל על הפולינום האופייני $f=p_A\left(x \right )=\det\left(xI-A\right)=\left(x-\lambda_1\right)\left(x-\lambda_2 \right )$. נציב את $A$:

$f\left(A\right)=A^2-\left(\lambda_1+\lambda_2 \right )A+\lambda_1\lambda_2I=\left ( \begin{matrix} \lambda_1^2 &0 \\ 0 &\lambda_2^2 \end{matrix} \right )- \left(\begin{matrix} \lambda_1^2+\lambda_1\lambda_2 &0 \\ 0 &\lambda_2^2+\lambda_1\lambda_2 \end{matrix} \right )- \left(\begin{matrix} \lambda_1\lambda_2 &0 \\ 0 &\lambda_1\lambda_2 \end{matrix} \right )=\left(\begin{matrix} 0 &0 \\ 0 &0 \end{matrix} \right )=0$

\end{enumerate}

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