нужно указать множество X, множество Y и множество QXY, определяющее
закон, по которому осуществляется соответствие. Таким образом, соответствие q
представляет собой упорядоченную тройку множеств q=(X,Y,Q), где QXY.
Очевидно, что Пр
1
QX и Пр
2
QY.
Множество X называется областью отправления соответствия.
Множество Y - областью прибытия соответствия.
Множество Q - графиком соответствия.
Пр
1
Q - областью определения соответствия.
Пр
2
Q - областью значений соответствия.
Пример: X={x:0x10}, xR, R - множество вещественных чисел;
Y={a,b,c,d,e.} Одним из возможных соответствий между элементами X и Y может
быть Q={(1,a),(5,a),(2,b),(5,d)}. Как видно из примера не обязательно, чтобы все
элементы из X и из Y участвовали в соответствии. Кроме того, одному и тому же
элементу из X могут соответствовать несколько элементов из Y, а один и тот же
элемент из Y может сопоставляться с разными элементами из X.
Для каждого соответствия q=(X,Y,Q), QXY можно построить обратное
соответствие, которое определяется следующим образом:
q
-1
=(Y,X,Q
-1
), где Q
-1
YX.
Отображение. Если в некотором соответствии q=(X,Y,Q), QXY область
определения совпадает с областью отправления Пр
1
Q=X, то такое соответствие
называется отображением. Отображение обозначают следующим образом: Г:XY, где
ГXY - график отображения X в Y.
Множество тех элементов yY, которые сопоставляются с каким-либо элементом
xX при отображении Г:XY, называется образом элемента x и обозначается Гx.
Очевидно ГxY.
Множество тех элементов xX, с которыми сопоставляется какой-либо элемент
yY, называется прообразом элемента y: Г
-1
yX.
Пример. Пусть X={1,2,3}; Y={a,b,c,d,e}. Рассмотрим отображение X в Y,
график которого имеет вид: Г={(1,a),(1,b),(2,c),(3,a),(3,b),(3,d)}. Образами в этом
отображении являются:
Г
1
={a,b} - образ элемента 1;
Г
2
={c} - образ элемента 2;
Г
3
={a,b,d} - образ элемента 3;
Прообразы: Г
-1
a={1,3} - прообраз элемента a;
Г
-1
b={1,3} - прообраз элемента b;
Г
-1
c={2} - прообраз элемента c;
Г
-1
d={3} - прообраз элемента d;
Г
-1
e= - прообраз элемента е.
Однозначное отображение или отображение, при котором образ каждого элемента
есть одноэлементное множество, называется функцией. Для функции принято
обозначение f: XY. Значение y в любой из пар (x,y)f называется функцией от
данного x и записывается в виде y = f(x). Символ f при определении функции
используется в двух смыслах: 1) f является множеством, элементами которого
являются пары (x,y), участвующие в соответствии; 2) f(x) является образом x, т.е.
f(x)=y.
Однозначное отображение (функция), при котором прообраз каждого элемента
также есть одноэлементное множество, называется взаимно однозначным, или
инъекцией.