Дискретная математика. Элементы теории задачи и упражнения. Булгакова И.Н - 3 стр.

UptoLike

1. ТЕОРИЯ МНОЖЕСТВ И ОТНОШЕНИЙ
1.1 Элементы теории множеств
Под множеством понимается совокупность некоторых объектов (эле-
ментов), объединенных некоторым признаком. Множества обычно
обозначают большими буквами алфавита
Ζ
Υ
Χ
Β
Α
,
,
,
,
,
. Элементы,
входящие в множество, обозначаются малыми буквами
ω
,
,
,
,
,
z
y
b
a
. За -
пись
Χ
означает , что
является элементом множества
Χ
, а запись
Χ
означает , что
не принадлежит множеству
Χ
. Два множества счи-
таются равными, если они состоят из одних и тех же элементов.
Для описания множества пользуются двумя способами. Первый спо -
соб состоит в простом перечислении его элементов. Так, запись
510 ,,
=
Α
означает , что множество
Α
состоит из трех чисел 0,1 и 5. Второй способ
состоит в определении множества с помощью некоторого свойства P, по -
зволяющего определить, принадлежит ли данный элемент данному множе-
ству или нет . В этом случае используется коллективизирующее обозначе-
ние
)(: xPx
=
Α
,
которое читается следующим образом: множество
Α
состоит из всех эле-
ментов
, для которых
)
(
P
истинно. Если свойство P относится к эле-
ментам некоторого множества
Χ
, то будем писать также
}
)(: xPx
Χ
Α
=
. Например, множество
54321 ,,,, можно задать следую-
щим образом :
[
]
5154321 ,:,,,, интервалаизчислоцелоеxx
=
.
Множество, не содержащее элементов, называется пустым множест -
вом и обозначается
.
Знаком
обозначим отношение включения между множествами,
т.е.
Β
Α
, если каждый элемент множества
Α
есть элемент множества
Β
. Если
Β
Α
, то говорят , что множество
Α
есть подмножество множе-
ства
Β
.
Равенство двух множеств
Α
и
Β
означает выполнение двух вклю -
чений:
Β
Α
и
Α
Β
.
Если
Β
Α
и
Β
Α
, то говорят , что
Α
есть собственное подмно-
жество
Β
и пишут
Β
Α
.
Множество всех подмножеств множества
Α
называется множест -
вом-степенью и обозначается
(
)
Α
Ρ
.
Заметим , что: a)
Χ
Χ
; б) если
Ζ
Υ
Υ
Χ
,
, то
Ζ
Χ
; в) ес-
ли
Χ
Υ
Υ
Χ
,
, то
Υ
Χ
=
.
Не надо смешивать отношения принадлежности и включения. Хотя
{
}
{
}
{
}
{
}
11,11
, не верно, что
11
, так как единственным элементом
множества
1 является
{
}
1.