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

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

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

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

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

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

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

  1. Является ли $\left( P^3\left[x\right],+ \right),$ где $P^3\left[x\right]$ — множество многочленов третьей степени, абелевой группой?
    Решение

    Очевидно, операция сложения многочленов сохраняет все свои свойства на этом множестве, а нейтральный и противоположный элементы ему принадлежат $\Rightarrow$ все аксиомы выполняются. Также, $+$ остается БАО, а $P^3\left[x\right]\neq \varnothing.$ Значит, ответ положительный.

  2. Является ли $\left( P^3\left[x\right],\cdot \right),$ где $P^3\left[x\right]$ — множество многочленов третьей степени, а $\cdot$ — операция умножения многочленов, абелевой группой?
    Решение

    Аналогично первому примеру, $P^3\left[x\right]\neq \varnothing.$ Однако, в случае умножения, произведением двух многочленов $3$-й степени будет многочлен $6$-й степени (по лемме о степени произведения), что выходит за границы рассматриваемого множества. Значит, $\left( P^3\left[x\right],\cdot \right)$ — не абелева группа.

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

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

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

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

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

Определение

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

  • 1. Ассоциативность. $\forall a, b, c\in G~$ $~ (a*b)*c=$$a*(b*c).$
  • 2. Нейтральный элемент. $\exists e\in G ,\forall a\in G~a*e=$$e*a=a.$
  • 3. Симметрический элемент. $\forall a\in G,\exists a^{‘}\in G$$ a*a^{‘}=a^{‘}*a=e.$

Если, кроме этих трех условий выполняется условие коммутативности $\forall a, b \in G~a*b=b*a,$ то такая группа называется абелевой.

Примеры

  • 1.) $(\mathbb Z, +), (\mathbb Q^{*}, +),(\mathbb R, +)$ — аддитивные группы (по сложению всякое кольцо является абелевой группой).
  • 2.) $(\mathbb Q^{*}, \cdot), (\mathbb R^{+}, \cdot),(\mathbb R^{*}, \cdot)$ — мультипликативные группы(совокупность отличных от нуля элементов любого поля является абелевой группой).
  • 3.) $ (\mathbb C_{[-1;1]}, +) $ — множество непрерывных вещественных функций определенных на $[-1;1].$
  • 4.) $(\mathbb R^{2}, +), (a, b)+(c, d)=$$(a+c, b+d).$
  • 5.) $G_{2n},$ где $n$ — простое. Возможно по крайней мере 2 группы: Циклическая группа $ C_{2n}$ и диэдр $D_{n}$
  • grafik1grafik1

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

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

Доказательство. Предположим противное. Пусть $\exists e^{‘},$ так как $e^{‘}$ — нейтральный элемент, то $e^{‘}e=e^{‘}$, но $e$ тоже нейтральный элемент, а значит $e^{‘}e=e \Longrightarrow e=e^{‘}. $

  • 2. $\forall a\in G~ \exists! a^{‘},a^{‘}a=e$

Доказательство. Предположим противное. Пусть $\exists a^{»},a^{»}a=aa^{»}=e,$$ a^{‘}a=aa^{‘}=e,$$ a^{‘}aa^{»}=(a^{‘}a)a^{»}=ea^{»}=a^{»},$ $a^{‘}(aa^{»})=a^{‘}e=a^{‘} \Longrightarrow $$a^{‘}=a^{»} $

  • 3. $a*x=b,(x*b=a)$, решение единственно.

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

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

$x_{0}$ — решение. $ax_{0}=b, a^{‘}(ax_{0})=a^{‘}b,$$ (a^{‘}a)x_{0}=a^{‘}b$, $ex_{0}=a^{‘}b, x_{0}=a^{‘}b$

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

$x_{0}=a^{‘}b, a(a^{‘}b)=$$(aa^{‘})b=eb=b$

  • 4. $(a^{‘})^{‘}=a, \forall a\in G$

Доказательство. По третьей аксиоме $a^{‘}(a^{‘})^{‘}=e, a^{‘}a=e \Longrightarrow$
$a^{‘}(a^{‘})^{‘}=a^{‘}a\Longrightarrow (a^{‘})^{‘}=a$.

  • 5. $(ab)^{‘}=b^{‘}a^{‘}$

Доказательство.
$(ab)(ab)^{‘}=e, aa^{‘}=e$, $bb^{‘}=e \Longrightarrow (aa^{‘})(bb^{‘})=$$(bb^{‘})(aa^{‘})=ee \Longrightarrow $$ (bb^{‘})(aa^{‘})=e \Longrightarrow$ $(ab)(ab)^{‘}=(bb^{‘})(aa^{‘}) \Longrightarrow$ $(ab)(ab)^{‘}=(ab)b^{‘}a^{‘} \Longrightarrow$$ (ab)^{‘}=b^{‘}a^{‘}$

  • 6. $\forall n\in \mathbb N$$ a^{n}=\underset{n}{\underbrace{aa..a}}$

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

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

$a^{1}=a$.

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

Пусть $n=k, a^{k}=\underset{k}{\underbrace{aa..a}}.$

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

Пусть $n=k+1, a^{k}a^{1}=a(aa..a),$ $a^{k+1}=\underset{k+1}{\underbrace{aa..a}}$.

  • 7. $\forall n, m\in \mathbb N, a^{n}a^{m}=a^{n+m}$

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

$a^{m}=\underset{m}{\underbrace{aa..a}}, a^{n}=\underset{n}{\underbrace{aa..a}}$

$a^{n}a^{m}=\underset{n}{\underbrace{aa..a}} \cdot \underset{m}{\underbrace{aa..a}} \Longrightarrow$ $a^{n}a^{m}=\underset{n+m}{\underbrace{aa..a}}$, $\underset{n+m}{\underbrace{aa..a}}=a^{n+m} \Longrightarrow$ $a^{n+m}=a^{n}a^{m}$

 

  • 8. $\forall n, m\in \mathbb N, (a^{n})^{m}=a^{nm}$

 

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

$(a^{n})^{m}=\underset{n}{\underbrace{(aa..a)^{m}}} \Longrightarrow$ $(a^{n})^{m}=\underset{n\cdot m}{\underbrace{(aa..a)}} \Longrightarrow$ $(a^{n})^{m}=\underset{n}{\underbrace{(aa..a)}}\cdot \underset{m}{\underbrace{(aa..a)}} $

$\underset{n}{\underbrace{(aa..a)}}=a^{n}$, $\underset{m}{\underbrace{(aa..a)}}=a^{m} \Longrightarrow$ $(a^{n})^{m}=a^{n}a^{m}$

 

  • 9. $\forall n\in \mathbb N, (a^{n})^{‘}=(a^{‘})^{n}$

 

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

$a^{n}(a^{n})^{‘}=e, (a^{‘})^{n}=$$\underset{n}{\underbrace{(a^{‘}a^{‘}..a^{‘})}},$

$\underset{n}{\underbrace{(aa..a)}} \cdot \underset{n}{\underbrace{(a^{‘}a^{‘}..a^{‘})}}=e \Longrightarrow$ $a^{n}(a^{‘})^{n}=e \Longrightarrow$ $a^{n}(a^{‘})^{n}=a^{n}(a^{n})^{‘} \Longrightarrow$ $(a^{‘})^{n}=(a^{n})^{‘}.$
Литература

 

 

Тесты

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

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


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

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

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

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

Всякую дробь вида $latex \pm a_{0},a_{1}a_{2}a_{3}…a_{n}…$, где $latex a_{0} $ — целое неотрицательное число, а $latex a_{i} $ — десятичные знаки $latex (0,1,2,3,4,…,9) $ назовём вещественным (или действительным) числом.

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

Множество таких чисел называют множеством вещественных чисел и обозначают $latex \mathbb{R} $.

Если дробь $latex \pm a_{0},a_{1}a_{2}a_{3}…$ является периодической, то её называют рациональным числом, а если она непериодическая дробь, то это число иррациональное.

Например: $latex x^{2}=2 $

$latex x=\pm\sqrt{2}=1,41421… $

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

$latex \mathbb{N}\subset\mathbb{Q}\subset\mathbb{R} $

$latex \mathbb{R}-\mathbb{Q} $ — множество иррациональных чисел.

27

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

1.Пусть $latex \alpha$ и $latex \beta $ — неотрицательные вещественные числа.

$latex \alpha = a_{0},a_{1}a_{2}a_{3}… $;   $latex \beta = b_{0},b_{1}b_{2}b_{3}… $;

$latex \alpha = \beta $ $latex \Leftrightarrow$ $latex a_{k}=b_{k} $, $latex k=0,1,2,… $

$latex \alpha < \beta $, либо когда $latex a_{0} < b_{0} $, либо если $latex a_{0} = b_{0}$ и $latex \exists n:a_{1}=b_{1}, a_{2}=b_{2},…,a_{n-1}=b_{n-1}; a_{n}<b_{n} $.

2. Пусть $latex \alpha$ — неотрицательное и $latex \beta $ — отрицательное, тогда $latex \alpha > \beta $.

3. Пусть $latex \alpha$ и $latex \beta $ — отрицательные, тогда

$latex \alpha = \beta \Leftrightarrow \left | \alpha \right |=\left | \beta \right |$;

$latex \alpha < \beta \Leftrightarrow \left | \alpha \right |>\left | \beta \right |$,

где $latex \left | \alpha \right |=\left | \pm a_{0},a_{1}a_{2}a_{3}… \right |=a_{0},a_{1}a_{2}a_{3}…$; $latex \left | \beta \right |=\left | \pm b_{0},b_{1}b_{2}b_{3}… \right |=b_{0},b_{1}b_{2}b_{3}…$

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

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

Возьмём вещественное число $latex a=a_{0},a_{1}a_{2}a_{3} \ldots a_{n}a_{n+1}a_{n+2} \ldots$

Обрывая эту дробь на $latex n$-ном знаке после запятой получим рациональное число:
$latex {a}’=a_{0},a_{1}a_{2}a_{3} \cdots a_{n}(0)$
Из правила сравнения вещественных чисел видно, что для $latex \forall n \in \mathbb{R}:$
$latex a_{0},a_{1}a_{2}a_{3} \cdots a_{n}(0) <$ $latex \underbrace{a_{0},a_{1}a_{2}a_{3} \cdots a_{n}a_{n+1}a_{n+2} \cdots}_{a}<$ $latex a_{0},a_{1}a_{2}a_{3} \cdots a_{n}+\frac{1}{10^{n}}$
Это неравенство значит, что число $latex a$ заключено между рациональными числами, разность между которыми равна  $latex \frac{1}{10^{n}}$.

svg22

$latex \frac{1}{10^{n}}<\varepsilon$;  $latex \varepsilon-$ фиксируемое  $latex \Rightarrow 1<\varepsilon 10^{n}$  $latex \Rightarrow \frac{1}{\varepsilon}<10^{n} \Rightarrow$  $latex n> \lg \frac{1}{\varepsilon}.$

Возьмём, например   $latex \varepsilon= \frac{1}{10^{3}}$.

Получаем   $latex n>\lg 10^{3} \Rightarrow n>3$.

Вывод: для любого вещественного вещественного числа $latex a$ и для любой наперёд заданной точности $latex \varepsilon$  существуют $latex \alpha_{1}, \alpha_{2} \in \mathbb{Q}$  такие, что  $latex \alpha_{1} \leq a \leq \alpha_{2}.$    $latex \alpha_{2}-\alpha_{1}<\varepsilon$.

Лемма

Если $latex \alpha$ и $latex \beta $ — вещественные числа. $latex \alpha ,\beta \in\mathbb{R}(\alpha < \beta )$, то $latex \exists r \in\mathbb{Q}:\alpha <r<\beta$.
$latex \square$ $latex 1) $ Если $latex \alpha$ и $latex \beta $ — рациональные, то $latex r=\frac{\alpha +\beta }{2}$.
$latex 1) $ Если одно из чисел $latex \alpha$ и $latex \beta $ иррациональное.
Допустим $latex \beta $ — иррациональное, тогда $latex \beta $ — бесконечная непереодическая дробь. Допустим $latex \alpha > 0 \Rightarrow \beta > 0$ (так как $latex \alpha < \beta $), тогда существует номер $latex p$, такой что $latex a_{1}=b_{1}, a_{2}=b_{2},…,a_{p-1}=b_{p-1}$,   $latex a_{p}<b_{p}$.
Так как $latex \beta $ — иррациональное, то оно не может быть конечной десятичной дробью с периодом $latex «0»$. Поэтому существует номер больше $latex p$. Например $latex p+n$, такой что $latex b_{p+n}>0$.
Имеем $latex r=a_{0},a_{1}a_{2}a_{3}…a_{p-1}b_{p}…b_{p+n-1}(0)$.
Получили число $latex r$, такое что $latex \alpha<r<\beta$.  $latex \blacksquare$

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

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

$latex 1)$ Во множестве $latex \mathbb{R}$ определена операция «сложение»: $latex \forall a,b\in\mathbb{R}\mapsto a+b\in\mathbb{R}$
 a. $latex a+b=b+a$ (сложение коммутативно);
 b. $latex (a+b)+c=a+(b+c)$ (сложение ассоциативно);
 с. $latex \exists 0\in \mathbb{R}:\forall a\in\mathbb{R}:a+0=a$ (наличие нейтрального элемента);
 d. $latex \forall a\in\mathbb{R}$   $latex \exists «-a»:a+(-a)=0$ (наличие противоположного элемента).
Число $latex a+(-b)$ называется разностью чисел $latex a$ и $latex b$ и обозначаются $latex a-b$.

$latex 2)$ В $latex \mathbb{R}$ определена операция «умножение»: $latex \forall a,b\in\mathbb{R}\mapsto ab\in\mathbb{R}$
а. $latex ab=ba$ (коммутативность умножения);
b. $latex a(bc)=(ab)c$ (ассоциативность умножения);
с. $latex \exists 1\in\mathbb{R}: \forall a\in\mathbb{R}: a*1=a$ (наличие нейтрального элемента);
d. $latex \forall a\neq 0:\exists a^{-1}\in\mathbb{R}:a*a^{-1}=1$ (наличие противоположного элемента).
$latex a*b^{-1}$ — частное деление $latex a$ на $latex b$ и обозначается   $latex \frac{a}{b}$  или  $latex a:b$.

$latex 3)$ Выполняется дистрибутивный закон (связь сложения и умножения):
$latex \forall a,b,c\in \mathbb{R}: a(b+c)=ab+ac$.
$latex 4)$ $latex \forall a\in \mathbb{R}: a<0$ либо $latex a=0$, либо $latex a>0$.

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

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

Если $latex a-b>0$, то пишут $latex a>b$;

Если $latex a-b<0$, то пишут $latex a<b$;

Если $latex a-b=0$, то пишут $latex a=b$.

Для множеств:
Для $latex A,B \subset \mathbb{R}$
Запись $latex A \leq B$  означает, что  $latex \forall a \in A, \forall b \in B: a \leq b$.
Если  $latex A= \left \{a \right \}$ (множество из одного элемента)  и  $latex A \leq B$,  то  $latex a \leq B$.
Непрерывность множества $latex \mathbb{R}$ заключается в том, что в $latex \mathbb{R}$  нет «щелей», а именно справедлива:

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

$latex \forall A,B \subset \mathbb{R} (A \neq \varnothing, B \neq \varnothing ):$ $latex a \leq b \Rightarrow \exists c \in \mathbb{R} :$ $latex a \leq c \leq b$.
Неравенство Бернулли
Пусть $latex x\in \mathbb{R}, x\geq 1, n\in \mathbb{N}$. Тогда
$latex \left ( 1+x \right )^{n} \geq 1+nx$
Доказательство:
Если n=1 неравенство очевидно. Допустим, оно выполняется при $latex n \in \mathbb{N}$. Докажем его справедливость при $latex n+1 \in \mathbb{N}$. Действительно:

$latex \left ( 1+x \right )^{n+1}=$ $latex \left ( 1+x \right )^{n}\left ( 1+x \right )\geq \left ( 1+nx \right )\left ( 1+x \right )$;

$latex \left ( 1+nx \right )\left ( 1+x \right )=$ $latex 1+\left ( n+1 \right )x+nx^{2}\geq 1+\left ( n+1 \right )x$.

Что и требовалось доказать. $latex \blacksquare$

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

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

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

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

Источники:

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

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

Wikipedia

matica.org.ua