שינויים

קוד:אפיון ערכים עצמיים

הוסרו 9 בתים, 08:35, 2 בספטמבר 2014
\textitbegin{תזכורת:remark}
$A$ איננה הפיכה אם ורק אם $\det\left (A\right )=0$.
\textbfend{משפט:remark}
$\lambda \in\mathbb{F}$\textbf{ הוא ערך עצמי של מטריצה }$A\in M_{n}(\mathbb{F})$\textbf{ אם ורק אם }$\det\left (\lambda I-A\right )=0$\textbfbegin{.thm}
$\textitlambda \in\mathbb{F}$ הוא ערך עצמי של מטריצה $A\in M_{n}(\mathbb{F})$ אם ורק אם $\det\left (\lambda I-A\right )=0$. \end{thm} \begin{הוכחה:proof}
$\lambda \in\mathbb{F}$ הוא ע"ע של $A$ $\Leftrightarrow$ קיים $v\ne 0$ כך ש-$Av=\lambda v$ $\Leftrightarrow$ קיים $v\ne 0$ כך ש-$\lambda v-Av=0$ $\Leftrightarrow$ קיים $v\ne 0$ כך ש-$\left (\lambda I-A\right )v=0$ $\Leftrightarrow$ המטריצה $\lambda I-A$ אינה הפיכה $\Leftrightarrow$ $\det(\lambda I-A)=0$.
\end{proof} המשפט מאפשר לנו לחשב ערכים עצמיים מבלי לנסות לכפול וקטורים במטריצה בתקווה ש"ייצא טוב". לפי המשפט, כדי למצוא ערכים עצמיים של המטריצה נוכל לפתור את המשוואה $\det\left (\lambda I-A\right )=0$. זהו פולינום ממעלה $n$, ובהמשך נקרא לו "הפולינום האופייני " של $A$, והוא ישחק תפקיד חשוב בתיאוריה שלנו.
משתמש אלמוני