1 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. 1.3. Решетки Решетка – это множество M с определенными на нем двумя бинарными операциями.

Презентация:



Advertisements
Похожие презентации
1 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения Отношения Декартово произведение множеств: A B = { (a, b) | a A, b B } B A.
Advertisements

Элементы общей алгебры Подгруппа, кольцо, поле, тело, решетка.
Элементы общей алгебры Группа, кольцо, поле, тело, решетка.
1 Кубенский А.А. Дискретная математика. Глава 2. Элементы математической логики Исчисление высказываний Высказывание – утверждение о математических.
Свойства линейных операций над матрицами Свойства линейных операций над векторами.
§12. Основные алгебраические структуры Пусть M некоторое множество. ОПРЕДЕЛЕНИЕ. Говорят, что на множестве M задана бинарная алгебраическая операция если.
Теория множеств. Определение Множество одно из ключевых понятий математики, в частности, теории множеств и логики. Понятие множества является одним из.
Глава II. Векторная алгебра. Элементы теории линейных пространств и линейных операторов Раздел математики, в котором изучаются свойства операций над векторами,
Элементы общей алгебры Алгебра, гомомофризм, изоморфизм, полугруппа, группа.
Введение в теорию множеств. Введение в теорию множеств 1. Основные определения, терминология Под множеством А мы понимаем совокупность объектов произвольной.
Введение в теорию множеств 1. Основные определения, терминология Под множеством А мы понимаем совокупность объектов произвольной природы, объединенных.
Введение в теорию множеств 1. Основные определения, терминология Под множеством А мы понимаем совокупность объектов произвольной природы, объединенных.
Занятие 2 (часть 1) Логические формулы. Законы алгебры логики.
Алгебра высказываний Лекция 2 2. Определение высказывания. Таблица истинности для высказываний Определение 1 Переменная А, принимающая два значения –
Элементы общей алгебры Алгебра, гомомофризм, изоморфизм, полугруппа, группа.
Теория множеств Теоремы теории множеств. Задание Старейший математик среди шахматистов и старейший шахматист среди математиков – это один и тот же человек.
Глава II. ТЕОРИЯ МНОЖЕСТВ 1. Основные понятия теории множеств Множество – некоторая совокупность объектов, называемых элементами этого множества. Понятие.
Теория Автоматов Конечные функциональные преобразователи Конечные функциональные преобразователи.
2.Булевы функции Аксёнов Сергей Владимирович к.т.н., доцент каф.ОСУ ТПУ Национальный исследовательский Томский политехнический университет Логика и теория.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Транксрипт:

1 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения Решетки Решетка – это множество M с определенными на нем двумя бинарными операциями и, такими что: 1.a a = a,a a = a 2.a b = b a,a b = b a идемпотентность коммутативность 3.(a b) c = a (b c),(a b) c = a (b c) ассоциативность 4.(a b) a = a, (a b) a = a поглощение Решетка дистрибутивна, если: 5.a (b с) = (a b) (b c), a (b c) = (a b) (a c) дистрибутивность Решетка ограничена, если в ней существуют элементы 0 и 1 такие, что: 6.0 a = 0,1 a = 1 ограниченность Ограниченная решетка называется решеткой с дополнением, если в ней для любого элемента a найдется элемент a' такой, что: 7.a a' = 0,a a' = 1

2 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Свойства дополнения в дистрибутивной ограниченной решетке единственность: для данного элемента a существует единственный элемент a'; инволютивность: (a')' = a дополнительность: 1' = 0, 0' = 1 законы де Моргана: (a b)' = a' b', (a b)' = a' b' Если решетка дистрибутивна, то выполняются следующие свойства дополнения: Свойства нуля и единицы: 0 a = a, 1 a = a Действительно, 0 a = (0 a) a = (a 0) a = a, 1 a = (1 a) a = (a 1) a = a Единственность: пусть a' и a'' – два различных дополнения к a. Тогда a' = a' 0 = a' (a a'') = (a' a) (a' a'') = 1 (a' a'') = (a' a'') Аналогично a'' = a'' 0 = a'' (a a') = (a'' a) (a'' a') = 1 (a'' a') = (a' a'') Инволютивность: очевидна, поскольку a' a = 0, a' a = 1 Дополнительность: 1' = 1' 1 = 0; 0' = 0' 0 = 1 Законы де Моргана: Проверяем, что (a b) (a' b') = 1, (a b) (a' b') = 0, (a b) (a' b') = 1, (a b) (a' b') = 0 Например, (a b) (a' b') = (a b a') (a b b') = 1 1 = 1

3 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Частичный порядок в решетке Введем отношение порядка на элементах решетки a b, если a b = a Это действительно отношение частичного порядка, так как: Это отношение рефлексивно: a a, так как a a = a Это отношение антисимметрично: если a b и b a, то a = a b = b a = b Это отношение транзитивно: если a b и b с, то a с = (a b) с = a (b с) = a b = a Пусть задано множество с нестрогим порядком, в котором для любых элементов a и b существуют их нижняя и верхняя грани inf(a, b) и sup(a, b) Тогда множество этих элементов образуют решетку относительно операций = inf, = sup Очевидно, что для любых двух элементов такой решетки существуют верхняя и нижняя грани относительно только что введенного отношения порядка : inf(a,b) = a b, sup(a,b) = a b Доказательство (для нижней грани): 1. (a b) b, поскольку (a b b) = (a b) и (a b) a, поскольку (a b a) = (a b) 2. Пусть существует c такое, что (a b) c, c a, c b. Тогда c = c a = (c b) a = a b Наоборот: Таким образом, имеем два равносильных определения решетки: определение через свойства заданных операций и, и определение решетки как частично упорядоченного множества, в котором для каждых двух элементов определены их верхняя и нижняя грань.

4 Кубенский А.А. Дискретная математика Глава 1. Множества и отношения. Булева алгебра Ограниченная дистрибутивная решетка с дополнением называется булевой алгеброй. Минимальная булева алгебра содержит всего два элемента 0 и 1. Операции решетки в этой алгебре принято обозначать символами и, а операцию дополнения – символом. Для булевой алгебры справедлива следующая таблица операций: ab a b a Булеан некоторого множества U – это булева алгебра относительно операций и. Еще пример. Пусть A p – множество всех простых чисел, не превосходящих p. Рассмотрим всевозможные произведения чисел из A p, в которые сомножители входят не более, чем по одному разу. Множество всех таких чисел образует решетку относительно операций НОД и НОК. Число 1 является нулем решетки, произведение всех чисел из A p – ее единицей. Очевидно, что это тоже булева алгебра.