- •Предисловие
- •Введение
- •Глава 1. Множества
- •§ 1. Множества н их спецификация
- •§ 2. Простейшие операции над множествами
- •X ∉ ø при любом х.
- •§ 3. Диаграммы Венна
- •§ 4. Подмножества и доказательства
- •Глава 2. Отношения
- •§ 5. Произведения множеств
- •§ 1. Основные понятия
- •§ 2. Графические представления
- •§ 3. Свойства отношений
- •§ 4. Разбиения и отношения эквивалентности
- •§ 5. Отношения порядка
- •§ 6. Отношения на базах данных и структурах данных
- •§ 7. Составные отношения
- •§ 8. Замыкание отношений
- •Глава 3. Функции
- •§ 1. Функции и отображения
- •§ 2. Обратные функции и отображения
- •§ 3. Мощность множеств и счетность
- •§ 4. Некоторые специальные классы функций
- •§ 5. Аналитические свойства вещественных функций
- •§ 6. Операции
- •Глава 4. Основные понятия арифметики
- •§ 1. «Малая» конечная арифметика
- •§ 2. «Большая» конечная арифметика
- •§ 3. Двоичная арифметика
- •§ 4. Логическая арифметика
- •Глава 5. Алгебраические структуры
- •§ 1. Алгебраические структуры и подструктуры
- •§ 2. Простейшие операционные структуры
- •§ 3. Кольца и поля
- •§ 4. Линейная алгебра
- •4.1. Векторные пространства о линейные преобразования.
- •§ 5. Решетка и булевы алгебры
- •§ 6. Замкнутые полукольца
- •Глава 6. Матрицы
- •§ 1. Матрицы и бинарные отношения на конечных множествах
- •§ 2. Матрицы над другими алгебраическими структурами
- •§ 3. Матрицы и векторные пространства
- •Глава 7. Теория графов
- •§ 1. Вводные понятия
- •§ 2. Маршруты, циклы и связанность.
- •§ 3. Планарные графы
- •3.1. Теоремы Эйлера и Куратовского.
- •3.2. Раскраска карт и графов.
- •§ 4. Структуры данных для представления графа
- •§ 5. Обход графа
- •5.2. Обход графа по глубине.
- •5.4. Остовные леса обходов по глубине и ширине.
- •§ 6. Ориентированные графы
- •6.2. Маршруты и связность в орграфах.
- •Глава 8. Языки и грамматики
- •§ 1. Основные понятия
- •§ 2. Грамматики с фразовой структурой
- •2.1. Основные определения.
- •§ 3. Контекстно-свободные языки
- •§ 4. Понятия грамматического разбора и грамматических модификаций
- •§ 5. Грамматики операторного предшествования
- •Глава 9. Конечные автоматы
- •§ 1. Общие понятия
- •§ 2. Конечные автоматы
- •§ 3. Регулярная алгебра
- •Глава 10.Компьютерная геометрия
- •§ 1. Системы координат для подмножеств r3
- •§ 2. Преобразования
- •§ 3. Кривые и поверхности
§ 2. Простейшие операционные структуры
Начнем детальное изучение алгебраических структур с рассмотрения тех из них, которые имеют только одну бинарную операцию. Где это возможно, будем в этом и последующих параграфах представлять структуры в (приблизительно) возрастающем порядке «силы». (Говорят, что структура А слабее структуры В, если А можно рассматривать как В «с отброшенной структурой». Как мы увидим позже, некоторые структуры получают путем «слияния» двух более слабых структур, и, следовательно, строгий порядок здесь невозможен.)
Обычно каждую структуру можно определить в терминах основных свойств, а не только в терминах простейших структур.
Определение. Полугруппой называется множество S с бинарной операцией , которая удовлетворяет только требованию ассоциативности
х (у z) = (х у) z, x, у, z S. //
Определение. Моноидом называют множество М вместе с бинарной операцией такой, что
ассоциативна;
существует u М такое, что
и х = х = х и для всех х М;
называют единицей по отношению к . //
Полугруппы и моноиды имеют особое значение при обработке строк символов и теории языков.
Пример 2.1. Пусть А = (х, у, z). Рассматривая х, у и z просто как символы, а не как имена объектов или «переменных», получаем, что А является алфавитом. Определим А* как множество всех строк символов, принадлежащих А. Тогда А* включает х, у, z, хх, ху, ух, xxyz, zyx и т. д.; А* бесконечно.
На А*
можно определить операцию
конкатенации
следующим образом:
если
,
А*, то
=
,
т. е. результатом является строка
и сразу же за ней записанная строка
.
Таким образом, имеем
xyz z = xyzz, xz ух = хzyx и т. д.
Каждая строка
имеет конечную длину, которая обозначается
через
и равна числу символов в
(при в том разрешаются повторения). Таким
образом,
|х| = 1, |ху| = 2, |xxxzy| = 5.
Это несколько похоже на обозначение мощности множества, Заметим, в частности, что
|х| = 1, |{х}| = 1,
|ху| = 2, |{х, у}| = 2,
|ух| = 2, |{y, х}| = 2,
но
|хух| = 3, |{х, у, х}| = |{х, у}| = 2.
Поэтому нет полной аналогии,
хотя существует аналогия с пустым
множеством. Для обозначения строки,
аналогичной пустому множеству, будем
использовать специальный символ
,
А*.
Таким образом, |
| =
и
=
=
для всех строк
.
Следовательно, для любого алфавита А структура (А*, ) является моноидом, а — единица по отношению к . //
(Может показаться, что символ * неверно употребляется в обозначении А*, однако это не так: А* = *( ), где
R
= {(
,
):
=
,
А}.)
Приведенный выше пример чрезвычайно важен. Для заданного, достаточно большого алфавита А, содержащего, например, все символы, доступные периферийным устройствам какого-либо компьютера, все языки, используемые в компьютерных системах, являются подмножеством А*. Это понятие является основным при формальном изучении языков (см. гл. 8).
Третьей (и последней) операционной структурой является непосредственное и естественное расширение моноида.
Определение. Группой G называют множество с бинарной операцией такой, что
а) ассоциативна;
б) существует элемент u G (единица по отношению к ) такой, что
и х = х = х и для всех x G;
в) каждому элементу x G соответствует элемент у G такой, что
х у = и = у х;
у называется обратным элементом к х по отношению к . //
В случаях, когда групповая операция обозначается символом , единичный элемент обозначается 1, а обратный к элементу х элемент записывается в виде х-1. Когда групповая операция обозначается символом , единичный элемент обозначается 0, а обратный к элементу х элемент записывается в виде –х.
По сравнению с первыми двумя структурами группы обладают следующими важными свойствами. Внутри группы (G, ) можно решить уравнение
а х = b.
Более того, решение легко найти (однако заметим, что для этого требуются все аксиомы группы). Если
а х = b
то
a-1 (а а) = а-1 b (a G а-1 G), (а-1 а) х = а-1 b ( ассоциативна), и х = а-1 b (свойство обратных элементов),
поэтому
х = а-1 b (свойство единицы).
Часто к словам «группа» и «моноид» приписывают термин «коммутативный». Это просто означает, что операция в рассматриваемой структуре удовлетворяет свойству коммутативности, т. е.
у х = х у для всех х, у М или G.
Можно сделать много полезных выводов из аксиом группы. Рассмотрим простой пример.
Пример 2.2. В группе (G, *)
(а * b)-1 = b-1 a-1.
Доказательство.
(а * b) * (b-1 * а-1) = а * ( b * b-1) * а-1 = а * 1 * а-1 = а * а-1 = 1.
Следовательно, b-1 * а-1 является правым обратным элементом к а * b. Аналогично можно показать, что он является левым обратным элементом, откуда и следует требуемый результат. //
Группы дают нам первый
пример широко используемых изоморфизмов.
Эти изоморфизмы (между группами (R,
+) и (]0,
[,
*)) называют логарифмами. Они позволяют
выполнять умножение при помощи сложения
на основе следующего тождества:
a * b = φ -1(φ(a) + φ (b)),
где
φ: х → logp, (х) для некоторого р ] — 1, ∞[,
Упражнение 5.2.
Доказать единственность единичного элемента и обратных элементов в группе (G, ).
В группе (G, ) показать, что если а b = а с, то b = с, а если х а = у а, то х = у.
Проверить, что множество перестановок конечного множества образует группу по отношению к операции умножения перестановок,
