01. Множества и подмножества. Элементы и множества

Понятие множества принадлежит к числу фундаментальных неопределяемых по­нятий математики. Можно сказать, что Множество — Это любая определенная со­вокупность объектов. Объекты, из которых составлено множество, называются его Элементами. Элементы множества различны и отличны друг от друга.

Примеры. Множество SСтраниц в данной книге. Множество N Натуральных Чисел 1, 2, 3, ....Множество Р Простых Чисел 2, 3, 5, 7, 11, ...

Если объект Х Является элементом множества М, то говорят, что Х принадле­жит М. Обозначение: Хϵ М. В противном случае говорят, что Х не принадле­жит М. Обозначение: Х М.

Множества, как объекты, могут быть элементами других множеств. Множество, элементами которого являются множества, обычно называется Классом или Семейством.

Обычно в конкретных рассуждениях элементы всех множеств берутся из некоторого одного, достаточно широкого множества U (своего для каждого случая), которое называется Универсальным множеством, или Универсумом.

Из соображений формального удобства вводят еще так называемое "пустое множество", а именно, множество, не содержащее ни одного элемента. Его обозначают Ø, иногда символом 0 (совпадение с обозначением числа нуль не ведет к путанице, так как смысл символа каждый раз ясен).

Обозначим множество N первых натуральных чисел через Jn = {1,2, ..., n}. Множество X называется Конечным, если оно эквивалентно Jn при некоторомn. Число n называется Количеством, или числом, элементов множества X. Для конечного множества X через |Х| обозначим число элементов этого множества, т. е. |Х| = n. Пустое множество считается конечным с числом элементов равным нулю, т. е. |Ø| =0. Множества, не являющиеся конечными, называются Бесконечными.

Если каждый элемент множества A входит во множество B, то A называется подмножеством B, а B называется надмножеством A. ПишутAB, BA (A входит в B или A содержится в B, B содержит A). Очевидно, что если AB, и BA, то A = B. Пустое множество по определению считается подмножеством любого множества.

Если каждый элемент множества A входит в B, но множество B содержит хотя бы один элемент, не входящий в A, т. е. если AB, иA≠B, то A называется Собственным подмножеством B, а B - Собственным надмножеством A. В этом случае пишут AB, BA. Например, запись А≠0 и А0 означают одно и то же, а именно, что множество A не пусто.

Заметим еще, что надо различать элемент a и множество {a}, содержащее a в качестве единственного элемента. Такое различие диктуется не только тем, что элемент и множество играют неодинаковую роль (отношение не симметрично), но и необходимостью избежать противоречия. Так, пусть A = {a, b} содержит два элемента. Рассмотрим множество {A}, содержащее своим единственным элементом множество A. Тогда A содержит два элемента, в то время как {A} - лишь один элемент, и потому отождествление этих двух множеств невозможно. Поэтому рекомендуется применять запись АϵА , и не пользоваться записью aA.

Следующая >