Полиномы

Полиномы

В математике, многочлены или полиномы от одной переменной - функции вида

F(x) = c_0 + c_1 x + \cdots + c_n x^n,

где ci фиксированные коэффициенты, а x — переменная. Многочлены составляют один из важнейших классов элементарных функций.


Изучение полиномиальных уравнений и их решений составляло едва ли не главный объект «классической алгебры». С изучением многочленов связан целый ряд преобразований в математике: введение в рассмотрение нуля, отрицательных, а затем и комплексных чисел, а также появление теории групп как раздела математики и выделение классов специальных функций в анализе.

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

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

Содержание

Определение

Многочлен (или полином) от n переменных — есть конечная формальная сумма вида

\sum c_I x_1^{i_1}x_2^{i_2}...x_n^{i_n},

где I = (i1,i2,...,in) есть набор из целых неотрицательных чисел (называется мультииндекс), cI — число (называемое «коэффициент многочлена»), зависящее только от мультииндекса I.

В частности, многочлен от одной переменной есть конечная формальная сумма вида

c_0+c_1x^1+\cdots+c_nx^n

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

R[x1,x2,...,xn].

Связанные определения

  • Многочлен вида c x_1^{i_1}x_2^{i_2}...x_n^{i_n} называется одночленом или мономом
    • Одночлен, соответствующий мультииндексу I=(0,\dots,\,0) называется свободным членом.
    • В случае, когда многочлен имеет всего два ненулевых члена, его называют двучленом или биномом,
    • В случае, когда многочлен имеет всего три ненулевых члена, его называют трёхчленом.
  • Полной степенью (ненулевого) одночлена c_I x_1^{i_1}x_2^{i_2}...x_n^{i_n} называется целое число | I | = i1 + i2 + ... + in.
    • Степенью многочлена называется максимальная из степеней его одночленов, тождественный нуль не имеет степени
  • Множество мультииндексов I для которых коэффициенты cI ненулевые называется носителем многочлена, а его выпуклая оболочка многогранником Ньютона.

Делимость

Многочлен, который можно представить в виде произведения многочленов низших степеней с коэффициентами из данного поля, называется приводимым (над данным полем), в противном случае — неприводимым. Неприводимые многочлены играют в кольце многочленов роль, сходную с ролью простых чисел в кольце целых чисел. Например, верна теорема: если произведение pq делится на неприводимый многочлен λ, то p или q делится на λ. Каждый многочлен, степени большей нуля, разлагается в данном поле в произведение неприводимых множителей единственным образом (с точностью до множителей нулевой степени).

Например, многочлен x4 + 2, неприводимый в поле рациональных чисел, разлагается на два множителя в поле вещественных чисел и на четыре множителя в поле комплексных чисел.

Вообще, каждый многочлен от одного переменного x разлагается в поле вещественных чисел на множители первой и второй степени, в поле комплексных чисел — на множители первой степени (основная теорема алгебры).

Для двух и большего числа переменных этого уже нельзя утверждать. Над любым полем для любого n > 2 существуют многочлен от n переменных, неприводимые в любом расширении этого поля. Такие многочлены называются абсолютно неприводимыми.

Полиномиальные функции

Пусть A есть алгебра над кольцом R. Произвольный многочлен p(x)\in R[x_1,x_2,\dots,x_n] определяет полиномиальную функцию

p_R:A\to A.

Чаще всего рассматривают случай A = R.

В случае если R есть поле вещественных или комплексных чисел (а также любое другое поле с бесконечным числом элементов) то функция f_p:R^n\to R полностью определяет многочлен p. Однако в общем случае это неверно, например: многочлены p_1(x)\equiv x и p_2(x)\equiv x^2 из \Z_2[x] определяют тождественно равные функции \Z_2\to\Z_2.

Свойства

Вариации и обобщения

  • Если в определении допустить также отрицательные степени, то полученный объект называется многочленом Лорана (см. ряд Лорана).
  • Квазимногочлен
  • Тригонометрический многочлен

См. также

Ссылки


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "Полиномы" в других словарях:

  • Полиномы Белла — В математике, в частности в комбинаторике, полиномы Белла это полиномы вида где сумма берётся по всем последовательностям j1, j2, j3, ..., jn−k+1 неотрицательных целых чисел таким, что и …   Википедия

  • Полиномы Лагерра — В математике, Многочлены Лагерра, названные в честь Эдмонда Лагерра (1834 1886), являются каноническими решениями Уравнения Лагерра: являющегося линейным дифференциальным уравнением второго порядка. Это уравнение имеет несингулярное решение… …   Википедия

  • Полиномы Цернике — Графики значений в единичном круге. Полиномы Цернике последовательность многочленов, которые являются ортогональными на единичном круге. Названы в честь лауреата Нобелевской пре …   Википедия

  • Полиномы Эрмита — Многочлены Эрмита определенного вида последовательность многочленов одной вещественной переменной. Многочлены Эрмита возникают в теории вероятностей, в комбинаторике, физике. Эти многочлены названы в честь Шарля Эрмита. Содержание 1 Определение 2 …   Википедия

  • Полиномы Чебышева — Многочлены Чебышёва две последовательности многочленов и , названные в честь их первооткрывателя Пафнутия Львовича Чебышёва. T1, T2, T3, T4 …   Википедия

  • Полиномы Чебышёва — Многочлены Чебышёва две последовательности многочленов и , названные в честь их первооткрывателя Пафнутия Львовича Чебышёва. T1, T2, T3, T4 …   Википедия

  • Полиномы Лежандра — Многочлены Лежандра  определённая ортогональная система многочленов, на отрезке [ − 1,1] по мере Лебега. Многочлены Лежандра могут быть получены из многочленов ортогонализацией Грама ― Шмидта. Названы по имени французского математика Адриен Мари… …   Википедия

  • ОРТОГОНАЛЬНЫЕ ПОЛИНОМЫ — системыполиномов , п =0, 1, ..., ортогональных с весом на интервале ( а, b): где квадрат нормы. Подобные системы возникают в разл. задачах матем. физики:в теории представлений групп, в вычислит. математике, при решении задачна собственные… …   Физическая энциклопедия

  • Лагерра полиномы — В математике, Многочлены Лагерра, названные в честь Эдмонда Лагерра (1834 1886), являются каноническими решениями Уравнения Лагерра: являющегося линейным дифференциальным уравнением второго порядка. Это уравнение имеет несингулярное решение… …   Википедия

  • Обобщенные полиномы Лагерра — В математике, Многочлены Лагерра, названные в честь Эдмонда Лагерра (1834 1886), являются каноническими решениями Уравнения Лагерра: являющегося линейным дифференциальным уравнением второго порядка. Это уравнение имеет несингулярное решение… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»