- è 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