הבדלים בין גרסאות בדף "חוג הפולינומים מעל שדה"
מתוך Math-Wiki
(יצירת דף עם התוכן "== הגדרה == יהי <math>F</math> שדה. ביטוי פורמלי מהצורה <math>\sum_{i=0}^na_ix^i=a_0+a_1x+\ldots+a_nx^n</math> כאשר <math>n\geq0</...") |
|||
שורה 3: | שורה 3: | ||
יהי <math>F</math> שדה. ביטוי פורמלי מהצורה <math>\sum_{i=0}^na_ix^i=a_0+a_1x+\ldots+a_nx^n</math> כאשר <math>n\geq0</math> ו-<math>a_1,\ldots,a_n\in F</math> נקרא '''פולינום במשתנה <math>x</math> מעל <math>F</math>'''. האיברים <math>a_0,\ldots,a_n</math> נקראים '''מקדמי הפולינום'''. | יהי <math>F</math> שדה. ביטוי פורמלי מהצורה <math>\sum_{i=0}^na_ix^i=a_0+a_1x+\ldots+a_nx^n</math> כאשר <math>n\geq0</math> ו-<math>a_1,\ldots,a_n\in F</math> נקרא '''פולינום במשתנה <math>x</math> מעל <math>F</math>'''. האיברים <math>a_0,\ldots,a_n</math> נקראים '''מקדמי הפולינום'''. | ||
− | נניח כי <math>m\leq n</math> אנו | + | נניח כי <math>m\leq n</math> אנו נאמר כי שני פולינומים <math>\sum_{i=0}^na_ix^i,\,\sum_{j=1}^mb_jx^j</math> הם שקולים אם <math>a_i=b_i</math> עבור <math>0\leq i\leq m</math> ו-<math>a_i=0</math> עבור <math>m<i\leq n</math>. מעכשיו, כאשר נדבר על פולינום נתכוון בעם למחלקת השקילות של כל הפולינומים השקולים לו. עדיף לא לחשוב על זה. |
− | כל פולינום <math>f(x)</math> שאינו פולינום ה-0 (פולינום שכל מקדמיו הם 0) | + | כל פולינום <math>f(x)</math> שאינו פולינום ה-0 (פולינום שכל מקדמיו הם 0) שקול לפולינום יחיד <math>a_0+a_1x+\ldots+a_nx^n</math> עם <math>a_n\neq 0</math>. המספר <math>n</math> נקרא '''דרגת הפולינום''' ומסומן ב-<math>\deg f</math>. מעלת פולינום ה-0 מוגדרת לעיתים להיות <math>-\infty</math>. |
'''הערה:''' כל פולינום <math>f(x)=a_0+a_1x_1\ldots+a_nx^n</math> משרה פונקציה מ-<math>F</math> לעצמו ששולחת את <math>u\in F</math> ל-<math>f(u):=a_0+a_1u+\ldots+a_nu^n</math>. אם השדה <math>F</math> סופי, ייתכן כי שני פולינומים שונים ישרו אותה פונקציה. | '''הערה:''' כל פולינום <math>f(x)=a_0+a_1x_1\ldots+a_nx^n</math> משרה פונקציה מ-<math>F</math> לעצמו ששולחת את <math>u\in F</math> ל-<math>f(u):=a_0+a_1u+\ldots+a_nu^n</math>. אם השדה <math>F</math> סופי, ייתכן כי שני פולינומים שונים ישרו אותה פונקציה. | ||
שורה 12: | שורה 12: | ||
'''אוסף הפולינומים מעל <math>F</math> במשתנה <math>x</math>''' יסומן ב-<math>F[x]</math>. | '''אוסף הפולינומים מעל <math>F</math> במשתנה <math>x</math>''' יסומן ב-<math>F[x]</math>. | ||
מגידירים על <math>F[x]</math> חיבור וכפל על ידי הנוסחאות: | מגידירים על <math>F[x]</math> חיבור וכפל על ידי הנוסחאות: | ||
− | * <math>\sum_{i=0}^na_ix^i+\sum_{i=1}^nb_ix^n=\sum_{i=1}^n(a_i+b_i)x^n</math>. | + | * <math>\sum_{i=0}^na_ix^i+\sum_{i=1}^nb_ix^n=\sum_{i=1}^n(a_i+b_i)x^n</math> (אם דרגת הפולינומים שמחברים לא שווה החליפו אותם בפולינומים שקולים עם אותה דרגה.) |
* <math>\sum_{i=0}^na_ix^i\cdot\sum_{j=0}^mb_jx^j=\sum_{k=0}^{m+n}\left(\sum_{0\leq i\leq n,0\leq j\leq m,m+n=k}a_ib_j\right)x^k</math> | * <math>\sum_{i=0}^na_ix^i\cdot\sum_{j=0}^mb_jx^j=\sum_{k=0}^{m+n}\left(\sum_{0\leq i\leq n,0\leq j\leq m,m+n=k}a_ib_j\right)x^k</math> |
גרסה מ־19:41, 2 בנובמבר 2011
הגדרה
יהי שדה. ביטוי פורמלי מהצורה כאשר ו- נקרא פולינום במשתנה מעל . האיברים נקראים מקדמי הפולינום.
נניח כי אנו נאמר כי שני פולינומים הם שקולים אם עבור ו- עבור . מעכשיו, כאשר נדבר על פולינום נתכוון בעם למחלקת השקילות של כל הפולינומים השקולים לו. עדיף לא לחשוב על זה.
כל פולינום שאינו פולינום ה-0 (פולינום שכל מקדמיו הם 0) שקול לפולינום יחיד עם . המספר נקרא דרגת הפולינום ומסומן ב-. מעלת פולינום ה-0 מוגדרת לעיתים להיות .
הערה: כל פולינום משרה פונקציה מ- לעצמו ששולחת את ל-. אם השדה סופי, ייתכן כי שני פולינומים שונים ישרו אותה פונקציה.
אוסף הפולינומים מעל במשתנה יסומן ב-.
מגידירים על חיבור וכפל על ידי הנוסחאות:
- (אם דרגת הפולינומים שמחברים לא שווה החליפו אותם בפולינומים שקולים עם אותה דרגה.)