Aplicacion (matematicas)
En matematicas, lo concèpte d'aplicacion formaliza l'idèa intuitiva de dependéncia determinista entre dos elements qu'un d'elei (la valor de l'aplicacion) es entierament determinat per l'autre (la variabla de l'aplicacion).

D'un biais informau, una aplicacion f es la donada :
 de dos ensembles X, Y (que supausarem non vueges)
 d'un biais d'associar a cada element x de l'ensemble X un element unic y de l'ensemble Y, sonat imatge de x per f, o valor de f en x, e notat f(x)
Se ditz alora que f es una aplicacion de X dins Y (o de X vèrs Y ) e s'escriu  .

Per indicar qu'un element x de X a per imatge l'element y de Y, se pòt notar :  .

Exemple : l'esquèma çai sus (o diagrama sagitau) representa una aplicacion particulara d'un ensemble X de 3 elements (notats 1, 2, 3) dins un ensemble Y de 5 elements (notats a, ... , e). Se pòt interpretar X coma un ensemble de 3 objèctes destriables (son numerotats) e Y coma un ensemble de 5 boitas destriablas (son tanben "numerotadas"). Amb aquela interpretacion, cada aplicacion de X dins Y pòt èsser vista coma un dei biais de plaçar leis objèctes dins lei boitas : a cada objècte, l'aplicacion associa la boita ont es plaçat ; dins lo cas representat, leis objèctes "1", "2", "3" son plaçats respectivament dins lei boitas a, c, d.
De segur, i a d'autrei biais de lei plaçar (n'i a 53 = 125 en tot) : per exemple, se seriá poscut metre lei 3 objèctes dins la boita b, çò que seriá estat representat per l'aplicacion g de X dins Y tala que
g (1) = b, g (2) = b, e g (3) = b.

Remarca terminologica : s'emplega sovent lo mot foncion per sinonim d'aplicacion de valors numericas (realas o complèxas). Ansin, una foncion es una aplicacion  , ont Y es un sosensemble de  (l'ensemble dei reaus) o de  (l'ensemble dei complèxes).

Per exemple, en geometria, l'aira a d'un carrat es una foncion de la longor  dau costat :
 ;
la dependéncia entre  e a se representa per l'aplicacion  (l'ensemble dei reaus positius se nòta ).

Definicions 
 Formalament, una aplicacion f d'un ensemble X dins (o vèrs) un ensemble Y es un triplet  onte  es un sosensemble dau produch cartesian X x Y satisfasent la condicion seguenta : per tot element x de X, existís un element unic y de Y tau que  .
 L'element y ansin definit (dich associat a x) se nòta f(x) : es l'imatge de x per l'aplicacion f, o la valor de f en x.
 S'escriu  (que se liège : « f (es una) aplicacion de X dins Y »).
 Se ditz que l'ensemble X es lo domeni de f o l'ensemble de definicion de f.
 Se ditz que l'ensemble Y es lo codomeni de f o l'ensemble d'arribada de f.
 L'ensemble  es un sosensemble dau produch cartesian X x Y : es un graf. Se ditz qu'es lo graf de l'aplicacion f. Per definicion :
 ;

autrament dich :

Aplicacion identica d'un ensemble X 
Es l'aplicacion de X dins X, notada  , qu'a cada element x de X associa lo meteis element x.
 ; autrament dich :  per tot x dins X.
Lo graf de l'aplicacion identica de X es l'ensemble seguent (sonat diagonala dau carrat cartesian  de X) :
; autrament dich :

Aplicacion constanta sus un ensemble X 
Se ditz qu'una aplicacion  es constanta s'existís un element (fixat)  de Y tau que  per tot element x de X : es una aplicacion tala que la valor de f en un ponch x siá independenta de x (totei leis elements de X an lo meteis imatge per f ; dins l'interpretacion ja donada, totei leis objèctes son plaçats dins la meteissa boita).

Egalitat de doas aplicacions 
Segon la definicion supra, doas aplicacions  e  son egalas se e solament se :
 
 
  , çò qu'equivau a : 

Autrament dich, lei doas aplicacions  e  son egalas, çò que s'escriu  , se e solament se, simultaneament :
 an lo meteis domeni, notat aicí X
 an lo meteis codomeni, notat aicí Y
  per tot element x de X

Ensembles d'aplicacions 
L'ensemble deis aplicacions de X dins Y se nòta indiferentament  o (coma una poténcia)  .

Imatge dirècte 
Siá una aplicacion  .

Imatge d'una aplicacion 
Un element y de Y es una valor de f se e solament s'existís (aumens) un element x de X tau que f(x) = y. Se sòna imatge de l'aplicacion f l'ensemble dei valors de f ; es un sosensemble dau codomeni Y que se nòta . Per definicion :
 ;

autrament dich :

Exemples 
 Dins l'exemple representat sus la figura en tèsta d'article,  . En interpretant f coma un biais particular de plaçar lei 3 objèctes dins lei 5 boitas, l'imatge de f es l'ensemble dei boitas que contènon aumens un objècte.
 Siá l'aplicacion  . A per imatge  , l'ensemble dei nombres reaus positius. Aquò se demòstra per inclusion dobla :
 Se y es dins l'imatge de  , existís un reau x tau que , donc y es positiu, çò que pròva l'inclusion  .
 Reciprocament, se y es un reau positiu, se pòt definir  ; alora  , donc y es dins l'imatge de  ; aiçò pròva l'inclusion  .
 Siá l'aplicacion  . A per imatge  (demostracion analòga).

Aquesteis exemples mòstran que, segon lei cas, l'imatge e lo codomeni d'una aplicacion pòdon èsser diferents o egaus : fau a priori s'avisar de pas confondre lei doas nocions. Se ditz qu'una aplicacion es subrejectiva se son imatge coïncidís amb son codomeni (cada boita contèn aumens un objècte). Segon aquesta definicion,  es subrejectiva, e lei doas autreis aplicacions o son pas.

Remarca : leis aplicacions  an lo meteis domeni  e lo meteis graf  , mai son diferentas, qu'an pas lo meteis codomeni : la segonda es subrejectiva e la premiera o es pas.

Generalizacion 
Estent un sosensemble (o partida) A de X, se definís l'ensemble :
 ;

autrament dich :

Se ditz que  es l'imatge dirècte de A per l'aplicacion f. Es un sosensemble dau codomeni de f.
 En particular,  .

Imatge invèrs 
Siá una aplicacion  .

Estent un sosensemble (o partida) B de Y, se definís l'ensemble :

Se ditz que  es l'imatge invèrs de B per l'aplicacion f. Es un sosensemble dau domeni X de f.

Composicion d'aplicacions 
Es una nocion essenciala. Compausar doas aplicacions consistís a leis encadenar. Estent  e  d'aplicacions talei que lo codomeni Y de la premiera siá lo domeni de la segonda, se pòt, per cada element x de X, determinar son imatge y = f(x) per f, qu'es un element de Y, puei l'imatge z = g(y) de y per g, qu'es l'element  de Z :

L'aplicacion de X dins Z qu'en tot element x de X associa l'element z de Z ansin definit es sonada compausada deis aplicacions f, g (dins aquest òrdre). Se nòta  .
 ; autrament dich : per tot element x de X, 

Remarca : còmpte tengut dei notacions, dins l'escritura  , la succession deis aplicacions se liège de la drecha vèrs la senèstra.

Associativitat de la composicion d'aplicacions 
Estent tres aplicacions  ,  e  talei que lo codomeni Y de caduna dei doas premieras siá lo domeni de la seguenta. Alora :

D'efècte, lei dos membres son d'aplicacions qu'an lo meteis domeni X, lo meteis codomeni W, e tot element x de X a lo meteis imatge  per aquelei doas aplicacions, çò que pròva l'egalitat.

Se ditz que la composicion d'aplicacions es associativa. Se pòt alora notar l'aplicacion compausada de f, g, h sensa parentèsis :

Compausada d'una aplicacion amb una aplicacion identica 
Siá una aplicacion  . Alora (ben s'avisar de l'òrdre):

Per exemple, se pòt verificar ansin la premiera d'aquelei doas relacions :

Teoria deis ensembles