Lege functie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de wiskunde is een lege functie een functie waarvan het domein de lege verzameling is. Hoewel op het eerste gezicht merkwaardig, is het begrip lege functie een gevolg van de formele definitie van het begrip functie. Een functie is immers een relatie tussen het domein en het codomein waarvoor bij ieder element uit het domein precies één element in het codomein is zodat het koppel tot de functie (de relatie) behoort. Met de lege verzameling als domein voldoet de lege verzameling als relatie aan deze voorwaarde. Voor de verzameling V als codomein is de functie:

f_V: \varnothing \to V

een lege functie. Deze is eenduidig bepaald, immers, als:

g: \varnothing \to V,

dan is:

\forall x\in \varnothing : f_V(x)=g(x)

Of eenvoudiger:

g= \varnothing = f_V.

Dat niet alle lege functies aan elkaar gelijk zijn, berust op de formele definitie, waarin ook het codomein deel uitmaakt van de functie. Zo zijn ook de functies f:\R_+\to \R_+; x\mapsto \sqrt{x} en g:\R_+\to \R; x\mapsto \sqrt{x} formeel verschillend.


Het is formeel ook mogelijk te spreken van de grafiek van een lege functie. De grafiek van een lege functie f met codomein V is de lege verzameling, aangezien de grafiek een deelverzameling moet zijn van het cartesisch product \varnothing \times V=\varnothing van het domein en het codomein.

Een speciaal geval is nog de lege functie f_\varnothing: \varnothing \to \varnothing die de identieke afbeelding is op de lege verzameling. Het bestaan hiervan is vereist in de categorietheorie opdat de categorie van verzamelingen inderdaad een categorie is.