הבדלים בין גרסאות בדף "קוד:פולינום אופייני של אופרטור מצומצם למרחב עצמי מוכלל"
(יצירת דף עם התוכן "\textbf{למה:} יהי $T_0=T|_{K_\lambda}$, $m=\dim K_\lambda$. אזי $p_{T_0}\left(x\right)=\left(x-\lambda\right)^n$. במילים אחרות, אם מצמ...") |
מ (2 גרסאות יובאו) |
||
| (גרסת ביניים אחת של משתמש אחר אחד אינה מוצגת) | |||
| שורה 1: | שורה 1: | ||
| − | \ | + | \begin{lem} |
יהי $T_0=T|_{K_\lambda}$, $m=\dim K_\lambda$. אזי $p_{T_0}\left(x\right)=\left(x-\lambda\right)^n$. במילים אחרות, אם מצמצמים אופרטור למרחב עצמי מוכלל שלו, יש לו ערך עצמי יחיד, והוא $\lambda$. | יהי $T_0=T|_{K_\lambda}$, $m=\dim K_\lambda$. אזי $p_{T_0}\left(x\right)=\left(x-\lambda\right)^n$. במילים אחרות, אם מצמצמים אופרטור למרחב עצמי מוכלל שלו, יש לו ערך עצמי יחיד, והוא $\lambda$. | ||
| − | \ | + | \end{lem} |
| − | + | \begin{proof} | |
| − | $y^m=p_{T_0-\lambda I}\left(y\right)=\det\left(yI-\left(T_0-\lambda I \right ) \right )=\det\left(\left(y+\lambda \right )I-T_0 \right )$ | + | נתבונן באופרטור $T_0-\lambda I:K_\lambda\rightarrow K_\lambda$. האופרטור $T_0-\lambda I$ הוא אופרטור נילפוטנטי, כי $\left(T-\lambda I\right)^n=0$ (זכרו שאנחנו במרחב העצמי המוכלל). לכן, הפולינום האופייני של $T_0-\lambda I$ הוא $p_{T_0-\lambda I}\left(y\right)=y^m$ (לפי הלמה הקודמת). לפי ההגדרה, |
| + | $$y^m=p_{T_0-\lambda I}\left(y\right)=\det\left(yI-\left(T_0-\lambda I \right ) \right )=\det\left(\left(y+\lambda \right )I-T_0 \right )$$ | ||
| + | נחליף את המשתנה: $x:=y+\lambda$ (כלומר $y=x-\lambda$). נקבל | ||
| + | $$\left(x-\lambda \right )^m=\det\left(xI-T_0 \right )=p_{T_0}\left(x \right )$$ | ||
| + | כדרוש. | ||
| − | + | \end{proof} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
גרסה אחרונה מ־20:16, 4 באוקטובר 2014
\begin{lem}
יהי $T_0=T|_{K_\lambda}$, $m=\dim K_\lambda$. אזי $p_{T_0}\left(x\right)=\left(x-\lambda\right)^n$. במילים אחרות, אם מצמצמים אופרטור למרחב עצמי מוכלל שלו, יש לו ערך עצמי יחיד, והוא $\lambda$.
\end{lem}
\begin{proof}
נתבונן באופרטור $T_0-\lambda I:K_\lambda\rightarrow K_\lambda$. האופרטור $T_0-\lambda I$ הוא אופרטור נילפוטנטי, כי $\left(T-\lambda I\right)^n=0$ (זכרו שאנחנו במרחב העצמי המוכלל). לכן, הפולינום האופייני של $T_0-\lambda I$ הוא $p_{T_0-\lambda I}\left(y\right)=y^m$ (לפי הלמה הקודמת). לפי ההגדרה, $$y^m=p_{T_0-\lambda I}\left(y\right)=\det\left(yI-\left(T_0-\lambda I \right ) \right )=\det\left(\left(y+\lambda \right )I-T_0 \right )$$ נחליף את המשתנה: $x:=y+\lambda$ (כלומר $y=x-\lambda$). נקבל $$\left(x-\lambda \right )^m=\det\left(xI-T_0 \right )=p_{T_0}\left(x \right )$$ כדרוש.
\end{proof}
