# Funzioni (superiori)

Una funzione da $X$ a $Y$ è una relazione che associa ad ogni elemento di $X$ uno e un solo elemento di $Y$. Se $f$ è questa funzione si scrive
$f:X\mapsto Y$

## Terminologia

Dalla definizione si capisce l'importantaza dei due insiemi considerati. Diciamo quindi che:
* l'insieme $X$ è il dominio della funzione $f$ e lo si può indicare con ${\text{dom}}(f)$;
* l'insieme $Y$ è il codominio di $f$.
Dato un elemento $x\in X$, l'elemento del codominio $Y$ che è fatto corrispondere a $x$ mediante $f$ prende il nome di immagine di $x$ mediante $f$ e si indica con $f(x)$. In tal caso $x$ si dice controimmagine di $y$ mediante $f$. Chiamiamo insieme immagine di $X$ mediante $f$ l'insieme
${\text{Im}}(f)=f(X):=\{f(x)|x\in X\}$

## Interpretazione grafica

Quando si ha una funzione reale di variabile reale, ovvero del tipo
$\gamma :X\mapsto Y$
$X,Y\subseteq \mathbb {R}$
è naturale rappresentarla sul piano cartesiano con un insieme di punti (ad es. una curva, una retta, ... ). Dalla definizione si deduce che sul piano cartesiano ogni retta perpendicolare all'asse delle ascisse in un punto $(x;0)$, con $x\in {\text{dom}}(\gamma )$, interseca la funzione in uno e un solo punto.
    Facciamo alcuni esempi.
* Le rette non perpendicolari all'asse delle ascisse sono funzioni.
* Le parabole ad asse verticale sono funzioni.
* Le parabole ad asse orizzontale non sono funzioni.
* Le circonferenze non sono funzioni.

## Funzioni suriettive, iniettive e biunivoche
### Funzioni suriettive

Una funzione si dice suriettiva se e solo se l'insieme immagine coincide con il codominio.
In altri termini, una funzione $f:X\rightarrow Y$ è suriettiva se e solo se
$\forall y\in Y\,\exists x\in X,f(x)=y$

##### Esempi

Se consideriamo funzioni $\mathbb {R} \rightarrow \mathbb {R}$, sono suriettive le rette, la funzione tangente, le potenze dispari (ad esempio $f(x)=x^{3},f(x)=x^{5}$, 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.

### Funzioni iniettive

Una funzione si dice iniettiva se e solo ogni elemento del codominio ha al più una controimmagine nel dominio.
Si può dire dunque che $f:X\rightarrow Y$ è iniettiva se e solo se
$\forall x_{1},x_{2}\in X,x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2})$
In alternativa, utilizzando il concetto di immagine, la funzione si può definire iniettiva se:
$\forall y\in {\text{Im}}f\,\exists !x\in X,f(x)=y$

##### Esempi

Sono iniettive le rette, i logaritmi, le iperboli equilatere, le potenze dispari ($f(x)=x^{3},f(x)=x^{5}$) 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.

### Funzioni biunivoche

Una funzione è biunivoca(o biiettiva) se e solo se è suriettiva ed iniettiva.
Quindi la funzione $f:X\rightarrow Y$ è biunivoca se e solo se
$\forall y\in Y\,\exists !x\in X,f(x)=y$

## Successioni

Oltre a quelle reali di variabile reale che abbiamo già visto, esistono delle particolari funzioni chiamate successioni. Le successioni sono funzioni del tipo
$f:\mathbb {N} \mapsto L$
In particolare quando $L=\mathbb {R}$, la successione si dice reale. Una successione reale si indica con la notazioni
$\{x_{n}\}_{n\in \mathbb {N} }$
$(x_{n})_{n\in \mathbb {N} }$
$x_{0},x_{1},x_{2},...,x_{n},x_{n+1},...$
dove $x_{n}=f(n)$ è detto n-esimo termine della successione. Spesso quando è sottinteso oppure dal contesto si comprende che " $n\in \mathbb {N}$ ", si può scrivere semplicemente $\{x_{n}\}$, $(x_{n})$.

## Funzioni reali di variabile reale

Le funzioni $f:\mathbb {R} \rightarrow \mathbb {R}$ 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.

### Funzioni limitate

Una funzione $f:X\rightarrow Y$ si dice limitata superiormente, inferiormente o entrambe se per ogni x f (x) è relativamente minore di un valore M o maggiore di un valore m o entrambi, con $m,M\in Y$
* Limitata superiormente: $\forall x\in X\,f(x)<M,\,M\in Y$
* Limitata inferiormente: $\forall x\in X\,f(x)>m,\,m\in Y$

### Funzioni contenenti simmetrie

* Funzioni pari: sono funzioni simmetriche rispetto all'asse delle ordinate, per cui vale la relazione:
    $f(-x)=f(x)\,$
* Funzioni dispari: sono funzioni simmetriche rispetto all'origine degli assi, per cui vale la relazione:
    $f(-x)=-f(x)\,$

### Funzioni monotòne

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 $f:X\rightarrow Y$ è monotona crescente, in senso lato se:
    $\forall x_{1},x_{2}\in X,\,\,x_{1}\leq x_{2}\,|\,f(x_{1})\leq f(x_{2})$
Mentre è monotona decrescente, in senso lato se:
    $\forall x_{1},x_{2}\in X,\,\,x_{1}\leq x_{2}\,|\,f(x_{1})\geq f(x_{2})$
Invece, per esempio, una funzione strettamente monotona, crescente è caratterizzata dalla seguente proprietà:
    $\forall x_{1},x_{2}\in X,\,\,x_{1}<x_{2}\,|\,f(x_{1})<f(x_{2})$
vale a dire che i rapporti di comparazione sono di $<\,$ e non di $\leq$.

### Funzioni inverse

La funzione inversa $f^{-1}\,$ di una funzione $f:X\rightarrow Y$ iniettiva è quella funzione che a partire dai valori $y=f(x)\in Y$ restituisce i valori di partenza di $f\,$, ovvero i valori $x\in X$ del dominio di $f\,$, per cui data:
    $f:X\rightarrow Y$
    con $D'=I\!mf$ e soprattutto $f\,$ iniettiva (condizione fondamentale),
vale:
    $f^{-1}:D'\rightarrow X\,|\,f^{-1}(f(x))=x,\,\,\forall x\in X$ oppure, similmente, $\forall y=f(x)\in D'$
La condizione di iniettività di f è fondamentale, tantoché per ottenere le funzioni inverse di alcune funzioni non iniettive con dominio $\mathbb {R}$ (come $\sin(x),\cos(x),\tan(x)\,$ ), quando è possibile si restringe arbitrariamente il dominio ad un intervallo limitato in cui la funzione si mantiene iniettiva.