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).

f (1) = a, f (2) = c, f (3) = d

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

modificar
  • 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

modificar

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

modificar

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

modificar

Segon la definicion supra, doas aplicacions   e   son egalas se e solament se :

  1.  
  2.  
  3.   , çò qu'equivau a :  


Autrament dich, lei doas aplicacions   e   son egalas, çò que s'escriu   , se e solament se, simultaneament :

  1. an lo meteis domeni, notat aicí X
  2. an lo meteis codomeni, notat aicí Y
  3.   per tot element x de X

Ensembles d'aplicacions

modificar

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

Imatge dirècte

modificar

Siá una aplicacion   .

Imatge d'una aplicacion

modificar

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

modificar
  • 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

modificar

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

modificar

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

modificar

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

modificar

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

modificar

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

 
 

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

 
 

Annèxas

modificar

Liames intèrnes

modificar

Bibliografia

modificar
  • (fr) Christian Houzel, « Fonction (notion de) », Dictionnaire des mathématiques – algèbre, analyse, géométrie, Encyclopædia Universalis e Albin Michel, 1997.
  • (fr) Stella Baruk, « Fonction », Dictionnaire des mathématiques élémentaires, Éditions du Seuil, 1995.

Nòtas e referéncias

modificar