פולינום מינימלי

מתוך ויקיפדיה, האנציקלופדיה החופשית

קפיצה אל: ניווט, חיפוש

באלגברה מופשטת, פולינום מינימלי של איבר באלגברה הוא הפולינום בעל המעלה הקטנה ביותר שאם נציב בו את האיבר נקבל אפס. איבר שיש לו פולינום כזה נקרא איבר אלגברי, ואיבר שאינו מאפס אף פולינום נקרא "איבר טרנסצנדנטי".

לדוגמה, הפולינום המינימלי של המטריצה הריבועית $\ A=\left(\begin{array}{cc}3 & 4 \\1 & -1\end{array}\right)$ הוא $\ x^2 - 2x - 7$ , משום ש- $\ A^2 - 2A - 7 I = 0$ (כאשר $\ I$ היא מטריצת היחידה מסדר 2), ואין פולינום ממעלה ראשונה המאפס את המטריצה A.

[עריכה] הגדרה כללית

אם $\ R$ הוא חוג (אסוציאטיבי, או אפילו בעל חזקה אסוציאטיבית) מעל חוג S, אז בכל פולינום $\ f(x) \in S[x]$ אפשר להציב איברים של R באופן הבא:

אם $\ f(x) = a_n x^n + \cdots + a_1 x + a_0$ ,

אז $\ f(a) = a_n a^n + \cdots + a_1 a + a_0$ .

הפולינום המינימלי של $\ a\in R$ מעל S הוא הפולינום f בעל המעלה הקטנה ביותר כך ש- $\ f(a) = 0$ (בתנאי שיש פולינום כזה). אם S הוא שדה, מקובל להניח שהפולינום מתוקן, אבל במקרה הכללי (למשל, אם S הוא חוג המספרים השלמים), ייתכן שהפולינום המינימלי לא יהיה מתוקן.

על-מנת לאפיין את הפולינום, יש לציין את חוג הבסיס או השדה שמעליו האלגברה מוגדרת: זהו החוג שממנו מותר לבחור את מקדמי הפולינום. לדוגמה, הפולינום המינימלי של המספר המרוכב $\ a=\sqrt{2}+\sqrt{-1}$ מעל לשדה המספרים הממשיים הוא $\ x^2 - 2\sqrt{2} x + 3$ , אבל הפולינום המינימלי מעל שדה המספרים הרציונליים הוא $\ x^4-2x^2+9$ , ומעל המרוכבים הוא פשוט הפולינום הלינארי: $\ x - (\sqrt{2}+\sqrt{-1})$ .

[עריכה] פולינום מינימלי באלגברה לינארית

לפי משפט קיילי-המילטון, הפולינום המינימלי של מטריצה ריבועית מחלק את הפולינום האופייני שלה. ידוע גם שלשני הפולינומים יש בדיוק אותם גורמים אי-פריקים. לפולינום המינימלי חשיבות מרכזית כאשר מבקשים להעביר את המטריצה לצורה רציונלית קנונית או צורת ז'ורדן. הריבוי של שורש מסוים של הפולינום המינימלי הוא הגודל של בלוק הז'ורדן הגדול ביותר שמתאים לו.

[עריכה] פולינום מינימלי של איברים בתחום שלמות

אם A הוא תחום שלמות המהווה אלגברה מעל שדה F (ובפרט, אם A הוא שדה המכיל את F), אז הפולינום המינימלי f של איבר a הוא אי-פריק (כלומר, לא ניתן לכתוב אותו כמכפלה של שני פולינומים), והוא מינימלי גם לגבי יחס החלוקה, במובן הבא: אם $\ h(a)=0$ , אז f מחלק את h. יתרה מזו, תת-החוג $\ F[a]$ מהווה תת-שדה של A, שממדו מעל F שווה למעלה של f.

[עריכה] הפולינום הגנרי

הפולינום המינימלי מאפשר להגדיר אינווראנטים חשובים של אלגברות מממד סופי. תהי A אלגברה (אסוציאטיבית, או לכל הפחות אלגברה לא אסוציאטיבית שהיא בעלת חזקה אסוציאטיבית בהחלט), מממד סופי מעל שדה F. נבחר בסיס $\ b_1,\dots,b_n$ , ונתבונן באיבר $\ X = x_1 b_1 + \cdots +x_n b_n$ של האלגברה $\ A \otimes_F F(x_1,\dots,x_n)$ המתקבלת מהרחבת סקלרים מ-F לשדה הפונקציות $\ F(x_1,\dots,x_n)$ . במקרה כזה, קיים פולינום מינימלי מתוקן P המאפס את X, והוא נקרא הפולינום המינימלי הגנרי של A. המעלה m של P נקראת גם הדרגה של A.

אם כותבים $\ P(\lambda) = \lambda^m - s_1(x_1,\dots,x_n) \lambda^{m-1} + \cdots + (-1)^m s_m(x_1,\dots,x_n)$ , אז המקדמים $\ s_i(x_1,\dots,x_n)$ הם פולינומים הומוגניים במשתנים $\ x_1,\dots,x_n$ .

על ידי הצבה אפשר לחשב מ-P פולינום המאפס כל איבר נתון של האלגברה (אם כי זה אינו בהכרח פולינום מינימלי). המקדם $\ s_1$ , המקיים את תנאי האדיטיביות $\ s_1(a+b)=s_1(a)+s_1(b)$ , נקרא העקבה הגנרית (ראו עקבה), והמקדם האחרון $\ s_m$ הוא הנורמה הגנרית (ראו נורמה).

לדוגמה, עבור אלגברת המטריצות $\ M_m(F)$ , העקבה הגנרית מתלכדת עם העקבה הרגילה, והנורמה הגנרית מתלכדת עם הדטרמיננטה. בין השימושים הרבים של הפונקציות הללו אפשר למנות את העובדה הבאה: נניח ש- $\ s_1([a,b])=0$ ו- $\ s_1((a,b,c))=0$ (כאשר $\ [\cdot,\cdot]$ ו- $\ (\cdot,\cdot,\cdot)$ הם הקומוטטור והאסוציאטור, בהתאמה; הנחות אלה מתקיימות ממילא בכל אלגברה אסוציאטיבית). אם $\ s_1$ אינה מנוונת (במובן הבא: אם $\ s_1(ab)=0$ לכל b, אז $\ a=0$ ), אז A ספרבילית.