В математиката инжективна функция е функция f : AB със следното свойство: за всеки елемент 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: BA такава, че 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 век при съставянето на модерна систематизация на математиката.