Injeccion (matematicas)

(Redirigit dempuèi Foncion injectiva)

En matematicas, una injeccion o aplicacion injectiva es una aplicacion que pren de valors diferentas en d'elements diferents de son domeni.

Una aplicacion injectiva.
Una aplicacion non injectiva.

Definicion modificar

Estent dos ensembles X e Y, una aplicacion f : X → Y es dicha injectiva se e solament se, per tot pareu (x, x' ) d'elements de son domeni X :

f(x) = f(x' ) implica x = x' (o xx' implica f(x) ≠ f(x' )).

Autrament dich, l'aplicacion f es injectiva se e solament se, per tot element y dau codomeni Y, existís au mai un element x dau domeni X tau que f(x) = y.

Exemples e còntraexemples modificar

  • L'aplicacion u : N → N definida per u(n) = 2 n + 1 es injectiva.
  • La foncion f : [0,+∞[ → R definida per f(x) = x2 es injectiva, car dos reaus positius qu'an lo meteis carrat son egaus.
  • La foncion g : R → R definida per g(x) = x2 es pas injectiva, car (per exemple) g(1) = g(−1).
  • La foncion h : R → R definida per   es pas injectiva, car (per exemple) h(0) = h(1).
  • La foncion exponenciala   es injectiva.
  • La foncion logaritme neperian   es injectiva.
  • Pus generalament, dins lo cas que X e Y son totei dos de sosembles de la drecha reala R, una foncion f : X → Y es injectiva se e solament se son graf a jamai mai d'un ponch d'interseccion amb una drecha orizontala.

Injeccion canonica modificar

Estent un sosemble (non vuege) X' d'un ensemble X, l'aplicacion i : X'  → X definida per i(x) = x es injectiva.

Es sonada injeccion canonica de X' dins X.

Proprietats modificar

  • Se f : X → Y e g : Y → Z son d'aplicacions injectivas, alora l'aplicacion compausada g o f : X → Z es injectiva.
  • Se g o f es injectiva, alora f es injectiva (mai se pòt que g o siá pas).
  • f : X → Y es injectiva se e solament se, quinei que sián leis aplicacions g, h : Z → X, la relacion f o g = f o h implica g = h.
  • Se f : X → Y es injectiva e A es un sosemble de X, alora f −1(f(A)) = A.
    Ansin, en aquest cas, se pòt retrobar A a partir de l'imatge f(A).
  • Se f : X → Y es injectiva e A e B son dos sosensembles de X, alora :
f(A ∩ B) = f(A) ∩ f(B).
  • Tota aplicacion f : X → Y pòt èsser descompausada sota la forma f = i o s, onte :
    • s : X → f(X) definida per s(x) = f(x) es subrejectiva
    • i : f(X) → Y definida per i(y) = y es injectiva (es l'injeccion canonica de l'imatge f(X) de f dins lo codomeni Y de f ).
  • S'existís una aplicacion injectiva f : X → Y, alora Y a aumens tant d'elements coma X, au sens dei nombres cardinaus.

Vejatz tanben modificar