Инъективті функция
Навигацияға өту
Іздеуге өту
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Injection.svg/200px-Injection.svg.png)
Инъективті функция — жиынын жиынына жиының әр түрлі элементтері жиынының әр түрлі элементтеріне сәйкестендіретін () сәйкестік, яғни егер бейнелері бір болса онда түпбейнелері, яғни алғашқы Х жиыны элементтері де бір болады: .
Инъективтілікті бірмәнді сәйкестік деп те атайды.
Категориялар теорияларындағы мономорфизм ұғымы осы инъективтіліктің жалпылама түрі болып табылады.
Мысалдар:
- — инъективті.
- — инъективті.
- — инъективті емес ().
Әдебиет
[өңдеу | қайнарын өңдеу]- Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов.
- Ершов Ю. Л., Палютин Е. А. Математическая логика: Учебное пособие — 2004.