wiskundige functie

In de wiskunde drukt een functie een afhankelijkheid uit van één element van een ander. Meestal wordt het begrip gebruikt in de traditionele context waarin deze elementen getallen zijn. Een functie is dan een afbeelding van getallen, die voorschrijft wat de functiewaarde is van het argument . De functie met functiewaarde bijvoorbeeld, bepaalt van elk reëel getal als functiewaarde het dubbele van dit getal. Het wiskundige begrip 'functie' heeft in het Nederlandse taalgebied de betekenis, dat het een relatie is die voor ieder 'origineel' maximaal één 'beeld' heeft. Er is verschil tussen een volledige en een partiële functie, waarbij een volledige functie aan ieder element van de bronverzameling een beeld wordt verbonden, terwijl dit bij een partiële functie niet noodzakelijk het geval is. Behalve elementaire functies op getallen kan een functie ook een afbeelding zijn tussen andere wiskundige structuren zoals groepen, of tussen meetkundige objecten, zoals variëteiten. In de abstracte benadering volgens de verzamelingenleer is een functie een tweeplaatsige relatie tussen twee verzamelingen, het domein en het codomein, die elk element in het domein associeert met precies één element in het codomein. Een voorbeeld van een functie met domein en codomein associeert met , met en met . Ook de relatie die met , met en ook met associeert, is een functie