Однородный полином

Полином, все ненулевые члены которого имеют одинаковую степень

В математике однородный многочлен , иногда называемый квантовым в старых текстах, представляет собой многочлен , все ненулевые члены которого имеют одинаковую степень . ^[1] Например, — однородный многочлен степени 5 от двух переменных; сумма показателей в каждом члене всегда равна 5. Полином не является однородным, поскольку сумма показателей не совпадает от члена к члену. Функция, определяемая однородным полиномом, всегда является однородной функцией . ${\displaystyle x^{5}+2x^{3}y^{2}+9xy^{4}}$ ${\displaystyle x^{3}+3x^{2}y+z^{7}}$

Алгебраическая форма или просто форма — это функция , определяемая однородным полиномом. ^{[примечания 1]} Бинарная форма — это форма с двумя переменными. Форма также является функцией, определенной в векторном пространстве , которая может быть выражена как однородная функция координат в любом базисе .

Полином степени 0 всегда однороден; это просто элемент поля или кольца коэффициентов , обычно называемый константой или скаляром. Форма степени 1 является линейной формой . ^{[примечания 2]} Форма степени 2 является квадратичной формой . В геометрии евклидово расстояние — это квадратный корень квадратичной формы.

Однородные полиномы повсеместно встречаются в математике и физике. ^{[примечания 3]} Они играют фундаментальную роль в алгебраической геометрии , поскольку проективное алгебраическое многообразие определяется как набор общих нулей набора однородных многочленов.

Характеристики

Однородный полином определяет однородную функцию . Это означает, что если многомерный полином P однороден степени d , то

${\displaystyle P(\lambda x_{1},\ldots ,\lambda x_{n})=\lambda ^{d}\,P(x_{1},\ldots ,x_{n})\,,}$

для каждого в любом поле , содержащем коэффициенты P . И наоборот, если приведенное выше соотношение верно для бесконечного числа, то полином однороден степени d . ${\displaystyle \lambda }$ ${\displaystyle \lambda }$

В частности, если P однороден, то

${\displaystyle P(x_{1},\ldots ,x_{n})=0\quad \Rightarrow \quad P(\lambda x_{1},\ldots ,\lambda x_{n})=0,}$

для каждого Это свойство является фундаментальным в определении проективного многообразия . ${\displaystyle \lambda .}$

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

Учитывая кольцо полиномов над полем (или, в более общем смысле, кольцом ) K , однородные многочлены степени d образуют векторное пространство (или модуль ), обычно обозначаемое. Вышеуказанное уникальное разложение означает, что это прямая сумма ( суммы по всем неотрицательным целым числам ). ${\displaystyle R=K[x_{1},\ldots ,x_{n}]}$ ${\displaystyle R_{d}.}$ ${\displaystyle R}$ ${\displaystyle R_{d}}$

Размерность векторного пространства (или свободного модуля ) — это количество различных мономов степени d от n переменных (т.е. максимальное число ненулевых членов в однородном многочлене степени d от n переменных). Он равен биномиальному коэффициенту ${\displaystyle R_{d}}$

${\displaystyle {\binom {d+n-1}{n-1}}={\binom {d+n-1}{d}}={\frac {(d+n-1)!}{d!(n-1)!}}.}$

Однородный полином удовлетворяет тождеству Эйлера для однородных функций . То есть, если P - однородный многочлен степени d от имеющихся у него неопределенностей , независимо от того, какое из коммутативных колец коэффициентов является, ${\displaystyle x_{1},\ldots ,x_{n},}$

${\displaystyle dP=\sum _{i=1}^{n}x_{i}{\frac {\partial P}{\partial x_{i}}},}$

где обозначает формальную частную производную P по ${\displaystyle \textstyle {\frac {\partial P}{\partial x_{i}}}}$ ${\displaystyle x_{i}.}$

Гомогенизация

Неоднородный многочлен P ( x ₁ ,..., x _n ) можно гомогенизировать, введя дополнительную переменную x ₀ и определив однородный многочлен, иногда обозначаемый ^h P : ^[2]

${\displaystyle {^{h}\!P}(x_{0},x_{1},\dots ,x_{n})=x_{0}^{d}P\left({\frac {x_{1}}{x_{0}}},\dots ,{\frac {x_{n}}{x_{0}}}\right),}$

где d — степень P.​ ​Например, если

${\displaystyle P(x_{1},x_{2},x_{3})=x_{3}^{3}+x_{1}x_{2}+7,}$

затем

${\displaystyle ^{h}\!P(x_{0},x_{1},x_{2},x_{3})=x_{3}^{3}+x_{0}x_{1}x_{2}+7x_{0}^{3}.}$

Усредненный многочлен можно дегомогенизировать, установив дополнительную переменную x ₀ = 1. То есть

${\displaystyle P(x_{1},\dots ,x_{n})={^{h}\!P}(1,x_{1},\dots ,x_{n}).}$

Смотрите также

• Мультиоднородный полином
• Квазиоднородный полином
• Диагональная форма
• Градуированная алгебра
• Ряд Гильберта и полином Гильберта
• Многолинейная форма
• Многолинейная карта
• Поляризация алгебраической формы
• Полином Шура
• Символ дифференциального оператора

Примечания

1. Однако, поскольку некоторые авторы не проводят четкого различия между полиномом и связанной с ним функцией, термины «однородный полином» и «форма» иногда считаются синонимами.
2. Линейные формы определены только для конечномерного векторного пространства, и поэтому их следует отличать от линейных функционалов , которые определены для каждого векторного пространства. «Линейный функционал» редко используется для конечномерных векторных пространств.
3. Однородные полиномы в физике часто появляются в результате анализа размерностей , когда измеренные величины должны совпадать в реальных задачах.

Рекомендации

1. Кокс, Дэвид А .; Литтл, Джон; О'Ши, Донал (2005). Использование алгебраической геометрии. Тексты для аспирантов по математике. Том. 185 (2-е изд.). Спрингер. п. 2. ISBN 978-0-387-20733-9.
2. Кокс, Литтл и О'Ши 2005, с. 35

Внешние ссылки

• СМИ, связанные с однородными полиномами, на Викискладе?
• Вайсштейн, Эрик В. «Однородный полином». Математический мир .