# Funtzio injektibo

Matematikan, funtzio injektiboa $f\colon X\to Y\,$funtzio bat da, $Y\,$-ko (irudi-multzoa) elementu bakoitzari gehienez $X\,$-ko (definizio-eremua) elementu bat esleitzen diona.
Horrela, esaterako, $f:\mathbb {R} \to \mathbb {R}$ zenbaki errealen funtzioa: $f(x)=x^{2}\,$, ez da injektiboa, zeren 4 balioa bi kasutan lor baitaiteke: $f(2)$ eta $f(-2)$. Baina, definizio-eremua zenbaki positibotara murrizten bada, $g:\mathbb {R} ^{+}\to \mathbb {R} ^{+}$ funtzio berri bat lortuz, orduan bada funtzio injektiboa.

## Definizio formala

Hizkuntza zehatz batean, $f:X\to Y\,$ funtzio bat injektiboa da hauetako baieztapen baliokide bat betetzen denean:
* $x_{1},x_{2}$ $X\,$ multzoko elementuak badira, non $f(x_{1})=f(x_{2})$ den, ezinbestez $x_{1}=x_{2}$ betetzen da.
* $x_{1},x_{2}$ $X\,$ multzoko elementu desberdinak badira, ezinbestez $f(x_{1})\neq f(x_{2})$ betetzen da.
Sinbolikoki, $\forall a,b\in X,\;\;f(a)=f(b)\Rightarrow a=b,$ eta hau, logikoki, bere kontrajarriaren baliokidea da, $\forall a,b\in X,\;\;a\neq b\Rightarrow f(a)\neq f(b).$ Diagrama hauek funtzio injektiboei dagozkie:

## Kardinalitatea eta injektibitatea

Izan bitez A eta B bi multzo. A-tik B-rako funtzio injektiboa bat existitzen bada $f:A\rightarrow B$ , 2 multzo horien kardinalek erlazio hau betetzen dute:
$card(A)\leq card(B)$
Gainera, B-tik A-rako funtzio injektibo bat existitzen bada $g:B\rightarrow A$ , orduan froga daiteke existitzen dela A-tik B-rako bijekzio bat.

## Injektibitatea euklidear espazioan

$\mathbf {f} :\Omega \subset \mathbb {R} ^{n}\to \mathbb {R} ^{n}$ funtzioa izanik, zeina diferentziagarria den eta jarraia n dimentsioko Euklidear espazioko eremu batean, beharrezko nahikoa baldintza ezar daitezke funtzio hori injektiboa den ala ez erabakitzeko. Alderantzizko funtzioaren teoremak nahikoa ez den baldintza bat ematen du funtzio diferentziagarri bat lokalki injektiboa den jakiteko:
$\det D\mathbf {f} \neq 0$ non $D\mathbf {f}$ funtzioaren matrize jakobinoa den.
Baldintza hori ez da nahikoa funtzioa injektiboa den edo ez esateko (izatez, ez da beharrezko baldintza ere). Nahikoa diren baldintzak aurkitzeko, desplazamendu bektorea definitzen da, funtzioaren ondorengo espazio bektorialari lotua:
$\max _{\mathbf {x} \in {\bar {\Omega }}}\|D\mathbf {u} (\mathbf {x} )\|=\sup _{\mathbf {x} \in \Omega }\|D\mathbf {u} (\mathbf {x} )\|<c(\Omega )\leq 1$ non ${\bar {\Omega }}$, $\Omega$ eremuaren itxitura den.
Orduan funtzio injektiboa izango da; froga daiteke $\scriptstyle c(\Omega )=1$ dela baldin eta $\Omega$ eremua ganbila bada, eta $c(\Omega )<1$ behar dela izan baldin eta eremua ez bada ganbila.

## Adibideak

* Edozein $X$ multzorako eta edozein $S$ azpimultzorako, hau da, $S\subseteq X,$ bere funtzioa $S\to X$ (edozein $s\in S$ elementu bere buruari bildatzen diona) injektiboa da. Bereziki, identitate funtzioa X → X beti da injektiboa (egiatan bijektiboa da).
* Funtzio baten definizio-eremua multzo hutsa bada, orduan funtzio hutsa izango da, zeina injektiboa da.
* Funtzio baten definizio eremuak soilik elementu bat badu (alegia, ale bakarreko multzoa da), orduan funtzioa beti injektiboa da.
* $f:\mathbb {R} \to \mathbb {R}$ funtzioa honela definituta: $f(x)=2x+1$ injektiboa da.
* $g:\mathbb {R} \to \mathbb {R}$ funtzioa honela definituta: $g(x)=x^{2}$ ez da injektiboa, zeren, adibidez, $g(1)=1=g(-1).$ baita. Hala ere, $g$ berriro definitzen bada, bere definizio-eremua zenbaki erreal ez negatiboak [0,+∞) izanik, orduan $g$ injektiboa da.
* Funtzio esponentziala $\exp :\mathbb {R} \to \mathbb {R}$ honela definituta: $\exp(x)=e^{x}$ injektiboa da (baina ez supraiektiboa, zenbaki negatiboak sortzen ez duelako, x-ren inolako balioarekin erlazio ez dutenak).
* Logaritmo nepertarra. ln : (0, ∞) → R funtzioa honela definituta: x ↦ ln x injektiboa da.
* g : R → R funtzioa honela definituta: g(x) = x$^n$ − x ez da injektiboa, zeren, adibidez, g(0) = g(1) baita.

## Ikus, gainera

* Funtzio bijektiboa
* Funtzio supraiektiboa
* Bana-banako korrespondentzia

## Kanpo estekak

* Datuak: Q182003
* Multimedia: Injectivity / Q182003