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

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

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

Многочлен степени 0 всегда однороден; это просто элемент поля или кольца коэффициентов, обычно называемый константой или скаляром. Форма степени 1 - это линейная форма. Форма степени 2 - это квадратичная форма. В геометрии, то евклидово расстояние является квадратным корнем из квадратичной формы.

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

СОДЕРЖАНИЕ

• 1 Недвижимость
• 2 Гомогенизация
• 3 См. Также
• 4 ссылки
• 5 Внешние ссылки

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

Однородный многочлен определяет однородную функцию. Это означает, что если многомерный многочлен 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.}$

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

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

Размерность векторного пространства (или свободного модуля ) есть число различных мономов степени д в п переменных (то есть максимальное число ненулевых членов в однородный многочлен степени д в п переменных). Он равен биномиальному коэффициенту ${\ 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}}},}$

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

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

Неоднородный многочлен P ( x 1,..., x n ) можно усреднить, введя дополнительную переменную x 0 и определив однородный многочлен, иногда обозначаемый ^h P :

${\ 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_ {3} ^ {3} + x_ {1} x_ {2} +7,}$

потом

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

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

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

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

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

использованная литература

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

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