- •Конспект лекций
- •Раздел I. Множества, функции, отношения. Лекция № 1. Множества и операции над ними.
- •1. Основные понятия теории множеств.
- •2. Операции над множествами и их свойства.
- •3. Векторы и прямые произведения.
- •Лекция № 2. Соответствия и функции.
- •Лекция № 3. Отношения и их свойства.
- •Лекция № 4. Основные виды отношений.
- •1. Свойства бинарных алгебраических операций.
- •Раздел II. Введение в общую алгебру. Лекция № 5. Элементы общей алгебры.
- •2. Алгебраические структуры.
- •Лекция № 6. Различные виды алгебраических структур.
- •Раздел III. Введение в логику. Лекция № 7. Элементы математической логики.
- •Булевы функции.
- •Лекция № 8. Логические функции.
- •Лекция № 9. Булевы алгебры.
- •Лекция № 10. Булевы алгебры и теория множеств.
- •Лекция № 11. Полнота и замкнутость.
- •Лекция № 12. Язык логики предикатов.
- •Лекция № 13. Комбинаторика.
- •Лекция № 15. Маршруты, цепи и циклы.
- •Лекция № 16. Некоторые классы графов и их частей.
Раздел II. Введение в общую алгебру. Лекция № 5. Элементы общей алгебры.
1. Свойства бинарных алгебраических операций.
Определение.На множестве А определенаалгебраическая операция, если каждым двум элементам этого множества, взятым в определенном порядке, однозначным образом поставлен в соответствие некоторый третий элемент из этого же множества.
Примерами алгебраических операций могут служить такие операции как сложение и вычитание целых чисел, сложение и вычитание векторов, матриц, умножение квадратных матриц, векторное умножение векторов и др.
Отметим, что скалярное произведение векторов не может считаться алгебраической операцией, т.к. результатом скалярного произведения будет число, и числа не относятся к множеству векторов, к которому относятся сомножители.
Замечание.Вообще говоря, операция, определённая таким образом, называетсябинарной, поскольку в ней участвуют два элемента. Но также можно говорить обунарныхоперациях, в которых участвует только один элемент данного множества, и в соответствие ему однозначным образом поставлен второй элемент этого множества. Таковы, например, операции извлечения корня квадратного или нахождения модуля числа.
Аналогично
можно определить тринарнуюи прочие
операции на данном множестве, в зависимости
от количества участвующих в них элементов.
В общем случае,
операцией на множестве
будем называть функцию типа
.
Определение.Операция
,
отображающая любой элемент множества
в себя, называетсятождественной
операцией.
Тождественной
операцией на множестве
,
например, является умножение на единицу.
Для того чтобы описанные ниже соотношения
выглядели бы более привычно, положим
результат применения бинарной операции
элементам
записывать не в функциональном виде
,
а виде
,
принятом для записи арифметических
операций.
Определение.Операция
называетсякоммутативной, если для
любых элементов
выполняется:
.
Операции сложения и умножения чисел коммутативны, а вычитание и деление некоммутативны. Также некоммутативна операция умножения матриц (как известно из курса линейной алгебры).
Определение.Операция
называетсяассоциативной, если для
любых элементов
выполняется:
.
Выполнение
условия ассоциативности означает, что
скобки в выражении
можно не расставлять. Сложение и умножение
чисел ассоциативны, что и позволяет не
ставить скобки в выражениях типа
и
.
В качестве примера неассоциативной
операции можно привести возведение в
степень:
.
Правда, запись
является допустимой, но служит сокращением
записи выражения
,
а не
(сокращённая
запись которого -
).
Важным примером ассоциативной операции
является композиция отображений.
Определение.Операция
называетсядистрибутивной слеваотносительно операции
,
если для любых
выполняется:
![]()
,
и дистрибутивной
справаотносительно операции
,
если для любых
выполняется:
![]()
.
Наличие свойства дистрибутивности позволяет раскрывать скобки. Например, умножение дистрибутивно относительно сложения (и вычитания) и справа, и слева:
.
Возведение
в степень дистрибутивно относительно
умножения справа:
,
но не слева:
.
Сложение (и вычитание) чисел недистрибутивно
относительно умножения:
.
Ниже будет показано, что операции
пересечения и объединения множеств
дистрибутивны относительно друг друга
и слева, и справа.
