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

Сюръективная функция.

Определение

Отображение называется сюръективным (или сюръекцией, или отображением на ), если

Замечание

Эквивалентно, сюръекцию можно определить одним из следующих образов:

  • Образ всего пространства совпадает с

где обозначает композицию, а - тождественное отображение на

Примеры

  1. — сюръективно.
  2. — сюръективно.
  3. — не является сюръективным.

См. также

Литература


Эта статья содержит материал из статьи Сюръекция русской Википедии.

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA, если не указано иное.