- Сюръекция
-
Отображение
называется сюръективным (или сюръекцией, или отображением на
), если каждый элемент множества
является образом хотя бы одного элемента множества
, то есть
. Для случая числовых функций это выражается как «функция, принимающая все возможные значения».
Содержание
Эквивалентные определения
Следующие свойства отображения
эквивалентны:
сюръективно
- каждый элемент множества
имеет хотя бы один прообраз во множестве
при отображении
.
- образ множества
при отображении
совпадает с
имеет правое обратное отображение, то есть такое отображение
, что
для любого
.
Примеры
— сюръективно.
— сюръективно.
— не является сюръективным (например, не существует такого
, что
).
Использование модели
В информатике
Организация связи «многие к одному» между таблицами реляционной БД на основе первичных ключей
См. также
Литература
- Н. К. Верещагин, А.Шень. Начала теории множеств // Лекции по математической логике и теории алгоритмов.
- Ершов Ю. Л., Палютин Е. А. Математическая логика: Учебное пособие. — 3-е, стереотип. изд. — СПб.: Лань, 2004. — 336 с.
Категории:- Теория множеств
- Типы функций
Wikimedia Foundation. 2010.