В математиката инжективна функция е функция f : A → B със следното свойство: за всеки елемент b в кодомената B има най-много един елемент a в областта A, такъв че f(a) = b. По друг начин дефинирано, f е инжективна точно когато за всички a1, a2 в A от равенството f(a1) = f(a2) следва a1 = a2.
Еквивалентни формулировки
- f е инжективна ⇔ за всяка двойка различни елементи a1 ≠ a2 имаме f(a1) ≠ f(a2).
- f е инжективна ⇔ образът на f (f(A)) съдържа всеки елемент на кодомената не повече от веднъж.
- f е инжективна ⇔ съществува функция g: B → A такава, че g ∘ f = id_A (т.е. f има ляв обратен оператор). Обратното също е вярно: ако съществува такъв g, то f е инжективна.
Основни свойства
- Състав (композиция): ако f: A → B и g: B → C са инжективни, то и g ∘ f е инжективна.
- Ограничение: ако f е инжективна, то всяко ограничение на f към подмножество на A остава инжективно.
- Взаимодействие с сюрджективност: ако A и B са крайни множества и |A| = |B|, то инжективност ⇔ сюрджективност ⇔ биективност.
- Обратно (инверсия) — ако разглеждаме f като функция към нейния образ f(A) ⊆ B, то f: A → f(A) е биективна и има истинска обратна функция f^{-1}: f(A) → A.
Тестове и примери
- Горизонтален тест (за реални функции): функция f: ℝ → ℝ е инжективна точно когато всяка хоризонтална права пресича графиката не повече от един път (обратно на вертикалния тест за функция).
- Числени примери:
- f(x) = 2x за x ∈ ℤ е инжективна — различни аргументи дават различни стойности.
- f(x) = x^3 за x ∈ ℝ е инжективна (растяща функция).
- f(x) = x^2 за x ∈ ℝ не е инжективна, защото f(1) = f(-1); но ако домейнът се ограничи до [0, ∞), тогава става инжективна.
- Пермутациите на крайно множество са примери за биекции (следователно и инжекции).
Отношение със сюрджекция и биекция
Терминът "инжекция" често се нарича и "one-to-one" или "1-1". Важно е да се отбележи, че изразът "one-to-one correspondence" (на български "съответствие 1-1") обикновено означава биективна функция — тоест функция, която е едновременно инжективна и сурджективна. Поради тази двусмисленост е добре да уточнявате дали става дума само за инжективност (one-to-one) или за съответствие/биекция (one-to-one correspondence).
Полезни заключения и бележки
- За крайни множества: ако |A| > |B|, тогава не съществува инжективна функция A → B (по принципа на галпшплатите).
- Инжективните функции запазват различието: когато прехвърляме елементи чрез инжекция, никой два различни елемента от A не се сливат в един и същи елемент от B.
- В много приложения (алгебра, теория на множествата, анализ) инжективността гарантира, че операцията или преобразуването могат да бъдат "обърнати" поне върху образа им.
Историческата бележка: термините "инжекция", "сурджекция" и "бижекция" са въведени от Никола Бурбаки — псевдоним на група математици — в началото на XX век при съставянето на модерна систематизация на математиката.





