KÉPHALMAZ ÉS ÉRTÉKKÉSZLET

Egy függvény megadásához két halmazból kell kiindulnunk. Az elsõ, amelyet értelmezési tartománynak nevezünk, azokból a dolgokból áll, amelyekhez egy másik halmaz egy-egy elemét hozzárendeljük. Az értelmezési tartománynak tehát minden egyes eleme szerepel a hozzárendelésben. A második halmaz elemeinek azonban esetleg csak egy részét rendeljük az értelmezési tartomány elemeihez. Ezért a képhalmaz nem tartozik olyan szorosan a függvényhez, mint az értelmezési tartomány. Ha egy függvénynek adott egy képhalmaza, akkor minden olyan másik halmaz is, amelynek ez a képhalmaz valódi részhalmaza, választható lenne az adott függvény képhalmazának. Maga az értékkészlet, vagyis a helyettesítési értékek halmaza, az már ugyanolyan szorosan hozzátartozik a függvényhez, mint az értelmezési tartomány.

Miért beszélünk akkor végül is képhalmazról? Azért, mert sokszor csak nagyon bonyolultan tudjuk megadni az értékkészletet! Ha például minden természetes számhoz rendeljük a tizedik hatványát, akkor hogyan adnánk meg az értékkészletet? Legfeljebb körülírással! Egy képhalmazt viszont könnyü találni: akár N, akár Z, Q, vagy R megfelel képhalmaznak. természetesen hacsak lehet, válasszuk képhalmaznak a lehetõ legszûkebb halmazt, vagyis magát az értékkészletet.