פולינום סימטרי

באלגברה, פולינום בכמה משתנים הוא פולינום סימטרי, אם הוא נשאר קבוע תחת כל החלפה של המשתנים.

לדוגמה, $x_1^2+x_2^2+x_3^2$ סימטרי, ואילו $x_1+x_2-x_3$ אינו סימטרי.

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

הפולינומים הסימטריים הסטנדרטיים

הפולינומים הסטנדרטיים ב-$n$ משתנים הם ${\sigma }_r=\sum _{i_1<\cdots <i_r}{x}_{i_1}\cdots x_{i_r}$ (כאשר $r=1,\dots ,n$): סכום של $(\genfrac{}{}{0ex}{}{n}{r})$ מונומים ממעלה $r$.

את הפולינום $\prod _{i=1}^n(x-x_i)$, ששורשיו הם המספרים $x_1,\dots ,x_n$, אפשר לכתוב בצורה $\sum _{i=0}^n(-1{)}^i{\sigma }_i{x}^{n-i}$, ומכיוון שפולינום קובע את שורשיו, נובע מכך שאוסף הפונקציות הסימטריות ב-$x_1,\dots ,x_n$ קובע את המשתנים האלה, עד כדי סדר.

המשפט היסודי של הפולינומים הסימטריים קובע שכל פולינום סימטרי אפשר להציג (באופן יחיד) כפולינום בפולינומים הסטנדרטיים. ניוטון רמז לטענה כזו, ואחריו טיפל בכמה מקרים גם אדוארד וארינג (Meditationes Algebraicae, 1782). את המשפט הוכיח גאוס, במסגרת טיפולו במשפט היסודי של האלגברה.

מן המשפט הזה אפשר להסיק תוצאות דומות על פונקציות רציונליות סימטריות (כולן פונקציות רציונליות של הפולינומים הסטנדרטיים), ועל פונקציות סימטריות במשתנים $x_i^{\pm 1}$ (כולם פונקציות במשתנים ${\sigma }_1,\dots ,{\sigma }_n,{\sigma }_n^{-1}$).

ב-1629 הגדיר Albert Girard את הפונקציות הסימטריות $s_r=x_1^r+\cdots +x_n^r$. ניוטון חקר פונקציות כאלה ב-1665–1666, והציג את התוצאות שאליהן הגיע בספרו Arithmetica Universalis, ‏1707. ניוטון סיפק גם נוסחה רקורסיבית להצגת $s_r$ במונחי הפונקציות הסימטריות.

הדיסקרימיננטה ופולינומים כמעט סימטריים

בין הפולינומים הסימטריים, יש חשיבות מיוחדת לדיסקרימיננטה של המספרים $x_1,\dots ,x_n$, המוגדרת כמכפלה $\mathrm{\Delta }=\prod _{i<j}(x_i-x_j{)}^2$. לפי ההגדרה, השורש הריבועי $\sqrt{\mathrm{\Delta }}$ הוא פולינום במשתנים $x_1,\dots ,x_n$, ואילו הדיסקרימיננטה עצמה היא פולינום סימטרי, שאפשר לבטא במונחי הפולינומים הסטנדרטיים. למשל:
עבור $n=2$ מתקיים $\mathrm{\Delta }=(x_1-x_2{)}^2={\sigma }_1^2-4{\sigma }_2$.
עבור $n=3$ מתקיים $\mathrm{\Delta }=-4{\sigma }_2^3-27{\sigma }_3^2+{\sigma }_1^2{\sigma }_2^2-4{\sigma }_1^3{\sigma }_3+18{\sigma }_1{\sigma }_2{\sigma }_3$.
שורש הדיסקרימיננטה אינו סימטרי, משום שהוא נשאר קבוע רק תחת הפעלה של תמורה זוגית:
לכל תמורה $\tau$ מתקיים $\tau (\sqrt{\mathrm{\Delta }})=\mathrm{sgn}(\tau )\cdot \sqrt{\mathrm{\Delta }}$ (זו הבחנה של יעקובי, 1841). היעקוביאן של הפונקציות ${\sigma }_1,\dots ,{\sigma }_n$ לפי המשתנים $x_1,\dots ,x_n$ הוא שורש הדיסקרימיננטה.

כהכללה של המשפט היסודי, כל פונקציה שאינה משתנה תחת הפעלת תמורות זוגיות אפשר לכתוב בצורה $f+g\sqrt{\mathrm{\Delta }}$, כאשר $f,g$ פונקציות סימטריות.

ראו גם

• פולינום סימטרי אלמנטרי

קישורים חיצוניים

• .html פולינום סימטרי, באתר MathWorld (באנגלית)