Очевидно, $P\left[x\right]\neq \varnothing,$ $+$ — БАО. Проверим выполнение аксиом абелевой группы:
Ассоциативность операции: $$\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).$$ Как известно, операция сложения многочленов обладает ассоциативностью.
Коммутативность операции: $$\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).$$ Сложение многочленов также обладает и коммутативностью.
Покажем что существует нейтральный элемент по сложению, а именно: $$\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$ является нейтральным элементом для сложения чисел.
Наконец, покажем существование противоположного элемента: $$\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.$
Очевидно, операция сложения многочленов сохраняет все свои свойства на этом множестве, а нейтральный и противоположный элементы ему принадлежат $\Rightarrow$ все аксиомы выполняются. Также, $+$ остается БАО, а $P^3\left[x\right]\neq \varnothing.$ Значит, ответ положительный.
Аналогично первому примеру, $P^3\left[x\right]\neq \varnothing.$ Однако, в случае умножения, произведением двух многочленов $3$-й степени будет многочлен $6$-й степени (по лемме о степени произведения), что выходит за границы рассматриваемого множества. Значит, $\left( P^3\left[x\right],\cdot \right)$ — не абелева группа.
Как называется элемент $e,$ для которого выполняется: $$\forall u\left(x\right) \in P\left[x\right]: u\left(x\right)+e=e+u\left(x\right)=u\left(x\right).$$ (1 слово)
Задание 3 из 3
3.
Количество баллов: 5
Вставьте пропущенные слова.
Нулевой многочлен выступает (нейтральный, нейтральным) элементом для операции сложения многочленов. Его можно получить, сложив два (противоположных, нулевых) многочлена.
Если, кроме этих трех условий выполняется условие коммутативности $\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].$
5.) $G_{2n},$ где $n$ — простое. Возможно по крайней мере 2 группы: Циклическая группа $ C_{2n}$ и диэдр $D_{n}$
Простейшие следствия из аксиом
1. Нейтральный элемент — единственный.
Доказательство. Предположим противное. Пусть $\exists e^{‘},$ так как $e^{‘}$ — нейтральный элемент, то $e^{‘}e=e^{‘}$, но $e$ тоже нейтральный элемент, а значит $e^{‘}e=e \Longrightarrow e=e^{‘}. $
Группы. Примеры групп. Простейшие следствия из аксиом.
Лимит времени: 0
Навигация (только номера заданий)
0 из 2 заданий окончено
Вопросы:
1
2
Информация
Группы. Примеры групп. Простейшие следствия из аксиом.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 2
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
С ответом
С отметкой о просмотре
Задание 1 из 2
1.
Количество баллов: 1
Заполните пропуск.
Если, кроме трёх аксиом группы выполняется условие (коммутативности, коммутативность, Коммутативность, Коммутативности), то такая группа называется абелева
Правильно
Неправильно
Задание 2 из 2
2.
Количество баллов: 1
Какие следующие множества являются группами.
Правильно
Неправильно
Таблица лучших: Группы. Примеры групп. Простейшие следствия из аксиом.
Всякую дробь вида $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 \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 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}}$.
Возьмём, например $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}$. Действительно:
В.И.Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40 (скачать учебник можно здесь).