Una funzione è una relazione tra grandezze, di cui alcune vengono definite variabili indipendenti, ovvero quelle che costituiscono i valori di partenza, e altre variabili dipendenti, il cui valore appunto dipende dal valore introdotto come variabile indipendente.
Il caso più semplice di funzione è la funzione a unica variabile, ovvero le funzioni che mettono in relazione una sola variabile con una o più variabili dipendenti.
Dati:
un insieme detto dominio di
un insieme detto codominio di
Una funzione da in ( ) è una legge che ad ogni elemento appartenente a associa uno ed un solo elemento appartenente a .
L'elemento , valore della variabile dipendente, viene indicato con , mentre viene definito anche argomento della funzione e rappresenta il valore della variabile indipendente.
Dunque abbiamo una funzione f che associa f(x) a x, che in simboli si può esprimere anche come:
Dalla definizione si deduce che ad un singolo valore del dominio non possono corrispondere più valori nel codominio (non vale però il viceversa), motivo per cui possiamo considerare una funzione una retta, come ancche una parabola ad asse verticale, ma non una circonferenza e nemmeno una parabola ad asse orizzontale.
Si definisce immagine dell'elemento x appartenente al dominio X della funzione f il corrispondente elemento del codominio Y. In altre parole l'elemento y del codominio, associato dalla funzione f all'argomento x.
Considerando una funzione , si definisce invece insieme immagine ( oppure ) l'insieme delle immagini di tutti i valori di una funzione, e vale sempre .
Una funzione si dice suriettiva quando l'insieme immagine coincide con il codominio, ovvero quando ogni elemento y del codominio è immagine di almeno un elemento x del dominio.
Se consideriamo funzioni , sono suriettive le rette, la funzione tangente, le potenze dispari (, etc.) etc. In questo stesso ambito non possiamo considerare funzioni suriettive né le parabole ad asse verticale, né le iperboli, né le funzioni seno e coseno, né i logaritmi etc.
Una funzione si dice iniettiva se elementi distinti del dominio hanno immagini distinte, o equivalentemente se ad ogni elemento del codominio corrisponde al più un elemento distinto del dominio.
Si può dire dunque che è iniettiva se e solo se
In alternativa, utilizzando il concetto di immagine, la funzione si può definire iniettiva se:
Se consideriamo funzioni , sono iniettive le rette, i logaritmi, le iperboli equilatere, le potenze dispari ( etc. Sempre nello stesso ambito non possiamo considerare iniettive né le parabole ad asse verticale, né le iperboli non equilatere, né tutte le funzioni periodiche, tra cui seno e coseno e tangente etc.
Le funzioni sono quelle più comunemente trattate dall'analisi e possono possedere, a certe condizioni, alcune particolari proprietà che in genere si studiano su tali funzioni nonostante il fatto che queste stesse proprietà siano spesso applicabili a funzioni non necessariamente di variabile reale.
Una funzione si dice limitatasuperiormente, inferiormente o entrambe se per ogni x f(x) è relativamente minore di un valore M o maggiore di un valore m o entrambi, con
Una funzione si definisce monotòna se essa è sempre crescente (o al più costante) o sempre decrescente (o al più costante) nel suo dominio.
Una funzione si dice invece strettamente monotona se è sempre crescente o sempre decrescente ma mai costante. Se invece si intende sottolineare che una funzione è monotona ma non strettamente monotona, allora si può dire monotona in senso lato. Se la funzione è monotona e crescente si difinisce monotona crescente, se essa è monotona e decrescente si definisce monotona decrescente.
Dunque, una funzione è monotona crescente, in senso lato se:
Mentre è monotona decrescente, in senso lato se:
Invece, per esempio, una funzione strettamente monotona, crescente è caratterizzata dalla seguente proprietà:
vale a dire che i rapporti di comparazione sono di e non di .
La funzione inversa di una funzione iniettiva è quella funzione che a partire dai valori restituisce i valori di partenza di , ovvero i valori del dominio di , per cui data:
con e soprattutto iniettiva (condizione fondamentale),
vale:
oppure, similmente,
La condizione di iniettività di f è fondamentale, tantoché per ottenere le funzioni inverse di alcune funzioni non iniettive con dominio (come ), quando è possibile si restringe arbitrariamente il dominio ad un intervallo limitato in cui la funzione si mantiene iniettiva.