Сюрекция е всяко изображение от множество A в множество B, при което всеки елемент на B е образ на поне един елемент от A.[1] Не е задължително елементът да е уникален – функцията f може да нанесе един или повече елементи от A върху един и същ елемент от B.

Сюрективна функция от областта X върху кообластта Y.

Определение

редактиране

Сюрективната функция е функция, чието изображение се равнява на кообластта ѝ. По сходен начин, функцията f с област X и кообласт Y е сюрективна, ако за всеки y в Y съществува поне един x в X:  .[2] Сюрекциите понякога се обозначават с двувърха дясна стрелка, като например в f : XY.[3]

Символически изразено:

Ако  , тогава   е сюрективна, ако
 .[4][5]

Източници

редактиране
  1. The Definitive Glossary of Higher Mathematical Jargon – Onto // 1 август 2019. Посетен на 7 декември 2019.
  2. Injective, Surjective and Bijective // Посетен на 7 декември 2019.
  3. Arrows – Unicode // Посетен на 11 май 2013.
  4. Bijection, Injection, And Surjection | Brilliant Math & Science Wiki // Посетен на 7 декември 2019.
  5. Farlow, S. J. Injections, Surjections, and Bijections // Посетен на 6 декември 2019.