Главная | Обратная связь | Поможем написать вашу работу!
МегаЛекции

Количество корней многочлена над областью целостности.




Теорема 1. Кольцо многочленов над областью целостности само является областью целостности.

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

Пусть - многочлен с коэффициентами из K. Для любого положим

, (7)

где выражение в правой части понимается как результат операций в кольце K. Получаемый при этом элемент называется значением многочлена f (x) в точке x 0. (Слово "точка" употребляется по аналогии со случаем, когда x 0 можно представлять как точку действительной оси.) Таким образом, каждому элементу x 0 кольца K сопоставляется элемент f (x 0) того же кольца и тем самым определяется функция на K со значениями в K.

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

Рассмотрим два многочлена:,. Пусть h (x) = f (x) + g (x) - их сумма. Докажем, что h (x 0)= = f (x 0) + g (x 0) для любого. В соответствии с формулой (1) =, где, что и требовалось доказать.

Пусть теперь - произведение многочленов f (x) и g (x). Докажем, что для любого. Перемножим равенства,. Пользуясь свойствами операций в кольце K (в частности, коммутативностью и ассоциативностью умножения), получим:, где. Сравнение полученного результата с формулой (2) позволяет сделать вывод, что.

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

Вообще говоря, соответствие между многочленами и определяемыми ими функциями не является взаимно однозначным. Однако, если кольцо K бесконечно, то различным многочленам из кольца K [ x ] всегда соответствуют различные функции.

33-35!

36-37. НОД многочленов. Пусть F – поле. ] f,g ϵ F[x], f≠0 или g≠0. НОД f,g н-ся такой мн-тель d ϵ F[x], что: 1. d|f, d|g; 2.

Запись: d=НОД(f,g) Положим, НОД (0,0)=0. Предл: Для любых f,g из F[x]: 1) Сущ. НОД (f,g) 2)НОД(f,g) определён однозначно с точностью до ассоциированности. Пример: d1=НОД(f,g); d1=d2 => d2=НОД(f,g) Об-чим с-лом d произ-ный НОД(f,g), тогда: 3)f≠0, g≠0 => d≠0; 4)(∃ u,v ϵ F[x]) fu+gv=d; 5)(∀đ ϵ F[x]) đ|f, đ|g=>đ|d; 6)(∀L, ß ϵ Fx) d=НОД(Lf, ßg)

Док-во: 1) ] f≠0 или g≠0. Считаем d≠0.Делим с остатком: f=g*q1+r1; deg r1< deg g; g=r1*q2+r2; deg r2< deg r1 => deg g> deg r1> deg r2>... Каждый элемент ≥0 или =-∞ Через ходы получаем остаток 0. Если есть остаток, то большее число заменяем на остаток от деления, т.е. используем алгоритм Евклида. rk-1=rk*qk+1+rk+1; rk=rk+1*qk+2+rk+2; rk+1=rk+2*qk+3+0; rk+2=НОД(f,g) a) rk+2|rk+1=>rk+2|rk=>…>rk+2|g=>rk+2|f в) ]đ<F[x], đ|f,đ|g=>đ|r1=>đ|r2=>…=>đ|rk+2=> т.е. rk+2≠0, то deg đ≤rk+2 2в) ]d1=НОД(f,d), d1~d2=>d2=L*d1, LϵFx Т.е. d1|d2; deg d1=deg d2 (deg d2=deg L(=0)+deg d1) 1)d1|f, d1|g=>d2|f,d2|g; 2)(∀đϵF[x]) đ|f, đ|g=>deg đ≤deg d1=deg d2, т.е. d2=НОД(f,g). Ос-е без д-ва

38!

Риводимые и неприводимые многочлены. Приводимость многочленов первой степени, многочленов, имеющих корень.

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

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

 

Определение

Неприводимый многочлен над полем ― многочлен от переменных над полем является простым элементом кольца , то есть, непредставим в виде произведения , где и ― многочлены с коэффициентами из , отличные от констант.

Многочлен называется абсолютно неприводимым, если он неприводим над алгебраическим замыканием поля коэффициентов. Абсолютно неприводимые многочлены одной переменной ― это многочлены 1-й степени и только они. В случае нескольких переменных существуют абсолютно неприводимые многочлены сколь угодно высокой степени — например, любой многочлен вида

абсолютно неприводим.

Корни неприводимого многочлена называются сопряженными.

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

Рассмотрим полином с рациональными коэффициентами:

Если полином приводим в , то будет приводимым и полином при ; верно и обратное. Представив коэффициенты в виде несократимых дробей, возьмем

знаменатель знаменатель

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

Теорема. Если полином

имеет рациональный корень, представленный в виде несократимой дроби , то ее числитель является делителем свободного члена , а знаменатель делителем старшего коэффициента .

Доказательство. Условие эквивалентно

Это равенство можно переписать либо в виде

либо в виде

Из первого равенства следует, что делится на , а из второго — что делится на . Поскольку, по предположению теоремы, дробь несократима, то . Следовательно, число делится на , a — на . ♦

41-42

Поделиться:





Воспользуйтесь поиском по сайту:



©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...