Соответствия

Рассмотрим два произвольных множества и . Допустим, что некоторым элементам множества , по какому то закону ставятся в соответствие некоторые элементы . Таким образом, некоторые элементы множества сопоставляются по закону с некоторыми элементами множества . Если способ сопоставления определен, то говорят на множествах и задано соответствие ( рис.2.11).

Элементами множеств и могут быть как числа, так и любые объекты, например, списки сотрудников и их зарплаты, списки студентов и их оценки по предметам и т.д. Соответствие представляет собой математический объект, который формально описывается кортежем длиной 3 (упорядоченной тройкой): , где

область отправления соответствия. Это множество , некоторые элементы которого сопоставляется по закону с элементами множества . В соответствии не все элементы множества участвуют в сопоставлении. Во множестве остаются свободные элементы.

область прибытия соответствия. Это множество, с элементами которого сопоставляются по закону элементы множества . В соответствии не все элементы множества участвуют в сопоставлении. Во множестве могут существовать свободные элементы.

это закон, который некоторым элементам множества ставит в соответствие один или несколько элементов множества . Закон называется графиком соответствия и представляет собой подмножество декартового произведения областей прибытия и отправления : . Согласно рисунку … график соответствия представляет собой множество упорядоченных пар: .

Подмножество элементов из множества , которые участвуют в сопоставлении, называются областью определения соответствия.

Подмножество элементов области отправления , которые участвуют в сопоставлении называется областью определения соответствия. Область определения соответствия представляет собой не что иное, как проекцию графика соответствия на множество :

.

Подмножество элементов множества , которые участвуют в сопоставлении называются областью значений соответствия. Область значений соответствия представляет собой проекцию графика соответствия на множество :

.

Возьмем любой произвольный элемент из области определения соответствия: . Дадим определение образа элемента. Образом элемента называется множество таких элементов из , которые составляют упорядоченную пару с элементом в рамках графика соответствия . Образ элемента обозначается или и формально описывается высказывательной формой:

.

Дата добавления: 2014-01-05