- •Предисловие
- •Введение
- •Глава 1. Множества
- •§ 1. Множества н их спецификация
- •§ 2. Простейшие операции над множествами
- •X ∉ ø при любом х.
- •§ 3. Диаграммы Венна
- •§ 4. Подмножества и доказательства
- •§ 5. Произведения множеств
- •Глава 2. Отношения
- •§ 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. Кривые и поверхности
§ 1. Алгебраические структуры и подструктуры
Определение. Алгебраической структурой называется множество вместе с операциями (замкнутыми), определенными на этом множестве. //
Обычно операции имеют некоторые характерные свойства, которые могут быть обоснованы в виде теорем п которые используются в вычислениях. (Структуру вместе со всеми теоремами, правилами вычислений и вывода иногда называют алгебраической системой.)
К каждой структуре применимо
понятие подструктуры. Чтобы это
продемонстрировать, рассмотрим
гипотетическую
структуру, называемую указателем. Пусть
А — указатель.
Предположим, что имеется только одна
операция
определенная на А.
Следовательно, более точно это может
быть записано как (Л,
),
т. е. указатель состоит из множества
А с операцией Теперь,
если В
А и (В,
)
также является указателем, в частности
может быть замкнута на 5, то
(В,
)
называется
подуказателем.
Возьмем другую структуру,
состоящую из множества С
и операции
.
(
и
должны иметь один и тот же порядок.
Например, если одна из них является
бинарной, то и другая должна быть
такой же. Можно ввести и другие операции
на С,
однако в настоящее время мы их не
рассматриваем). Если существует
отображение φ: А → С
такое, что
φ(х у)= φ(х) φ(у)
для любых х и у из А, то φ называют гомоморфизмом.
Если существует гомоморфизм между Л и С, то в некотором смысле образ (φ(А), ) гомоморфизма из (А, ) ведет себя подобно прообразу, так как мы можем выполнить операцию на А, а затем отобразить в С (посредством φ) или сначала отобразить в С, а затем выполнить операцию . В обоих случаях результат будет один и тот же. Поэтому мы можем делать так, как нам удобнее. Эту ситуацию можно пояснить с помощью коммутативных диаграмм, изображенных на рис. 5.1. Диаграмма на рис. 5.1, а указывает включаемые множества или структуры, а диаграмма на рис. 5.1, b связывает отдельные элементы. На рис. 5.1, b справа изображены две различные формы одного и того же результата. Коммутативность диаграммы вытекает из определения операций,
Н
а
самом деле мы получаем φ •
=
• φ, что не является в строгом смысле
коммутативностью, так как
и
существенно различны. Однако обе части
равенства
Рис. 5.1
означают комбинации операций одного и того же порядка и, следовательно, подходят под общее определение
отображение • операция = операция • отображение. Рассмотрим пример.
Пример 1.1. Пусть отображение θ, θ: Z → Z10 — остаток от деления на 10. Тогда
θ (20) = 0,
θ (17) = 7, ...
Если мы рассмотрим простейшие системы (Z, +) и (Z10, + ) с операцией +, определенной естественным образом на Z и на «единичном столбце» для Z10, то легко видеть, что 0 является гомоморфизмом. Например,
θ (24 + 38) - θ (62) = 2,
θ (24) + θ (38) = 4 + 8 = 2 (в Z10).
В этом случае диаграмма будет выглядеть так, как это
изображено на рис. 5.2. И
Рис. 5.2
Таким образом, гомоморфизм одной структуры в другую является отображением, которое сохраняет структуру.
Можно вводить ограничения на ранг отображения, чтобы получить, например, сюръективность пли инъективность, Поэтому, если отображение является гомоморфизмом, можно надеяться, что это обеспечит механизм перехода от структуры к структуре (и обратно!) без какой-либо потерн информации.
Определение. Гомоморфизм, который является инъекцией, называют мономорфизмом, гомоморфизм, который является сюръекцией, называют эпиморфизмом, а гомоморфизм, который является биекцией, называют изоморфизмом. Если существует изоморфизм между двумя структурами, то говорят, что они изоморфны. //
Слово «изоморфно» означает «той же самой формы», и поэтому, кажется, разумно ожидать, что изоморфизм должен быть в состоянии разделить множество всех алгебраических структур на классы эквивалентности (см. упражнение 5.1, 2).
Пример 1.2. Структуры ({ , }, , ) и ({0, 1} /\, \/) (см. определенно в § 4 гл. 4) изоморфны.
Доказательство. Пусть φ ( ) = 0 и φ ( )= 1. Ясно, что φ — биекция. Тогда
φ(
)
= φ(
)
= 0 = 0 /\ 0 = φ(
)
/\ φ(
),
φ(
)
= φ(
)
= 0 = 0 /\ 1 =φ(
)
/\ φ(
),
φ(
)
= φ(
)
= 0 = 1 /\ 0 = φ(
)
/\ φ(
),
φ(
)
= φ(
)
= 1 = 1 /\ 1 = φ(
)
/\ φ(
),
φ( ) = φ( ) = 0 = 0 \/ 0 = φ( ) \/ φ( ),
φ(
)
= φ(
)
= 1
= 0 \/ 1
= φ(
)
\/ φ(
),
φ(
)
= φ(
)
= 1 = 1 \/ 0 = φ(
)
\/ φ(
),
φ ( ) = φ ( ) = 1 = 1 \/ 1 = φ ( ) \/ φ ( ).
Таким образом, φ является гомоморфизмом и, следовательно, изоморфизмом. //
В заключение отмстим, что структура может быть изоморфна самой себе (имеется в виду изоморфизм, отличный от тривиального) и может также быть изоморфна одной из своих подструктур (это возможно лишь для бесконечных множеств).
Определение. Если область определения и область значений отображения совпадают, гомоморфизм назаывают эндоморфизмом, а изоморфизм называют автоморфизмом. И
Пример 1.3. Для заданного множества А структура (ρ(А), , ) изоморфна (ρ(А), , ) с отображением φ: X → X'.
Доказательство. Очевидно, что φ инъективно и сюръективно. Если В, C ρ(A), то
φ (В С) = (В С)' = В' С' = φ (В) φ (С),
φ (В С) = (В С)' = В' С' = φ (B) φ (С).
Позднее мы увидим, что эти соотношения явно показывают самодвойственность булевой алгебры множеств и φ является автоморфизмом. //
Упражнение 5.1.
Показать, что две структуры (Z6, •), полученные при решении задачи из упражнения 4.1, 2 изоморфны.
Пусть (Л, ), (В, ) и (С,
)
- указатели, а φ:
А → В и θ:
В → С — изоморфизмы.
Показать, что
θ ° φ: А → С, φ -1: В→ А также являются изоморфизмами.
