Сюръекция - это такое отображение, что каждый элемент области значений имеет хотя бы один прообраз.

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