Дискретная математика

Лекция 1
Тема: Теория множеств
Обозначения (кванторы):
∀ «для любого», «для всех» — квантор общности

∃ «найдется», «существует», «хотя бы для одного» — квантор существования

∄ «не найдется», «не существует» — квантор Несуществования
∃! «существует единственный»

⟹ «если, то» , «следует» — квантор следования (импликация)

⟺ «тогда и только тогда» — квантор эквивалентности, равносильности

def
равносильность по определению

∈ принадлежность

] «пусть»
Теория множеств
Опр Множество (Set)
Множество — первичное математическое понятие, которому не дано строгое математическое определение.
Представляет собой набор, совокупность каких-либо объектов, объединенных общим свойством.
Множество — совокупность объектов, произвольной природы, которая рассматривается как единое целое.
Множество— неупорядоченный набор уникальных элементов.

Обозначения для числовых множеств: ℕ , ℤ, ℕ0

Объекты = элементы.
𝑎 ∈ 𝐴 − объект принадлежит множеству 𝐴 (является элементом этого множества)

NB: Множества могут быть конечными и бесконечными

NB: Элементы не повторяются: каждый элемент может входить в множество только один раз
NB: Множество – неупорядоченная структура, если вдруг порядок будет иметь значение, то об этом отдельно сообщается (линейно упорядоченное множество)
Теория Множеств
Парадокс Расселла Russell’s paradox

A = {X: 𝑋 − множество и 𝑋 ∉ 𝑋}
Если 𝐴 ∉ 𝐴, тогда оно должно принадлежать 𝐴
Если 𝐴 ∈ 𝐴, тогда оно НЕ должно принадлежать 𝐴

Существует несколько вариантов парадокса Рассела. В отличие от самого парадокса, они, как правило, не могут
быть выражены на формальном языке.
Данное высказывание — ложно.
Истинно ли это высказывание или нет?

В результате осмысления возникших парадоксов в сообществе математиков возникло два направления по

разрешению возникших проблем: формализация теории множеств посредством подбора системы аксиом,
обеспечивающей непротиворечивость при сохранении инструментальной мощи теории, второе — исключение из
рассмотрения всех не поддающихся интуитивному осмыслению конструкций и методов.
Способы задания множеств
1. Перечиcление (Enumeration)

𝐴 = 1, 2, 3, 4, 5

𝐵 = {куб, шар, пирамида, конус}

2. Характеристическое свойство (характеристический предикат) (Set-builder notation)

𝐴 = {𝒂| 𝑷(𝒂) } – множество элементов, обладающих свойством 𝑷.

A = 𝑎 𝑎 − это студенты ИТМО направления 09.03.02}

N = 𝑛 𝑛 − простое число}

𝑋 = 𝑥 ∈ ℤ |2𝑥| < 4}
Ключевые определения
Опр Пустое множество (Empty set) – не содержит ни одного элемента.

Обозначение: ∅

Опр Мощность множества (Cardinality) – число элементов конечного множества.

Обозначение: 𝐴 = 𝑛

Опр Универсум (Universal set) –

множество, которому принадлежат все элементы совокупности множеств.
совокупность всех множеств (Математическая энциклопедия) однако оно уже не является множеством, т.е. не может быть объектом рассмотрения в ТМ.
это множество всех тех элементов, которые участвуют в данном рассуждении.

Обозначение: 𝑈
Ключевые определения: Подмножество
Опр 𝐴 является подмножеством Subset 𝐵, если каждый элемент 𝐴 принадлежит𝐵.
Обозначение: 𝐴 ⊆ 𝐵, значит для ∀𝑎 ∈ 𝐴: 𝑎 ∈ 𝐵

Опр Несобственные подмножества − это само множество и ∅

Опр Собственные подмножества 𝐴 − любые подмножества множества 𝐴, отличные от 𝐴 и ∅

Proper (strict) subset

Обозначения для подмножеств:

⊆ −знак отношения нестрогого включения между множествами
В случае 𝐴 ⊆ 𝐵 допускается, что 𝐴 = 𝐵

⊂ −знак отношения строгого включения между множествами

Если 𝐶 ⊆ 𝐴 и 𝐴 ≠ 𝐶, тогда С ⊂ 𝐴
Ключевые определения: Равенство множеств

Опр 𝐴 = 𝐵, 𝐴 равно 𝐵, если они состоят из одних и тех же элементов.

Обозначение: ∀𝑥: 𝑥 ∈ 𝐴 ⟺ 𝑥 ∈ 𝐵

Доказательство равенства множеств (Критерий равенства)

𝐴 =𝐵 ⟺𝐴 ⊆𝐵и𝐵 ⊆𝐴

⟹𝐴⊆𝐵

⟸𝐵⊆𝐴
Метод двух включений
Ключевые определения: Булеан
Опр Булеан Power Set множества 𝐴– множество всех подмножеств 𝐴.
Обозначение: 𝑃 𝐴 , 2 𝐴

Пример:
𝐴 = {1, 2, 3}

𝑃 𝐴 = ∅, 1 , 2 , 3 , 1,2 , 1,3 , 2,3 , {1,2,3}

Th Мощность булеана множества 𝐴

𝑃(𝐴) = 2 𝐴 = 23 = 8
Ключевые определения: Булеан
Th: Мощность булеана множества 𝐴

𝑃(𝐴) = 2 𝐴

Proof:
Комбинаторный вариант:
Давайте собирать “корзинку” из элементов, тогда каждый элемент мы либо берем, либо нет (два случая), тогда
давайте посчитаем кол-во вариантов, это будет 2 ∗ 2 ∗ ⋯ ∗ 2 = 2𝑛 .
Математическая индукция:
1) База – пусть у нас дано пустое множество, тогда в булеане будет лежать только пустое множество и мощность
булеана будет равна 1.
2) Индукционное предположение – пусть в множестве из 𝑛 элементов 2𝑛 подмножеств.
3) Добавим новый элемент 𝑥, тогда у нас есть все подмножества где отсутствует элемент 𝑥, давайте теперь в
каждое подмножество добавим наш элемент и получим столько же подмножеств где содержится 𝑥, тогда
общее кол-во подмножеств равно 2𝑛 + 2𝑛 = 2𝑛+1 , для множества из 𝑛 + 1 элемента.
Операции над множествами: Объединение
Опр Объединение Union 𝐴 ∪ 𝐵 − множество, состоящее из элементов, принадлежащих хотя бы одному из множеств.

Опр A ∪ 𝐵 = 𝑥 𝑥 ∈ 𝐴 или 𝑥 ∈ 𝐵}

В общем случае: ] 𝑰 = 𝟏, 𝟐, 𝟑, … , 𝒌 − индексы

ራ 𝐴𝑖 = 𝐴1 ∪ 𝐴2 ∪ ⋯ ∪ 𝐴𝑘 = 𝑥 ∃ 𝑖 ∈ 𝐼, т. ч. 𝑥 ∈ 𝐴𝑖 }
𝑖∈𝐼

NB: Операции выполняются над множествами, а значит результат тоже будет множеством
Операции над множествами: Объединение
Утверждения:
𝐴 ⊆𝐴 ∪𝐵
𝐵 ⊆ 𝐴 ∪𝐵
| 𝐴 | ≤ | 𝐴 ∪ 𝐵 |; | 𝐵 | ≤ | 𝐴 ∪ 𝐵 |

𝐴⊂𝐵 У множеств 𝐴 и 𝐵 нет общих элементов

𝐴∪𝐵 = 𝐵 𝐴∪𝐵 = 𝐴 + 𝐵
Операции над множествами: Пересечение
Опр Пересечение Intersection 𝐴 ∩ 𝐵 − множество, состоящее из элементов, одновременно принадлежащих и 𝐴 и 𝐵.

Опр 𝐴 ∩ 𝐵 = 𝑥 𝑥 ∈ 𝐴 и 𝑥 ∈ 𝐵}

Опр Если 𝐴 ∩ 𝐵 = ∅, то такие множества называют непересекающимися.

В общем случае: ] 𝐼 = 1,2,3, … , 𝑘 − индексы

ሩ 𝐴𝑖 = 𝐴1 ∩ 𝐴2 ∩ ⋯ ∩ 𝐴𝑘 = 𝑥 𝑥 ∈ 𝐴𝑖 для всех 𝑖 ∈ 𝐼}
𝑖∈𝐼
Операции над множествами:
Пересечение
Утверждения:

𝐴 ∩𝐵 ⊆𝐴
𝐴 ∩𝐵 ⊆𝐵
| 𝐴 | ≥ | 𝐴 ∩ 𝐵 |; | 𝐵 | ≥ | 𝐴 ∩ 𝐵 |

𝐴⊂𝐵 У множеств 𝐴 и 𝐵 нет общих элементов

𝐴∩𝐵 = 𝐴 𝐴∩𝐵 =0
Операции над множествами:
Разность.
Опр Разность Difference 𝐴\𝐵 − множество, состоящее из элементов, принадлежащих только 𝐴 и не принадлежащих 𝐵.

Опр 𝐴\𝐵 = 𝑥 𝑥 ∈ 𝐴 и 𝑥 ∉ 𝐵}

Утверждения:

𝐴 \𝐵 ⊆ 𝐴 𝐴⊂𝐵 У множеств 𝐴 и 𝐵 нет общих элементов

𝐵 ⊈ 𝐴\𝐵
𝐴 ≥ 𝐴 \𝐵 ; 𝐵 | 𝐴\𝐵 |

| 𝐴 \𝐵 | = 0 | 𝐴 \𝐵 | = 𝐴
Операции над множествами:
Симметрическая разность.
Опр Симметрическая разность Symmetric difference 𝐴 ∆ 𝐵 (𝐴⨁𝐵)– множество, состоящее из элементов,
принадлежащих либо только 𝐴, либо только𝐵.

Опр 𝐴 ∆ 𝐵 = 𝑥 𝑥 ∈ 𝐴 и 𝑥 ∉ 𝐵 или 𝑥 ∈ 𝐵 и 𝑥 ∉ 𝐴}

Утверждения:

𝐴 ∆ 𝐵 = (𝐴\𝐵) ∪ (𝐵\𝐴) 𝐴⊂𝐵 У множеств 𝐴 и 𝐵 нет общих элементов

𝐴∆𝐵 = 𝐴∪𝐵 \ 𝐵∩𝐴

𝐴 ∆ 𝐵 = | 𝐴 \𝐵 | 𝐴 ∆ 𝐵 = 𝐴 + |𝐵|
Операции над множествами: Дополнение
Опр Дополнение Complement 𝐴 – дополнение множества А до универсума 𝑈.

Опр 𝐴 = 𝑈\A = 𝑥 𝑥 ∈ 𝑈 и 𝑥 ∉ 𝐴}

Пример:

𝑈 = 1,2,3,4,5 , 𝐴 = 1,2

𝐴 = {3,4,5}

Th Выражение для разности:

𝐴\B = 𝐴 ∩ 𝐵
Операции над множествами:
Декартово произведение
Опр (𝑎, 𝑏) – упорядоченная пара.

Опр Кортеж (вектор) – упорядоченный набор произвольных объектов.

Опр Декартово (прямое) произведение Cartesian Product множеств 𝐴 и 𝐵 – все пары (𝑎, 𝑏) такие, что

𝐴 × 𝐵 = (𝑎, 𝑏) 𝑎 ∈ 𝐴 и 𝑏 ∈ 𝐵}

Пример
𝐴 = 1,2,3 , 𝐵 = 𝑎, 𝑏

𝐴 × 𝐵 = { 1, 𝑎 , 2, 𝑎 , 3, 𝑎 , 1, 𝑏 , 2, 𝑏 , (3, 𝑏)}

Утверждение: 𝐴 × 𝐵 = 𝐴 ∙ 𝐵
Порядок операций
1. Операции выполняются последовательно слева направо

2. Операции в скобках выполняются первыми в соответствии с пунктом 1

3. Приоритет операций:
1. Дополнение
2. Пересечение
3. Объединение
Свойства операций над множествами
] 𝐴, 𝐵, 𝐶 ⊆ 𝑈
1. Закон идемпотентности 5. Свойства коммутативности
А ∩ А = А А ∩ В = В ∩ А
А ∪ А = А А ∪ В = В ∪ А

6. Свойства ассоциативности
2. Двойное дополнение
А ∩ (В ∩ С) = (А ∩ В) ∩ С
𝐴=𝐴 А ∪ (В ∪ С) = (А ∪ В) ∪ С

3. Свойства тождества 7. Свойства дистрибутивности

А ∪ ∅ = А А ∩ В ∪ С = А ∩ В ∪ А ∩ С
А ∩ 𝑈 = А А ∪ (В ∩ С) = (А ∪ В) ∩ (А ∪ С)

4. Свойства дополнения
А ∪ 𝐴 =𝑈
А ∩𝐴=∅
Свойства операций над множествами
8. Законы де Моргана
А∩ В= А ∪ В

А∪ В= А ∩ В

9. Закон Поглощения
А ∪ (А ∩ В) = А

А ∩ (А ∪ В) = А

10. Закон Склеивания

А ∩ В ∪ (А ∩ В) = А

(А ∪ В) ∩ (А ∪ В) = А

11. Закон Сокращения (Порецкого)

А ∪ (А ∩ В) = (А ∪ В)

А ∩ (А ∪ В) = (А ∩ В)