М. В. Ломоносова факультет Вычислительной математики и кибернетики Кафедра «Математических методов прогнозирования» Вопросы к экзамену
Вид материала | Вопросы к экзамену |
- М. В. Ломоносова Факультет вычислительной математики и кибернетики Кафедра математической, 6.81kb.
- Московский Государственный Университет им. М. В. Ломоносова. Факультет Вычислительной, 104.35kb.
- М. В. Ломоносова Факультет Вычислительной Математики и Кибернетики Кафедра асвк диплом, 658.77kb.
- М. В. Ломоносова Факультет Вычислительной Математики и Кибернетики Реферат, 170.54kb.
- М. В. Ломоносова Факультет Вычислительной Математики и Кибернетики Кафедра Системного, 124.67kb.
- М. В. Ломоносова Факультет вычислительной математики и кибернетики Руденко Т. В. Сборник, 1411.4kb.
- Н. И. Лобачевского Факультет Вычислительной математики и кибернетики Кафедра Математического, 169.45kb.
- Н. И. Лобачевского Факультет Вычислительной математики и кибернетики Кафедра Математического, 172.6kb.
- И кибернетики факультет вычислительной математики и кибернетики, 138.38kb.
- М. В. Ломоносова факультет Вычислительной Математики и Кибернетики Диплом, 49.56kb.
ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В.ЛОМОНОСОВА
Факультет Вычислительной математики и кибернетики
Кафедра «Математических методов прогнозирования»
Вопросы к экзамену по дисциплине «Прикладная алгебра»
(7 семестр, группа 417, с 2004/05 уч. года)
- Булева алгебра. Алгебры множеств. Изоморфизм булевых алгебр. Теорема Стоуна (с доказательством для конечного случая) и следствия из неё.
- Виды отношений. Бинарные отношения (соответствия) и их свойства. Псевдообращение отношения и произведение отношений. Однородные отношения и их основные типы.
- Отношение эквивалентности и теорема о классах эквивалентности. Устойчивость отношения эквивалентности. Транзитивное и эквивалентное замыкание отношений. Эквивалентное замыкание совокупности эквивалентностей.
- Основные типы соответствий. Отображения и их типы. Теорема Кантора-Бернштейна.
- Каноническое отображение. Ядро отображения как эквивалентность. Основное свойство отображений. Теорема о дробных эквивалентностях.
- Предпорядки и порядки. Построение порядка из предпорядка. Частично упорядоченные множества. Принцип двойственности. Верхний и нижний конусы ч.у. множества. Точные верхние и нижние грани. Цепи и антицепи.
- Порядковые идеалы и фильтры. Связь между анитцепями и порядковыми идеалами конечных ч.у. множеств. Порядковые гомоморфизмы. Изоморфизм ч.у. множеств. Теорема о вложении ч.у. множеств в алгебру множеств. Операции над ч.у. множествами. и связь между ними.
- Лемма Куратовского-Цорна и принцип Хаусдорфа. Полная упорядоченность и аксиома о полном упорядочении. Аксиома выбора и её связь с теоретико-множественной аксиоматикой. Теоремы о сравнении вполне упорядоченных множеств и о сравнении множеств.
- Полная упорядоченность и аксиома о полном упорядочении. Принцип трансфинитной индукции.
- Решётчато упорядоченные множества и решётки. Примеры. Принцип двойственности для решёток. Теорема о связи решётчато упорядоченных множеств и решёток.
- Основные свойства решёток. Неравенства полудистрибутивности и полумодулярности. Алгебраические гомоморфизмы решёток и их связь с порядковыми гомоморфизмами. Изоморфизмы решёток.
- Изоморфизмы решёток. Теорема об изоморфизмах решёток. Изоморфизм решёток N0 и P0(A). Подрешётки. Произведения решёток.
- Решётчатые идеалы и фильтры. Теорема о вложении решёток в булеан некоторого множества.
- Модулярные решётки. Примеры. Критерий модулярности решётки.
- Дистрибутивные решётки. Примеры. Правило сокращения для дистрибутивных решёток. Теорема о модулярных и дистрибутивных решётках. Критерий дистрибутивности решётки.
- Дистрибутивность решётки J(P) порядковых идеалов ч.у. множества P. Построение диаграммы Хассе для решётки порядковых идеалов конечного ч.у. множеств (на примере).
- Лемма о представимости ненулевого элемента конечной решётки в виде объединения неразложимых элементов. Лемма об изоморфизме подрешётки неразложимых в объединение элементов J(P) и P.
- Теорема Биркгофа о вложимости дистрибутивной решётки в булеан подходящего множества. Следствия из теоремы Биркгофа. Способ вложения конечной дистрибутивной решётки в < N, | >.
- Решётки с дополнениями и с единственными дополнениями. Примеры. Единственность дополнения в дистрибутивных решётках. Связь дистрибутивности и наличия единственного дополнения, проблема Хантингтона и теорема Дилуорса.
- Булевы алгебры как дистрибутивные решётки с дополнениями. Пример безатомной БА. Критерий для атомных булевых алгебр. Булевы гомоморфизмы и булевы подагебры. Булево кольцо и булева структура.
- Булевы идеалы и фильтры. Фильтр Фреше. Теоремы о максимальных булевых идеалах и фильтрах. Построение неглавного ультрафильтра бесконечной булевой алгебры (неформально).
- Базовые понятия АС. Редукты и подсистемы. Пересечение подсистем и главная подсистема. Теорема об объединении подсистем.
- Согласованность отображений АС с их операциями и отношениями. Типы гомоморфизмов АС. Теорема о сюръективном эндоморфизме конечной АС.
- Конгруэнции. Свойство ядра гомоморфизма. Фактор-системы. Определения операций и отношений на фактор-системах.
- Теорема о гомоморфизме АС.
- Первая теорема об изоморфизме АС.
- Вторая теорема об изоморфизме АС.
Литература
Основная
- Биркгоф Г., Барти Т. Современная прикладная алгебра. – М.: Мир, 1976.
- Гуров С.И. Упорядоченные множества и универсальная алгебра (вводный курс): Учебное пособие. – М.: Издательский отдел ф-та ВМиК МГУ, 2004.
- Мальцев А.И. Алгебраические системы. М.: Наука, 1970.
- Скорняков Л.А. Элементы общей алгебры. – М.: Наука. Гл. ред. физ.-мат. лит., 1983.
Дополнительная
- Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. – М.: Наука. Физматлит, 1997.
- Владимиров Д.А. Булевы алгебры. – М.: Наука, 1969.
- Кон П. Универсальная алгебра. – М.: Мир, 1968.
- Курош А.Г. Общая алгебра (лекции 1969 1970 учебного года). – М.: Наука, 1974.
- Лидл Р., Пильц Г. Прикладная абстрактная алгебра: Учебное пособие. – Екатеринбург: Изд.-во Урал. ун-та, 1996.
- Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных. – М.: Наука. Гл. ред. физ.-мат. лит., 1991.
- Салий В.Н. Решётки с единственными дополнениями. – М.: Наука. Гл. ред. физ.-мат. лит., 1984.
- Скорняков Л.А. Элементы теории структур. – М.: Наука, 1970.
- Стенли Р. Перечислительная комбинаторика. – М.: Мир, 1990.
- Яглом И.М. Булева структура и её модели. – М.: Сов. радио, 1980.