În matematică o aplicație este o noțiune adesea echivalată cu o funcție,[1] dar poate avea și unele generalizări. Inițial, aceasta era o abreviere care se referă adesea la acțiunea aplicării unei funcții elementelor din domeniul său de definiție. Această terminologie nu este complet stabilită, deoarece acești termeni nu sunt în general definiți formal și pot fi considerați a fi jargon matematic.[2][3]
Aplicațiile pot fi fie funcții , fie morfisme, deși termenii au o anumită suprapunere.[4] Termenul aplicație poate fi utilizat pentru a distinge unele tipuri speciale de funcții, cum ar fi omomorfismele. De exemplu, o aplicație liniară este un omomorfism de spații vectoriale, în timp ce termenul funcție liniară poate avea acest sens, dar și altul.[5][6] În teoria categoriilor o aplicație se poate referi la un morfism, care este o generalizare a noțiunii de funcție. În unele ocazii, termenul de transformare poate fi și el utilizat, alternativ.[4] Există, de asemenea, câteva utilizări mai puțin frecvente, în logică și teoria grafurilor.
În multe ramuri ale matematicii, termenul aplicație este folosit în sensul de funcție,[7][3][8] uneori cu o proprietate specifică de o importanță deosebită pentru acea ramură. De exemplu, o „aplicație” este o „funcție continuă” în topologie, o „transformare liniară” în algebra liniară etc.
Unii autori, ca Serge Lang,[9] folosesc temenul funcție numai pentru a se referi la aplicații în care codomeniul este o mulțime de numere (adică o submulțime din sau ) și rezervă termenul de aplicație pentru funcții mai generale.
O aplicație parțială este o funcție parțială. Termeni înrudiți precum domeniu, codomeniu, funcție injectivă și funcție continuă pot fi folosiți și la aplicații, și la funcții, cu același sens. Toate aceste utilizări pot fi folosite în cadrul „aplicațiilor” ca funcții generale sau ca funcții cu proprietăți speciale.
În teoria categoriilor termenul „aplicație” este adesea folosit ca sinonim pentru „morfism” sau „săgeată”. Prin urmare este mai general decât „funcție”.[10] De exemplu, morfismul într-o categorie concretă (adică un morfism care poate fi văzut ca o funcție) poartă cu sine informațiile domeniului său, și codomeniul său, ). În definiția larg utilizată a unei funcții , este o submulțime a constând din toate perechile pentru . În acest sens, funcția nu conține informațiile despre care mulțime este folosit ca codomain; doar gama este determinată de funcție.
În teoria grafurilor, o aplicație este un desen al unui graf pe o suprafață ca muchiile să se intersecteze. Dacă suprafața este un plan atunci o aplicație este un graf planar, similar cu o hartă politică.[11]
În informatică
În comunitățile de programatori care tratează funcțiile ca obiecte foarte importante, o aplicație este adesea un program care realizează o funcție de ordin superior(d) pe baza unei funcții având ca argumente o listă [v0, v1, ..., vn] și returnând [f(v0), f(v1), ..., f(vn)] (unde n ≥ 0).
Note
^enHalmos 1970, p. 30. . Unii autori dau termenului „aplicație” un sens mai larg decât pentru „funcție”, pe care o limitează la funcții numerice.