Przegląd i podstawowa definicja

Funkcja różnowartościowa, zwana też injekcją lub funkcją iniekcyjną, to odwzorowanie f: A → B o tej własności, że żaden element kodomeny B nie jest obrazem więcej niż jednego elementu dziedziny A. Innymi słowy, jeśli f(a1) = f(a2), to musi zachodzić a1 = a2. W potocznym języku mówi się o funkcji "1–1", choć sformułowanie to bywa mylące i warto rozróżniać je od pojęcia bijekcji (koiniekcji i surjekcji).

Formalne kryteria i typowe przykłady

Formalnie: f: A → B jest iniekcją wtedy i tylko wtedy, gdy dla wszystkich a1, a2 ∈ A z równością f(a1) = f(a2) wynika a1 = a2. Przykłady: funkcja f(x)=2x z dziedziny liczb całkowitych ℤ w ℤ jest iniekcyjna; funkcja g(x)=x^2 z ℝ w ℝ nie jest iniekcyjna, ponieważ g(1)=g(−1). Dla ograniczonych dziedzin pewne odwzorowania, które na większej przestrzeni nie były iniekcjami, mogą stać się iniekcjami (np. x^2 ograniczone do [0,∞) jest iniekcją).

Własności, kryteria i konsekwencje

  • Lewy odwrotny: f jest iniekcją wtedy i tylko wtedy, gdy istnieje funkcja g: f(A) → A taka, że g∘f = id_A (istnieje lewy odwrotność).
  • Składanie: jeśli g∘f jest iniekcyjne, to f musi być iniekcyjne; przeciwnie nie zawsze jest prawdą.
  • Porównanie mocy zbiorów: dla zbiorów skończonych iniekcja f: A → B wymusza |A| ≤ |B|. W teorii mnogości iniekcje stosuje się do porównań kardynalności.
  • Testy praktyczne: dla funkcji rzeczywistych często używa się testu horyzontalnej prostej — jeśli żadna pozioma prosta nie przecina wykresu więcej niż raz, funkcja jest iniekcyjna.

Użyteczność i przykłady zastosowań

Iniekcje są istotne przy konstrukcji odwrotności: tylko iniekcja może mieć lewostronną odwrotność, a w połączeniu z surjekcją daje bijekcję z pełnym odwrotem. W algebrze i analizie iniekcyjne przekształcenia pozwalają przenieść strukturę z jednej przestrzeni do drugiej bez utraty informacji. W informatyce pojęcie iniekcji pojawia się w kontekście jednoznacznego kodowania lub haszowania (bez kolizji w określonym zbiorze). Dla porównań struktur i modelowania relacji między zbiorami iniekcje służą do formalnego zapisu "wstrzykiwania" jednego zbioru w drugi.

Historia i uwagi terminologiczne

Terminologia iniekcji, surjekcji i bijekcji została spopularyzowana w XX wieku m.in. przez grupę matematyczną związaną z pseudonimem Nicolas Bourbaki. W literaturze anglojęzycznej funkcji iniekcyjnej czasami używa się określenia "one-to-one", jednak należy pamiętać, że sformułowanie to nie oznacza automatycznie bijekcji — trzeba odróżnić jednoznaczność odwzorowania od pełnej na (surjekcji). Dalsze informacje można znaleźć w opracowaniach dotyczących teorii funkcji i teorii mnogości: injekcyjna, dziedzina i kodomena, surjekcja, bijekcja.

Wskazówki do dalszego czytania

Praktyczne zadania rozpoznawania iniekcji obejmują zarówno dowody formalne, jak i testy graficzne; warto ćwiczyć na przykładach funkcji wielomianowych, trygonometrycznych i wykładniczych. Zagadnienie to łączy się ściśle z teorią odwrotności funkcji, izomorfizmami w algebrze oraz problemami porównania mocy zbiorów w teorii mnogości.