Разбиение на попарно непересекающиеся классы. Примеры

Разбиение на попарно непересекающиеся классы

Пусть $latex A \not = \varnothing $, разбиением множества $latex A $ называется не пустое множество подмножеств $latex A_j \in A, j \in J $, такое, что выполняется два условия:
1. $latex \bigcup{} A_j= A, j \in J $.
2. $latex A_i \cap A_j= \varnothing $, для $latex i \not = j $.

 

 

 

 

 

 

Разбиение множества $latex S $ на классы $latex S_1, S_2, …,S_6 $.

Примеры

Приведем несколько примеров разбиения:

1. Множество четырехугольников $latex A $ разбито на два класса:
трапеции и прямоугольники. Данные подмножества попарно не пересекаются, а их объединения совпадают с множеством $latex A $.

2. Множество четырехугольников $latex B $ разбито на три класса:
квадраты, параллелограммы, прямоугольники. Так как прямоугольник и квадрат — частные случаи параллелограмма, то данные подмножества пересекаются, значит, не выполнено первое условие классификации, и разбиение множества $latex B $ не получено.

3. Дано множество прямых $latex C $ в пространстве, которое разбито на классы по их взаимному расположению: параллельные, пересекающиеся, скрещивающиеся. Данные подмножества попарно не пересекаются, а их объединения совпадают с множеством $latex C $.

4. Дано множество $latex N $, которое можно разделить на два класса: $latex N_1 $ и $latex N_2 $, где $latex N_1 $ — множество натуральных четных чисел, а $latex N_2 $ — множество натуральных нечетных чисел.

5. Множество $latex X $ разбито на три класса: $latex X_1 $, $latex X_2 $ и $latex X_3 $. $latex X_1 $ множество чисел, которые делятся на $latex 2 $, $latex X_2 $ — множество чисел, которые делятся на  $latex 3 $, $latex X_3 $ множество чисел, которые делятся на $latex 5 $. Но существуют числа, которые могут делится одновременно и на $latex 2 $, $latex 3 $ и $latex 5 $. Отсюда следует, что подмножества пересекаются, и разбиение не получено.

Литература:

Разбиение на попарно непересекающиеся классы

Вопросы по изложенной теме

Решение задач на все виды произведений направленных отрезков. Простейшие задачи аналитической геометрии



Теоретический материал, который понадобится для решения задач по данной теме:

Определение 1

Скалярное произведение двух векторов, отличных от нуля $\, \bar{a}$ и $\bar{b}$, —  число, равное произведению длин этих  векторов на косинус угла между ними.

Обозначается: $ (\bar{a} , \bar{b}) = |\bar{a}| \cdot |\bar{b}| \cdot \cos{\widehat{(a,b)}} $

Спойлер

Найти скалярное произведение векторов [latex](c,d)[/latex]

[latex] \bar{c}=-2\bar{a} + \bar{b} \ [/latex], $\quad$ [latex] \bar{d}= \bar{a}-\bar{b} [/latex],
если  [latex] |\bar{a}|=4\sqrt{2} [/latex], $\quad$ [latex]|\bar{b}|=8[/latex], $\quad$ [latex]\widehat{(a,b)} = \frac{\pi}{4}[/latex]

Решение:

[latex](\bar{c} , \bar{d})=(-2\bar{a} + \bar{b})(\bar{a} — \bar{b})=[/latex]
[latex]-2\bar{a} \cdot \bar{a} + \bar{b} \cdot \bar{a} + 2\bar{a} \cdot \bar{b} — \bar{b} \cdot \bar{b} = [/latex]
[latex]=-2\bar{a}^{2} + 3\bar{a} \cdot \bar{b} — \bar{b}^{2} =[/latex]
[latex] = -2\bar|{a}|^{2} + 3|\bar{a}| \cdot |\bar{b}| \cdot \cos{\widehat{(a,b)}} — |\bar{b}|^{2} = [/latex]
[latex]=-2 \cdot (4\sqrt{2})^{2} + 3 \cdot 4\sqrt{2} \cdot 8 \cdot \cos\frac{\pi}{4} — 8^{2} = [/latex]
[latex]=-64 + 96\sqrt{2} \cdot \frac{\sqrt{2}}{2} — 64 = -32 [/latex]

[свернуть]

Определение 2

Векторным произведением вектора $ \bar{a} $ на вектор $ \bar{b} $
называется такой вектор $ \bar{c} $, удовлетворяющий следующим условиям:

  • $ \bar{c} \perp \bar{a} $, $ \bar{c} \perp \bar{b} $
  • тройка $ < \bar{a} $ ,$ \bar{b} $, $ \bar{c} > $ — правая (некомпланарная тройка векторов называется правой, если векторы в ней можно представить, как располагаются большой, указательный и средний пальцы правой руки)
  • $ |\bar{c}| = |\bar{a}| \cdot |\bar{b}| \cdot \sin {\widehat{(a,b)}} $

Обозначается:$ \, \bar{c} = \left[\bar{a}, \bar{b} \right]$

Геометрический смысл векторного произведения заключается в том, что модуль векторного произведения$\quad$ $ |\bar{c}| = |\left[\bar{a}, \bar{b} \right]|$ $\quad$ равен площади параллелограмма, построенного на векторах $\bar{a}$ и $\ \bar{b}$.
рисунок-1

Спойлер

Найти площадь параллелограмма, построенного на векторах $\bar{a}$ и $\bar{b}$
$\bar{a}=(\sqrt{2},2,\sqrt{3})$, $\bar{b}=(1,1,\sqrt{2})$, $\widehat{(\bar{a},\bar{b})} = \frac{\pi}{6}$

Решение:

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

$S_{параллелограмма} \,= \,[\bar{a} \cdot \bar{b}]$ $=|\bar{a}| \cdot |\bar{b}| \cdot sin{\widehat{(\bar{a},\bar{b})}}$

Найдем модули данных векторов:
$|\bar{a}|=\sqrt{(\sqrt{2})^{2}+2^{2}+(\sqrt{3})^{2}}=3$
$|\bar{b}|=\sqrt{(1^{2}+1^{2}+(\sqrt{2})^{2}}=2$

$S_{параллелограмма} \,=3 \cdot 2 \cdot sin{\frac{\pi}{6}}=3$

[свернуть]

Определение 3

Смешанным произведением векторов $ (\bar{a}, \bar{b}, \bar{c} ) $ называется скалярное произведение векторного произведения первых двух векторов на третий.

Обозначается: $(\bar{a}, \bar{b}, \bar{c} ) = $ $ ([\bar{a}, \bar{b}], \bar{c} )$

Формула, по которой вычисляется смешанное произведение правой тройки векторов:
$ \bar{a}=(a_{1},a_{2},a_{3}), \, \bar{b}=(b_{1},b_{2},b_{3}), \, \bar{c}=(c_{1},c_{2},c_{3}) \, $,
заданных в ортонормированном базисе $ \, \bar{i},\bar{j},\bar{k}$ :

$ (\bar{a}, \bar{b}, \bar{c} )=\begin{vmatrix}
a_{1}& a_{2}&a_{3} \\
b_{1} &b_{2} &b_{3} \\
c_{1}&c_{2} & c_{3}
\end{vmatrix} $ $\quad$ (1)

Геометрический смысл смешанного произведения заключается в том, что смешанное произведение векторов равно численному значению объема параллелепипеда, образованного на этих векторах, со знаком «-» если тройка $ \bar{a}, \bar{b}, \bar{c} $ левая и со знаком «+» если тройка правая.
рисунок-1

Спойлер

Найти объем параллелепипеда построенного тройке векторов
$ < \bar{a} $ ,$ \bar{b} $, $ \bar{c} > $, если $\,\bar{a}=(2,-2,4) $, $ \, \bar{b}=(0,8,6)$, $ \, \bar{b}=(6,4,-12)$:

Решение:

Как было упомянуто выше, для того, чтобы найти объем параллелепипеда, построенного на тройке векторов нужно найти смешанное произведение этих векторов.

Воспользуемся формулой (1):

$ (\bar{a}, \bar{b}, \bar{c} )=\begin{vmatrix}
2& -2 & 4 \\
0& 8 & 6 \\
6& 4 & -12
\end{vmatrix} =$

Раcскроем определитель по первому столбцу:
$=\begin{vmatrix}
8 & 6 \\
4 & -12
\end{vmatrix} +$ $3 \cdot \begin{vmatrix}
-2 & 4 \\
8 & 6 \\
\end{vmatrix} =$ $(-96-24)+3(-12-32)=-63$

$ V_{пар-да}=|-63|=63$

[свернуть]

Литература:

  1. Курс лекций по линейной алгебре. Г.С. Белозеров
  2. В.В. Воеводин Линейная алгебра. М.: Наука, 1994, стр. 108-111, 85-87
  3. О.Н.Цубербиллер Задачи и упражнений по аналитической геометрии. СПб.: Лань, 2003. стр.208-217

Решение задач на все виды произведений направленных отрезков.


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

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

База и ранг системы векторов. Нахождение базы и вычисление ранга (приведением системы к трапециевидной форме)

Спойлер


Определение:
Базой ненулевой системы векторов называется эквивалентная ей линейно независимая подсистема. Нулевая система базы не имеет.

Свойство 1:
База линейной независимой системы совпадает с ней самой.

Пример:
[latex] e_{1}=<1, 0, 0>[/latex]
[latex]e_{2}=<0, 1, 0>[/latex]
[latex]e_{3}=<0, 0, 1>[/latex]
[latex]<e_{1}, e_{2}, e_{3}> — [/latex] Система линейно независимых векторов поскольку ни один из векторов не может быть линейно вырожен через остальные.

Свойство 2:(Критерий Базы)
Линейно независимая подсистема данной системы является её базой тогда и только тогда, когда она максимально линейно независима.

Доказательство:
Дана система [latex]S=<a_{1}, a_{2}, \ldots, a_{n}>[/latex]
Необходимость
Пусть [latex]S_{1}=<a_{1}, a_{2}, \ldots, a_{k}>[/latex] база [latex]S[/latex].
Тогда по определению [latex]S_{1}\sim S[/latex] и, если [latex]S_{2}=<a_{1},a_{2},\ldots,a_{k},a_{j}>[/latex], где [latex]k+1\leq j\leq n[/latex], система линейно зависима, так как [latex]a_{j}[/latex] линейно вырожается через [latex]S_{1}[/latex], следовательно [latex]S_{1}[/latex] максимально линейно независима.
Достаточность
Пусть [latex]S_{1} — [/latex]максимально линейно независимая подсистема, тогда [latex]\forall a_{j}[/latex]  где [latex]k+1\leq j\leq n[/latex].
[latex]S_{2}=<a_{1}, a_{2}, \ldots, a_{k}, a_{j}> — [/latex] линейно зависима [latex]\Rightarrow S_{2}[/latex] линейно вырожается через [latex]S_{1}\Rightarrow [/latex] [latex]S_{1}\sim S[/latex] следовательно [latex]S_{1}[/latex] база системы [latex]S[/latex].

Свойство 3:(Основное свойство базы)
Каждый вектор системы [latex]S[/latex] вырожается через базу единственным образом.

Доказательство
Пусть вектор [latex]a[/latex] вырожается через базу двумя способами,  тогда:
[latex]a=\alpha_{1}e_{1}+\ldots+\alpha_{k}e_{k}[/latex]
[latex]a=\beta_{1}e_{1}+\ldots+\beta_{k}e_{k}[/latex], тогда
[latex]\alpha_{1}e_{1}+\ldots+\alpha_{k}e_{k}=\beta_{1}e_{1}+\ldots+\beta_{k}e_{k}[/latex]
[latex](\alpha_{1}-\beta_{1})e_{1}+\ldots+(\alpha_{k}-\beta_{k})e_{k}=0[/latex]
[latex]\alpha_{1}-\beta_{1}=\ldots=\alpha_{k}-\beta_{k}=0\Rightarrow [/latex]    [latex]\alpha_{1}=\beta_{2}, \ldots, \alpha_{k}=\beta_{k}[/latex]

Определение:
Рангом ненулевой системы векторов линейного пространства называется число векторов её базы. Ранг нулевой системы по определению равен нулю.

Свойства ранга:
1) Ранг линейно независимой системы совпадает с числом её векторов.
2) Ранг линейно зависимой системы меньше числа её векторов.
3) Ранги эквивалентных систем совпадают — [latex]S_{1}\sim S_{2}\Rightarrow [/latex] rank [latex]S_{1}=[/latex] rank [latex]S_{2}[/latex].
4) Ранг под системы меньше либо равен рангу системы.
5) Если [latex]S_{1}\subset S_{2}[/latex] и rank [latex]S_{1}=[/latex] rank [latex]S_{2}[/latex], тогда [latex]S_{1}[/latex] и [latex]S_{2}[/latex] имеют общую базу.
6) Ранг системы не изменить, если в неё добавить вектор, являющийся линейной комбинацией остальных векторов системы.
7) Ранг системы не изменить, если из неё удалить вектор, являющийся линейной комбинацией остальных векторов.

[свернуть]

Для нахождения ранга системы векторов, нужно использовать метод Гаусса и привести систему к треугольной или трапециевидной форме.

Пример:
[latex]a_{1}=(1, 1, 1, 1)[/latex]
[latex]a_{1}=(1, -1, 0, 2)[/latex]
[latex]a_{1}=(2, 2, 1, -1)[/latex]
[latex]a_{1}=(0, 1, 3, 0)[/latex]

Преобразуем данные вектора в матрицу для нахождения базы.
Получим:
[latex] \begin{pmatrix} 1 & 1 & 1 & 1\\ 1 & -1 & 0 & 2\\ 2 & 2 & 1 & -1\\ 0 & 1 & 3 & 0 \end{pmatrix} [/latex]

Теперь при помощи метода Гаусса будем преобразоывавать матрицу к трапецеидальному виду:

1) В нашей основной матрице, будем анулировать весь первый столбец кроме первой строки  от второй отнимим первую умноженную на [latex]-1[/latex], от третьей отнимим первую умноженную на [latex]-2[/latex], а от четвётой мы ничего не будем отнимать так как первый элемент четвёртой строки, то есть пересечение первого столбца и четвёртой строки, равен нулю. Получим матрицу [latex]S_{2}[/latex] :
[latex] S_{2} = \begin{pmatrix} 1 & 1 & 1 & 1\\ 0 & -2 & -1 & 1\\ 0 & 0 & -1 & -3\\ 0 & 1 & 3 & 0 \end{pmatrix} [/latex]
2) Теперь в матрице [latex]S_{2}[/latex], поменяем местами строки 2, 3 и 4 для простоты решения, что бы на месте элемента [latex]a_{22}[/latex] была еденица. Четвёртую строку поменяем поставим вместо второй, вторую вместо третьей и третью на место четвёртой. Получим матрицу [latex]S_{3}[/latex] :
[latex] S_{3} = \begin{pmatrix} 1 & 1 & 1 & 1\\ 0 & 1 & 3 & 0\\ 0 & -2 & -1 & 1\\ 0 & 0 & -1 & -3 \end{pmatrix} [/latex]
3)В матрице [latex]S_{3}[/latex] анулируем все элементы под элементом [latex]a_{22}[/latex].
Поскольку вновь элемент [latex]a_{42}[/latex] нашей матреци равен нулю, мы ничего не отнимаем от четвёртой строки, а к третьей добавим вторую умноженную на [latex]2[/latex]. Получим матрицу [latex]S_{4}[/latex] :
[latex] S_{4} = \begin{pmatrix} 1 & 1 & 1 & 1\\ 0 & 1 & 3 & 0\\ 0 & 0 & 5 & 1\\ 0 & 0 & -1 & -3 \end{pmatrix} [/latex]
4)Вновь поменяем в матрице [latex]S_{4}[/latex] строки 3 и 4 местами. Получим матрицу [latex]S_{5}[/latex] :
[latex] S_{5} = \begin{pmatrix} 1 & 1 & 1 & 1\\ 0 & 1 & 3 & 0\\ 0 & 0 & -1 & -3\\ 0 & 0 & 5 & 1 \end{pmatrix} [/latex]
5)В матрице [latex]S_{5}[/latex] прибавим к червётрой строке третью, умноженную на 5. Получим матрицу [latex]S_{6}[/latex], которая будет иметь треугольный вид:
[latex] S_{6} = \begin{pmatrix} 1 & 1 & 1 & 1\\ 0 & 1 & 3 & 0\\ 0 & 0 & -1 & -3\\ 0 & 0 & 0 & -14 \end{pmatrix}[/latex]

Системы [latex]S_{1}\sim S_{6}[/latex], их ранги совпадают в силу свойств ранга и их ранг равен rank [latex]S_{1} =[/latex] rank [latex]S_{6} =4[/latex]

Замечания:
1) В отличие от традиционного метода Гаусса, если в строке матрицы все элементы делятся на определённое число, мы не имеем право сокращать строку матрицы в силу действия свойств матрицы. Если мы захотим сократить строку на определённое число, придётся сокращать всю матрицу на это число.
2) В случае, если мы получим линейно зависящую строку, мы можем её убрать из нашей матрицы и заменить на нулевую строку.
Пример:
[latex] A = \begin{pmatrix} 1 & 1 & 1 & 1\\ 2 & 2 & 2 & 2\\ 0 & 0 & 5 & 1\\ 0 & 0 & -1 & -3 \end{pmatrix} [/latex]
Сразу видно что вторая строка выражается через первую, если домножить первую на 2.
В тиаком случае можем заменить всю вторую строку на нулевую. Получим:
[latex] A = \begin{pmatrix} 1 & 1 & 1 & 1\\ 0 & 0 & 0 & 0\\ 0 & 0 & 5 & 1\\ 0 & 0 & -1 & -3 \end{pmatrix} [/latex]
В итоге, приведя матрицу, либо к треугольному, либо к трапецеидальному виду, где у неё нету линейно зависящих векторов, все не нулевые векторы матрицы и будут базой матрицы, а их количество рангом.

Вот так же пример системы векторов в виде графика:
Дана система [latex]S=<e_{1}, e_{2}, e_{3}, e_{4}>[/latex] где [latex]e_{1}=(1, 0)[/latex], [latex]e_{2}=(0, 1)[/latex], [latex]e_{3}=(2, 1)[/latex] и [latex]e_{4}=(1.5, 3)[/latex]. Базой данной системы очевидно буду вектора [latex]e_{1}[/latex] и [latex]e_{2}[/latex], поскольку через них выражаются векторы [latex]e_{3}, e_{4}[/latex].
Данная система в графическом виде будет иметь вид:
svg1

Литература:

  1. Воеводин В.В. Линейная алгебра. М.: Наука, 1980 с. 52-55.
  2. Проскуряков И.В. Сборник задач по линейной алгебре. М.: Наука, 1984 с. 90-99.
  3. Белозёров Г.С. Конспект лекций по линейной алгебре.

База и ранг системы векторов. Нахождение базы и вычисление ранга (приведением системы к трапециевидной форме)

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

Таблица лучших: База и ранг системы векторов. Нахождение базы и вычисление ранга (приведением системы к трапециевидной форме)

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

Декартово произведение множеств

Определение

Декартовым (или прямым) произведением множеств $A$ и $B$ называется такое результирующее множество пар вида $(x,y)$, построенных таким образом, что первый элемент из множества $A$, а второй элемент пары —  из множества $B$. Общепринятое обозначение:

$ A\times B = \{(x,y)|x \in A, y \in B \}$

Произведения трёх и более множеств можно построить следующим образом:

$ A\times B\times C = \{(x,y,z)|x \in A, y \in B, z \in C \}$

Произведения вида $  A\times A, A\times A\times A, A\times A\times A\times A$ и т.д. принято записывать в виде степени: $A^2, A^3, A^4$ (основание степени — множество-множитель, показатель — количество произведений). Читают такую запись как «декартов квадрат» (куб и т.д.). Существуют и другие варианты чтения для основных множеств. К примеру, $  \mathbb{R}^n$ принято читать как «эр энное».

Свойства

Рассмотрим несколько свойств декартова произведения:

  1. Если $A, B$ — конечные множества, то $A\times B$ — конечное. И наоборот, если одно из множеств-сомножителей бесконечное, то и результат их произведения — бесконечное множество.
  2. Количество элементов в декартовом произведении равно произведению чисел элементов множеств-сомножителей (в случае их конечности, разумеется): $|A\times B| = |A| \cdot |B|$.
  3. $A^{np} \ne (A^n)^p$ — в первом случае целесообразно рассмотреть результат декартова произведения как матрицу размеров $1\times np$, во втором же — как матрицу размеров $n\times p$.
  4. Коммутативный закон не выполняется, т.к. пары элементов результата декартова произведения упорядочены: $A\times B \ne B\times A$.
  5. Ассоциативный закон не выполняется: $(A\times B)\times C \ne A\times (B\times C)$.
  6. Имеет место дистрибутивность относительно основных операциях на множествах: $(A * B)\times C = (A\times C) * (B\times C), * \in \{\cap, \cup, \backslash \}$

Примеры

  1. Положим $ A = \{1,2\}, B = \{3, 4\}$. Тогда результат декартова произведения можно записать так: $  A\times B = \{(1,3), (1,4), (2,3), (2,4)\}$, а $  B\times A = \{(3,1), (3,2), (4,1), (4,2)\}$
  2. Если в предыдущем примере положить $B=A$, очевидно, что $  A\times B = B\times A = \{(1,3), (1,4), (2,3), (2,4)\}$
  3. Возьмём $  A = \{x \in \mathbb{R}|0\leq x \leq 5\}, B = \{x \in \mathbb{R}|5\leq x \leq 10\}$. Тогда $  A\times B = \{(x,y) \in \mathbb{R}^2|0\leq x \leq 5 \wedge 5\leq x \leq 10\}$
  4. Множества декартова произведения могут и не быть привычными числовыми множествами: $A = \{\circ, \diamond\}, B = \{2,8\}, A\times B = \{(\circ,2),(\circ,8),(\diamond,2),(\diamond,8)\}$
  5. Спойлер

    Graphic
    Множество точек некой функции $f(x)$ можно отождествить как подмножество множества $\mathbb{R}^2$: $F = \{(x,y)\in \mathbb{R}^2 | f(x) = y\}$

    [свернуть]
  6. Спойлер


    Множество клеток игрового поля «Морского боя» можно представить в виде декартова произведения множеств $A = \{1,2,3,4,5,6,7,8\}, B =\{A,B,C,D,E,F,G,H\}$

    [свернуть]

Сферы использования

С помощью декартова произведения множеств определяется понятие бинарного отношения. Кроме этого, декартово произведение используется очень часто для обозначения множества числовых наборов, особенно в математическом анализе.

Часто говорят, например, что некая функция $f$ действует следующим образом: $f:\mathbb{R}^n\rightarrow\mathbb{R}$ (числовая функция $n$ переменных).

Список литературы

  1. Белозёров Г.С. Конспект по алгебре и геометрии.
  2. Ануфриенко С.А. — Введение в теорию множеств и комбинаторику. Екатеринбург: Уральский государственный университет им. А.М. Горького, 1998 (стр. 11-13).

Декартово произведение множеств

Тест предназначен для проверки знаний по теме «Декартово произведение множеств».

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

Кольцо

Пусть $R$- произвольное множество, $R\ne0$,  $»+»$,  $»\cdot»$- бинарные алгебраические операции  на $R$.
$(R,+,\cdot)$ называется кольцом, если выполнено:

  1. $(R,+)$- абелева группа (аддитивная группа кольца);
  2. Для любых $(R,+,\cdot) \in R$ выполняется:
    1. $a(b + c) = ab + ac$;
    2. $(b + c)a = ba + ca$.

Если операция $»\cdot»$ коммутативна, то кольцо называется коммутативным. В противном случае- некоммутативным.
Операции умножения и сложения в любом кольце обладают некоторыми свойствами.
Операция сложения:
$\forall a,b,c \in R$

  1. Коммутативна: $a + b = b + a$;
  2. Ассоциативна: $a + (b + c) = (a + b) + c$.

Операция умножения:
$\forall a,b,c \in R$

  1. Коммутативна: $ab = ba$;
  2. Ассоциативна: $a(bc) = (ab)c$.

Операции сложения и умножения связаны законом диструбтивности:
$(a + b)c = ac + ab$.

Примеры:

  1. $(Z,+,\cdot)$- кольцо целых чисел;
  2. $(Q,+,\cdot)$- кольцо рациональных чисел;
  3. $(R,+,\cdot)$- кольцо вещественных чисел;
  4. $(Q[\sqrt{2}],+,\cdot), Q[\sqrt{2}] = \{a+b\sqrt{2 } |a,b \in Q\}$.

Проверим, будет ли на множестве $(Q[\sqrt{2}],+,\cdot)$ кольцо.
$(a + b\sqrt{2}) = (c + d\sqrt{2}) = (a + c) + (b + d)\sqrt{2}\in Q [ \sqrt{2}]$
Значит $(Q[\sqrt{2}], +, \cdot)$ является кольцом.

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

  1. $\forall a \in R $ $ a \cdot 0 = 0 \cdot a = 0,$ $a\cdot0 = a(0 + 0) =$ $ a\cdot0 + a\cdot0 |-(a\cdot0) =$ $ a\cdot0 + ( — a\cdot0) =$ $ (a\cdot0 + a\cdot0) + (-a\cdot0) =a\cdot0 + 0 =$ $ a\cdot0 = 0$
  2. $\forall a,b \in R (-a)b = -ab$ $(-a)b + ab = ((-a) + a)b = 0 \cdot b = 0$
  3. $d(a — b) = da — db$ $d(a — b) = d(a + (-b)) = da + d(-b) = da + (-d)b = da — db$
  4. $(a — b)d = ad — bd$ $(a — b)c = (a + (-b))c = ac + (-b)c = ac + (-(bc)) = ac — bc$
  5. Если имеет единичный элемент 1, то $\forall a \in R$ $a \cdot 1 = 1 \cdot a = a$.

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

Этот тест составлен для проверки знаний по теме: «Кольцо. Простейшие следствия из аксиом».

Литература: