Примеры. Конспект лекций для студентов физико-технического факультета

ГРУППА

ОПЕРАЦИИ НА МНОЖЕСТВАХ

ВВЕДЕНИЕ

Часть I

Конспект лекций для студентов физико-технического факультета

Харьков-2004

РАЗДЕЛ 1. ЛИНЕЙНЫЕ ПРОСТРАНСТВА

Решение многих задач современной математики (и не только) сводится к построению и изучению неких абстрактных структур, являющихся конгломератом неких множеств с заданными на этих множествах операциями. Этот способ заманчив в силу своей общности: множества могут быть разной природы и операции, заданные на этих множествах, могут быть разными, но обладать одинаковыми свойствами. Если получен результат, опираясь на свойства операций, то результат этот имеет место во всех множествах, где операции имеют те же свойства.

Пусть имеется некоторое множество М. И пусть на множестве М задан внутренний закон композиции, т.е. любой паре элементов из М поставлен в соответствие элемент того же множества М

" х, у Î М $ z Î M | x ⊕ y = z.

В этом случае говорят, что на множестве М корректным образом задана внутренняя операция.

Пусть кроме множества М задано некоторое другое множество Р. И пусть на множестве М задан внешний закон композиции, т.е. любому элементу из М в совокупности с произвольным элементом из Р поставлен в соответствие элемент из М:

" х Î М aÎ Р | $ z Î M | a ʘ x = z.

В этом случае говорят, что на множестве М над множеством Р корректным образом задана внешняя операция.

Отметим, что во внутренней операции участвуют два элемента одного и того же множества, а во внешней операции – элементы различных множеств. Корректность операции на М означает, что ее результат принадлежит множеству М, а не корректность - что ее результат не принадлежит множеству М.

Пусть задано некоторое множество G с элементами, вообще говоря, произвольной природы. Пусть на этом множестве корректным образом задана внутренняя операция, т.е. " х, у Î G $ z Î G | z «x ⊕ y и эта операция удовлетворяет свойствам:

1) (x ⊕ y)⊕ z = x ⊕(y ⊕ z) – ассоциативность;

2) $qÎ G | x ⊕ q = x – существование нейтрального элемента;

3) " x Î G, $ y Î G | x ⊕ y = q – существование противоположного элемента.

Множество G с так введенной операцией называется группой по этой операции.

Если G – группа по сложению, то нейтральный элемент называется нулевым, а противоположный – противоположным.

Если G – группа по умножению, то нейтральный элемент называется единичным, а противоположный – обратным.

Если, кроме указанных свойств, операция, определенная в G обладает свойством x ⊕ y = y ⊕ x, то группа называется коммутативной или абелевой группой.

1. Множество вещественных (целых, комплексных, рациональных) чисел является абелевой группой по сложению.

2. Множество вещественных чисел с исключенным нулем является группой по умножению.

3. Рассмотрим множество векторов единичной длины на плоскости, и исходящих из начала координат. Такой вектор характеризуется углом a, который он образует с положитетельным направлением оси абсцисс.

Пусть имеется пара векторов x и y, характеризующихся углами a _х и a _y. Поставим этой паре в соответствие вектор z, характеризующийся углом a _х + a _y. Указанное множество векторов по операции, введенной выше, образует группу. Эта группа называется группой вращения единичного вектора.

Дата добавления: 2014-01-11