הבדלים בין גרסאות בדף "קוד:ערך עצמי אפס"
(4 גרסאות ביניים של 2 משתמשים אינן מוצגות) | |||
שורה 1: | שורה 1: | ||
− | + | \begin{thm} | |
$\lambda=0$ ערך עצמי של $A$ אם ורק אם $A$ איננה הפיכה. | $\lambda=0$ ערך עצמי של $A$ אם ורק אם $A$ איננה הפיכה. | ||
− | + | \end{thm} | |
− | $\Leftarrow$ | + | \begin{proof} |
+ | |||
+ | \begin{description} | ||
+ | |||
+ | \item[$\boxed{\Leftarrow}$] | ||
נניח $\lambda =0$ הוא ע"ע של $A$. זאת אומרת שקיים וקטור $v\ne 0$ שעבורו $Av=0$. | נניח $\lambda =0$ הוא ע"ע של $A$. זאת אומרת שקיים וקטור $v\ne 0$ שעבורו $Av=0$. | ||
− | נסמן $v=\left ( \begin{matrix} | + | נסמן |
+ | $$v=\left ( \begin{matrix} | ||
v_1\\ | v_1\\ | ||
\vdots \\ | \vdots \\ | ||
v_n | v_n | ||
− | \end{matrix} \right ) | + | \end{matrix} \right ),\quad A=\left ( \begin{matrix} |
a_{11} & \cdots &a_{1n} \\ | a_{11} & \cdots &a_{1n} \\ | ||
− | \vdots & \ddots & \\ \ | + | \vdots & \ddots & \vdots \\ |
a_{n1} & \cdots & a_{nn} | a_{n1} & \cdots & a_{nn} | ||
− | \end{matrix} \right )$ | + | \end{matrix} \right )$$ |
+ | נוכל להגיד שלפיכך | ||
+ | $$\left \{ \begin{matrix} | ||
a_{11}v_1+\cdots+a_{1n}v_n=0\\ | a_{11}v_1+\cdots+a_{1n}v_n=0\\ | ||
\vdots\\ | \vdots\\ | ||
a_{n1}v_1+\cdots+a_{nn}v_n=0 | a_{n1}v_1+\cdots+a_{nn}v_n=0 | ||
\end{matrix} \right. | \end{matrix} \right. | ||
− | $ היא מערכת הומוגנית (בת $n$ משוואות מ-$n$ נעלמים). למערכת יש פתרון לא טריוויאלי, ולכן $A$ אינה הפיכה. | + | $$ |
+ | היא מערכת הומוגנית (בת $n$ משוואות מ-$n$ נעלמים). למערכת יש פתרון לא טריוויאלי, ולכן $A$ אינה הפיכה. | ||
+ | |||
+ | \item[$\boxed{\Rightarrow}$] | ||
+ | נניח ש-$A$ אינה הפיכה. נתבונן במערכת $Av=0$. יש לה פתרון לא טריוויאלי $v\ne 0$, ולכן מתקיים $Av=0=0\cdot v$, זאת אומרת ש-$\lambda =0$ הוא ע"ע של $A$. | ||
+ | |||
+ | \end{description} | ||
− | + | \end{proof} | |
− | + |
גרסה אחרונה מ־10:03, 26 באוקטובר 2014
\begin{thm}
$\lambda=0$ ערך עצמי של $A$ אם ורק אם $A$ איננה הפיכה.
\end{thm}
\begin{proof}
\begin{description}
\item[$\boxed{\Leftarrow}$] נניח $\lambda =0$ הוא ע"ע של $A$. זאת אומרת שקיים וקטור $v\ne 0$ שעבורו $Av=0$. נסמן $$v=\left ( \begin{matrix} v_1\\ \vdots \\ v_n \end{matrix} \right ),\quad A=\left ( \begin{matrix} a_{11} & \cdots &a_{1n} \\ \vdots & \ddots & \vdots \\ a_{n1} & \cdots & a_{nn} \end{matrix} \right )$$ נוכל להגיד שלפיכך $$\left \{ \begin{matrix} a_{11}v_1+\cdots+a_{1n}v_n=0\\ \vdots\\ a_{n1}v_1+\cdots+a_{nn}v_n=0 \end{matrix} \right. $$ היא מערכת הומוגנית (בת $n$ משוואות מ-$n$ נעלמים). למערכת יש פתרון לא טריוויאלי, ולכן $A$ אינה הפיכה.
\item[$\boxed{\Rightarrow}$] נניח ש-$A$ אינה הפיכה. נתבונן במערכת $Av=0$. יש לה פתרון לא טריוויאלי $v\ne 0$, ולכן מתקיים $Av=0=0\cdot v$, זאת אומרת ש-$\lambda =0$ הוא ע"ע של $A$.
\end{description}
\end{proof}