Множества и его элементы. Подмножества

Определение:

Множество – это любая совокупность объектов, которые называются его элементами.

Если х- элемент множества М, то обозначают: х М { х – принадлежит М}, если не принадлежит, то х ∉ М; Множество не содержащее элементов называется пустым и обозначается ∅

Множество, в котором содержатся все элементы, находящиеся в рассмотрении, называется универсальным или универсумом и обозначается –

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

Если любой элемент множества В является элементом множества А, то множество В называется подмножеством множества А (частью множества А) и обозначается В ⊂ А; Отсюда следует, что любое множество является частью самого себя.

По определению пустое множество ∅ является подмножеством любого множества. Т.о. у любого множества А есть два подмножества:

А и ∅.

Они называются несобственными подмножествами множества А. Любое множество В множества А, которое не является несобственными подмножествами А, (т.е. они отличны от А и ∅) и называются собственными подмножествами подмножества А. Множество из одного элемента а обозначается {а}.

Пример: А = {1;2;3} тогда пустое множество ∅ и само множество А является несобственными подмножествами А.

Множества:{1},{2},{3},{1;2},{1;3},{2;3} называются собственными подмножествами множества А. Совокупность всех множеств А называется его булеаном и обозначается – 2^А; В А, означает, что В А, В ≠ А. В этом случае говорят, что В строго включено в А или В является собственным подмножеством А;

В случае В ⊆ А, В = А говорят, что В нестрогое включение в А, т.е. В является несобственным подмножеством А.

 

Основные логические символы

хР(х) – квантор общности (означает “для любого х выполняется

Р (х)”.)

хР(х) – квантор существования (означает “существует х, для которого выполняется Р (х)”.)

Р ⇒ Q – импликация (“из Р следует Q ”)

⟺ - эквивалентность (“тогда и только тогда”)

Р ∧ Q – конъюнкция (“Р и Q”)

Р ∨ Q – дизъюнкция (“Р или Q”)

Не Р или - отрицание Р

: = - символы присвоения (“положим”)

def – (“положим по определению”)

Используя эти символы можно записать:

1) (А = В) ⟺(( х ∈ А ⇒ х ∈ В) ∧ ( х ∈ В ⇒ х ∈ А)

2) (А ⊆ В) ⟺ ( х/х ∈А ⇒ х ∈ В)

3) (А = В) ⟺ (В ⊂ А ∧ А⊂ В)

∩

Задание множеств

Перечислением элементов: М: = { а₁; а₂; а₃; …; а_n }

или характеристическим свойством Р(х)

(предикатом): М: = { х | Р(х) }

Например:

1) В = { х ∈ N | х < 3} означает, что В= { 1; 2}

2) А ={ х ∈ N | х +1=5} означает, что А = {4}

3) В = { х ∈ N | х M5} или {5;10;15…}

т.е. { х | Р(х) }означает, что множество элементов х множества обладает свойством Р(х)

4) М = { х ∈ N | х ­3< 5}={1;2;3;4;5;6;7}

 

Операции над множествами

Рассматриваются следующие операции над множествами:

 

1⁰. Объединение множеств А и В.

 

 

U

А ∪ В = { х/х ∈ А или х ∈ В} – т.е. состоит из элементов, принадлежащих хотя б одному из множеств А или В.

 

 

2⁰. Пересечение множеств А и В.

A∩B = {x/x ∈ A и x ∈ B} – т.е. состоят из элементов, принадлежащих одновременно А и В.

 

3º. Разность множеств А и В.

U

A/B = {x/x ∈ A и x ∉ B} – т.е. состоит из элементов А, не принадлежащих В.

 

4º. Симметрическая разность А и В (или кольцевая сумма А и В)

А Ө B = {x/x ∈ A и x ∉ B} ∪ {x/x ∈ В и x ∉ А} или {А\В ∪ В\А}

 

5º. Дополнение А до универсума

= U\A = {x|x ∈ Uux и x ∉ А}

 

Произведение множеств

Прямым (декартовым) произведением двух множеств А и В называется множество всех упорядоченных пар, в которой I элемент из множества А, II элемент – из множества В, т.е. А×В = {(а, в)/а Є А ̂в Є В}

Пример: А={2;5;7;9} и В ={2;4;7},

Тогда А×В = {(2,2); (2,4); (2,7); (5,2); (5,4); (5,7); (7,2); (7,4); (7,7); (9,2); (9,4); (9,7)}

А∩В={2,7}; А∪В={2,4,5,7,9}; А/В={5,9}; В/А={4}; А Ө В={4,5,9}

Элементы множества А×В называются точками; В паре (х, у) абсцисса – х и ордината – у точки, соответствующей этой паре.

Множество точек плоскости является прямым произведением вида R×R=R², где R–множество действительных чисел.

R² называется декартовым квадратом на R.

Элементы теории графов