§8. Понятие соответствия между множествами. Способы задания соответствий

Пусть заданы два множества X и Y. Если для каждого элемента х Î Х указан элемент y Î Y, с которым сопоставляется х, то говорят, что между множествами X и Y установлено соответствие.

Иначе говоря, соответствием между элементами множеств X и Y называется любое подмножество G декартова произведения X ´ Y этих множеств. Если (х, у) Î G, то множество первых компонентов (D(G)) называется областью определения соответствия G, множество вторых компонентов (E(G)) –– областью значений этого соответствия.

Множество всех y Î Y, которые сопоставляются элементу х Î Х, называется образом х в Y. Множество же всех х Î Х, которым сопоставляют элемент y Î Y, называется прообразом y в Х.

Способы задания соответствия. Поскольку соответствие — это множество, то его можно задать теми же способами, что и любое множество: перечислением всех пар (х, у), где элементы х Î Х и y Î Y связаны данным соответствием; указанием характеристического свойства всех пар (х, у) элементов х Î Х, y Î Y, находящихся в рассматриваемом соответствии.

Когда множества X и Y конечные, то соответствие между элементами можно задать таблицей, где в левом столбце записывают элементы множества Х, а в верхней строке — элементы множества Y. Пары элементов, находящихся в соответствии G, будут находиться на пересечении соответствующих столбцов и строк.

Соответствие между двумя конечными множествами можно показать и при помощи графа. Множества X и Y показывают оваломи, элементы множеств X и Y обозначают точками, а стрелками соединяют соответствующие элементы так, что если имеет место (х, у) Î G, то стрелку проводят из точки х в точку у.

Когда множества Х и Y числовые, то можно построить график соответствия G на координатной плоскости.

Пример, график соответствия «меньше» между элементами множеств Х = {1, 3, 4, 6} и Y = {2, 5, 7}. Выпишем пары элементов, находящихся в данном соответствии: (1, 2), (1, 5), (1, 7), (3, 5), (3, 7), (4, 5), (4, 7), (6, 7). Если изобразить элементы множества Х на оси Ох, а элементы множества Y на оси Оу, а выписанные пары отметить точками на координатной плоскости, то получим график рассматриваемого соответствия между элементами множеств X и Y (рис. 13).

Рис. 13