Tanım kümesi

Bir f:X→Y fonksiyonu verilmiş olsun. Girdi değerlerinin oluşturduğu X kümesi f 'nin tanım kümesi iken; Y kümesi ise f 'nin değer kümesidir.

f 'nin görüntü kümesi ise f 'nin bütün çıktı değerlerinin kümesidir; yani ${\displaystyle \{f(x):x\in X\}}$ kümesidir.[2] f nin görüntü kümesi değer kümesi ile aynı küme olabilir veya değer kümesinin bir altkümesi olabilir. f örten fonksiyon olmadıkça genelde değer kümesinden daha küçük bir kümedir.

İyi tanımlı bir fonksiyon tanım kümesindeki her elemanı değer kümesindeki bir elemana göndermelidir. Mesela,

f(x) = 1/x

biçiminde tanımlanan fonksiyonun f(0) için bir değeri yoktur. Bu sebeple, gerçel sayılar kümesi ${\displaystyle \mathbb {R} }$, bu fonksiyonun tamın kümesi olamaz. Bu gibi durumlarda, fonksiyon ya ${\displaystyle \mathbb {R} \backslash \{0\}}$ üzerinde tanımlanır ya da f(0) açık bir şekilde tanımlanarak "açık yamanır". Eğer f fonksiyonu

f(x) = 1/x, x ≠ 0

f(0) = 0,

şeklinde genişletilip tanımlanırsa, o zaman f tüm gerçel değerler için tanımlı olur ve tanım kümesi de ${\displaystyle \mathbb {R} }$ olur.

Herhangi bir fonksiyon kendi tanım kümesinin bir altkümesine sınırlandırılabilir. S ⊆ A ise, g : A → B 'nin S 'ye sınırlandırılması g |_S : S → B şeklinde yazılır.

• Görüntü kümesi
• Değer kümesi
• Örten fonksiyon
• Birebir fonksiyon
• Birebir örten fonksiyon