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

Теорія множин
Тема вивчення/дослідження	множина
Першовідкривач або винахідник	Георг Кантор
Підтримується Вікіпроєктом	Вікіпедія:Проєкт:Математика
Теорія множин у Вікісховищі

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

Сучасні дослідження теорії множин були започатковані Георгом Кантором і Ріхардом Дедекіндом у 1870-х роках. Після відкриття парадоксів наївної теорії множин, на початку XX століття були запропоновані численні системи аксіом, серед яких найвідомішою є система Цермело — Френкеля з аксіомою вибору (ZFC).

Історія

Наївна теорія множин

Георг Кантор (1845—1918), фундатор теорії множин

До другої половини XIX століття поняття «множини» не розглядалося як математичне («множина книг на полиці», «множина людських чеснот» і т. д. — все це суто побутові мовні звороти). Становище змінилося, коли німецький математик Георг Кантор розробив свою програму стандартизації математики, у межах якої будь-який математичний об'єкт мав бути тією або іншою «множиною». Цей підхід викладений у двох його статтях, опублікованих у 1879—1897 роках у відомому німецькому журналі «Mathematische Annalen»[1][2].

Наприклад, натуральне число за Кантором слід було розглядати як множину, що складається з єдиного елемента іншої множини, званої «натуральним рядом», який, зі свого боку, сам є множиною, що задовольняє так званим аксіомам Пеано.

Водночас загальному поняттю «множини», що розглядалося ним як центральне для математики, Кантор давав вельми розмиті означення, ніби «множина є багато що, мислиме як єдине», і т. д. Це цілком відповідало наміру самого Кантора, який підкреслено називав свою програму не «теорією множин» (цей термін з'явився набагато пізніше), а «вченням про множини» (Mengenlehre).

Програма Кантора викликала різкі протести з боку багатьох сучасних йому відомих математиків. Особливо виділявся своїм непримиренним до неї ставленням Леопольд Кронекер, який вважав, що математичними об'єктами можуть вважатися лише натуральні числа і те, що до них безпосередньо зводиться (відома його фраза про те, що «бог створив натуральні числа, а все інше — справа рук людських»).

Повністю відкинули теорію множин і такі авторитетні математики, як Герман Шварц та Анрі Пуанкаре. Проте, деякі інші математики — зокрема, Готлоб Фреге, Ріхард Дедекінд та Давид Гільберт — підтримали Кантора в його намірі перекласти всю математику на теоретико-множинну мову. Зокрема, теорія множин стала основою: теорії міри, топології, функціонального аналізу.

Проте незабаром з'ясувалося, що спрямування Кантора на відсутність обмежень при операціях з множинами (виражене ним самим у принципі «суть математики полягає в її свободі») недосконала із самого початку; а саме, було знайдено ряд теоретико-множинних антиномій: виявилося, що під час використання теоретико-множинних уявлень деякі твердження можуть бути доведені разом зі своїми запереченнями (а тоді, відповідно до правил класичної логіки висловлень, може бути «доведено» абсолютно будь-яке твердження). Першою такою антимонією став парадокс Буралі-Форті, відкритий самим Кантором ще в 1895 році[3][4], що показував, що припущення про існування множини всіх порядкових чисел веде до протиріччя. Пізніше було відкрито велику кількість парадоксів, пов'язаних із самореференціями, наприклад, парадокс Расселла виникає при спробі побудувати множину всіх множин, що не містять себе як свого елемента. Подібним же способом формулюються Парадокс Ґреллінґа — Нельсона і Парадокс Беррі. Трохи інакше побудований парадокс Рішара^[en], що має семантичну природу.

Антиномії ознаменували собою повний провал програми Кантора.

Аксіоматизація теорії множин

Ернст Цермело (1871—†1953), автор аксіоматики теорії множин

У 1901 році Бертран Расселл, вивчаючи наївну теорію множин, дійшов до парадоксу (відтоді відомому як парадокс Расселла). Таким чином була продемонстрована суперечливість наївної теорії множин і, пов'язаної з нею канторівської програми стандартизації математики. Аксіоматична теорія множин була початково розроблена, щоб позбутися таких парадоксів у теорії множин.[5]

Після виявлення антиномії Рассела частина математиків (наприклад, Л. Е. Я. Брауер і його школа) вирішила повністю відмовитися від використовування теоретико-множинних уявлень.

Інша ж частина математиків, очолена Давидом Гільбертом здійснила низку спроб обґрунтувати ту частину теоретико-множинних уявлень, яка здавалася їм якнайменше відповідальною за виникнення антиномій, на основі надійної фінітної математики.

Сам Кантор, усвідомивши ці проблеми, запропонував ввести поняття «консистентності», яку він характеризував як можливість уявити множину як одне ціле, і з її допомогою розділити власне множини, і «множинності» — більш складні конструкції, що не мають цієї властивості.[6]. Ця ідея, хоча й не увійшла до аксіоматичної теорії безпосередньо, проте вплинула на подальші дослідження, і, в більш формалізованому вигляді була реалізована.

Логічний апарат удосконалив Бертран Рассел у роботах, пізніше зібраних у його монографії «Principia Mathematica» (1910—1913). І в 1904—1908 роках Ернст Цермело запропонував першу аксіоматику теорії множин (див. Теорія множин Цермело).

Особливістю аксіоматичного підходу є відмова від закладеного в програму Кантора уявлення про справжнє існування множин у деякому ідеальному світі. У межах аксіоматичних теорій множини «існують» винятково формальним чином, і їхні «властивості» можуть істотно залежати від вибору аксіоматики. Цей факт завжди був мішенню для критики з боку тих математиків, які не згоджувалися (як на тому наполягав Гільберт) визнати математику, позбавленою будь-якого змісту, грою в символи. Зокрема, М. М. Лузін писав, що «потужність континууму, якщо тільки мислити його як множину точок, є якась єдина реальність», місце якої в ряду кардинальних чисел не може залежати від того, чи визнається як аксіома континуум-гіпотеза, чи її заперечення.

Наразі найпоширенішою аксіоматичною теорією множин є ZFC — теорія Цермело — Френкеля з аксіомою вибору. Питання про несуперечність цієї теорії (а тим більше — про існування моделі для неї) залишається нерозв'язаним.

Базові концепції і позначення

Позначення

Діаграма Венна, що демонструє множини великих літер грецької, латинської і російської мови

• Кола Ейлера і їхній окремий випадок, діаграми Ейлера-Вена — широко використовуються для того, щоб позначити прості відношення між скінченною кількістю множин. Самі множини водночас можуть бути як скінченними, так і нескінченними. Деякі теореми теорії множин стають очевидними після побудови відповідної діаграмми. На практиці є зручними лише для невеликої кількості множин.
• Квантори загальності (${\displaystyle \forall }$) і існування (${\displaystyle \exists }$) — є скороченим записом фраз «для будь-якого об'єкту вірно, що …» і «існує принаймні один об'єкт, такий що …». Також ці позначення мають назви універсальний і екзистенційний квантор.
• Індексні позначення — використовуються для перерахування елементів множини, тобто, якщо є множина ${\displaystyle A}$, то її елементи, зазвичай, позначають як ${\displaystyle a_{1},a_{2},a_{3}...}$.

Основні поняття

В основі теорії множин лежать первинні поняття: множина та елемент множини. Елемент множини перебуває щодо множини у відношенні бути елементом множини (позначається як ${\displaystyle x\in A}$[7] — «x є елемент множини A»). Серед похідних понять важливими є поняття підмножини і надмножини — множина, яка складається тільки з елементів іншої множини, та множина, до якої належать усі елементи іншої множини, відповідно. Як видно з цього визначення, будь-яка множина є власною підмножиною і надмножиною. Підмножина, що не збігається з множиною, підмножиною якої вона є, і не є порожньою, називається власною, або нетривіальною підмножиною. Множини вважаються рівними, якщо всі їхні елементи збігаються (або ж, інакше, кожна з них є підмножиною другої). Ці відношення позначаються наступним чином:

• Відношення включення (позначається як ${\displaystyle A\subset B,}$ або ${\displaystyle A\subseteq B}$).
• Відношення рівності (позначається як ${\displaystyle A=B\,}$);

Над множинами визначені наступні операції:

• Об'єднання (або сума) (позначається як ${\displaystyle \ A\cup B}$) — множина, що містить усі об'єкти, які є елементами принаймні однієї з множин А і В;
• Перетин (або добуток) (позначається як ${\displaystyle \ A\cap B}$) — множина, що містить усі об'єкти, які є елементами одночасно множини А і множини В;
• Різниця (позначається як ${\displaystyle \ A\setminus B,}$ рідше ${\displaystyle \ A-B}$) — множина, що містить усі об'єкти, які є елементами множини А, але не є елементами множини В;
• Симетрична різниця (позначається як ${\displaystyle A\,\triangle \,B,}$ рідше ${\displaystyle A\,{\dot {-}}\,B}$) — множина, що містить усі об'єкти, які є елементами множини А або множини В, але не їх обох.

• Базові операції з множинами
• 
  Об'єднання множин A та B
• 
  Перетин множин A та B
• 
  Різниця B і A
• 
  Симетрична різниця A та B

• Доповнення (позначається як ${\displaystyle \ \setminus A,}$ або ${\displaystyle -A\,}$) — множина всіх об'єктів, що не є елементами множини А;
• Декартів добуток множин ${\displaystyle \scriptstyle A\times B}$ — множина всіх можливих упорядкованих пар ${\displaystyle (a,b)}$, таких що ${\displaystyle a\in A,b\in B}$. Наприклад, добутком множин {1, 2} і {а, б, в} буде {(1, а), (1, б), (1, в), (2, а), (2, б), (2, в)}
  • Підмножина декартового добутку називається бінарним відношенням між множинами. Наприклад, відношення «ділиться на» між множинами {2, 5, 8} і {2, 4, 7} є множиною {(2, 2), (8, 2), (8, 4)}, яка є підмножиною їх декартового добутку;
  • Проєкцією елементу ${\displaystyle (a,b)\in R\subseteq A\times B}$ на множину ${\displaystyle A}$ називають елемент ${\displaystyle a\in A}$[8]
  • Перерізом відношення ${\displaystyle R\subseteq A\times B}$ по деякому елементу ${\displaystyle a\in A}$, є підмножина ${\displaystyle Y}$ множини ${\displaystyle B}$, така, що для всіх елементів ${\displaystyle y}$ цієї підмножини ${\displaystyle (a,y)\in R}$. Іноді такий переріз називають верхнім перерізом, а аналогічну конструкцію для другої множини — нижнім перерізом[9]
  • Оберненим відношенням до відношення ${\displaystyle R\subseteq A\times B}$ називається відношення ${\displaystyle R^{-1}}$, таке, що для будь-яких ${\displaystyle a\in A,b\in B:bR^{-1}a=aRb}$[10]
  • Функціональним відношенням називають таке відношення ${\displaystyle R\subseteq A\times B}$, де будь-якому ${\displaystyle a\in A}$ відповідає не більш ніж одна пара (a, b)[11]
  • Взаємно-однозначним відношенням називається функціональне відношення, обернене до якого також є функціональним.

Схема доведення рівнопотужності раціональних і натуральних чисел

• Булеан множини — множина всіх підмножин деякої множини. Позначається ${\displaystyle {\mathcal {P}}(A)}$ або ${\displaystyle 2^{A}}$. Наприклад, булеаном множини {1, 2} буде {{}, {1}, {2}, {1, 2}}
• Потужність множини, або кардинальне число — характеристика, що є узагальненням поняття кількості елементів. Власне, для скінченних множин їхня потужність дорівнює кількості їхніх елементів. Нескінченні множини утворюють свою ієрархію. Множини вважаються рівнопотужними, якщо між їхніми елементами можна встановити взаємнооднозначну відповідність. Потужність позначається як ${\displaystyle |A|}$, ${\displaystyle {\overline {\overline {A}}}}$, ${\displaystyle \#A}$ або ${\displaystyle \mathrm {card} (A)}$.

Серед важливих множин можна назвати:

• Порожня множина — множина, яка не містить елементів, позначається зазвичай ${\displaystyle \varnothing }$. Порожня множина є підмножиною будь-якої множини;
• Простір (універсум) — множина, що є надмножиною всіх множин (не варто плутати це поняття з множиною всіх множин, існування якої призводить до парадоксів);
• Множина натуральних чисел — позначається літерою ${\displaystyle \mathbb {N} }$. Найменша з нескінченних множин. Множини, потужність яких рівна потужності множини натуральних чисел називаються зліченними.
• Множина дійсних чисел — позначається літерою ${\displaystyle \mathbb {R} }$. Згідно континуум-гіпотезі, множина дійсних чисел є другою найменш потужною серед нескінченних.

Аксіоматична теорія множин

Система Цермело — Френкеля з аксіомою вибору

Свого сучасного вигляду набула в 1922 році завдяки роботам Туральфа Скулема і Адольфа Френкеля, що доопрацювали опубліковані в 1908 році Ернстом Цермелло аксіоми. Ця система має скорочену назву ZFC, і є найбільш популярною системою аксіом теорії множин. Її можна сформулювати таким способом:

• Аксіома об'ємності — дві множини є рівними, якщо будь-який елемент, що міститься в першій множині, міститься і в другій, і навпаки;
• Аксіома порожньої множини — існує порожня множина, що не містить жодного елемента;
• Аксіома нескінченності — існує нескінченна множина, що має такі властивості:
  • Ця множина містить порожню множину
  • Якщо ця множина містить деякий елемент b, то вона містить і елемент {b}

У такий спосіб, така множина має вигляд

${\displaystyle \{\varnothing ,\ \ \varnothing \cup \{\varnothing \},\ \ \varnothing \cup \{\varnothing \}\cup \{\varnothing \cup \{\varnothing \}\},\ \ldots \}}$

• Аксіома пари — якщо існують дві множини ${\displaystyle a_{1}}$ і ${\displaystyle a_{2}}$, то існує множина кожен елемент якої дорівнює або ${\displaystyle a_{1}}$, або ${\displaystyle a_{2}}$ ;
• Аксіома булеана — для будь-якої множини існує множина всіх її підмножин;
• Аксіома об'єднання — для будь-якого набору(родини) множин, можна створити множину, кожен елемент якої належить принаймні до однієї з цих множин;
• Аксіомна схема виділення — якщо є деяке математичне твердження, що може бути застосованним до будь-якого з елементів деякої множини, то можна виділити принаймні одну підмножину цієї множини, застосувавши це твердження;
• Аксіомна схема підстановки — якщо є функціональне відношення, що може бути застосована до кожного з елементів множини, то, застосувавши його, можна визначити нову (або ж таку саму) множину;
• Аксіома регулярності — у будь-якій родині множин існує принаймні одна множина, кожен елемент якої не належить цій родині. Одним з наслідків цієї аксіоми є те, що жодна множина не є елементом самої себе;
• Аксіома вибору — для будь-якого набору непорожніх, неперетинаючихся множин можна побудувати множину, кожен елемент якої є елементом однієї і тільки однієї з множин цього набору.

На відміну від інших, остання аксіома не є достатньо самоочевидною, і тому деякі математики виключають її (система аксіом Цермело — Френкеля без неї позначається просто як ZF). Недовіра до аксіоми вибору підсилюється тим, що наслідки, що випливають з неї, можуть бути дуже контрінтуітивними і парадоксальними, наприклад, процедура Банаха-Тарського, що використовує аксіому вибору, дозводяє розділити тривимірну кулю на п'ять шматків, і зібрати з них дві кулі такого самого розміру.

Система фон Неймана — Бернайса — Геделя

Система аксіом Неймана — Бернайса — Геделя (NBG) є розширенням ZFC. Поняття, сформульовані в ZFC можуть бути доведені тоді, і тільки тоді, якщо вони можуть бути доведені в NBG.

Була розроблена в період з 1940 по 1954 роки Куртом Геделем і Паулем Бернайсом^[en], і розвивала аксіоматику, розроблену Джоном фон Нейманом у 1926 році.

Вводить поняття власного класу — об'єкту, що має у собі елементи, але сам не може бути елементом ніяких об'єктів. Серед аксіом, що містяться у NBG, але не містяться у ZFC можна назвати такі:

• Аксиома обмеження потужності — для будь-якого класу, множина, що збігається з цим класом, може існувати лише тоді, коли не існує бієкції між цим класом і класом всіх множин.
• Схема аксіом породження підклассів — для будь-якої формули ${\displaystyle \varphi }$, що не містить кванторів для змінних-классів (вона може містити змінні-класи як параметри) існує клас ${\displaystyle A}$, такий, що ${\displaystyle \forall x(x\in A\leftrightarrow \varphi (x))}$.[12]

Області дослідження

Комбінаторна теорія множин

Комбінаторна теорія множин (нескінченна комбінаторика) розглядає розширення комбінаторики для нескінченних множин. До нього належать дослідження кардинальної арифметики і вивчення розширень теореми Ремзі, таких як теорема Ердеша-Радо^[en][13].

Описова теорія множин

Описова, або дескриптивна теорія множин — вивчає внутрішні властивості множин, що побудовані з об'єктів відносно простої природи — відкритих і замкнених множин евклідових, метричних і топологічних просторів за допомогою теоретико-множинних операцій, таких як об'єднання, перетин, різниця тощо. Простори, що вивчаються дескриптивною теорією множин носять загальну назву польські простори. До таких просторів належать, наприклад, простори ${\displaystyle \mathbb {R} }$ (дійсні числа), ${\displaystyle 2^{\mathbb {N} }}$ (дисконтінуум Кантора), ${\displaystyle \mathbb {N} ^{\mathbb {N} }}$ (берівський простір), ${\displaystyle I^{\mathbb {N} }}$ (куб Гільберта). Серед множин, що вивчаються дескриптивною теорією множин можна назвати борелівські множини, що отримані з відкритих множин вихідного простору не більш ніж зліченною кількістю перетинів, об'єднань і різниць, а також А-множини, введені Александровим, що отримені за допомогою незліченної кількості таких операцій.[14] Найбільший вклад в дескриптивну теорію множин внесли Фелікс Гаусдорф, Микола Лузін, Павло Александров, Михайло Суслін.

Нечіткі множини або Теорія розмитих множин

Нечіткі множини були введені одночасно[15] Лотфі Заде[16] і Дітером Кляуа[17] в 1965 році як розширення класичного поняття множини. У теорії множин введеній Кантором і аксіоматизованії Цермело і Френкелем, елемент або належить множині, або ні. У теорії нечітких множин цю умову було ослаблено, елемент має ступінь належності до множини, який задається числом між 0 і 1. Наприклад, ступінь приналежності конкретної людини до множини «високих людей» є гнучкішим, ніж просто так чи ні, і може бути дійсним числом, скажімо, 0,75. Теорія розмитих множин визначена Лотфі Заде використовується в лінгвістиці. Заде вказує на те що деякі категорії не мають ступенів членування тоді як в інших вони є. Категорія сенатор США — чітко визначена. Проте, з іншого боку такі категорії як багаті люди чи високі люди градуйовані лише тому, що є різні ступені багатства та високого росту. Заде запропонував різновид теорії множин для того, щоб моделювати градуйовані категорії. У розмитих множинах за визначенням Заде допускається додаткове значення між 0 і 1.

Див. також

• Множина
• Алгебра множин
• Теоретико-множинні рівняння
• Теорія порядку
• Таблиця математичних символів
• Теорія категорій

Література

Українською

• Г.О.Михалін, Л.І.Дюженкова. Елементи теорії множин і теорії чиселPDF. — Київ : НПУ імені М.П. Драгоманова, 2003. — 128 с. — ISBN 966-660-105-2. (укр.)
• Л.Є. Базилевич. Дискретна математика у прикладах і задачах : теорія множин, математична логіка, комбінаторика, теорія графів. — Математичний практикум. — Львів, 2013. — 486 с. — ISBN 9789662645095. (укр.)
• Кужель О. В. Елементи теорії множин і математичної логіки. — Київ  : Радянська школа, 1977. — 160 с. (укр.)

Іншими мовами

• Kieth Devlin. The Joy of Sets: Fundamentals of Contemporary Set Theory. — 2. — Springer (Undergraduate Texts in Mathematics), 1994. — 194 с. — ISBN 978-0387940946. (англ.)
• Paul R. Halmos. Naive set theory. — Martino Fine Books, 2011. — 114 с. — ISBN 978-1614271314. (англ.)
• Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)

• Справочник по математике для средних учебных заведений. Цыпкин А. Г./Под ред. С. А. Степанова. — 3-е изд. — М. : Наука. Главная редакция физико-математической литературы, 1984. — 480 с. (рос.)
• Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : ОНТИ(інші мови), 1937. — 304 с. — ISBN 978-5-382-00127-2.(рос.)

Посилання

• Ivo Düntsch, Günther Gediga (2000). Sets, Relations, FunctionsPDF. ISBN 1903280001. (англ.)
• Stanford Encyclopedia of Philosophy, Set Theory [Архівовано 14 березня 2015 у Wayback Machine.]. (англ.)
• «Електронний підручник з теми „Теорія множин. Комбінаторика“» [Архівовано 23 жовтня 2013 у Wayback Machine.]. (рос.)

Примітки

1. G. Cantor, Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Crelles Journal f. Mathematik 77 (1874) 258—262.
2. Philip Johnson, 1972, A History of Set Theory, Prindle, Weber & Schmidt ISBN 0-87150-154-6
3. Кантор не опублікував виявлений ним парадокс, але написав про нього в листі Гільберту в 1896 році. Пізніше він різко висловлюється щодо публікацій Буралі-Форті
4. Адольф Френкель. Жизнь Георга Кантора [Архівовано 12 жовтня 2016 у Wayback Machine.](рос.)
5. John von Neumann, From Frege to Gödel: A Source Book in Mathematical Logic, 1979—1931, Harvard University Press, Cambridge MA, ISBN 0-674-32449-8. (наведено за англійською вікіпедією)
6. Архівована копія. Архів оригіналу за 12 жовтня 2016. Процитовано 12 жовтня 2016.
7. Символ ${\displaystyle \in }$ (від грец. εστι — «бути») введений італійським математиком Джузеппе Пеано.
8. Моделирование и оценивание характеристик сложных систем [Архівовано 12 жовтня 2016 у Wayback Machine.](рос.)
9. Системный анализ [Архівовано 11 жовтня 2016 у Wayback Machine.](рос.)
10. Обратное отношение. Архів оригіналу за 20 жовтня 2018. Процитовано 2 квітня 2022.
11. ФУНКЦИОНАЛЬНОЕ ОТНОШЕНИЕ [Архівовано 6 листопада 2021 у Wayback Machine.](рос.)
12. ВВЕДЕНИЕ В БУЛЕВОЗНАЧНЫЙ АНАЛИЗ [Архівовано 12 жовтня 2016 у Wayback Machine.](рос.)
13. Erdős, P.; Rado, R. (1956), A partition calculus in set theory., Bull. Amer. Math. Soc., 62: 427—489, doi:10.1090/S0002-9904-1956-10036-0, MR 0081864
14. Современная теория множеств: борелевские и проективные множества [Архівовано 10 вересня 2016 у Wayback Machine.](рос.)
15. Michael Winter (2007). Goguen categories: a categorical approach to L-fuzzy relations. Springer. с. ix. ISBN 9781402061639. Архів оригіналу за 20 вересня 2014. Процитовано 22 березня 2012.
16. L. A. Zadeh (1965) «Fuzzy sets» [Архівовано 27 листопада 2007 у Wayback Machine.]. Information and Control 8 (3) 338—353.
17. Klaua, D. (1965) Über einen Ansatz zur mehrwertigen Mengenlehre. Monatsb. Deutsch. Akad. Wiss. Berlin 7, 859—876. A recent in-depth analysis of this paper has been provided by doi:10.1016/j.fss.2009.12.005
    Нема шаблону {{Cite doi/10.1016/j.fss.2009.12.005}}.заповнити вручну

Портал «Математика»