A definíciós tartomány az a halmaz , amelyen a függvény definiálva van . Ennek a halmaznak minden pontjában meg kell határozni a függvény értékét.
Ha egy függvény definiálva van egy halmazon, amely leképezi a halmazt egy másik halmazra, akkor a halmazt definíciós tartománynak vagy a függvény tartományának nevezzük .
Formálisabban, ha egy függvény adott , amely egy halmazt leképez -re , azaz :, akkor a halmazt a függvény definíciós tartományának [1] vagy beállítási tartományának [2] nevezzük , és vagy (az angol tartományból - "terület").
Néha egy halmaz részhalmazán definiált függvényeket is figyelembe veszik . Ebben az esetben a halmazt a függvény [3] indulási területének nevezzük .
A tartományokra a legszemléletesebb példákat a numerikus függvények adják . A mérték és a funkcionális fontos tartománytípusokat is biztosítanak az alkalmazásokban.
A numerikus függvények a következő két osztályba tartozó függvények:
ahol és a valós és komplex számok halmazai.
Identitás leképezésA függvény hatóköre megegyezik az eredetterülettel ( vagy ).
Harmonikus függvényA függvény tartománya a nulla nélküli komplex sík :
,mert a képlet nem állítja be nullára a függvény értékét valamilyen számra.
Tört-racionális függvényekA nézet funkció hatóköre
a valós egyenes vagy komplex sík, kivéve véges számú pontot, amelyek az egyenlet megoldásai
.Ezeket a pontokat a függvény pólusainak nevezzük .
Tehát a függvény minden olyan ponton definiálva van, ahol a nevező nem tűnik el, vagyis ahol . Így van ez az összes valós (vagy komplex) szám halmaza, kivéve 2 és -2.
Ha egy függvény tartományának minden pontja halmaz, például egy adott halmaz részhalmaza, akkor azt mondják, hogy adott egy halmazfüggvény .
A mérték egy példa egy ilyen függvényre, ahol egy adott halmaz részhalmazainak bizonyos halmaza, amely például egy gyűrű vagy halmazok félgyűrűje, a függvény (mérték) tartományaként működik.
Például a határozott integrál egy orientált span függvénye .
Legyen leképezések családja halmaztól halmazig . Ezután meghatározhatjuk az űrlap leképezését . Az ilyen leképezést funkcionálisnak nevezzük .
Ha például rögzítünk egy pontot , akkor definiálhatunk egy függvényt , amely ugyanazt az értéket veszi fel a „pontban”, mint maga a függvény a pontban .