Definitionsdomänen är den uppsättning som funktionen definieras på . Vid varje punkt i denna uppsättning måste värdet på funktionen bestämmas.
Om en funktion är definierad på en uppsättning som mappar uppsättningen till en annan uppsättning, kallas uppsättningen för definitionsdomän eller funktionsdomän .
Mer formellt, om en funktion ges som mappar en mängd till , det vill säga: , kallas mängden definitionsdomänen [1] eller inställningsdomänen [2] för funktionen och betecknas eller (från den engelska domänen) - "område").
Ibland övervägs också funktioner som definieras på en delmängd av någon uppsättning . I det här fallet kallas uppsättningen för funktionens avgångsområde [ 3] .
De mest illustrativa exemplen på domäner tillhandahålls av numeriska funktioner . Måttet och det funktionella ger också viktiga typer av domäner i applikationer.
Numeriska funktioner är funktioner som tillhör följande två klasser:
var och är mängderna av reella respektive komplexa tal.
IdentitetskartläggningFunktionens omfattning är densamma som ursprungsområdet ( eller ).
Harmonisk funktionFunktionens domän är det komplexa planet utan noll:
,eftersom formeln inte sätter värdet på funktionen till noll till något tal.
Bråk-rationella funktionerOmfattning av visningsfunktionen
är den reella linjen eller det komplexa planet förutom ett ändligt antal punkter, som är lösningar av ekvationen
.Dessa punkter kallas funktionens poler .
Så, funktionen definieras på alla punkter där nämnaren inte försvinner, det vill säga där . Således är mängden av alla reella (eller komplexa) tal utom 2 och -2.
Om varje punkt i domänen för en funktion är en mängd, till exempel en delmängd av en given mängd, så säger de att en mängd funktion är given .
Ett mått är ett exempel på en sådan funktion, där en viss uppsättning delmängder av en given mängd, som till exempel är en ring eller en semiring av mängder, fungerar som funktionens domän (mått).
Till exempel är den bestämda integralen en funktion av ett orienterat spann .
Låt vara en familj av mappningar från uppsättning till uppsättning . Sedan kan vi definiera en mappning av formuläret . En sådan mappning kallas en funktionell .
Om vi till exempel fixar någon punkt , så kan vi definiera en funktion som tar samma värde vid "punkten" som själva funktionen vid punkten .