Aplicacion (matematicas)

Tièra de 1000 articles que totas las Wikipèdias deurián aver.
Aqueste article es redigit en provençau.
Un article de Wikipèdia, l'enciclopèdia liura.

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

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[modificar | Modificar lo còdi]

  • 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 | Modificar lo còdi]

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 | Modificar lo còdi]

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 | Modificar lo còdi]

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

  1. , çò 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 | Modificar lo còdi]

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

Imatge dirècte[modificar | Modificar lo còdi]

Siá una aplicacion .

Imatge d'una aplicacion[modificar | Modificar lo còdi]

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 | Modificar lo còdi]

  • 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 | Modificar lo còdi]

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 | Modificar lo còdi]

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 | Modificar lo còdi]

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 | Modificar lo còdi]

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 | Modificar lo còdi]

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 | Modificar lo còdi]

Liames intèrnes[modificar | Modificar lo còdi]

Bibliografia[modificar | Modificar lo còdi]

  • (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 | Modificar lo còdi]