Partiële functie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Een voorbeeld van een partiële functie die geen totale functie is
Een voorbeeld van een partiële functie, die ook een totale functie is

In de wiskunde is een partiële functie een binaire relatie, die elk element van een verzameling , soms het domein genoemd, associeert met ten hoogste één element van een andere (mogelijk ook dezelfde) verzameling , die het codomein wordt genoemd. Niet elk element van het domein hoeft echter geassocieerd te zijn met een element uit het codomein.

Notatie[bewerken]

Een partiële functie van naar wordt ter onderscheiding met een (totale) functie wel genoteerd op een van de volgende manieren:

.

Voorbeeld[bewerken]

Een voorbeeld van een partiële functie is de functie : van de verzameling van de gehele getallen naar de gehele getallen die gegeven wordt door:

,

die dus niet voor alle gehele gedefinieerd is, maar alleen voor kwadraten.

(Volledige of totale) functie[bewerken]

Als elk element uit het domein van een binaire relatie wordt geassocieerd met exact één element uit zijn codomein, wordt een volledige of totale functie genoemd, of eenvoudigweg een functie.

Een partiële functie die gedefinieerd is in elk punt van haar domein is volledig.