הבדלים בין גרסאות בדף "קוד:פירוק למרחבים עצמיים מוכללים"
(יצירת דף עם התוכן "כזכור, בתחילת הנושא אמרנו שאנו רוצים לפרק את המרחב שלנו לסכום ישר של תתי-מרחבים אינווריא...") |
מ (4 גרסאות יובאו) |
||
| (3 גרסאות ביניים של משתמש אחר אחד אינן מוצגות) | |||
| שורה 1: | שורה 1: | ||
כזכור, בתחילת הנושא אמרנו שאנו רוצים לפרק את המרחב שלנו לסכום ישר של תתי-מרחבים אינווריאנטיים, וכך המטריצה המייצגת תהיה אלכסונית בלוקים. המשפט שנוכיח כעת יציג את הפירוק, ובפרק הבא, שבו נגיע לצורה הסופית, נמצא בחירה מתאימה של בסיסים, שבה הבלוקים יהיו מצורה מסוימת. | כזכור, בתחילת הנושא אמרנו שאנו רוצים לפרק את המרחב שלנו לסכום ישר של תתי-מרחבים אינווריאנטיים, וכך המטריצה המייצגת תהיה אלכסונית בלוקים. המשפט שנוכיח כעת יציג את הפירוק, ובפרק הבא, שבו נגיע לצורה הסופית, נמצא בחירה מתאימה של בסיסים, שבה הבלוקים יהיו מצורה מסוימת. | ||
| − | \ | + | \begin{thm}[פירוק למרחבים עצמיים מוכללים] |
נניח שהפולינום האופייני $p_T\left(x \right )$ של אופרטור לינארי $T:V\rightarrow V$ מתפרק למכפלה של גורמים לינאריים מעל שדה $\mathbb{F}$. יהיו $\lambda_1,\dots,\lambda_s\in\mathbb{F}$ הערכים העצמיים השונים של $T$. אזי | נניח שהפולינום האופייני $p_T\left(x \right )$ של אופרטור לינארי $T:V\rightarrow V$ מתפרק למכפלה של גורמים לינאריים מעל שדה $\mathbb{F}$. יהיו $\lambda_1,\dots,\lambda_s\in\mathbb{F}$ הערכים העצמיים השונים של $T$. אזי | ||
| + | $$V=K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}$$ | ||
| + | סכום ישר של תתי-מרחבים אינווריאנטיים. | ||
| − | + | \end{thm} | |
| − | + | \begin{proof} | |
| − | + | רוב העבודה תהיה להוכיח שהסכום באגף ימין אכן ישר. נוכיח זאת באמצעות אינדוקציה על מספר המחוברים. עבור $s=1$ אין מה להוכיח. | |
| − | + | \begin{description} | |
| − | עבור s= | + | \item[בסיס האינדוקציה] עבור $s=2$ - הוכחנו. |
| − | + | \item[צעד האינדוקציה] נניח שידוע שהסכום | |
| − | + | $$K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$$ | |
| − | צעד האינדוקציה | + | |
| − | $K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$ | + | |
הוא ישר, ונוכיח שהסכום של | הוא ישר, ונוכיח שהסכום של | ||
| − | $K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_{i+1}}$ | + | $$K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_{i+1}}$$ |
ישר גם כן. | ישר גם כן. | ||
צריך להוכיח כי | צריך להוכיח כי | ||
| − | + | $$\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i} \right )\cap K_{\lambda_{i+1}}=\left \{ 0 \right \}$$ | |
| − | $\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i} \right )\cap K_{\lambda_{i+1}}=\left \{ 0 \right \}$ | + | |
יהי $v\in K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$, $v\in K_{\lambda_{i+1}}$. אם כן, $v=v_1+\cdots+v_i$, כאשר לכל $j=1,\dots,i$, מתקיים $v_j\in K_{\lambda_j}$. | יהי $v\in K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$, $v\in K_{\lambda_{i+1}}$. אם כן, $v=v_1+\cdots+v_i$, כאשר לכל $j=1,\dots,i$, מתקיים $v_j\in K_{\lambda_j}$. | ||
נפעיל את האופרטור $\left(T-\lambda_{i+1}I\right)^n$ על $v$. נקבל: | נפעיל את האופרטור $\left(T-\lambda_{i+1}I\right)^n$ על $v$. נקבל: | ||
| − | + | $$0=\left(T-\lambda_{i+1}I\right)^n\left(v \right )= | |
| − | $0=\left(T-\lambda_{i+1}I\right)^n\left(v \right )= | + | \left(T-\lambda_{i+1}I\right)^n\left(v_1+\cdots+v_i \right )=$$ |
| − | \left(T-\lambda_{i+1}I\right)^n\left(v_1+\cdots+v_i \right )= | + | $$=\underbrace{\left(T-\lambda_{i+1}I\right)^n\left(v_1 \right )}_{\in K_{\lambda_1}} |
| − | \underbrace{\left(T-\lambda_{i+1}I\right)^n\left(v_1 \right )}_{\in K_{\lambda_1}} | + | |
+\cdots+ | +\cdots+ | ||
| − | \underbrace{\left(T-\lambda_{i+1}I\right)^n\left(v_i \right )}_{\in K_{\lambda_i}}$ | + | \underbrace{\left(T-\lambda_{i+1}I\right)^n\left(v_i \right )}_{\in K_{\lambda_i}}$$ |
| − | + | ||
לפי הנחת האינדוקציה, הסכום | לפי הנחת האינדוקציה, הסכום | ||
| − | $K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$ | + | $$K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$$ |
הוא ישר, ולכן ההצגה של $0$ כסכום איברי $K_{\lambda_1},\dots,K_{\lambda_s}$ היא יחידה, ולכן | הוא ישר, ולכן ההצגה של $0$ כסכום איברי $K_{\lambda_1},\dots,K_{\lambda_s}$ היא יחידה, ולכן | ||
לכל $j=1,\dots,i$, מתקיים | לכל $j=1,\dots,i$, מתקיים | ||
| − | $\left(T-\lambda_{i+1}I\right)^n\left(v_j \right )=0$ | + | $$\left(T-\lambda_{i+1}I\right)^n\left(v_j \right )=0$$ |
| − | + | מכאן שלכל $j=1,\dots,i$ מתקיים $v_j\in K_{\lambda_{i+1}}$, אבל גם $v_j\in K_{\lambda_j}$. | |
| − | מכאן שלכל $j=1,\dots,i$ מתקיים $v_j\in K_{\lambda_{i+1}}$, אבל גם $v_j\in K_\lambda_j$. | + | |
$\lambda_j\neq\lambda_{i+1}$, ולכן $v_j=0$. בסך הכל, $v=0$. | $\lambda_j\neq\lambda_{i+1}$, ולכן $v_j=0$. בסך הכל, $v=0$. | ||
| − | + | \end{description} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| + | לכן הסכום ישר. כעת צריך להוכיח שהסכום (הישר) הוא אכן כל $V$. ניעזר בלמה הקודמת, ונקבל: | ||
| + | $$\dim\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s} \right )=\dim K_{\lambda_1}+\cdots+\dim K_{\lambda_s}=k_1+\cdots+k_s$$ | ||
| + | לפי ההנחה, הפולינום האופייני מתפרק לגורמים לינאריים, ולכן | ||
| + | $$k_1+\cdots+k_s=\deg\left(p_T\right)=n=\dim V$$ | ||
בסך הכל, $K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}\subseteq V$ וגם $\dim\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s} \right )=\dim V$, ולכן | בסך הכל, $K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}\subseteq V$ וגם $\dim\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s} \right )=\dim V$, ולכן | ||
| + | $$V=K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}$$ | ||
| + | כדרוש. | ||
| − | + | \end{proof} | |
| − | + | ||
| − | + | ||
גרסה אחרונה מ־20:16, 4 באוקטובר 2014
כזכור, בתחילת הנושא אמרנו שאנו רוצים לפרק את המרחב שלנו לסכום ישר של תתי-מרחבים אינווריאנטיים, וכך המטריצה המייצגת תהיה אלכסונית בלוקים. המשפט שנוכיח כעת יציג את הפירוק, ובפרק הבא, שבו נגיע לצורה הסופית, נמצא בחירה מתאימה של בסיסים, שבה הבלוקים יהיו מצורה מסוימת.
\begin{thm}[פירוק למרחבים עצמיים מוכללים]
נניח שהפולינום האופייני $p_T\left(x \right )$ של אופרטור לינארי $T:V\rightarrow V$ מתפרק למכפלה של גורמים לינאריים מעל שדה $\mathbb{F}$. יהיו $\lambda_1,\dots,\lambda_s\in\mathbb{F}$ הערכים העצמיים השונים של $T$. אזי $$V=K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}$$ סכום ישר של תתי-מרחבים אינווריאנטיים.
\end{thm}
\begin{proof}
רוב העבודה תהיה להוכיח שהסכום באגף ימין אכן ישר. נוכיח זאת באמצעות אינדוקציה על מספר המחוברים. עבור $s=1$ אין מה להוכיח.
\begin{description}
\item[בסיס האינדוקציה] עבור $s=2$ - הוכחנו.
\item[צעד האינדוקציה] נניח שידוע שהסכום $$K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$$ הוא ישר, ונוכיח שהסכום של $$K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_{i+1}}$$ ישר גם כן.
צריך להוכיח כי $$\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i} \right )\cap K_{\lambda_{i+1}}=\left \{ 0 \right \}$$
יהי $v\in K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$, $v\in K_{\lambda_{i+1}}$. אם כן, $v=v_1+\cdots+v_i$, כאשר לכל $j=1,\dots,i$, מתקיים $v_j\in K_{\lambda_j}$.
נפעיל את האופרטור $\left(T-\lambda_{i+1}I\right)^n$ על $v$. נקבל: $$0=\left(T-\lambda_{i+1}I\right)^n\left(v \right )= \left(T-\lambda_{i+1}I\right)^n\left(v_1+\cdots+v_i \right )=$$ $$=\underbrace{\left(T-\lambda_{i+1}I\right)^n\left(v_1 \right )}_{\in K_{\lambda_1}} +\cdots+ \underbrace{\left(T-\lambda_{i+1}I\right)^n\left(v_i \right )}_{\in K_{\lambda_i}}$$ לפי הנחת האינדוקציה, הסכום $$K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_i}$$ הוא ישר, ולכן ההצגה של $0$ כסכום איברי $K_{\lambda_1},\dots,K_{\lambda_s}$ היא יחידה, ולכן לכל $j=1,\dots,i$, מתקיים $$\left(T-\lambda_{i+1}I\right)^n\left(v_j \right )=0$$ מכאן שלכל $j=1,\dots,i$ מתקיים $v_j\in K_{\lambda_{i+1}}$, אבל גם $v_j\in K_{\lambda_j}$. $\lambda_j\neq\lambda_{i+1}$, ולכן $v_j=0$. בסך הכל, $v=0$.
\end{description}
לכן הסכום ישר. כעת צריך להוכיח שהסכום (הישר) הוא אכן כל $V$. ניעזר בלמה הקודמת, ונקבל: $$\dim\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s} \right )=\dim K_{\lambda_1}+\cdots+\dim K_{\lambda_s}=k_1+\cdots+k_s$$ לפי ההנחה, הפולינום האופייני מתפרק לגורמים לינאריים, ולכן $$k_1+\cdots+k_s=\deg\left(p_T\right)=n=\dim V$$ בסך הכל, $K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}\subseteq V$ וגם $\dim\left (K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s} \right )=\dim V$, ולכן $$V=K_{\lambda_1}\oplus\cdots\oplus K_{\lambda_s}$$ כדרוש.
\end{proof}
