Многочлены Чебышева и их основные свойства

курсовая работа

Глава 2. Основы теории многочленов от одной переменной

Определение 1. Пусть и - ассоциативно-коммутативные кольца с единицами. Кольцо называется простым расширением кольца с помощью элемента , если выполняются следующие условия:

1) - подкольцо кольца ;

2) , и записывают .

Определение 2. Простое расширение называется простым трансцендентным расширением кольца , если выполняется следующее условие: из равенства следует, что . Элемент в этом случае называется трансцендентным элементом над (относительно ).

Лемма 1. Пусть - простое трансцендентное расширение ассоциативно-коммутативного кольца с единицей,. Если

и

,

то и .

Лемма 2. Пусть и - простые трансцендентные расширения ассоциативно-коммутативных колец и с единицами. Если и - изоморфизм на , то , причем существует единственный изоморфизм кольца на , который переводит элемент в элемент (т.е. ) и продолжает изоморфизм .

Следствие 2.1. Пусть и - простое трансцендентное расширение ассоциативно-коммутативного кольца с единицей. Тогда .

Лемма 3. Пусть - ассоциативно-коммутативное кольцо с единицей, и лишь конечное число . Тогда множество является ассоциативно-коммутативным кольцом с единицей относительно операций, заданных по правилу:

1)

2) где

и т.д.,

Теорема 1. Пусть - ассоциативно-коммутативное кольцо с единицей. Тогда для существуют простые трансцендентные расширения, причём любые 2 из них изоморфны.

Замечание. Кольцо , построенное в лемме 3, и являющееся простым трансцендентным расширением кольца согласно теореме 1, называется кольцом многочленов (полиномов) от одной переменной (неизвестной) над кольцом и обозначается . Элементы кольца называются многочленами (полиномами) над кольцом от переменной .

Пусть, например, , причём (ввиду теоремы 1). Тогда - свободный или постоянный член многочлена , - старший коэффициент многочлена .

Определение 3. Пусть - ассоциативно-коммутативное кольцо с единицей, Число называется степенью многочлена и обозначается , т.е. (степень многочлена - это степень переменной при старшем коэффициенте).

Определение 4. Нулевым многочленом называется многочлен, все коэффициенты которого равны 0, и обозначается 0. По определению полагают, что степень нулевого многочлена равна , т.е. . Таким образом, если , то (.

Теорема 2. Пусть - ненулевое ассоциативно-коммутативное кольцо с единицей, . Тогда:

1) ;

2) .

Следствие 2.1. Пусть - область целостности. Тогда .

Теорема 3. Если - область целостности, то - область целостности.

Теорема 4. Пусть - область целостности. Тогда для существует поле частных.

Определение 5. Пусть - ассоциативно-коммутативное кольцо с единицей. Говорят, что многочлен делится на многочлен , если и обозначается или .

Простейшие свойства отношения делимости в :

1) рефлексивность ;

2) транзитивность и ;

3) и ;

4) ;

5).

Определение 6. Пусть - ассоциативно-коммутативное кольцо с единицей, (т.е. ), . Элемент называется значением многочлена в точке (на элементе ) и обозначается , то есть .

Теорема 5 (теорема Безу). Пусть - ассоциативно-коммутативное кольцо с единицей, , . Тогда существует такой, что .

Доказательство. Пусть . Тогда .

Таким образом, , где . Теорема доказана.

Определение 7. Пусть - ассоциативно-коммутативное кольцо с единицей, . Элемент называется корнем многочлена , если .

Следствие 5.1. Пусть - ассоциативно-коммутативное кольцо с единицей, , . Тогда - корень делится на .

Следствие 5.2. При делении многочлена на получается остаток , равный .

Теорема 6. Пусть - область целостности, , . Тогда многочлен имеет не более попарно различных корней. Другими словами, любой ненулевой многочлен -й степени над областью целостности имеет не более попарно различных корней.

Доказательство. Доказательство проведём методом математической индукции по параметру .

1) Пусть не имеет корней, т.е. имеет нуль корней и значит - верно.

2) Пусть . Предположим, что утверждение верно при .

3) Докажем, что утверждение верно при : . Если не имеет корней, то число корней равно и - верно. Пусть имеет хотя бы один корень и - корень такой, что . Тогда по теореме Безу , где , причём по пункту 2) имеет не более попарно различных корней.

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

Из 1)-3) по методу математической индукции следует, что утверждение верно для любого . Теорема доказана.

Следствие 6.1. Пусть - область целостности, . Если многочлен имеет более попарно различных корней, то является нулевым многочленом.

Определение 8. Пусть , , где - ассоциативно-коммутативное кольцо с единицей. Многочлены и называются алгебраически равными, если , .

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

Теорема 7. Пусть - бесконечная область целостности,. Многочлены и алгебраически равны и равны функционально.

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

Определение 10. Пусть - поле, . Многочлен называется наибольшим общим делителем многочленов и (или коротко, НОД и ) и обозначается , если выполняются два условия:

1) - общий делитель многочленов и , т.е. и ;

2) делится на любой общий делитель многочленов и , т.е. если и , то .

Лемма 4. Пусть - поле, , и . Тогда НОД многочленов и и НОД многочленов и ассоциированы, т.е. .

Лемма 5. НОД двух многочленов определяется однозначно с точностью до ассоциированности.

Определение 11. Пусть - поле, . Многочлен называется наименьшим общим кратным многочленов и (или коротко, НОК и ) и обозначается , если выполняются два условия:

1) - общее кратное многочленов и , т.е. и ;

2) делит любое общее кратное многочленов и , т.е. если и , то .

Лемма 6. НОК двух многочленов определяется однозначно с точностью до ассоциированности.

Пусть - поле, . Для нахождения НОК многочленов и применяется следующая формула: .

Теорема 9 (теорема о линейном представлении НОД). Пусть - поле, , , . Тогда .

Определение 12. Пусть - поле, , . Многочлен вида называется формальной производной многочлена и обозначается .

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

1) ;

2) ;

3) ;

4) .

Определение 13. Многочлен положительной степени над полем называется неприводимым над, если он не допускает представления в виде произведения двух многочленов над полем меньшей степени.

Определение 14. Многочлен положительной степени над полем называется приводимым над , если он допускает представление в виде произведения двух многочленов над полем меньшей степени.

Лемма 7. Многочлен первой степени неприводим над любым полем.

Лемма 8. Пусть - поле, - неприводимые над многочлены. Если , то .

Замечание 1. Пусть - поле. Тогда - область целостности - область целостности все элементы области целостности подразделяются на 4 вида:

=

Замечание 2. Поскольку НОД и НОК многочленов определяются однозначно с точностью до ассоциированности, то многочлены и являются взаимно простыми .

Замечание 3. Пусть - неприводимый над многочлен. Если , то либо , либо .

Лемма 9. Пусть - поле, , - неприводимый над многочлен. f p и взаимно просты.

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

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

Доказательство. 1) Существование. Пусть и . Доказательство проведем методом математической индукции по параметру .

1. Пусть неприводим над - искомое представление.

2. Допустим, что утверждение верно для любого многочлена положительной степени над полем .

3. Докажем утверждение для многочлена . Если неприводим над , то - искомое представление. Пусть приводим над

, где и и - представление и в виде произведения неприводимых над многочленов - искомое представление.

Из 1-3 по методу математической индукции утверждение верно для любого .

2) Единственность. Пусть и - требуемые представления . Так как , то либо , либо . Пусть, например, . Так как левая часть делится на , то по лемме 4 хотя бы один из множителей делится на . Так как множители можем менять местами, то будем считать, что по лемме 8 и по замечанию 3 , где , . Так как левая часть делится на , то, как и выше, получим и , где , причем и т.д., через конечное число шагов получим . Допустим, что противоречие . Таким образом, представление многочлена в виде требуемого произведения определяется однозначно с точностью до порядка следования множителей и ассоциированности. Теорема доказана.

Определение 15. Пусть - поле. Многочлен называется нормированным или приведенным, если .

Следствие 10.1. Любой многочлен положительной степени над полем допускает представление в виде: , где , - неприводимые над нормированные многочлены.

Определение 16. Пусть , - поле, . Представление многочлена в виде , где , - попарно различные неприводимые над полем нормированные многочлены, , называется каноническим представлением многочлена , число называется кратностью множителя . Если , то называется простым неприводимым множителем многочлена .

Определение 17. Пусть , - ассоциативно-коммутативное кольцо с единицей, - корень . Число называется кратностью корня многочлена , если , но .

В этом случае пишут - данная запись означает, что - это наибольшая степень , которая делит .

Теорема 11. Пусть - несократимая рациональная дробь. Если - корень , то .

Доказательство. Так как - корень , то , то есть:

. Так как , то . Так как , то .

Теорема доказана.

Следствие 11.1. Рациональные корни нормированного многочлена с целыми коэффициентами являются его целыми корнями.

Следствие 11.2. Целые корни многочлена с целыми коэффициентами являются делителями свободного числа.

Теорема 12. Пусть , , - несократимая рациональная дробь. Если - корень , то , .

Следствие 12.1. Пусть , - несократимая рациональная дробь. Если - корень , то , .

Делись добром ;)