Funzione parziale
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Nota_disambigua.svg/18px-Nota_disambigua.svg.png)
![Abbozzo matematica](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/45px-Crystal128-kmplot.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Partial_function.svg/220px-Partial_function.svg.png)
In matematica, si dice funzione parziale un sottoinsieme di , cioè una relazione binaria tra e , tale che:
- (unicità)
ossia esiste al più un tale che .
È importante notare come non si richiede che la funzione sia definita ovunque, cioè che per ogni in sia per un in .
Per contrapposizione, una funzione parziale definita su ogni elemento del dominio (cioè una funzione nel senso comune del termine) è detta totale.
Un esempio di funzione parziale è definita dalla relazione . Osserviamo che la funzione è definita dall'insieme dei numeri naturali in sé stesso, dunque è una funzione parziale in quanto è un numero naturale solo se è un quadrato perfetto.
Data una funzione parziale è sempre possibile restringere il dominio all'insieme di definizione della funzione. In questo modo, la restrizione della funzione alla funzione è una funzione totale.
Un altro esempio di funzione parziale è definita dalla relazione . Questa funzione è parziale dal momento che non è definito. Restringendo la funzione al suo insieme di definizione si ottiene una funzione (diversa) che però è totale.
Voci correlate
- Funzione (matematica)
- Funzione ricorsiva
- Dominio e codominio
- Studio di funzione
- Relazione binaria
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file su funzione parziale
Collegamenti esterni
- (EN) Eric W. Weisstein, Funzione parziale, su MathWorld, Wolfram Research.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)