Вы находитесь на странице: 1из 3

Билет 2. Декартово произведение множеств.

Бинарные
отношения. Отображения и их свойства.
2.1. Декартово произведение множеств
Определение 2.1. Пусть даны два множества , A и B . Образуем
множество упорядоченных пар элементов, у которых первый элемент
принадлежит A , а второй - B . Полученное множество называется
декартовым произведением множеств A и B и обозначается A  B .
Перечислим некоторые простейшие свойства декартова произведения.
 Если A  C, B  D , то ( A  B)  (C  D) ;
 A  (B  C)  ( A  B)  ( A  C) .

Отметим, что A B  B  A тогда и только тогда, когда A  B .


2.2. Бинарные отношения
Определение 2.2. Любое подмножество R множества A B

называется бинарным отношением.


Изучим понятие бинарного отношения более подробно, так как оно
является важным не только для математического анализа, но и для
компьютерной математики.
Задавать бинарные соотношения конечных множеств можно, например,
с помощью таблиц. Например, пусть A  {1, 2,3}, B  {1, 2,3, 4,5,6} . Зададим

отношение R  A B свойством: пара ( x, y), x  A, y  B принадлежит


отношению R тогда и только тогда, когда x есть делитель y . Отношение R ,
таким образом, состоит из пар: (1,1),(1, 2),(1,3),(1, 4),(1,5),(1,6),(2, 2),(2, 4),(2,6),(3,6).
Изобразим это отношение следующим образом. Проведём три прямые,
соответствующие трём элементам множества A . Проведём шесть
перпендикулярных им прямых, соответствующих элементам множества B .
Отметим жирной точкой те точки пересечения этих прямых, которые
соответствуют отношению R .(рис.1)
 111111 
 010101 
 
 001001 
 

Рис.1 Рис.2 Рис.3

Другой способ задания бинарного отношения – использование стрелок.


Элементы A и B изображаются в виде точек плоскости. Стрелками
соединены те, и только те элементы x  A, y  B , для которых ( x, y)  R .(рис.2)
Это же бинарное отношение можно задать матрицей, состоящей из 0 и
1. Её строки соответствуют элементам множества A , столбцы – элементам
множества B . Элемент этой матрицы равен 1 тогда и только тогда, когда он
стоит на пересечении строки и столбца, соответствующих паре x  A, y  B ,
для которой ( x, y)  R .
Частным случаем бинарного отношения является понятие
отображения.
2.3.Отображение
Определение 2.3. Отображение, обозначим его f , сопоставляет
каждому элементу, называемому аргументом отображения, единственный
элемент f ( x) подмножества E ( x) множества B. Этот элемент f ( x)

называется образом элемента x  A при отображении f .


Множество тех элементов x  A , для которых существует f ( x) ,

называется областью определения отображения f .


Определение 2.4. Если отображение f определено на всём множестве
A , то говорят, что задано отображение A в B .
Определение 2.5. Множество образов элементов x A при
отображении f называется образом отображения. Если C  A , то образ
f (C ) определяется, как множество образов элементов f ( x), x  C .
Определение 2.6. Если образ совпадает со всем множеством B , то
говорят, что задано отображение A на B , или что f - сюръективное
отображение, или сюръекция. (При этом требование всюду определённости
не является обязательным).
Определение 2.7. Если D  B , то f 1 ( D) обозначает прообраз
множества D  B , т.е. множество тех элементов x  A , для которых
f ( x)  D .
Отметим очевидные свойства образа и прообраза:
f ( f 1 ( D))  D, f 1 ( f (C ))  C .
Определение 2.8. Если отношение E является взаимно однозначным,
то отображение, соответствующее E 1 , называется обратным к f и
обозначается f 1 . Если при этом отношение E всюду определено, то f
называется инъективным отображением, или инъекцией. Если, кроме того,
отображение ещё и сюръективно, то оно называется биективным или
биекцией.
Отметим, что выше мы использовали обозначение прообраза f 1 ( D) и в
случаях, когда обратное к f отображение f 1 не существует. Если же

обратное отображение существует, то прообраз f 1 ( D) можно


рассматривать, как образ множества D при отображении f 1 .
Замечание. Наиболее часто встречающимся отображением является
обычная функция y  f ( x) , определённая на некотором подмножестве X
числовой прямой, значения которой образуют множество Y . Эту
функциональную зависимость можно трактовать, как задание подмножества
в множестве X  Y , в которое входят те пары ( x, y) , для которых выполнено
равенство y  f ( x) . Изображение этого множества пар на плоскости носит
название графика

Вам также может понравиться