• è la legge che associa ogni elemento di ad un solo elemento di
  • è il dominio o insieme di partenza (insieme degli input)
  • è il codominio o immagine di (insieme degli output)

È un sinonimo di applicazione e di mappa.

Una funzione è una relazione (, ) che associa (l’insieme A) il dominio e (B) il codominio. Esempio:

Per quantificare il numero di elementi di un insieme si usa il concetto di cardinalità.

L’immagine di è , oppure ,

proprietà delle funzioni

Una funzione si dice ricorsiva quando la sua definizione fa riferimento a se stessa.

Esempio:

si dice suriettiva se , cioè se l’insieme delle immagini coincide con B.

N.B.: per rendere una funzione suriettiva si restringe il dominio.

si dice iniettiva se , cioè se non esistono due argomenti con lo stesso valore.

N.B.: per rendere una funzione iniettiva si restringe il di codominio.

si dice biiettiva o corrispondenza biunivoca se . Solo le funzioni biettive sono invertibili.

Data iniettiva e suriettiva esiste la funzione inversa , che ha la proprietà: f^{-1}(f(x))=x\ \forall x \in A$$$$f(f^{-1}(x))=x\ \forall x \in A

composizione delle funzioni

teoremi delle funzioni