Теорія множин

🎯 Що таке теорія множин?

Теорія множин — це фундаментальна галузь математики, яка вивчає властивості множин, їх операції та структури. Вона є основою для більшості інших математичних дисциплін та забезпечує строгий формальний підхід до визначення математичних об'єктів.

🔍 Основні концепції

Множина: колекція різних об'єктів

Елемент: об'єкт, що належить множині

Підмножина: множина, всі елементи якої належать іншій множині

Універсальна множина: множина, що містить всі можливі елементи

Порожня множина: множина без елементів

📝 Основні позначення

Стандартні позначення:

∈ - належить (елемент належить множині)

∉ - не належить

⊆ - підмножина

⊂ - власна підмножина

∪ - об'єднання

∩ - перетин

∖ - різниця

× - декартів добуток

P(A) - степінь множини A

🔧 Операції над множинами

🤝 Об'єднання множин

Об'єднання двох множин A і B — це множина, що містить всі елементи, які належать хоча б одній з множин.

A ∪ B = {x : x ∈ A або x ∈ B}

🎯 Перетин множин

Перетин двох множинх A і B — це множина, що містить тільки елементи, які належать обом множинам одночасно.

A ∩ B = {x : x ∈ A і x ∈ B}

➖ Різниця множин

Різниця множин A і B — це множина елементів, які належать A, але не належать B.

A ∖ B = {x : x ∈ A і x ∉ B}

🔄 Симетрична різниця

Симетрична різниця двох множин — це множина елементів, які належать точно одній з множин.

A △ B = (A ∖ B) ∪ (B ∖ A)

🎭 Доповнення множини

Доповнення множини A відносно універсальної множини U — це множина всіх елементів U, які не належать A.

A' = U ∖ A

🏗️ Аксіоми Цермело-Френкеля (ZF)

Теорія множин побудована на системі аксіом, які гарантують існування та властивості множин.

📋 Основні аксіоми ZF

1. Аксіома об'єму (Extensionality)

Дві множини рівні тоді і тільки тоді, коли вони мають однакові елементи.

∀A ∀B (∀x (x ∈ A ↔ x ∈ B) → A = B)

2. Аксіома порожньої множини

Існує множина без елементів.

∃A ∀x (x ∉ A)

3. Аксіома пари

Для будь-яких двох множин існує множина, що містить їх як елементи.

∀A ∀B ∃C ∀x (x ∈ C ↔ (x = A ∨ x = B))

4. Аксіома об'єднання

Для будь-якої множини існує множина, що містить всі елементи елементів цієї множини.

∀A ∃B ∀x (x ∈ B ↔ ∃y (y ∈ A ∧ x ∈ y))

5. Аксіома степеня множини

Для будь-якої множини існує множина всіх її підмножин.

∀A ∃B ∀x (x ∈ B ↔ x ⊆ A)

6. Аксіома нескінченності

Існує індуктивна множина (множина, що містить ∅ та замкнута відносно операції x ↦ x ∪ {x}).

7. Схема аксіом підстановки

Якщо φ(x,y) — формула така, що для кожного x існує єдиний y з φ(x,y), то для будь-якої множини A існує множина B = {y : ∃x ∈ A φ(x,y)}.

8. Аксіома регулярності (фундування)

Кожна непорожня множина містить елемент, що не має з нею спільних елементів.

∀A (A ≠ ∅ → ∃x (x ∈ A ∧ x ∩ A = ∅))

🎲 Аксіома вибору (AC)

Аксіома вибору — це додаткова аксіома, яка часто додається до системи ZF, утворюючи систему ZFC.

Аксіома вибору

Для будь-якої сім'ї непорожніх множин існує функція вибору, яка вибирає по одному елементу з кожної множини.

∀A ((∀x ∈ A (x ≠ ∅)) → ∃f (f: A → ∪A ∧ ∀x ∈ A (f(x) ∈ x)))

🔍 Еквівалентні формулювання AC

Лема Цорна: частково впорядкована множина з верхніми межами для ланцюгів має максимальний елемент

Принцип доброго порядку: будь-яка множина може бути добре впорядкована

Теорема Кантора-Бернштейна-Шредера: якщо |A| ≤ |B| і |B| ≤ |A|, то |A| = |B|

🔢 Кардинальні числа

Кардинальні числа вимірюють "розмір" множин та дозволяють порівнювати нескінченні множини.

📊 Визначення кардинальності

Кардинальність множини A (позначається |A|) — це клас еквівалентності множин, що мають однакову потужність.

Визначення:

|A| = |B| якщо існує бієкція f: A → B

🎯 Алеф-числа

Алеф-числа — це кардинальності нескінченних множин.

Основні алеф-числа:

ℵ₀ - кардинальність натуральних чисел (зліченна нескінченність)

ℵ₁ - найменша незліченна кардинальність

ℵ₂ - наступна кардинальність після ℵ₁

ℵₙ - n-та кардинальність

🔢 Арифметика кардинальних чисел

Операції:

Додавання: |A| + |B| = |A ⊔ B| (незв'язане об'єднання)

Множення: |A| · |B| = |A × B| (декартів добуток)

Піднесення: |A|^|B| = |A^B| (множина функцій)

🔢 Ординальні числа

Ординальні числа представляють типи порядку добре впорядкованих множин.

📈 Визначення ординалів

Ординаль — це транзитивна множина, добре впорядкована відносно ∈.

Кінцеві ординали:

0 = ∅

1 = {0}

2 = {0, 1}

3 = {0, 1, 2}

n = {0, 1, 2, ..., n-1}

♾️ Нескінченні ординали

Основні нескінченні ординали:

ω - найменший нескінченний ординал (тип порядку ℕ)

ω + 1 - наступний ординал після ω

ω + ω = ω·2

ω² - ординал типу порядку ℕ × ℕ

ω^ω - ординал високої складності

⚠️ Парадокси теорії множин

🔴 Парадокс Рассела

Парадокс, що виникає при розгляді множини всіх множин, які не містять себе як елемент.

Формулювання:

Нехай R = {x : x ∉ x} - множина всіх множин, які не містять себе.

Питання: Чи належить R сама собі?

Якщо R ∈ R, то за визначенням R ∉ R

Якщо R ∉ R, то за визначенням R ∈ R

Це суперечність!

🔴 Парадокс Кантора

Парадокс, що виникає при розгляді степеня множини всіх множин.

🔴 Парадокс Бері

Парадокс, пов'язаний з визначенням множини через властивості.

🏗️ Конструктивістська теорія множин

Альтернативні підходи до теорії множин, що уникають парадоксів.

🎯 Теорія типів

Розділення об'єктів на типи для запобігання парадоксам.

🔧 Теорія категорій

Підхід через морфізми та функтори замість елементів.

🔗 Застосування теорії множин

📊 В математиці

Алгебра: групи, кільця, поля як множини з операціями

Топологія: топологічні простори як множини з топологією

Аналіз: функції як множини упорядкованих пар

Теорія мір: вимірювані множини та міри

💻 В інформатиці

Теорія автоматів: скінченні множини станів

Бази даних: реляційна модель

Програмування: структури даних

Теорія графів: множини вершин та ребер

🔬 В логіці та філософії

Формальна логіка: інтерпретації та моделі

Філософія математики: природа математичних об'єктів

Теорія доказів: формальні системи

🎓 Історичний розвиток

🏛️ Ранній період

Георг Кантор (1845-1918): засновник теорії множин

Річард Дедекінд (1831-1916): теорія дійсних чисел

Джузеппе Пеано (1858-1932): аксіоматика натуральних чисел

🔄 Сучасний період

Ернст Цермело (1871-1953): перша аксіоматизація

Абрагам Френкель (1891-1965): покращення аксіом

Курт Гедель (1906-1978): теореми неповноти

Пол Коен (1934-2007): незалежність континуум-гіпотези

🔮 Сучасні напрямки

🌟 Великі кардинали

Вивчення кардинальних чисел, що не можуть бути досягнуті в ZFC.

🎯 Принудження (Forcing)

Метод доказу незалежності результатів від ZFC.

🏗️ Теорія моделей множин

Вивчення моделей теорії множин та їх властивостей.

🔄 Дескриптивна теорія множин

Вивчення конкретних множин та їх складності.

📚 Практичні вправи

Вправа 1: Операції над множинами

Для множин A = {1, 2, 3, 4}, B = {3, 4, 5, 6} знайдіть:

A ∪ B

A ∩ B

A ∖ B

A △ B

Вправа 2: Кардинальності

Доведіть, що множина раціональних чисел ℚ має кардинальність ℵ₀.

Вправа 3: Ординали

Побудуйте ординал ω + 3 та покажіть його структуру.

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.