Отображения

Рассмотрим некоторое соответствие , .

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

Такое всюду определенное соответствие называется отображением и формально записывается следующим образом: или .

Таким образом, любое отображение является соответствием, но не наоборот. В связи с этим для отображений сохраняются понятия обратного отображения, композиции отображений, образа элемента, прообраза элемента.

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