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

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

באלגברה, פולינום בכמה משתנים הוא פולינום סימטרי, אם הוא נשאר קבוע תחת כל החלפה של המשתנים. לדוגמה, \ 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): סכום של \ {n \choose r} מונומים ממעלה r. את הפולינום \ (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, המוגדרת כמכפלה \ \Delta = \prod_{i<j} (x_i-x_j)^2. לפי ההגדרה, השורש הריבועי \ \sqrt{\Delta} הוא פולינום במשתנים \ x_1,\dots,x_n, ואילו הדיסקרימיננטה עצמה היא פולינום סימטרי, שאפשר לבטא במונחי הפולינומים הסטנדרטיים. למשל, עבור n=2 מתקיים \ \Delta = (x_1-x_2)^2 = \sigma_1^2 - 4 \sigma_2, ואילו עבור n=3 \ \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{\Delta}) = \sgn(\tau) \cdot \sqrt{\Delta} (זו הבחנה של Jacobi, 1841). היעקוביאן של הפונקציות \ \sigma_1,\dots,\sigma_n לפי המשתנים \ x_1,\dots,x_n הוא שורש הדיסקרימיננטה.

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