Cevap :

 ve  iki küme olsun. 'nın her elemanını bir biçimde 'nin bir ve bir tek elemanıyla ilişkilendirelim. (Koyu renkle yazılmış sözcükler önemlidir; ilerde bunların üstünde duracağız.) Örneğin  (gerçel sayılar kümesi),  de -3'ten büyük gerçel sayılar kümesi olsun, yani  olsun. İlişkilendirmeyi de şöyle yapalım: 'nın her elemanını (yani her gerçel sayıyı), o elemanın karesiyle ilişkilendirelim. Böylece ilişkilendirmeyi bir formülle tanımlamış olduk. Bu örnekteki ilişkilendirmeyi  olarak yazarız, her sayı karesiyle ilişkilendirilmiştir, örneğin -3 sayısı 9'la,  sayısı 2'yle ilişkilendirilmiştir. İşte 'dan 'ye giden fonksiyon böyle bir şeydir. Fonksiyon  simgesiyle ifade edilir. Verilen örnek için  yazılır.

 yaşamış ya da şu anda yaşayan insanlar kümesi olsun.  fonksiyonu her insanı annesine götürsün. Matematiksel olmasa da bu, 'dan 'ya giden bir fonksiyondur, çünkü her insanın bir annesi vardır. Ama her insanı kardeşine götüren bir fonksiyon yoktur çünkü bazı insanların kardeşi olmadığı gibi bazı insanların birden çok kardeşi vardır. Öte yandan, her insanı en büyük kardeşine götüren kural, kardeşi olan insanlar kümesinden  kümesine giden bir fonksiyondur.

'dan 'ye giden bir  fonksiyonu,  kümesinin her elemanını 'nin bir ve bir tek elemanına götüren/elemanıyla ilişkilendiren bir "kural"dır. (Burada biraz yalan var, ama pek önemli değil: Kuralın ne demek olduğunu söylemediğimiz gibi, bir fonksiyonun tanımlanması için herhangi bir kurala da aslında gerek yoktur! İlerde, yazının sonunda, fonksiyonun gerçek matematiksel tanımını verdiğimizde bu pembe yalana ihtiyacımız kalmayacak.)

Özet olarak, verilmiş bir  fonksiyonu, 'nın her elemanını bir biçimde 'nin bir ve bir tek elemanına götürür/elemanıyla ilişkilendirir.

Yukardaki örnekte, kural,  olarak verilmiştir. Ama bir fonksiyon bir formül ya da bir kuraldan öte bir şeydir. Bir fonksiyon, sadece bir kural değildir; bir fonksiyonu tanımlamak için, kural dışında, bir de ayrıca  ve  kümeleri de gerekmektedir. Formül ya da kural aynı kalsa bile  ve  kümeleri değişirse fonksiyon da değişir. Yukardaki örnek üzerinden gidelim:

A ve B boş olmayan iki küme olsun. A’nın her elemanını B’nin yalnız bir elemanına eşleyen A’dan B’ye bir f bağıntısına, A’dan B’ye bir fonksiyon denir.

Fonksiyon olması için;

1) A’nın her elamanı B’ye gidecek.

2) A kümesinde açıkta eleman kalmayacak.

3) A’nın herhangi bir elamanı B’ye iki defa gitmeyecek.

4) B’de açıkta elaman kalabilir.

Örnek: A={ali,ayşe,fatma}   B={sarma,makarna,pilav,yahni}

A’dan B’ye tanımlanan bağıntılardan hangileri fonksiyondur?

a) f={(ali,sarma),(ayşe,makarna),(fatma,yahni)}  

b) g={(ali,pilav),(ayşe,sarma),(fatma,yahni),(fatma,makarna)}  

c) h={(ayşe,sarma),(fatma,pilav)}  

Yukarıdakilerden h bağıntısı fonksiyon değildir çünkü ali açıkta kalmıştır.

g bağıntısı fonksiyon değildir çünkü fatma iki çeşit yemek almıştır.

f bağıntısı fonksiyondur.A’nın her elamanı B’den bir çeşit yemek seçmiştir.

Buradaki kişilerin kümesine fonksiyonun tanım kümesi,yemeklerin kümesine fonksiyonun değer kümesi,değer kümesinde bulunan kişilerin yediği yemeklerin kümesine de fonksiyonun görüntü kümesi denir.

f: A---->B biçiminde yada f: x---->y biçiminde gösterilir.

y=f(x) yazılır.   xϵA, y=f(x)ϵB olur.

Fonksiyonun görüntü kümesi f(A) ile gösterilir.

Tanım kümesi: ali,ayşe,fatma

Değer kümesi: sarma,makarna,pilav,yahni

Görüntü kümesi: sarma,makarna,yahni