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

М. Стоун

 

 

В конце XIX века в математической науке возникла необходимость уточнить смысл таких ведущих понятий, как функция, непрерывность и т. д. Для этого нужно было строго определить, что такое натуральное число. Поиски ответа на эти сложные вопросы способствовали развитию новых математических идей, поэтому в конце XIX начале XX столетий происходил пересмотр старых представлений буквально во всех областях математических знаний. В результате в конце XIX века возникла новая область математики – теория множеств, одним из создателей которой был немецкий математик Георг Кантор (1845 – 1918). За небольшой срок теория множеств стала фундаментом всей математики.

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

В математике понятие «множество» используется для описания предметов или объектов. При этом предполагается, что предметы (объекты) данной совокупности можно отличить друг от друга и от предметов, не входящих в эту совокупность.

Создатель теории множеств Г. Кантор определил множество как «объединение в одно целое объектов, хорошо различимых нашей интуицией или мыслью», а также «множество есть многое мыслимое нами как единое». Эти слова не могут рассматриваться как математически строгое определение множества, такого определения не существует. Понятие множества относится к исходным (не определяемым), на основании которых строятся остальные понятия математики.

Множество – это совокупность каких-либо объектов. Так, можно говорить о множестве всех книг данной библиотеки, множестве всех вершин данного многоугольника, множестве всех натуральных чисел, множестве всех точек данной прямой и т. д. Объекты, входящие в данное множество называются элементами множества. Книги данной библиотеки, вершины данного многоугольника, натуральные числа, точки данной прямой являются элементами соответствующих множеств.

Множества обычно обозначаются большими буквами A, B, X, а их элементы – малыми буквами а, b, x.

Множество называется конечным, если количество его элементов можно выразить целым неотрицательным числом (причем неважно, известно это число или нет, главное, оно существует), в противном случае множество называется бесконечным.

Пример 1. Множество книг в библиотеке, множество студентов в группе являются конечными. Множество натуральных чисел, множество точек прямой являются бесконечными.

Количество элементов множества обозначается |A|.

Пример 2. Пусть В – множество правильных многоугольников. Тогда В = {тетраэдр, куб, октаэдр, додекаэдр, икосаэдр}. |B| = 5.

Запись xХ, означает что объект х есть элемент множества Х, читается «х принадлежит множеству Х», «х входит в множество Х». Если х не принадлежит множеству Х, то пишут х Х.

Например, если через Nобозначим множество натуральных чисел, то 3 N,20 N,0 N, N.

Если все элементы множества А принадлежат какому-то множеству В, то говорят, что множество А является подмножеством множества В. Записывают А В (множество А содержится во множестве В). Любое множество является подмножеством самого себя, т. е. справедливо утверждение А А.

Если множество не содержит ни одного элемента, то его называют пустым и обозначают символом Ø. Пустое множество является подмножеством любого множества.

Подмножества, которые содержат не все элементы множества В, называют собственными подмножествами множества В.

Пример 3. Дано множество М = {a; c; m}. Найти все его подмножества.

Решение:

M₁ = {a}, M₂ = {c}, M₃ = {m}, M₄ = {a; c}, M₅ = {a; m}, M₆ = {c; m}, M₇ = {a; c; m}, M₈ = Ø.

Множества M₇ и M₈ называются несобственными подмножествами множества М.

Множества А и В называют равными (А = В), еслиони состоят из одних и тех же элементов,т.е. В А и А В.

Например, множества А = {3, 5, 7, 9} и В = {7, 3, 9, 5} равны, т. к. состоят из одинаковых элементов.

Множества, элементами которых являются числа, называются числовыми. Примерами числовых множеств являются:

Ν={1; 2; 3; ...; n; ...} – множество натуральных чисел (чисел, которые используют при счете предметов);

Ζ₀={0; 1; 2; ...; n; ...} – множество целых неотрицательных чисел;

Ζ={0; ±1; ±2; ...; ±n; ...} – множество целых чисел (натуральные числа и им противоположные);

Q={: m Z, n N} – множество рациональных чисел (числа, которые можно представить в виде обыкновенной дроби: целые числа, конечные десятичные и бесконечные десятичные периодические дроби);

R – множество действительных чисел (рациональные и иррациональные, т.е. бесконечные десятичные непериодические дроби).

Между этими множествами существует соотношение: .

Множество R содержит рациональные и иррациональные числа. Всякое рациональное число выражается или конечной десятичной дробью, или бесконечной периодической дробью. Так, ½=0,5 (=0,5000…), ⅓=0,333… – рациональные числа.

Действительные числа, не являющиеся рациональными, называются иррациональными. Иррациональное число выражается бесконечной непериодической дробью. Например, = 1,4142356…, π = 3,1415926… – иррациональные числа.