קוד:קיום פולינום מאפס
מתוך Math-Wiki
גרסה מ־19:05, 18 באוגוסט 2014 מאת גיא בלשר (שיחה) (יצירת דף עם התוכן "\textbf{משפט:} לכל מטריצה $A\in M_k\left(\mathbb{F}\right)$ קיים פולינום מאפס. \textit{הוכחה:} נתבונן במרחב הוו...")
\textbf{משפט:}
לכל מטריצה $A\in M_k\left(\mathbb{F}\right)$ קיים פולינום מאפס.
\textit{הוכחה:}
נתבונן במרחב הווקטורי $V=M_k\left(\mathbb{F} \right )$, $\dim V=k^2=\ell$. נתבונן בקבוצה של איברי $V$ הבאה: $\left\{ I,A,A^2,\dots,A^\ell \right \}$.
בקבוצה הזו יש $\ell+1$ איברים, אך המימד של $V$ הוא $\ell$, ומכאן שהיא תלויה לינארית. לכן, קיימים סקלרים $a_0,a_1,\dots,a_\ell\in\mathbb{F}$ )לא כולם שווים אפס(, כך שמתקיים $a_0I+a_1A+\cdots+a_\ell A^\ell=0$.
נגדיר פולינום $f\in\mathbb{F}\left[x\right]$, $f=a_0+a_1x+\cdots+a_nx^n$. עבורו $f\neq 0$ )כי לא כל הסקלרים הם אפס(, וכן $f\left(A\right)=0$ )לפי הבנייה(, כדרוש.