פולינום מינימלי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: ja:最小多項式 |
Crazy Ivan (שיחה | תרומות) מאין תקציר עריכה |
||
שורה 1:
ב[[אלגברה מופשטת]], '''פולינום מינימלי''' של איבר ב[[אלגברה (מבנה אלגברי)|אלגברה]] הוא ה[[פולינום]] בעל המעלה הקטנה ביותר שאם נציב בו את האיבר נקבל אפס. איבר שיש לו פולינום כזה נקרא [[איבר אלגברי]], ואיבר שאינו מאפס אף פולינום נקרא "איבר טרנסצנדנטי".
לדוגמה, הפולינום המינימלי של ה[[מטריצה ריבועית|מטריצה הריבועית]] <math>\ A=\left(\begin{array}{cc}3 & 4 \\1 & -1\end{array}\right)</math> הוא <math>\ x^2 - 2x - 7</math>, משום ש- <math>\ A^2 - 2A - 7 I = 0</math> (כאשר <math>\ I</math> היא [[מטריצת היחידה]] מסדר 2), ואין פולינום ממעלה ראשונה המאפס את המטריצה A.
== הגדרה כללית ==
שורה 17:
== פולינום מינימלי באלגברה לינארית ==
לפי [[משפט קיילי-המילטון]], הפולינום המינימלי של מטריצה ריבועית מחלק את [[פולינום אופייני|הפולינום האופייני]] שלה. ידוע גם שלשני הפולינומים יש בדיוק אותם גורמים אי-
== פולינום מינימלי של איברים בתחום שלמות ==
שורה 25:
== הפולינום הגנרי ==
הפולינום המינימלי מאפשר להגדיר אינווראנטים חשובים של אלגברות מממד סופי. תהי A [[אלגברה (מבנה אלגברי)|אלגברה]] (או לכל הפחות [[אלגברה לא אסוציאטיבית]] שהיא [[אלגברה בעלת חזקות אסוציאטיביות|בעלת חזקה אסוציאטיבית בהחלט]]), מממד סופי מעל שדה F. נבחר [[בסיס (אלגברה לינארית)|בסיס]] <math>\ b_1,\dots,b_n</math>, ונתבונן באיבר <math>\ X = x_1 b_1 + \cdots +x_n b_n</math> של האלגברה <math>\ A \otimes_F F(x_1,\dots,x_n)</math> המתקבלת מ[[הרחבת סקלרים]] מ-
אם כותבים
|