Processing math: 100%

Теорема об аддитивной группе многочленов

Теорема. Пусть P[x]множество многочленов над полем от переменной x, +операция сложения многочленов. Тогда (P[x],+)абелева группа.

Очевидно, P[x], +БАО. Проверим выполнение аксиом абелевой группы:

  1. Ассоциативность операции: u(x),v(x),w(x)P[x]:(u(x)+v(x))+w(x)=u(x)+(v(x)+w(x)). Как известно, операция сложения многочленов обладает ассоциативностью.
  2. Коммутативность операции: u(x),v(x)P[x]:u(x)+v(x)=v(x)+u(x). Сложение многочленов также обладает и коммутативностью.
  3. Покажем что существует нейтральный элемент по сложению, а именно: eP[x]u(x)P[x]:u(x)+e=e+u(x)=u(x). Таким элементом выступает число 0, которое можно рассматривать как одночлен, или как многочлен с коэффициентами равными нулю. Из определения сложения многочленов, сложение с ним не изменит коэффициенты исходного многочлена, т.к. 0 является нейтральным элементом для сложения чисел.
  4. Наконец, покажем существование противоположного элемента: u(x)P[x]u(x)P[x]:u(x)+(u(x))=u(x)+u(x)=e=0. Получить такой элемент для любого многочлена можно просто заменив все его коэффициенты на противоположные (простыми словами — поменяв их знаки). Суммой таких многочленов, в силу противоположности их коэффициентов как чисел, будет многочлен, все коэффициенты которого равны нулю, или просто 0.

Итак, все аксиомы выполняются, следовательно (P[x],+)абелева группа.

Примеры решения задач

Читателю предлагается решить эти примеры и сравнить своё решение с приведённым.

  1. Является ли (P3[x],+), где P3[x]множество многочленов третьей степени, абелевой группой?
    Решение

    Очевидно, операция сложения многочленов сохраняет все свои свойства на этом множестве, а нейтральный и противоположный элементы ему принадлежат все аксиомы выполняются. Также, + остается БАО, а P3[x]. Значит, ответ положительный.

  2. Является ли (P3[x],), где P3[x]множество многочленов третьей степени, а операция умножения многочленов, абелевой группой?
    Решение

    Аналогично первому примеру, P3[x]. Однако, в случае умножения, произведением двух многочленов 3-й степени будет многочлен 6-й степени (по лемме о степени произведения), что выходит за границы рассматриваемого множества. Значит, (P3[x],) — не абелева группа.

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

  1. А.Г. Курош Курс высшей алгебры. — Издание девятое. — Москва: Наука, 1968. — 431с. (c. 132-134)
  2. К.Д. Фадеев Лекции по алгебре. — Москва: Наука, 1984. — 416с. (c. 54-55)
  3. А.И. Кострикин Введение в алгебру. Основы алгебры. — Москва: Физматлит, 1994. -320с. (с. 211-212)
  4. Белозёров Г.С. Конспект лекций.

Аддитивная группа многочленов

Этот тест призван проверить Ваши знания по теме «Аддитивная группа многочленов».

Группы. Примеры групп. Простейшие следствия из аксиом.

Определение

Пусть G, »»БАО на G. Тогда (G,) называется группой, если выполняются следующие три аксиомы.

  • 1. Ассоциативность. a,b,cG   (ab)c=a(bc).
  • 2. Нейтральный элемент. eG,aG ae=ea=a.
  • 3. Симметрический элемент. aG,aGaa=aa=e.

Если, кроме этих трех условий выполняется условие коммутативности a,bG ab=ba, то такая группа называется абелевой.

Примеры

  • 1.) (Z,+),(Q,+),(R,+) — аддитивные группы (по сложению всякое кольцо является абелевой группой).
  • 2.) (Q,),(R+,),(R,) — мультипликативные группы(совокупность отличных от нуля элементов любого поля является абелевой группой).
  • 3.) (C[1;1],+) — множество непрерывных вещественных функций определенных на [1;1].
  • 4.) (R2,+),(a,b)+(c,d)=(a+c,b+d).
  • 5.) G2n, где n — простое. Возможно по крайней мере 2 группы: Циклическая группа C2n и диэдр Dn
  • grafik1grafik1

Простейшие следствия из аксиом

  • 1. Нейтральный элемент — единственный.

Доказательство. Предположим противное. Пусть e, так как e — нейтральный элемент, то ee=e, но e тоже нейтральный элемент, а значит ee=ee=e.

  • 2. aG !a,aa=e

Доказательство. Предположим противное. Пусть a»,a»a=aa»=e,aa=aa=e,aaa»=(aa)a»=ea»=a», a(aa»)=ae=aa=a»

  • 3. ax=b,(xb=a), решение единственно.

Доказательство.

Единственность.

x0 — решение. ax0=b,a(ax0)=ab,(aa)x0=ab, ex0=ab,x0=ab

Существование.

x0=ab,a(ab)=(aa)b=eb=b

  • 4. (a)=a,aG

Доказательство. По третьей аксиоме a(a)=e,aa=e
a(a)=aa(a)=a.

  • 5. (ab)=ba

Доказательство.
(ab)(ab)=e,aa=e, bb=e(aa)(bb)=(bb)(aa)=ee(bb)(aa)=e (ab)(ab)=(bb)(aa) (ab)(ab)=(ab)ba(ab)=ba

  • 6. nNan=aa..an

Доказательство.

База индукции.

a1=a.

Предположение индукции.

Пусть n=k,ak=aa..ak.

Шаг индукции.

Пусть n=k+1,aka1=a(aa..a), ak+1=aa..ak+1.

  • 7. n,mN,anam=an+m

Доказательство.

am=aa..am,an=aa..an

anam=aa..anaa..am anam=aa..an+m, aa..an+m=an+m an+m=anam

 

  • 8. n,mN,(an)m=anm

 

Доказательство.

(an)m=(aa..a)mn (an)m=(aa..a)nm (an)m=(aa..a)n(aa..a)m

(aa..a)n=an, (aa..a)m=am (an)m=anam

 

  • 9. nN,(an)=(a)n

 

Доказательство.

an(an)=e,(a)n=(aa..a)n,

(aa..a)n(aa..a)n=e an(a)n=e an(a)n=an(an) (a)n=(an).
Литература

 

 

Тесты

Группы. Примеры групп. Простейшие следствия из аксиом.

Группы. Примеры групп. Простейшие следствия из аксиом.


Таблица лучших: Группы. Примеры групп. Простейшие следствия из аксиом.

максимум из 2 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Вступление в теорию действительных чисел

Множество вещественных чисел

Всякую дробь вида ±a0,a1a2a3an, где a0 — целое неотрицательное число, а ai — десятичные знаки (0,1,2,3,4,,9) назовём вещественным (или действительным) числом.

(если перед дробью стоит +, то его опускают)

Множество таких чисел называют множеством вещественных чисел и обозначают R.

Если дробь ±a0,a1a2a3 является периодической, то её называют рациональным числом, а если она непериодическая дробь, то это число иррациональное.

Например: x2=2

x=±2=1,41421

x — иррациональное число.

NQR

RQ — множество иррациональных чисел.

27

Сравнение вещественных чисел

1.Пусть α и β — неотрицательные вещественные числа.

α=a0,a1a2a3;   β=b0,b1b2b3;

α=β ak=bk, k=0,1,2,

α<β, либо когда a0<b0, либо если a0=b0 и n:a1=b1,a2=b2,,an1=bn1;an<bn.

2. Пусть α — неотрицательное и β — отрицательное, тогда α>β.

3. Пусть α и β — отрицательные, тогда

α=β|α|=|β|;

α<β|α|>|β|,

где |α|=|±a0,a1a2a3|=a0,a1a2a3; |β|=|±b0,b1b2b3|=b0,b1b2b3

Приближение вещественных чисел рациональными числами

Покажем, что любое вещественное число можно приблизить с любой степенью точности рациональными числами.

Возьмём вещественное число a=a0,a1a2a3anan+1an+2

Обрывая эту дробь на n-ном знаке после запятой получим рациональное число:
a=a0,a1a2a3an(0)
Из правила сравнения вещественных чисел видно, что для nR:
a0,a1a2a3an(0)< a0,a1a2a3anan+1an+2a< a0,a1a2a3an+110n
Это неравенство значит, что число a заключено между рациональными числами, разность между которыми равна  110n.

svg22

110n<ε;  ε фиксируемое  1<ε10n  1ε<10n  n>lg1ε.

Возьмём, например   ε=1103.

Получаем   n>lg103n>3.

Вывод: для любого вещественного вещественного числа a и для любой наперёд заданной точности ε  существуют α1,α2Q  такие, что  α1aα2.    α2α1<ε.

Лемма

Если α и β — вещественные числа. α,βR(α<β), то rQ:α<r<β.
◻ 1) Если α и β — рациональные, то r=α+β2.
1) Если одно из чисел α и β иррациональное.
Допустим β — иррациональное, тогда β — бесконечная непереодическая дробь. Допустим α>0β>0 (так как α<β), тогда существует номер p, такой что a1=b1,a2=b2,,ap1=bp1,   ap<bp.
Так как β — иррациональное, то оно не может быть конечной десятичной дробью с периодом «0». Поэтому существует номер больше p. Например p+n, такой что bp+n>0.
Имеем r=a0,a1a2a3ap1bpbp+n1(0).
Получили число r, такое что α<r<β.  ◼

Аксиомы действительных чисел

Множеством R называется множество, на котором выполняются следующие условия:

1) Во множестве R определена операция «сложение»: a,bRa+bR
 a. a+b=b+a (сложение коммутативно);
 b. (a+b)+c=a+(b+c) (сложение ассоциативно);
 с. 0R:aR:a+0=a (наличие нейтрального элемента);
 d. aR   «a»:a+(a)=0 (наличие противоположного элемента).
Число a+(b) называется разностью чисел a и b и обозначаются ab.

2) В R определена операция «умножение»: a,bRabR
а. ab=ba (коммутативность умножения);
b. a(bc)=(ab)c (ассоциативность умножения);
с. 1R:aR:a1=a (наличие нейтрального элемента);
d. a0:a1R:aa1=1 (наличие противоположного элемента).
ab1частное деление a на b и обозначается   ab  или  a:b.

3) Выполняется дистрибутивный закон (связь сложения и умножения):
a,b,cR:a(b+c)=ab+ac.
4) aR:a<0 либо a=0, либо a>0.

При этом, если a>0 и  b>0   a+b>0,   ab>0.

Числа больше 0 называются положительными. Числа меньше 0 называются отрицательными.

Если ab>0, то пишут a>b;

Если ab<0, то пишут a<b;

Если ab=0, то пишут a=b.

Для множеств:
Для A,BR
Запись AB  означает, что  aA,bB:ab.
Если  A={a} (множество из одного элемента)  и  AB,  то  aB.
Непрерывность множества R заключается в том, что в R  нет «щелей», а именно справедлива:

Аксиома непрерывности

A,BR(A,B): abcR: acb.
Неравенство Бернулли
Пусть xR,x1,nN. Тогда
(1+x)n1+nx
Доказательство:
Если n=1 неравенство очевидно. Допустим, оно выполняется при nN. Докажем его справедливость при n+1N. Действительно:

(1+x)n+1= (1+x)n(1+x)(1+nx)(1+x);

(1+nx)(1+x)= 1+(n+1)x+nx21+(n+1)x.

Что и требовалось доказать. ◼

Вступление в теорию действительных чисел

Тестовые вопросы по вышеизложенному материалу.

Таблица лучших: Вступление в теорию действительных чисел

максимум из 5 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Источники:

  1. З.М. Лысенко. Лекции по математическому анализу.
  2. В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.2.
  3. В.И.Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40 (скачать учебник можно здесь).

Подробнее о вещественных числах на:

Wikipedia

matica.org.ua