Fonksiyon Nedir? Tanım Kümesi, Değer Kümesi ve Çözümlü Örnekler

Tanım kümesi, değer kümesi ve görüntü kümesi neden ayrıdır?

Bir fonksiyonu tam olarak tanımlamak için yalnızca $f(x)=2x+5$ gibi bir kural yazmak yeterli olmayabilir. Fonksiyonun hangi girdileri kabul ettiği ve çıktılarının hangi kümede değerlendirildiği de belirtilmelidir.

Bir fonksiyon genellikle $f:A\rightarrow B$ biçiminde gösterilir. Burada:

• $A$, tanım kümesidir. Fonksiyona girdi olarak verilebilecek tüm elemanları içerir.
• $B$, değer kümesidir. Çıktıların bulunması beklenen kümedir.
• $f(A)$ veya görüntü kümesi, tanım kümesindeki elemanlar kullanıldığında gerçekten elde edilen çıktılardan oluşur.

Örneğin $f:A\rightarrow B$ ve $f(x)=x^2$ olsun. $A=\{-2,-1,0,1,2\}$, $B=\{0,1,4,9\}$ seçilirse görüntü kümesi $\{0,1,4\}$ olur. Çünkü tanım kümesindeki değerler için sonuçlar şöyledir: $(-2)^2=4$, $(-1)^2=1$, $0^2=0$, $1^2=1$ ve $2^2=4$. Değer kümesinde 9 bulunmasına rağmen 9 üretilmediği için görüntü kümesine girmez.

Bu ayrım sorularda doğrudan kullanılır. Bir fonksiyonun görüntü kümesi, değer kümesine eşit olmak zorunda değildir. Görüntü kümesi değer kümesinin alt kümesidir. Ayrıca tanım kümesinde yer almayan bir değer için fonksiyonun sonucu sorulamaz; örneğin $f(x)=\frac{1}{x}$ ifadesinde $x=0$ için reel sayılar kümesinde tanımlı bir çıktı yoktur. Bu nedenle 0, bu fonksiyonun tanım kümesinde bulunamaz.

Bir bağıntının fonksiyon olmasını belirleyen tek koşul

Bir ilişkinin fonksiyon olabilmesi için tanım kümesindeki her elemanın değer kümesinde yalnızca bir karşılığı bulunmalıdır. Bu koşul iki parçadan oluşur:

1. Tanım kümesindeki her girdi için bir çıktı bulunmalıdır.
2. Aynı girdi, iki farklı çıktıya bağlanmamalıdır.

Buna karşılık, farklı girdilerin aynı çıktıya bağlanması fonksiyon olma durumunu bozmaz. Örneğin $f(x)=x^2$ fonksiyonunda $f(-2)=4$ ve $f(2)=4$ olur. İki farklı girdi aynı sonuca gitmiştir; yine de her bir girdinin tek bir çıktısı vardır.

Küme eşlemesiyle verilen bir ilişkide okları soldan sağa kontrol etmek en hızlı yöntemdir. Soldaki her elemandan tam bir ok çıkıyorsa ilişki fonksiyon olabilir. Bir elemandan iki ok çıkıyorsa fonksiyon değildir. Soldaki bir elemandan hiç ok çıkmıyorsa da tanım kümesindeki her elemanın eşlenmesi koşulu sağlanmaz.

Sıralı ikililerde de aynı fikir geçerlidir. $(x,y)$ ikililerinden oluşan bir ilişkide aynı $x$ değerine karşılık iki farklı $y$ değeri bulunuyorsa ilişki fonksiyon değildir. Örneğin $\{(1,3),(2,5),(1,4)\}$ ilişkisinde 1 girdisi hem 3'e hem 4'e eşlenmiştir. Bu yüzden fonksiyon koşulu bozulur. Buna karşılık $\{(1,3),(2,3),(4,5)\}$ bir fonksiyon olabilir; çünkü her x değeri yalnızca bir y değeriyle eşleşmiştir.

Bir denklemin fonksiyon olup olmadığını incelerken de aynı kural kullanılır. $x^2+y^2=25$ denkleminde $x=3$ için $y=4$ veya $y=-4$ elde edilir. Aynı x değeri iki farklı y verdiği için bu denklem, y'nin x'e bağlı bir fonksiyonu değildir. Denklemin başka bir değişkenin fonksiyonu olup olmadığı ayrıca incelenebilir; karar, hangi değişkenin girdi seçildiğine bağlıdır.

Fonksiyon gösteriminde f(x) neyi ifade eder?

$f(x)$ ifadesi, "f fonksiyonunun x girdisindeki değeri" anlamına gelir. Buradaki x, çoğu zaman bağımsız değişken; $f(x)$ ya da y ise bağımlı değişken olarak adlandırılır. $f(x)$ ifadesi otomatik olarak $f$ ile x'in çarpımı değildir.

Örneğin $f(x)=3x-2$ verilmişse, $f(5)$ bulmak için kuraldaki x yerine 5 yazılır:

$f(5)=3\cdot5-2=15-2=13$

Burada 5 girdi, 13 çıktıdır. Aynı kuralda $f(a)=3a-2$ yazılabilir. Bu kez a, belirli bir sayı değil, tanım kümesinde yer alabilen genel bir girdiyi gösterir.

İç içe fonksiyonlarda işlem sırasına dikkat edilir. $f(x)=2x+1$ ve $g(x)=x^2$ ise önce içteki fonksiyon hesaplanır. Buna göre:

$(f\circ g)(x)=f(g(x))=f(x^2)=2x^2+1$

Buna karşılık $(g\circ f)(x)=g(f(x))=g(2x+1)=(2x+1)^2$ olur. Bu iki ifade genellikle aynı değildir. Dolayısıyla fonksiyon bileşkelerinde sağdaki fonksiyon önce uygulanır; fonksiyonların yerini değiştirmek sonucu değiştirebilir.

Bir fonksiyonun kuralında payda, karekök veya benzeri kısıtlayıcı ifadeler varsa tanım kümesi ayrıca kontrol edilmelidir. Örneğin $f(x)=\sqrt{x-2}$ için reel sayılarda kök içinin negatif olmaması gerekir. Bu nedenle $x-2\geq0$ ve tanım kümesi $[2,\infty)$ olur. Bu değerlendirme yapılmadan her reel sayı için fonksiyon değeri varmış gibi işlem yapmak hatalıdır.

Grafikten fonksiyon kontrolü: dikey doğru testi

Bir grafik, x-y düzleminde aynı x değerine karşılık birden fazla y değeri veriyorsa y'nin x'e bağlı bir fonksiyonu olamaz. Bunu kontrol etmek için dikey doğru testi kullanılır: Grafiğin üzerinden geçirilen herhangi bir dikey doğru grafiği birden fazla noktada kesiyorsa grafik fonksiyon değildir.

Bir çember bu duruma örnektir. Dikey bir doğru, çemberi bazı x değerlerinde üst ve alt noktalardan keser. Aynı x için iki farklı y bulunduğundan çember, y'nin x'e bağlı tek değerli bir fonksiyon grafiği değildir. Buna karşılık yukarı doğru açılan bir parabolün grafiği, y eksenine göre simetrik olsa bile her x için tek bir y değeri verdiği sürece fonksiyondur.

Grafik yorumunda tanım kümesi, grafiğin x eksenine izdüşümündeki tüm x değerleridir; görüntü kümesi ise y eksenine izdüşümündeki tüm y değerleridir. Bu kümeler tek bir aralık olmak zorunda değildir; ayrık noktalardan veya birden fazla aralıktan oluşabilir. Uç noktaların dolu veya boş gösterilmesi de dahil olma durumunu değiştirir. Dolu nokta ilgili değerin kümeye dahil olduğunu, boş nokta ise o noktanın dahil edilmediğini belirtir.

Grafikten bir fonksiyonun artan veya azalan davranışı da okunabilir. x değerleri büyürken y değerleri yükseliyorsa ilgili aralıkta artan, düşüyorsa azalan davranıştan söz edilir. Bu yorum, fonksiyonun her yerde aynı davranışı gösterdiği anlamına gelmez; farklı aralıklarda farklı davranışlar görülebilir.

Matematikteki fonksiyon ile programlamadaki fonksiyonun ortak ve farklı yönleri

Matematikte fonksiyon, bir girdiyi tek bir çıktıyla ilişkilendiren soyut bir eşlemedir. Programlamada fonksiyon ise belirli bir görevi adlandırılmış ve tekrar çağrılabilir bir kod bölümü olarak düzenler. Ortak fikir, girdilerin belirli işlemlerden geçirilerek bir sonuç üretilmesidir.

Örneğin matematikte $toplam(a,b)=a+b$ biçiminde düşünülen yapı, programlamada iki değeri parametre olarak alıp toplamı döndüren bir fonksiyon şeklinde yazılabilir. Parametreler, fonksiyon tanımlanırken belirtilen girdilerdir; argümanlar ise fonksiyon çağrılırken verilen gerçek değerlerdir. Bu ayrım, programlama öğrenirken sıkça karıştırılır.

Programlamadaki her fonksiyonun matematiksel anlamda tek çıktılı bir fonksiyon gibi değerlendirilmesi gerekmez. Bir kod fonksiyonu ekrana yazı yazabilir, bir dosyayı değiştirebilir veya dış bir kaynaktan veri okuyabilir. Bu tür yan etkiler, matematikteki soyut eşleme tanımından farklı bir programlama bağlamı oluşturur. Bu nedenle iki alandaki "fonksiyon" sözcüğü ortak bir düzenleme fikrine sahip olsa da birebir aynı kapsamda kullanılmaz.

Fonksiyonlar programı küçük görevlere ayırmayı sağlar. Bir hesaplama bir kez tanımlandığında farklı girdilerle çağrılabilir; anlamlı bir isim kullanılması da kodun amacını görünür kılar. Ancak bir fonksiyonun her çağrıda aynı sonucu vermesi, dış veriye, zamana veya rastgeleliğe bağlı olup olmamasına göre değişebilir. Matematiksel fonksiyonlarda ise aynı tanım kümesi girdisi için tek çıktı şartı temel koşuldur. Daha fazla kodlama bağlamı için programlama, kod ve değişken konularına bakılabilir.

Çözümlü örnekler: değer bulma ve fonksiyon kontrolü

Örnek 1: Kuraldan fonksiyon değeri bulma

Verilenler: $f(x)=2x+5$ ve $f(3)$ isteniyor.

Çözüm adımları:

1. Fonksiyon kuralındaki x yerine 3 yazılır: $f(3)=2\cdot3+5$.
2. Çarpma yapılır: $2\cdot3=6$.
3. Sabit terim eklenir: $6+5=11$.

Sonuç: $f(3)=11$. Burada girdi 3, çıktı 11'dir. Aynı kuralda $f(0)=5$ olur; dolayısıyla farklı girdiler farklı çıktılar üretebilir, fakat her bir girdi için sonuç tektir.

Örnek 2: Sıralı ikililerde fonksiyon olup olmadığını belirleme

Verilenler: $R=\{(1,4),(2,5),(3,4),(1,6)\}$.

Çözüm adımları:

1. Her sıralı ikilinin ilk bileşeni girdi olarak incelenir.
2. İlk bileşeni 1 olan iki ikili bulunur: $(1,4)$ ve $(1,6)$.
3. Aynı girdi olan 1, iki farklı çıktıya (4 ve 6) bağlanmıştır.

Sonuç: $R$ bir fonksiyon değildir. İkinci ve üçüncü ikililerdeki çıktıların aynı olması sorun oluşturmazdı; sorun, aynı girdinin iki ayrı çıktıya sahip olmasıdır.

Örnek 3: Tanım kümesini belirleme

Verilenler: $h(x)=\frac{1}{x-4}$ ve fonksiyonun reel sayılardaki tanım kümesi isteniyor.

Çözüm adımları:

1. Kesirli ifadenin paydası 0 olamaz.
2. Bu nedenle $x-4\neq0$ koşulu yazılır.
3. Buradan $x\neq4$ elde edilir.

Sonuç: Tanım kümesi, 4 dışındaki reel sayılardır. $h(4)$ değeri tanımsızdır; çünkü payda 0 olur. Bu örnek, formül verilmiş olmasının her x değeri için sonuç bulunduğu anlamına gelmediğini gösterir.