Множина — Вікіпедія
Множина | |
![]() | |
Досліджується в | теорія множин |
---|---|
Формула | |
Позначення у формулі | , , , і |
Підтримується Вікіпроєктом | Вікіпедія:Проєкт:Математика |
![]() |
Множина́ — одне з найважливіших понять сучасної математики. Поняття множини введено аксіоматично як сукупність певних об'єктів довільної природи,[1] і тому множину не можна означити застосовуючи інші означені поняття. Навпаки, за допомогою поняття «множина» означають багато інших понять, і не лише в математиці. Об'єкти, які складають множину, називають елементами цієї множини. Наприклад, можна говорити про множину всіх книг у певній бібліотеці, множину літер українського алфавіту, про множину всіх коренів певного рівняння, множину геометричних фігур, або, навіть, множину, яка складається з інших множин.
Поняття множини виникло в математиці в кінці 19 століття.[2] Перші принципи теорії множин були сформульовані Бернардом Больцано у його роботі Парадокси нескінченності.[3][4][5]
З 1872 по 1897 Георг Кантор опублікував ряд робіт, в яких були систематично викладені основні розділи теорії множин. У цих роботах він не тільки ввів основні поняття теорії множин, але й збагатив математику міркуваннями нового типу, які застосовував для доведення теорем теорії множин, зокрема вперше до нескінченних множин. Тому загальновизнано, що теорію множини створив Георг Кантор. Зокрема, він визначив множину як «єдине ім'я для сукупності всіх об'єктів, що мають цю властивість», та назвав ці об'єкти елементами множини. Множину всіх об'єктів, які мають властивість (тобто твердження, істинність якого залежить від значення змінної x), він позначив , а саму властивість назвав характеристичною властивістю множини .
Основна властивість множини полягає в тому, що вона може мати елементи. Дві множини рівні, якщо вони мають однакові елементи. Тобто, множини A та B рівні, якщо кожен елемент A є елементом B, а кожен елемент B є елементом A.
Проста концепція множин виявилася надзвичайно корисною в математиці, але якщо не накласти певних обмежень на те, як можна будувати множини, виникають парадокси:
- Парадокс Расселла показує, що «множина всіх множин, які не містять самих себе», тобто — множина і , не може існувати.
- Парадокс Кантора показує, що «множина всіх множин» не може існувати.
У наївній теорії множин множина визначається як будь-яка добре визначена сукупність окремих елементів, але через нечіткість терміна добре визначений виникають проблеми.
Оскільки теорія множин фактично використовується як основа для всіх сучасних математичних теорій, в 1908 році вона була аксіоматизована незалежно Бертраном Расселом і Ернстом Цермело. Надалі обидві системи переглядалися і змінювалися, але в основному зберегли свій характер. Вони відомі як теорія типів Рассела та теорія множин Цермело — Френкеля. Згодом теорію множин Кантора стала називатися наївною теорією множин, а теорію, перебудовану після Кантора, — аксіоматичною теорією множин. Аксіоматична теорія множин приймає поняття множини як неозначуване поняття.[6]
На практиці, що склалася з середини XX століття, множина визначається як модель, що задовольняє аксіомам ZFC (аксіоми Цермело-Френкеля з аксіомою вибору). Проте за такого підходу у деяких математичних теоріях виникають сукупності об'єктів, які не є множинами. Такі сукупності називаються класами.
Множини часто позначають через великі літери латинського алфавіту. Множину можна називати родиною або класом, якщо її елементи самі є множинами.
Цей спосіб задає множину шляхом перерахування її елементів через кому у фігурних дужках. Наприклад,
- ,
У множині має значення те, чи належить їй певний елемент чи ні, тому впорядкування елементів у записі не має значення (на противагу, у послідовності, кортежі чи перестановці множини порядок елементів у записі має значення). Наприклад, та представляють ту саму множину.
Для множин з великою кількістю елементів, особливо тих, які слідують за певним шаблоном, перелік елементів можна скорочувати за допомогою трьох крапок '...'. Наприклад, множина першої тисячі натуральних чисел може бути записана за допомогою переліку її елементів як
Нескінченна множина — це множина з нескінченним переліком елементів. Щоб описати нескінченну множину в цьому записі потрібно в кінці переліку або в обох кінцях поставити три крапки, щоб вказати, що перелік продовжується вічно. Наприклад, для множини цілих невід’ємних чисел буде
- ,
а для множини цілих чисел буде
- .
Інший спосіб задати множину — це використовувати правило для визначення елементів:
Таке задання називається семантичним описом.[7]
В математичних задачах, як правило, розглядають елементи деякої цілком означеної множини A. При цьому необхідні елементи виділяють за деякою їх властивістю (або вказують породжуючу процедуру) P, такою що кожний елемент або має властивість P (записується P(x)), або не має її. За допомогою властивості P виділимо множину всіх тих елементів, які мають властивість P. Цю множину будемо позначати як . У цьому записі вертикальна риска «|» означає «такий, що», це описати можна як «F — це множина елементів множини A, що задовольняють умову P». Деякі автори замість вертикальної риски використовують двокрапку «:». Задання множини вказівкою її властивості (або породжуючим предикатом) слід здійснювати обережно. Наприклад, множина (множина всіх множин, які не містять себе як елемента) веде до парадокса Рассела і є некоректною в аксіоматичній теорії множин.
Об'єкти, з яких складається множина, називають елементами множини або точками множини. Елементи множин часто позначаються через малі літери латинського алфавіту. Якщо — елемент множини , то пишуть (кажуть, що « належить »). Якщо не є елементом множини , то пишуть (кажуть, що « не належить »).
Порядок запису елементів множини не впливає на саму множину, тобто . Крім цього з вищесказаного випливає, що для множини не визначено кількість входжень однакових елементів, тобто запис , взагалі кажучи, не має сенсу, коли — множина. Однак коректним буде запис множини .
Порожня множина (або пуста множина) — це унікальна множина, яка не має елементів. Вона позначається ∅ або .
Якщо кожен елемент множини A також знаходиться в B, то кажуть, що A є підмножиною B або міститься в B. Це позначається через або . Останнє позначення можна прочитати як B містить A, B включає A, або B є надмножиною A. Відношення між множинами, встановлене ⊆, називається включенням. Дві множини називають рівними, якщо вони містять одна одну, тобто та , пишуть .
Якщо A є підмножиною B, але A не дорівнює B, то A називається власною підмножиною B. Це можна записати через . Так само, означає, що B є власною надмножиною A, тобто B містить A та не дорівнює A.
Третя пара операторів і використовується різними авторами по-різному: часто використовують і , щоб позначити, що A є підмножиною B і не обов'язково власною підмножиною, а іноді і резервують для випадків, коли A є власною підмножиною B.
Приклади:
- Множина всіх людей є власною підмножиною множини всіх ссавців.
Порожня множина є підмножиною кожної множини, а кожна множина є підмножиною самої себе:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Venn_A_subset_B.svg/150px-Venn_A_subset_B.svg.png)
B надмножина A.
Діаграма Ейлера — це графічне представлення набору множин, при якому кожна множина зображується у вигляді обмеженої плоскої області з її елементами всередині. Якщо A є підмножиною B, то область, що представляє A, повністю знаходиться всередині області, що представляє B. Якщо дві множини не мають спільних елементів, то області не перекриваються.
Діаграма Венна є графічним представленням n множин, у якому n областей ділять площину на 2n зон таким чином, що для кожного способу вибору деяких з n множин (можливо всіх або жодної) існує зона для елементів, які належать до всіх вибраних множин та жодній з інших. Наприклад, якщо множинами є A, B і C, має бути зона для елементів, які знаходяться всередині A і C та поза B (навіть якщо таких елементів не існує).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a0/NumberSetinC.svg/220px-NumberSetinC.svg.png)
Існують множини такого математичного значення, до яких математики звертаються так часто, що вони отримали спеціальні назви та умовні позначення для їх ідентифікації.
Багато з цих важливих множин представлені в математичних текстах за допомогою жирного шрифту (наприклад, ) або ажурного шрифту[en] (наприклад, ). До них належать
- або — множина усіх натуральних чисел: ;
- або — множина усіх цілих чисел: ;
- або — множина усіх раціональних чисел: ;
- або — множина усіх дійсних чисел;
- або — множина усіх комплексних чисел: .
Кожна із наведених вище множин чисел має нескінченну кількість елементів і кожна є підмножиною множин, перерахованих нижче.
Множини додатних чи від’ємних чисел іноді позначаються зі знаками плюс і мінус відповідно у верхньому індексі. Наприклад, представляє множину додатних раціональних чисел.
Множину натуральних чисел разом з нулем позначають з 0 у нижньому індексі: .
Потужність множини S, що позначається |S|, — це кількість елементів S. Практично всі з розглянутих вище множин мають визначену кількість елементів. Наприклад, для буде . Порожня множина має нуль елементів. Існують множини, які мають нескінченну кількість елементів. Такою є множина всіх натуральних чисел .
Поняття потужності множин стає важливим в контексті встановлення відношень між множинами. Зрозуміло, наприклад, що взаємооднозначне відношення між множинами A та B можливо встановити лише коли кількість їхніх елементів збігається. Особливо важливою проблема порівняння потужності постає для множин з нескінченною кількістю елементів. Виявляється, що потужності таких множин можуть бути не рівними, і це призводить до деяких цікавих наслідків.
Насправді всі спеціальні набори чисел, згадані в розділі вище, нескінченні. Нескінченні множини мають нескінченну потужність.
Деякі нескінченні потужності більші за інші. Напевно, одним із найбільш значущих результатів теорії множин є те, що множина дійсних чисел має більшу потужність, ніж множина натуральних чисел. Множини з потужністю, рівною потужності , називаються зліченними множинами. Якщо потужність множини менша або рівна потужності , то цю множину називають не більше ніж зліченною. Множини з потужністю, строго більшою за потужність , називають незліченними множинами. Множини з потужністю, рівною потужності інтервала (0,1), називаються континуальними.
Можна показати, що потужність прямої (тобто кількість точок на прямій) є такою ж, як і потужність будь-якого відрізка цієї прямої, усієї площини та, насправді, будь-якого скінченновимірного евклідового простору, тобто всі тут перелічені множини мають потужність континууму.
Гіпотеза континууму, сформульована Георгом Кантором у 1878 році, стверджує, що не існує множини з потужністю строго між потужністю натуральних чисел та потужністю прямої.[8] У 1963 році Пол Коен довів, що гіпотеза континууму не залежить від системи аксіом ZFC, що складається з теорії множин Цермело–Френкеля та аксіоми вибору.[9] (ZFC є найбільш широко вивченою версією аксіоматичної теорії множин).
Булеаном множини S є множина всіх підмножин S. Оскільки порожня множина і сама S є підмножинами S, то вони будуть елементами булеана множини S. Наприклад, булеаном множини буде . Булеан множини S зазвичай позначають як P(S) або 2S.
Якщо множина S має n елементів, то 2S має 2n елементів. Наприклад, множина має три елементи, а її булеан, як показано вище, має 23 = 8 елементів.
Якщо множина S є нескінченною (незалежно від того, чи зліченною чи незліченною), то 2S незліченний. Більше того, булеан завжди строго «більший», ніж вихідна множина, у тому сенсі, що будь-яка спроба з’єднати елементи S з елементами 2S у пари залишить деякі елементи 2S без пари. (Ніколи не буває бієкції між S та 2S).
Розбиття множини S — це множина непорожніх підмножин S, таких, що кожен елемент x з S знаходиться тільки в одній із цих підмножин. Тобто ці підмножини попарно не перетинаються (це означає, що будь-які дві множини розбиття не містять жодного спільного елемента), а об’єднання всіх підмножин розбиття дає S.
Існує кілька основних операцій для побудови нових множин із заданих множин.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2f/Venn_A_union_B.png/220px-Venn_A_union_B.png)
Об'єднання множин A та B
Об'єднанням множин А та B, що позначається A ∪ B, називається множина, яка складається з усіх тих елементів, які належать хоча б одній з множин A, B:
- або .
Приклади:
Деякі властивості операції об'єднання:
- (комутативність);
- (асоціативність);
- ;
- (ідемпотентність);
- ;
- тоді й лише тоді, коли .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn_A_intersect_B.svg/220px-Venn_A_intersect_B.svg.png)
Перетином множин А та B, що позначається A ∩ B, називається множина, яка складається з усіх тих елементів, які належать кожній із множин А, B:
- та .
Кажуть, що множини не перетинаються, якщо .
Приклади:
Деякі властивості операції перетину:
- (комутативність);
- (асоціативність);
- ;
- (ідемпотентність);
- тоді й лише тоді, коли .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Venn_B_minus_A.png/220px-Venn_B_minus_A.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Venn_A_complement.png/220px-Venn_A_complement.png)
Для двох множин також можна ввести операцію «віднімання». Теоретико-множинною різницею (або просто різницею) множин A та B, що позначається A \ B (або A - B), є множина таких елементів множини A, які не належать множині B:
- і
За домовленістю усі обговорювані множини вважаються підмножинами заданої універсальної множини U. У таких випадках U \ A називають доповненням до A і позначають , або .
Приклади:
- ;
- ;
- Якщо — множина цілих чисел, то доповнення її підмножини всіх парних чисел є підмножина всіх непарних чисел .
Деякі властивості операцій доповнення та різниці:
- при ;
- ;
- ;
- ;
- ;
- ;
- ;
- ;
- та ;
- та ;
- ;
- якщо , то .
![](http://upload.wikimedia.org/wikipedia/commons/2/23/Sym_complement.png)
Симетричною різницею множин A та B, що позначається A Δ B, називається така множина елементів, які містяться в одній з цих двох множин, але не в обох:
Наприклад, симетрична різниця множин та дорівнює .
Також, справедлива наступна тотожність:
Нову множину можна побудувати, пов'язуючи кожен елемент однієї множини з кожним елементом іншої множини. Декартовим добутком двох множин A і B, що позначається A × B, називається множина всіх впорядкованих пар (a, b), таких, що a належить A, а b належить B:
Приклади:
- ;
- ;
Деякі властивості декартового добутку:
- ;
- ;
- .
Нехай A та B — скінченні множини, тоді потужність їх декартового добутку дорівнює добутку їх потужностей:
Аугустус де Морган встановив два закони про множини.
Нехай A та B — будь-які дві множини, тоді
доповнення до об'єднання A та B дорівнює перетину доповнення до A і доповненням до B:
доповнення до перетину A та B дорівнює об'єднанню доповнення до A і доповненням до B:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/86/A_union_B.svg/220px-A_union_B.svg.png)
Принцип включення-виключення — це метод підрахунку, який можна використовувати для підрахунку кількості елементів в об’єднанні двох скінченних множин — якщо відомі потужність кожної множини та потужність їх перетину. Тоді потужність об'єднання можна виразити як
- .
Більш загальну форму принципу можна використовувати для знаходження потужності будь-якого скінченного об’єднання множин:
- Мультимножина
- Нечітка множина
- Principia Mathematica
- Циклічний порядок
- Відображення
- Відношення
- Відповідність між множинами
- Дороговцев А. Я. Математичний аналіз. Частина 1. — К. : Либідь, 1993. — 320 с. — ISBN 5-325-00380-1.(укр.)
- Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)
- К. Куратовський. Вступ до теорії множин та топології. — 8. — Варшава : PWN, 1980. — ISBN 83-01-01372-9.
- Поняття множини // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 162. — 594 с.
- ↑ Cantor, Georg; Jourdain, ((Philip E.B. (Translator))) (1895). beiträge zur begründung der transfiniten Mengenlehre [contributions to the founding of the theory of transfinite numbers]. Mathematische Annalen (German) . New York Dover Publications (1954 English translation). xlvi, xlix: 481—512, 207—246. Архів оригіналу за 10 червня 2011.
By an aggregate (Menge) we are to understand any collection into a whole (Zusammenfassung zu einem Gansen) M of definite and separate objects m (p.85)
- ↑ José Ferreirós (16 серпня 2007). Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Birkhäuser Basel. ISBN 978-3-7643-8349-7. Архів оригіналу за 8 травня 2022. Процитовано 21 червня 2022.
- ↑ Steve Russ (9 грудня 2004). The Mathematical Works of Bernard Bolzano. OUP Oxford. ISBN 978-0-19-151370-1. Архів оригіналу за 27 квітня 2022. Процитовано 21 червня 2022.
- ↑ William Ewald; William Bragg Ewald (1996). From Kant to Hilbert Volume 1: A Source Book in the Foundations of Mathematics. OUP Oxford. с. 249. ISBN 978-0-19-850535-8. Архів оригіналу за 22 квітня 2022. Процитовано 21 червня 2022.
- ↑ Paul Rusnock; Jan Sebestík (25 квітня 2019). Bernard Bolzano: His Life and Work. OUP Oxford. с. 430. ISBN 978-0-19-255683-7. Архів оригіналу за 17 квітня 2022. Процитовано 21 червня 2022.
- ↑ Jose Ferreiros (1 листопада 2001). Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Springer Science & Business Media. ISBN 978-3-7643-5749-8. Архів оригіналу за 15 квітня 2022. Процитовано 21 червня 2022.
- ↑ Halmos, 1960, с. 4.
- ↑ Cantor, Georg (1878). Ein Beitrag zur Mannigfaltigkeitslehre. Journal für die Reine und Angewandte Mathematik. 1878 (84): 242—258. doi:10.1515/crll.1878.84.242. Архів оригіналу за 5 лютого 2021. Процитовано 21 червня 2022.
- ↑ Cohen, Paul J. (15 грудня 1963). The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences of the United States of America. 50 (6): 1143—1148. Bibcode:1963PNAS...50.1143C. doi:10.1073/pnas.50.6.1143. JSTOR 71858. PMC 221287. PMID 16578557.