Дано соответствие Г=(X;Y;G). Изобразите соответствие в виде графа. Выясните, обладает ли соответствие свойствами всюду определенности, сюръективности, функциональности, инъективности. Найдите образ множества А и прообраз множества B при данном соответствии.
X | Y | G | A | B |
a,b,c,d | 1,2,3,4,5 | (a,2),(b,1),(b,5),(d,4) | a,b | 3,4 |
Решение.
Изобразим соответствие в виде графа (рис.1).
Рис.1
Соответствие не всюду определено, так как .
Соответствие не сюръективно, так как .
Соответствие не функционально, так как его график содержит две пары (b,1) и (b,5) c одинаковыми первыми и различными вторыми координатами.
Соответствие инъективно, так как его график не содержит пар с одинаковыми вторыми и различными первыми координатами.
Г(А)={1,2,5}, так как А={a,b} и .
Г-1(B)={d}, так как B={3,4} и только .