查看“︁對稱多項式”︁的源代码

{{NoteTA |G1=Math}}
[[數學]]中的'''對稱多項式'''（{{lang-en|Symmetric polynomial}}）是一种特殊的多元[[多项式]]。假设一个{{math|''n''}}元[[多項式]]{{math|''P''(''X''<sub>1</sub>, ''X''<sub>2</sub>, ..., ''X''<sub>''n''</sub>)}}，當其中的{{math|''n''}}個不定元任意交換後，多項式仍維持不變，就称其为对称多项式。严格的说法是，如果对任意的{{math|''n''}}元置换{{math|''σ''}}，都有{{math|''P''(''X''<sub>''σ''(1)</sub>, ''X''<sub>''σ''(2)</sub>, ..., ''X''<sub>''σ''(''n'')</sub>)}} = {{math|''P''(''X''<sub>1</sub>, ''X''<sub>2</sub>, ..., ''X''<sub>''n''</sub>)}}，就说{{math|''P''}}是对称多项式。

对称多项式最早是在出现在对一元多项式方程求根的研究中。一元多项式方程的系数可以用它的根的多项式来表达。而多项式的任何一个根的地位理当与余者都相同，所以这类多项式中，不定元进行置换不应当改变多项式。从这个角度来说，将多项式方程的根构成的系数多项式称为'''基本对称多项式'''是合理的。有定理说明，任意的对称多项式都可以表达为基本对称多项式的多项式。

==例子==
以下是兩個變數的對稱多項式的例子：

*<math>P(X_1, X_2) = X_1{}^3+ X_2{}^3-7</math>
*<math>P(X_1, X_2) = 4 X_1  X_2</math>

以下是三個變數的對稱多項式的例子：

*<math>P(X_1, X_2, X_3) = X_1 X_2 X_3 - 2 X_1 X_2 - 2 X_1 X_3 - 2 X_2 X_3</math>

並不是所有多項式都是對稱的，例如 <math>P(X_1, X_2) = X_1 - 2X_2</math>就不對稱，因為把<math>X_1</math>和<math>X_2</math>對換後，會得到<math>X_2 - 2X_1</math>，不等於原來的多項式。

有很多方法可以構造特殊的 n 個變數的多項式，下面舉一個例子

: <math>D(X_1,\dots,X_n)=\prod_{1\leq i<j\leq n}(X_i-X_j)^2</math>

因為將 <math>X_1, X_2, ..., X_n</math> 做置換只是在改變相乘的順序以及在括弧乘以 ±1，不會影響 D 的函數值，因此 D 是對稱多項式。此外，如果 <math>X_1, X_2, ..., X_n</math>是 n 次[[首一多项式]] f 的 n 個根，則 D 是 f 的判別式。

== 伽羅瓦理論 ==
{{Main|伽羅瓦理論}}對稱多項式出現在單變數首一多項式的研究中。考慮一個[[體 (數學)|體]]上的 n 次多項式，並且有 n 個根，從另一個方面來說，這 n 個根決定了這個多項式，若將 n 個根視為 n 個獨立的變數，則原多項式的各項係數是由 n 個根所形成的對稱多項式。這些由 n 個根生成係數的對稱多項式被稱為初等對稱多項式。

上述觀念可以衍伸出一個解多項式的方法，定義一個映射，將多項式的各項係數送到多項式的所有根，換言之，要解出基本對稱多項式方程組。因此，本映射可以被視為是在「破壞對稱性」。這使我們可以藉由研究根的[[置換群]]來求解多項式，這個觀念是{{Tsl|en|Lagrange resolvent|拉格朗吉預解式}}的原型，之後在伽羅瓦理論中會有進一步的發展。

== 單變數首一多項式的根 ==
更具體的來說，假設 f(t) 是一個以 t 為變數的 n 次首一多項式，即

: <math>f(t)=t^n+a_{n-1}t^{n-1}+\cdots+a_2t^2+a_1t+a_0</math>

其中係數 <math>a_0,\dots, a_{n-1}</math>是體 K 中的元素。f(t) 在 K 中不見得會有根，但是如果考慮 K 的[[代數閉包]] <math>\bar K</math>，f(t) 在 <math>\bar K</math> 中一定會有 n 個根 <math>x_1,\dots, x_n</math>。舉個特殊的例子，如果 K 是[[實數域|實數體]] <math>\mathbb R</math>，則 <math>\bar K</math> 是[[复数 (数学)|複數體]] <math>\mathbb C</math>。注意到 n 個根會有重複，但下述恆等式一定會成立

: <math>t^n+a_{n-1}t^{n-1}+\cdots+a_2t^2+a_1t+a_0=(t-x_1)(t-x_2)\cdots(t-x_n)</math>

比較各項係數可以得到[[根與係數|根與係數的關係]]

: <math>\begin{align} a_{n-1}&=-x_1-x_2-\cdots-x_n\\ a_{n-2}&=x_1x_2+x_1x_3+\cdots+x_2x_3+\cdots+x_{n-1}x_n = \textstyle\sum_{1\leq i<j\leq n}x_ix_j\\ & {}\  \, \vdots\\ a_1&=(-1)^{n-1}(x_2x_3\cdots x_n+x_1x_3x_4\cdots x_n+\cdots+x_1x_2\cdots x_{n-2}x_n+x_1x_2\cdots x_{n-1})       = \textstyle(-1)^{n-1}\sum_{i=1}^n\prod_{j\neq i}x_j\\ a_0&=(-1)^nx_1x_2\cdots x_n.\\ \end{align}</math>

這顯示了多項式的係數 <math>a_i</math> 可以被寫成根的對稱多項式，而且不論根如何分布，是否落在原本的體 K 中，是否有重根，皆可以使用相同的對稱多項式表示出原本的係數。

從另一方面來說，如果把 n 個根視為獨立變數，記做 <math>X_1, X_2, ..., X_n</math>，原多項式的係數就變成了對稱多項式，這些對稱多項式，忽略前面的係數 <math>(-1)^{n-i}</math>，被定義成'''初等對稱多項式'''。換句話說，初等對稱多項式是以 t 為變數的多項式

:<math>(t+X_1)(t+X_2)\cdots(t+X_n)</math>

的展開式中的各項係數。

例如當 n = 3 時，初等對稱多項式為 <math>X_1+X_2+X_3</math>、<math>X_1X_2 + X_2X_3 + X_3X_1</math>和 <math>X_1X_2X_3</math>。

== 對稱多項式基本定理 ==
對稱多項式基本定理說，體 K 上 n 個變數的多項式 f 是一些 n 個變數的初等對稱多項式的代數組合 (經由相加、乘上 K 中的常數、相乘所得到的元素)，若且唯若 f 是對稱多項式。

例如當 n=2 時，兩個初等對稱多項式是 <math>X_1+X_2</math>和 <math>X_1 X_2</math>。對稱多項式 <math>P(X_1, X_2) = X_1^3+ X_2^3-7</math>可以被表示成

:<math>X_1^3+ X_2^3-7=(X_1+X_2)^3-3X_1X_2(X_1+X_2)-7</math>

本定理有一個關於直接推論，將首一多項式的 n 個根帶入一個對稱多項式，等於將原多項式的各項係數帶入某個多項式。因此，就算 n 個根只落在代數閉包 <math>\bar K</math> 中，將它們帶入一個對稱多項式後所得到的數值必定會落在 K 之中。例如[[牛頓恆等式]]是關於如何用原係數表示 n 個根的等冪次之和。

== 一些常見的對稱多項式 ==

以下是一些用初等的方法就可以構造出來的對稱多項式，而它們都是以 X<sub>1</sub>, X<sub>2</sub>, …, X<sub>n</sub> 為變數。

=== 單項對稱多項式 === 
<!--[[單項對稱多項式]] redirects here -->
將對稱多項式做相乘或取次方會使表達式變得複雜。有一個相對簡單的構造方式是考慮一個單項式，並且任意交換它的變數，將取得的所有可能的變體通通加起來得到一個對稱多項式，稱為'''單項對稱多項式'''。因此單項對稱多項式是對稱多項式的基底，適當地將它做相加可得到所有對稱多項式。更準確地的定義如下：一個以 X<sub>1</sub>, …, X<sub>n</sub> 為變數的單項式可以寫作 X<sub>1</sub><sup>α<sub>1</sub></sup>…X<sub>n</sub><sup>α<sub>n</sub></sup> ，其中次方 α<sub>i</sub> 可以是正整數或 0。為了表達方便，定義 α&nbsp;=&nbsp;(α<sub>1</sub>,…,α<sub>n</sub>) 則以上的單項式可以被縮寫成 X<sup>α</sup>。而單項對稱多項式m<sub>α</sub>(X<sub>1</sub>, …, X<sub>n</sub>) 定義為所有 x<sup>β</sup> 的總和，其中 β 跑遍所有 α&nbsp;=&nbsp;(α<sub>1</sub>,…,α<sub>n</sub>) 的「相異」置換。 舉例來說

:<math>m_{(3,1,1)}(X_1,X_2,X_3)=X_1^3X_2X_3+X_1X_2^3X_3+X_1X_2X_3^3</math>,
:<math>m_{(3,2,1)}(X_1,X_2,X_3)=X_1^3X_2^2X_3+X_1^3X_2X_3^2+X_1^2X_2^3X_3+X_1^2X_2X_3^3+X_1X_2^3X_3^2+X_1X_2^2X_3^3.</math>

顯然如果 β 是 α 的一個置換，則 m<sub>α</sub>&nbsp;=&nbsp;m<sub>β</sub>，因此一般而言只需考慮 m<sub>α</sub> 滿足 α<sub>1</sub>&nbsp;≥&nbsp;α<sub>2</sub>&nbsp;≥&nbsp;…&nbsp;≥&nbsp;α<sub>n</sub>，換言之，只需考慮 α 是[[整數分拆]]的情況。給定任何對稱多項式 P，都可以將其中不同類型的單項式分離歸類，因而將 P 寫成單項對稱多項式的[[線性組合]]，是故，單項對稱多項式形成包含所有對稱多項式的空間的一個基底。特別的，如果 P 中的係數都是正整數，則線性組合中的係數也都會是正整數。

基本對稱多項式是單項對稱多項式的特例，因為對任何 0&nbsp;≤&nbsp;k&nbsp;≤&nbsp;n 有

:''<math>e_k(X_1,\ldots,X_n)=m_\alpha(X_1,\ldots,X_n)</math>''

其中 &alpha; 將正整數 k 分拆成 k 個&nbsp;1（後面接著 n&nbsp;−&nbsp;k 個 0）。

=== 次方和對稱多項式 ===
{{Main|次方和對稱多項式}}
對於正整數 k，單項對稱多項式 m<sub>(k,0,…,0)</sub>(X<sub>1</sub>, …, X<sub>n</sub>) 是具有特殊意義的，它被稱做次方和對稱多項式。更具體的來說，定義
:<math>p_k(X_1,\ldots,X_n) = X_1^k + X_2^k + \cdots + X_n^k .</math> 

事實上，所有擁有 n 個變數的對稱多項式都可以藉由一些次方和對稱多項式做相加、相乘及乘以有理數係數的運算而得到，而且可以使其中所使用到的次方和對稱多項式的次方數最高不超過 n。更精確的來說，

:任何以 X<sub>1</sub>, &hellip;, X<sub>n</sub> 為變數的對稱多項式都可以被表示成一個 n 個變數多的項式，其中各變數代入次方和多項式 p<sub>1</sub>(X<sub>1</sub>, &hellip;, X<sub>n</sub>), &hellip;, p<sub>n</sub>(X<sub>1</sub>, &hellip;, X<sub>n</sub>)

特別的，其他次數 k > n 的次方和多項式 ''p''<sub>''k''</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>) 也可以用前 n 個對稱多項式表示，例如

:<math>p_3(X_1,X_2)=\textstyle\frac32p_2(X_1,X_2)p_1(X_1,X_2)-\frac12p_1(X_1,X_2)^3.</math>

與單項對稱多項式以及完全齊次對稱多項式不同的是，一個''整'' 係數的對稱多項式可能無法被表示成 n 個變數的''整'' 係數多項式，其中各變數代入次方和多項式 p<sub>1</sub>(X<sub>1</sub>, &hellip;, X<sub>n</sub>), &hellip;, p<sub>n</sub>(X<sub>1</sub>, &hellip;, X<sub>n</sub>)。例如對 n&nbsp;=&nbsp;2，對稱多項式

:<math>m_{(2,1)}(X_1,X_2) = X_1^2 X_2 + X_1 X_2^2</math>

只能被表達成
:<math> m_{(2,1)}(X_1,X_2)= \textstyle\frac12p_1(X_1,X_2)^3-\frac12p_2(X_1,X_2)p_1(X_1,X_2).</math>

然而，如果有 3 個變數的話，情況又變得不同

:<math>\begin{align}m_{(2,1)}(X_1,X_2,X_3) &= X_1^2 X_2 + X_1 X_2^2 + X_1^2 X_3 + X_1 X_3^2 + X_2^2 X_3 + X_2 X_3^2\\
  &= p_1(X_1,X_2,X_3)p_2(X_1,X_2,X_3)-p_3(X_1,X_2,X_3).
\end{align}</math>

如果將上式的 X<sub>3</sub> 代入 0，也可以得到一個 2 個變數情況的表示式，然而該表示式中包含多項式 p<sub>3</sub>，因此不適用於 2 變數的敘述條件。從上述例子可以看出，不同的變數個數可能會影響到同一個單項對稱多項式是否能被次方和對稱多項式以整係數的代數組合表達。然而，對於 n&nbsp;≥&nbsp;2，基本對稱多項式 e<sub>n</sub> 都不能表達成次方和對稱多項式的整係數代數組合表達(注意到 n = 1 時 e<sub>1</sub> = p<sub>1</sub>)。藉由[[牛頓恆等式]]可以很容易推得上述結論，並且會有其中若干個係數的分母是 n。因為這個緣故，前述的結論只在任何包含有理數的環中成立，在有限[[特徵 (代數)|特徵]]的環中不成立。

=== 完全齊次對稱多項式 ===
{{Main|完全齊次對稱多項式}}
對於非負整數 ''k''，完全齊次對稱多項式 ''h''<sub>''k''</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>) 定義為所有以 ''X''<sub>1</sub>, …, ''X''<sub>''n''</sub> 為變數的相異 ''k'' 次[[單項式]]的和，例如
:<math>h_3(X_1,X_2,X_3)=X_1^3+X_1^2X_2+X_1^2X_3+X_1X_2^2+X_1X_2X_3+X_1X_3^2+X_2^3+X_2^2X_3+X_2X_3^2+X_3^3.</math>
由定義可以直接看出， ''h''<sub>''k''</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>) 也是所有變數為 ''X''<sub>1</sub>, …, ''X''<sub>''n''</sub> 的相異 ''k'' 次對稱多項式之和。延續上面的例子，有
:<math>\begin{align}
 h_3(X_1,X_2,X_3)&=m_{(3)}(X_1,X_2,X_3)+m_{(2,1)}(X_1,X_2,X_3)+m_{(1,1,1)}(X_1,X_2,X_3)\\
 &=(X_1^3+X_2^3+X_3^3)+(X_1^2X_2+X_1^2X_3+X_1X_2^2+X_1X_3^2+X_2^2X_3+X_2X_3^2)+(X_1X_2X_3).\\
\end{align}</math>

與次方和對稱多項式相同的，所有擁有 n 個變數的對稱多項式都可以藉由一些次方和對稱多項式做相加、相乘及乘以有理數係數的運算而得到，而且可以使其中所使用到的次方和對稱多項式的次方數最高不超過 n。更精確的來說，
:任何以 ''X''<sub>1</sub>, …, ''X''<sub>''n''</sub> 為變數的對稱多項式都可以被表示成一個 n 個變數多的項式，其中各變數代入次方和多項式 ''h''<sub>1</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>), …, ''h''<sub>''n''</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>)
:此外，如果 P 是整係數多項式,則所使用的一個 n 個變數多的項式也是整係數的。
舉例來說，設 n = 2，會使用到的兩個完全齊次對稱多項式是 {{math|1=''h''<sub>1</sub>(''X''<sub>1</sub>, ''X''<sub>2</sub>) = ''X''<sub>1</sub> + ''X''<sub>2</sub>}} 以及 {{math|1=''h''<sub>2</sub>(''X''<sub>1</sub>, ''X''<sub>2</sub>) = ''X''<sub>1</sub><sup>2</sup> + ''X''<sub>1</sub>''X''<sub>2</sub> + ''X''<sub>2</sub><sup>2</sup>}}。則原本例子中的 X<sub>1</sub><sup>3</sup> + X<sub>2</sub><sup>3</sup> - 7 可以被表示成
:<math>X_1^3+ X_2^3-7=-2h_1(X_1,X_2)^3+3h_1(X_1,X_2)h_2(X_1,X_2)-7.</math>
與次方和多項式相同的，隨著變數的增加，同一型的對稱多項式會有不同的表達式。此外，值得注意的是，當變數個數為 n 時，高於 n+1 次的完全齊次對稱多項式可以被前 n 次的完全齊次對稱多項式表示。

完全齊次對稱多項式有一個非常重要的性質，是一個和基本對稱多項式之間的關係式，寫成如下的恆等式：對所有正整數 k
:<math>\sum_{i=0}^k(-1)^ie_i(X_1,\ldots,X_n)h_{k-i}(X_1,\ldots,X_n)=0</math>
由於 ''e''<sub>0</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>) 和 ''h''<sub>0</sub>(''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>) 恆等於&nbsp;1，因此可以將求和式的首項或末項獨立出來，寫在等號右側，二這兩種不同的處理法會得到不同的資訊。 提出首項的話，可以得到一個完全齊次對稱多項式的遞歸式，其係數牽涉到基本對稱多項式；而若是提出末項，也可以得到遞歸式，但兩類對稱多項式的角色對調。上述性質提供了本節第三段對稱多項式基本定理的完全對稱多項式版本的證明：先將給定的對稱多項式用基本對稱多項式表達，然後再將那些基本對稱多項式通過遞歸式用完全對稱多項式表達，最後就可以得出結論。

=== 舒爾多項式 ===
{{Main|舒爾多項式}}
舒爾多項式是一類特殊的對稱多項式，它在對稱多項式的[[表示論|表示理論]]中有基石般的重要性，然而它不容易以其他類型的對稱多項式來表示。

==代數中的對稱多項式==
在[[線性代數]]、[[表示論|表示理論]]和[[伽羅瓦理論]]中，對稱多項式都扮演著重要的角色，此外，在組合學中，為了省去書寫變數個數的麻煩，經常就直接在[[對稱函數環]]上做研究。

==交錯多項式==
{{Main|交錯多項式}}

[[交錯多項式]]的定義與對稱多項式大致雷同，唯獨若將交錯多項式做變數置換之後，不見得與原多項式相同，而是差一個[[置換的奇偶性|該置換的正負號]]。

事實上，所有交錯多項式都可以寫成一個{{translink|en|Vandermonde polynomial|范德蒙多項式}}和對稱多項式的乘積，其中范德蒙多項式是將變數兩兩取差做相乘。

==参见==
*[[等幂求和]]
*[[麦克劳林不等式]]

==参考资料==
* {{Lang Algebra|edition=3r}}
* Macdonald, I.G. (1979),  ''Symmetric Functions and Hall Polynomials''.  Oxford Mathematical Monographs.  Oxford: Clarendon Press.
* [[Ian G. Macdonald|I.G. Macdonald]] (1995),  ''Symmetric Functions and Hall Polynomials'', second ed.  Oxford: Clarendon Press.  {{isbn|0-19-850450-0}} (paperback, 1998).
* [[Richard P. Stanley]] (1999), ''Enumerative Combinatorics'', Vol. 2.  Cambridge: Cambridge University Press.  {{isbn|0-521-56069-1}}


{{Basic identity}}
{{Authority control}}
[[Category:多项式|D]]
[[Category:对称]]