Академический Документы
Профессиональный Документы
Культура Документы
1
Дзэн и теория множеств
Что? Да!
2
Множества: ключевые обозначения
a ∈ X, b ̸∈ X
3
Множества: ключевые обозначения
X = Y ⇔ ∀a(a ∈ X ↔ a ∈ Y)
4
Множества: ключевые обозначения
X = Y ⇔ ∀a(a ∈ X → a ∈ Y)
X ⊂ Y ⇔ X ⊆ Y ∧ ¬(Y ⊆ X)
5
Операции на множествах: объединение и пересечение
Z = X ∪ Y ⇔ ∀a(a ∈ Z ↔ a ∈ X ∨ a ∈ Y)
Z = X ∩ Y ⇔ ∀a(a ∈ Z ↔ a ∈ X ∧ a ∈ Y)
6
Операции на множествах: разность множеств, дополнение
Z = X \ Y ⇔ ∀a(a ∈ Z ↔ a ∈ X ∧ a ̸∈ Y)
Z = Ȳ ⇔ ∀a(a ∈ Z ↔ a ̸∈ Y)
7
Задаем множества
X = {a, b, c}
X = {x | x > 3}
8
Множества множеств
Из определения следует, что элементами множества может быть что угодно, а значит,
и другие множества:
X = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}}
9
Множества множеств: упорядоченные множества
10
Множества множеств: булеан
P(X) = {Y | Y ⊆ X}
11
Объединение множества
∪
X = {a | ∃Y(Y ∈ X ∧ a ∈ Y)} = Y1 ∪ Y2 ∪ . . . для всех Yi ∈ X
∪
Пример: X = {{1, 2, 3}, {4, 5, 6}}, X = {1, 2, 3, 4, 5, 6}
12
Пересечение множества
∩
X = {a | ∀Y(Y ∈ X → a ∈ Y)} = Y1 ∩ Y2 ∩ . . . для всех Yi ∈ X
13
Декартово произведение
X × Y = {(a, b) | a ∈ X ∧ b ∈ Y}
14
Бинарные отношения
X = {1, 2}
≤ ⊆ X×X
≤ = {(1, 1), (1, 2), (2, 2)}
X × X = {(1, 1), (1, 2), (2, 1), (2, 2)}
15
Бинарные отношения: пример
(1, a), (2, b), (3, c), . . . ∈ R. Для удобства пишут 1Ra, 2Rb, 3Rc и т.д.
16
Некоторые свойства бинарных отношений
рефлексивно aRa
симметрично aRb → bRa
транзитивно (aRb ∧ bRc) → aRc
иррефлексивно ¬aRa
антисимметрично (aRb ∧ bRa) → a = b
нетранзитивно (aRb ∧ bRc) → ¬aRc
17
Бинарные отношения и функции
dom(R) = {a ∈ X | ∃b ∈ Y(aRb)}
ran(R) = {b ∈ Y | ∃a ∈ X(aRb)}
18
Функции
19
Инъекция, сюръекция, биекция
20
Функции
21
Домашка
1. Z \ (Z \ X) = X
2. X \ Y = X \ (X ∩ Y)
3. (a, b) = (a′ , b′ ) ⇔ a = a′ ∧ b = b′
4. Если отношение R симметрично и транзитивно, то aRb → aRa
∩
5. Пусть (a, b) – упорядоченная пара. Докажите, что a = (a, b). Докажите то же
часое для упорядоченной тройки (a, b, c)
6. Выберите транзитивные отношения из перечисленных ∈, ≤, ⊆, ̸=
22