Бинарные отношения. Отображения и их свойства. 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) . Изображение этого множества пар на плоскости носит название графика
