WikiDer > Симметричный полином

Symmetric polynomial

В математика, а симметричный многочлен это многочлен $п (Икс 1, Икс 2, \dots, Икс п)$ в $п$ переменные, такие, что если какие-либо переменные поменять местами, получается один и тот же многочлен. Формально, $п$ это симметричный многочлен если для любого перестановка $σ$ индексов $1, 2, ..., п$ надо $п (Икс σ (1), Икс σ (2), \dots, Икс σ (п)) = п (Икс 1, Икс 2, \dots, Икс п)$ .

Симметричные многочлены естественным образом возникают при изучении связи между корнями многочлена от одной переменной и его коэффициентами, поскольку коэффициенты могут быть заданы полиномиальными выражениями в корнях, и все корни играют аналогичную роль в этом случае. С этой точки зрения элементарные симметричные полиномы являются наиболее фундаментальными симметричными многочленами. А теорема утверждает, что любой симметричный многочлен может быть выражен через элементарные симметрические многочлены, что означает, что каждый симметричный полиномиальное выражение в корнях монический многочлен в качестве альтернативы может быть дано в виде полиномиального выражения от коэффициентов полинома.

Симметричные многочлены также образуют интересную структуру сами по себе, независимо от какого-либо отношения к корням многочлена. В этом контексте другие наборы конкретных симметричных многочленов, такие как полная однородность, сумма мощности, и Полиномы Шура играют важную роль наряду с элементарными. Полученные конструкции, и в частности кольцо симметричных функций, имеют большое значение в комбинаторика И в теория представлений.

Примеры

Следующие многочлены от двух переменных Икс₁ и Икс₂ симметричны:

{ displaystyle X_ {1} ^ {3} + X_ {2} ^ {3} -7}

{ displaystyle 4X_ {1} ^ {2} X_ {2} ^ {2} + X_ {1} ^ {3} X_ {2} + X_ {1} X_ {2} ^ {3} + (X_ {1 } + X_ {2}) ^ {4}}

как следующий многочлен от трех переменных Икс₁, Икс₂, Икс₃:

{ displaystyle X_ {1} X_ {2} X_ {3} -2X_ {1} X_ {2} -2X_ {1} X_ {3} -2X_ {2} X_ {3} ,}

Есть много способов сделать определенные симметричные многочлены от любого числа переменных (см. Различные типы ниже). Пример несколько иного вкуса:

{ displaystyle prod _ {1 leq я

где сначала конструируется многочлен, который меняет знак при каждом обмене переменными, а взятие квадрата делает его полностью симметричным (если переменные представляют собой корни монического многочлена, этот многочлен дает его дискриминант).

С другой стороны, многочлен от двух переменных

{ Displaystyle X_ {1} -X_ {2} ,}

не является симметричным, так как при обмене ${ displaystyle X_ {1}}$ и ${ displaystyle X_ {2}}$ получается другой многочлен, ${ displaystyle X_ {2} -X_ {1}}$ . Аналогично в трех переменных

{ displaystyle X_ {1} ^ {4} X_ {2} ^ {2} X_ {3} + X_ {1} X_ {2} ^ {4} X_ {3} ^ {2} + X_ {1} ^ {2} X_ {2} X_ {3} ^ {4}}

имеет только симметрию относительно циклических перестановок трех переменных, чего недостаточно, чтобы быть симметричным полиномом. Однако симметрично следующее:

{ displaystyle X_ {1} ^ {4} X_ {2} ^ {2} X_ {3} + X_ {1} X_ {2} ^ {4} X_ {3} ^ {2} + X_ {1} ^ {2} X_ {2} X_ {3} ^ {4} + X_ {1} ^ {4} X_ {2} X_ {3} ^ {2} + X_ {1} X_ {2} ^ {2} X_ {3} ^ {4} + X_ {1} ^ {2} X_ {2} ^ {4} X_ {3}}

Приложения

Теория Галуа

Одним из контекстов, в котором встречаются симметричные полиномиальные функции, является изучение моник одномерный многочлены от степень п имея п корни в данном поле. Эти п корни определяют полином, и когда они рассматриваются как независимые переменные, коэффициенты полинома являются симметричными полиномиальными функциями корней. Кроме того, основная теорема симметрических многочленов следует, что полиномиальная функция ж из п корни могут быть выражены как (другая) полиномиальная функция от коэффициентов многочлена, определяемых корнями если и только если ж задается симметричным многочленом.

Это дает подход к решению полиномиальных уравнений путем инвертирования этого отображения, «нарушая» симметрию - с учетом коэффициентов полинома ( элементарные симметричные полиномы в корнях), как восстановить корни? Это приводит к изучению решений многочленов с помощью группа перестановок корней, первоначально в виде Резольвенты Лагранжа, позже развитый в Теория Галуа.

Связь с корнями однозначного одномерного многочлена

Рассмотрим монический многочлен от т степени п

{ displaystyle P = t ^ {n} + a_ {n-1} t ^ {n-1} + cdots + a_ {2} t ^ {2} + a_ {1} t + a_ {0}}

с коэффициентами а_я в какой-то областиk. Существуют п корни Икс₁,…,Икс_п из п в каком-то, возможно, более крупном поле (например, если k это область действительные числа, корни будут существовать в области сложные числа); некоторые корни могут быть равны, но тот факт, что один все корни выражается соотношением

{ displaystyle P = t ^ {n} + a_ {n-1} t ^ {n-1} + cdots + a_ {2} t ^ {2} + a_ {1} t + a_ {0} = ( t-x_ {1}) (t-x_ {2}) cdots (t-x_ {n}).}

Путем сравнения коэффициентов находим, что

{ displaystyle { begin {align} a_ {n-1} & = - x_ {1} -x_ {2} - cdots -x_ {n} a_ {n-2} & = x_ {1} x_ {2} + x_ {1} x_ {3} + cdots + x_ {2} x_ {3} + cdots + x_ {n-1} x_ {n} = textstyle sum _ {1 leq i < j leq n} x_ {i} x_ {j} & {} , vdots a_ {1} & = (- 1) ^ {n-1} (x_ {2} x_ {3} cdots x_ {n} + x_ {1} x_ {3} x_ {4} cdots x_ {n} + cdots + x_ {1} x_ {2} cdots x_ {n-2} x_ {n} + x_ {1} x_ {2} cdots x_ {n-1}) = textstyle (-1) ^ {n-1} sum _ {i = 1} ^ {n} prod _ {j neq i } x_ {j} a_ {0} & = (- 1) ^ {n} x_ {1} x_ {2} cdots x_ {n}. конец {выровнено}}}

На самом деле это всего лишь примеры Формулы Вьете. Они показывают, что все коэффициенты многочлена задаются через корни симметричным полиномиальное выражение: хотя для данного многочлена п между корнями могут быть качественные различия (например, лежащие в базовом полеk или нет, будучи простыми или множественными корнями), ничто из этого не влияет на то, как корни встречаются в этих выражениях.

Теперь можно изменить точку зрения, взяв корни, а не коэффициенты в качестве основных параметров для описания п, и рассматривая их как неопределенные, а не как константы в соответствующем поле; коэффициенты а_я затем превратятся в конкретные симметричные полиномы, заданные приведенными выше уравнениями. Эти многочлены без знака ${ Displaystyle (-1) ^ {п-я}}$ , известны как элементарные симметричные полиномы в Икс₁,…,Икс_п. Основной факт, известный как основная теорема симметрических многочленов утверждает, что любой симметричный многочлен от п переменные могут быть заданы полиномиальным выражением в терминах этих элементарных симметричных полиномов. Отсюда следует, что любое симметричное полиномиальное выражение в корнях монического полинома может быть выражено как полином от коэффициенты полинома, и в частности, что его значение лежит в базовом поле k который содержит эти коэффициенты. Таким образом, при работе только с такими симметричными полиномиальными выражениями в корнях нет необходимости знать что-либо конкретное об этих корнях или производить вычисления в любом более крупном поле, чем k в которых могут лежать эти корни. Фактически сами значения корней становятся довольно неактуальными, и необходимые отношения между коэффициентами и симметричными полиномиальными выражениями могут быть найдены путем вычислений только в терминах симметричных многочленов. Примером таких отношений являются Личности Ньютона, которые выражают сумму любой фиксированной степени корней через элементарные симметричные полиномы.

Специальные виды симметрических многочленов

Есть несколько типов симметричных многочленов от переменных Икс₁, Икс₂, …, Икс_п это фундаментальные.

Элементарные симметричные полиномы

Для каждого неотрицательного целого числа k, элементарный симметричный многочлен е_k(Икс₁, …, Икс_п) является суммой всех различных произведений k различные переменные. (Некоторые авторы обозначают его через σ_k вместо этого.) k = 0 есть только пустой продукт, поэтому е₀(Икс₁, …, Икс_п) = 1, а при k > п, никакие продукты не могут быть сформированы, поэтому е_k(Икс₁, Икс₂, …, Икс_п) = 0 в этих случаях. Остальные п элементарные симметричные многочлены являются строительными блоками для всех симметричных многочленов от этих переменных: как упоминалось выше, любой симметричный многочлен от рассматриваемых переменных может быть получен из этих элементарных симметричных многочленов только с помощью умножения и сложения. На самом деле есть следующие более подробные факты:

любой симметричный многочлен п в Икс₁, …, Икс_п можно записать как полиномиальное выражение в многочленах е_k(Икс₁, …, Икс_п) с 1 ≤k ≤ п;
это выражение уникально с точностью до эквивалентности полиномиальных выражений;
если п имеет интеграл коэффициенты, то полиномиальное выражение также имеет целые коэффициенты.

Например, для п = 2 соответствующие элементарные симметричные полиномы равны е₁(Икс₁, Икс₂) = Икс₁+Икс₂, и е₂(Икс₁, Икс₂) = Икс₁Икс₂. Тогда первый многочлен в приведенном выше списке примеров можно записать как

{ displaystyle X_ {1} ^ {3} + X_ {2} ^ {3} -7 = e_ {1} (X_ {1}, X_ {2}) ^ {3} -3e_ {2} (X_ { 1}, X_ {2}) e_ {1} (X_ {1}, X_ {2}) - 7}

(доказательство того, что это всегда возможно, см. основная теорема симметрических многочленов).

Мономиальные симметрические многочлены

Степени и произведения элементарных симметричных многочленов сводятся к довольно сложным выражениям. Если кто-то ищет базовые добавка Строительные блоки для симметричных многочленов, более естественным выбором будет брать те симметричные многочлены, которые содержат только один тип одночлена, и только те копии, которые требуются для получения симметрии. Любой одночлен в Икс₁, …, Икс_п можно записать как Икс₁^α₁…Икс_п^α_п где показатели α_я натуральные числа (возможно, ноль); записав α = (α₁,…, Α_п) это можно сократить до Икс^α. В мономиальный симметричный многочлен м_α(Икс₁, …, Икс_п) определяется как сумма всех мономов Икс^β где β пробегает все отчетливый перестановки (α₁,…, Α_п). Например, есть

{ displaystyle m _ {(3,1,1)} (X_ {1}, X_ {2}, X_ {3}) = X_ {1} ^ {3} X_ {2} X_ {3} + X_ {1 } X_ {2} ^ {3} X_ {3} + X_ {1} X_ {2} X_ {3} ^ {3}}

,

{ displaystyle m _ {(3,2,1)} (X_ {1}, X_ {2}, X_ {3}) = X_ {1} ^ {3} X_ {2} ^ {2} X_ {3} + X_ {1} ^ {3} X_ {2} X_ {3} ^ {2} + X_ {1} ^ {2} X_ {2} ^ {3} X_ {3} + X_ {1} ^ {2 } X_ {2} X_ {3} ^ {3} + X_ {1} X_ {2} ^ {3} X_ {3} ^ {2} + X_ {1} X_ {2} ^ {2} X_ {3 } ^ {3}.}

Четко м_α = м_β когда β является перестановкой α, поэтому обычно рассматриваются только те м_α для которого α₁ ≥ α₂ ≥… ≥ α_п, другими словами, для которого α является разделение целого числаЭти мономиальные симметричные многочлены образуют базис векторного пространства: каждый симметричный многочлен п можно записать как линейная комбинация мономиальных симметрических многочленов. Для этого достаточно разделить различные типы мономов, встречающихся в п. В частности, если п имеет целые коэффициенты, то будет и линейная комбинация.

Элементарные симметрические многочлены являются частными случаями мономиальных симметричных многочленов: при 0 ≤k ≤ п надо

{ displaystyle e_ {k} (X_ {1}, ldots, X_ {n}) = m _ { alpha} (X_ {1}, ldots, X_ {n})}

где α - разбиение k в k части 1 (за которой следует п − k нули).

Симметричные полиномы с суммой степеней

Для каждого целого числа k ≥ 1 мономиальный симметрический многочлен м_(k,0,…,0)(Икс₁, …, Икс_п) представляет особый интерес. Это симметричный полином степенной суммы, определяемый как

{ displaystyle p_ {k} (X_ {1}, ldots, X_ {n}) = X_ {1} ^ {k} + X_ {2} ^ {k} + cdots + X_ {n} ^ {k }.}

Все симметричные многочлены могут быть получены из первого п суммирование симметричных многочленов по степеням путем сложения и умножения, возможно с использованием рациональных коэффициентов. Точнее,

Любой симметричный многочлен от Икс₁, …, Икс_п может быть выражено как полиномиальное выражение с рациональными коэффициентами в степенной сумме симметричных многочленов п₁(Икс₁, …, Икс_п), …, п_п(Икс₁, …, Икс_п).

В частности, оставшиеся полиномы суммы степеней п_k(Икс₁, …, Икс_п) за k > п можно так выразить в первом п полиномы степенной суммы; Например

{ displaystyle p_ {3} (X_ {1}, X_ {2}) = textstyle { frac {3} {2}} p_ {2} (X_ {1}, X_ {2}) p_ {1} (X_ {1}, X_ {2}) - { frac {1} {2}} p_ {1} (X_ {1}, X_ {2}) ^ {3}.}

В отличие от ситуации для элементарных и полных однородных многочленов, симметричный многочлен от п переменные с интеграл коэффициенты не обязательно должны быть полиномиальной функцией с целыми коэффициентами симметрических многочленов степенной суммы. п = 2 симметричный многочлен

{ displaystyle m _ {(2,1)} (X_ {1}, X_ {2}) = X_ {1} ^ {2} X_ {2} + X_ {1} X_ {2} ^ {2}}

имеет выражение

{ Displaystyle м _ {(2,1)} (X_ {1}, X_ {2}) = textstyle { frac {1} {2}} p_ {1} (X_ {1}, X_ {2}) ^ {3} - { frac {1} {2}} p_ {2} (X_ {1}, X_ {2}) p_ {1} (X_ {1}, X_ {2}).}

Используя три переменные, мы получаем другое выражение

{ displaystyle { 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}}}

Соответствующее выражение справедливо и для двух переменных (достаточно задать Икс₃ к нулю), но поскольку он включает п₃, его нельзя было использовать для иллюстрации утверждения для п = 2. Пример показывает, что выражение для данного мономиального симметричного многочлена в терминах первого п полиномы суммы степеней включают рациональные коэффициенты могут зависеть от п. Но рациональные коэффициенты всегда необходимы для выражения элементарных симметричных многочленов (кроме постоянных и е₁ что совпадает с первой степенной суммой) в терминах полиномов степенной суммы. В Тождества Ньютона предоставить явный метод для этого; это включает деление на целые числа до п, что объясняет рациональные коэффициенты. Из-за этих делений упомянутое утверждение в общем случае не работает, когда коэффициенты берутся в поле конечных характеристика; однако это действительно с коэффициентами в любом кольце, содержащем рациональные числа.

Полные однородные симметрические многочлены

Для каждого неотрицательного целого числа k, полный однородный симметрический полином час_k(Икс₁, …, Икс_п) - сумма всех различных мономы степени k в переменных Икс₁, …, Икс_п. Например

{ displaystyle h_ {3} (X_ {1}, X_ {2}, X_ {3}) = X_ {1} ^ {3} + X_ {1} ^ {2} X_ {2} + X_ {1} ^ {2} X_ {3} + X_ {1} X_ {2} ^ {2} + X_ {1} X_ {2} X_ {3} + X_ {1} X_ {3} ^ {2} + X_ { 2} ^ {3} + X_ {2} ^ {2} X_ {3} + X_ {2} X_ {3} ^ {2} + X_ {3} ^ {3}.}

Полином час_k(Икс₁, …, Икс_п) также является суммой всех различных мономиальных симметрических многочленов степени k в Икс₁, …, Икс_п, например для данного примера

{ displaystyle { 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} ^ {2} X_ {2 } + X_ {1} ^ {2} X_ {3} + X_ {1} X_ {2} ^ {2} + X_ {1} X_ {3} ^ {2} + X_ {2} ^ {2} X_ {3} + X_ {2} X_ {3} ^ {2}) + (X_ {1} X_ {2} X_ {3}). конец {выровнено}}}

Все симметричные многочлены от этих переменных могут быть построены из полных однородных: любой симметричный многочлен от Икс₁, …, Икс_п можно получить из полных однородных симметрических многочленов час₁(Икс₁, …, Икс_п), …, час_п(Икс₁, …, Икс_п) посредством умножения и сложения. Точнее:

Любой симметричный многочлен п в Икс₁, …, Икс_п можно записать как полиномиальное выражение от полиномов час_k(Икс₁, …, Икс_п) с 1 ≤k ≤ п.

Если п имеет интеграл коэффициентов, то полиномиальное выражение также имеет интеграл коэффициенты.

Например, для п = 2 соответствующие полные однородные симметрические многочлены равны $час 1 (Икс 1, Икс 2) = Икс 1 + Икс 2$ и $час 2 (Икс 1, Икс 2) = Икс 12 + Икс 1 Икс 2 + Икс 22$ . Тогда первый многочлен в приведенном выше списке примеров можно записать как

{ displaystyle 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.}

Как и в случае степенных сумм, данное утверждение применимо, в частности, к полным однородным симметрическим многочленам за пределами час_п(Икс₁, …, Икс_п), позволяя выразить их в единицах до этого момента; снова результирующие идентификаторы становятся недействительными при увеличении числа переменных.

Важным аспектом полных однородных симметрических многочленов является их связь с элементарными симметричными многочленами, которые могут быть выражены как тождества

{ displaystyle sum _ {я = 0} ^ {k} (- 1) ^ {i} e_ {i} (X_ {1}, ldots, X_ {n}) h_ {ki} (X_ {1} , ldots, X_ {n}) = 0}

, для всех k > 0 и любое количество переменныхп.

С е₀(Икс₁, …, Икс_п) и час₀(Икс₁, …, Икс_п) оба равны 1, можно выделить либо первый, либо последний член этих суммирований; первый дает набор уравнений, который позволяет рекурсивно выразить последовательные полные однородные симметричные многочлены через элементарные симметричные многочлены, а второй дает набор уравнений, позволяющих делать обратное. Это неявно показывает, что любой симметричный многочлен может быть выражен через час_k(Икс₁, …, Икс_п) с 1 ≤k ≤ п: сначала симметричный полином выражается в терминах элементарных симметричных полиномов, а затем выражается в терминах упомянутых полных однородных полиномов.

Полиномы Шура

Другой класс симметричных многочленов - это многочлены Шура, которые имеют фундаментальное значение в приложениях симметричных многочленов к теория представлений. Однако их не так легко описать, как другие виды специальных симметрических многочленов; подробности см. в основной статье.

Симметричные многочлены в алгебре

Симметричные полиномы важны для линейная алгебра, теория представлений, и Теория Галуа. Они также важны в комбинаторика, где они в основном изучаются через кольцо симметричных функций, что избавляет от необходимости постоянно носить с собой фиксированное количество переменных.

Чередующиеся многочлены

Аналогично симметричным многочленам чередующиеся многочлены: многочлены, которые, а не инвариантный при перестановке записей изменить в соответствии с знак перестановки.

Все это продукты Полином Вандермонда и симметричный многочлен, и образуют квадратичное расширение кольца симметричных многочленов: многочлен Вандермонда является квадратным корнем из дискриминанта.

Navigation