AYT Fonksiyonlar: Bileşke, Ters ve Dört İşlem

Bir bağıntının fonksiyon sayılması için gereken tek-çıktı koşulu

Bir fonksiyon $f:A\to B$, $A$ kümesinin her elemanını $B$ kümesindeki bir elemana eşler. Burada $A$ tanım kümesi, $B$ hedef veya değer kümesi olarak adlandırılır. $x\in A$ için elde edilen çıktı $f(x)$ biçiminde yazılır.

Fonksiyon olmanın iki parçası vardır:

• Tanım kümesindeki her eleman için bir çıktı bulunmalıdır.
• Aynı girdi, iki farklı çıktıya gönderilmemelidir.

Örneğin $A=\{1,2,3\}$ ve $B=\{a,b\}$ olsun. $1\mapsto a$, $2\mapsto b$, $3\mapsto b$ eşlemesi bir fonksiyondur; çünkü her girişin tek bir görüntüsü vardır. İki farklı girişin aynı çıktıya gitmesi fonksiyon olmayı bozmaz. Buna karşılık $2$ girdisi hem $a$ hem $b$ ile eşleştirilirse tek-çıktı koşulu bozulur ve bu eşleme fonksiyon olmaz.

$f(x)=y$ gösteriminde $x$ bağımsız değişken, $y$ ise fonksiyonun çıktısıdır. Bir fonksiyonun görüntü kümesi, gerçekte elde edilen çıktılardan oluşur ve hedef kümenin alt kümesidir. Örneğin $f:\mathbb{R}\to\mathbb{R}$, $f(x)=x^2$ için görüntü kümesi $[0,\infty)$ olur; hedef küme reel sayılar olsa da negatif reel sayılar çıktı olarak oluşmaz.

Tanım kümesi, görüntü kümesi ve parçalı kuralları birlikte okumak

Bir fonksiyon ifadesinde önce tanım kümesini belirlemek gerekir. Rasyonel ifadelerde payda sıfır olamaz; bu nedenle $f(x)=\frac{1}{x-2}$ için $x=2$ tanım kümesinden çıkarılır. Kareköklü reel ifadelerde kökün içi negatif olamaz; örneğin $g(x)=\sqrt{x-1}$ için $x\ge 1$ koşulu gerekir. Bu koşullar, fonksiyonun hangi girdilerde tanımlı olduğunu belirler.

Tanım kümesi ile görüntü kümesi aynı kavram değildir. Tanım kümesi izin verilen girdileri, görüntü kümesi ise bu girdiler kullanıldığında gerçekten elde edilen çıktıları gösterir. $h(x)=x^2$ fonksiyonunun tanım kümesi tüm reel sayılar seçilirse görüntü kümesi negatif olmayan reel sayılardır. Buna karşılık tanım kümesi $[0,\infty)$ ile sınırlandırılırsa aynı kural bire-bir hâle gelebilir.

Parçalı tanımlı fonksiyonlarda hangi aralıkta hangi kuralın kullanılacağına dikkat edilir. Genel biçim şu şekilde olabilir: $f(x)=\begin{cases}m(x),&x\in A\\n(x),&x\in B\end{cases}$ Burada $A$ ve $B$ aralıkları tanım kümesini birlikte oluşturabilir. Bir sınır noktası iki aralıkta birden yer alıyorsa, verilen tanıma göre hangi kuralın geçerli olduğu kontrol edilmelidir. Her parçayı ayrı ayrı hesaplamak yetmez; parçaların tanım kümesini kapsayıp kapsamadığı ve aynı girdiye birden fazla çıktı verip vermediği de incelenir.

Fonksiyonlarla dört işlemde tanım kümesi neden yeniden kontrol edilir?

Aynı tanım kümesinde tanımlı $f$ ve $g$ fonksiyonları için işlemler noktasal olarak yapılır:

$(f+g)(x)=f(x)+g(x)$

$(f-g)(x)=f(x)-g(x)$

$(f\cdot g)(x)=f(x)g(x)$

$(\frac{f}{g})(x)=\frac{f(x)}{g(x)}$

Toplama, çıkarma ve çarpmanın tanım kümesi, iki fonksiyonun ortak tanım kümesidir. Bölme işleminde buna ek olarak $g(x)\ne0$ koşulu aranır. Örneğin $f(x)=x^2$ ve $g(x)=x+1$ ise:

• $(f+g)(x)=x^2+x+1$
• $(f\cdot g)(x)=x^2(x+1)$
• $(\frac{f}{g})(x)=\frac{x^2}{x+1}$ ve burada $x\ne-1$ olmalıdır.

Buradaki önemli ayrım şudur: İfadeyi cebirsel olarak sadeleştirmek, ilk fonksiyonun yasakladığı değeri otomatik olarak geri getirmez. Örneğin $\frac{x^2-1}{x-1}$ ifadesi $x+1$ biçiminde sadeleşse de başlangıç ifadesinde $x=1$ tanımsızdır. Bu nedenle fonksiyon işlemlerinde hem cebirsel sonucu hem de tanım kümesi kısıtlarını birlikte yazmak gerekir.

Bileşkede dıştaki fonksiyon değil, içteki fonksiyon önce uygulanır

Bileşke, bir fonksiyonun çıktısını başka bir fonksiyonun girdisi yapmaktır. $(g\circ f)(x)=g(f(x))$ ifadesinde önce $f$, sonra $g$ uygulanır. Bu nedenle bileşke sembolünün sağındaki fonksiyon ilk adımdır.

Bileşkenin tanımlı olması için önce $x$ değerinin $f$ fonksiyonunun tanım kümesinde bulunması, ardından $f(x)$ değerinin $g$ fonksiyonunun tanım kümesine girmesi gerekir. Bu ikinci koşul gözden kaçırılırsa, cebirsel olarak doğru görünen fakat tanım kümesi bakımından geçersiz bir sonuç elde edilebilir.

Örneğin $f(x)=2x-1$ ve $g(x)=\sqrt{x+3}$ olsun. $(g\circ f)(x)$ için önce $f(x)=2x-1$ hesaplanır: $(g\circ f)(x)=g(2x-1)=\sqrt{(2x-1)+3}=\sqrt{2x+2}$. Karekök koşulundan $2x+2\ge0$, yani $x\ge-1$ bulunur.

Ters fonksiyon ise çıktı ile girdinin rollerini geri çevirir. Bir fonksiyonun tersinin fonksiyon olabilmesi için, seçilen tanım ve hedef kümeleri arasında bire-bir ve örten olması gerekir. Yalnızca bire-birlik sağlanıyorsa ters, en azından fonksiyonun görüntü kümesinden tanım kümesine tanımlanabilir. Örneğin $f(x)=x^2$ tüm reel sayılarda bire-bir değildir; çünkü $f(2)=f(-2)=4$ olur. Ancak tanım kümesi $[0,\infty)$ ile sınırlandırılırsa ters ilişki fonksiyon hâline gelir ve $f^{-1}(x)=\sqrt{x}$ biçiminde yazılabilir.

Çözümlü örnekler: işlem sırasını ve ters koşulunu uygulama

Örnek 1 — Bileşke ve dört işlem birlikte

Verilenler: $f(x)=x^2-1$ ve $g(x)=2x+3$.

İstenen: $(g\circ f)(2)$ ve $(f+g)(2)$.

Çözüm adımları:

1. Önce $f(2)$ hesaplanır: $f(2)=2^2-1=3$.
2. Bileşkede bu çıktı $g$ fonksiyonuna sokulur: $(g\circ f)(2)=g(f(2))=g(3)=2\cdot3+3=9$.
3. Dört işlemde aynı $x$ değeri iki fonksiyona ayrı ayrı uygulanır: $g(2)=2\cdot2+3=7$.
4. $(f+g)(2)=f(2)+g(2)=3+7=10$.

Sonuç: $(g\circ f)(2)=9$ ve $(f+g)(2)=10$. Bu iki işlem aynı değildir; bileşkede bir fonksiyonun çıktısı diğerinin girdisi olur, toplamda ise iki çıktı toplanır.

Örnek 2 — Ters fonksiyonu adım adım bulma

Verilenler: $f(x)=3x-5$.

İstenen: $f^{-1}(x)$.

Çözüm adımları:

1. $y=3x-5$ yazılır.
2. Girdi ve çıktı rolleri değiştirilir: $x=3y-5$.
3. $y$ yalnız bırakılır: $x+5=3y$, dolayısıyla $y=\frac{x+5}{3}$.
4. Sonuç ters fonksiyon biçiminde yazılır: $f^{-1}(x)=\frac{x+5}{3}$.
5. Kontrol için $f(4)=3\cdot4-5=7$ bulunur. Ters fonksiyonda $f^{-1}(7)=\frac{7+5}{3}=4$ elde edilir.

Sonuç: $f^{-1}(x)=\frac{x+5}{3}$. Bir fonksiyonun tersi bulunduğunda, uygun kümeler üzerinde $f(f^{-1}(x))=x$ ve $f^{-1}(f(x))=x$ bağıntıları kontrol aracı olarak kullanılabilir.

Örnek 3 — Bölme işleminde yasak değeri koruma

Verilenler: $f(x)=x^2-1$ ve $g(x)=x-1$.

$(\frac{f}{g})(x)=\frac{x^2-1}{x-1}$ olur. Pay $x^2-1=(x-1)(x+1)$ biçiminde çarpanlara ayrılır ve ifade $x+1$ olarak sadeleşir. Ancak başlangıçta payda $x-1$ olduğu için $x=1$ yasaktır. Sonuç, $x+1$ kuralı ve $x\ne1$ koşuluyla birlikte yazılmalıdır.

Sık yapılan hatalar: sembol, küme ve özel durum ayrımları

1. Bileşke sırasını ters çevirmek: $(g\circ f)(x)$ ifadesi $f(g(x))$ değil, $g(f(x))$ demektir. Parantez içinden dışarıya doğru ilerlemek güvenli yöntemdir.

2. Her bağıntıyı fonksiyon sanmak: Bir girdinin iki çıktısı varsa fonksiyon koşulu bozulur. Buna karşılık farklı girdilerin aynı çıktıya gitmesi mümkündür; bu durum yalnızca bire-birlik açısından önem taşır.

3. Hedef küme ile görüntü kümesini eşit kabul etmek: Görüntü kümesi, gerçekten oluşan çıktılardır ve hedef kümenin tamamını doldurmayabilir. Örneğin $x^2$ fonksiyonunun reel sayılardaki görüntüsü negatif değerleri içermez.

4. Ters fonksiyonu yalnızca cebirsel işlem sanmak: $x$ ve $y$ değiştirildikten sonra elde edilen ifadenin gerçekten fonksiyon olup olmadığı ve tanım-hedef kümelerinin uygunluğu kontrol edilmelidir. $x^2$ örneğinde tanım kümesi tüm reel sayılar olduğunda iki farklı girdi aynı çıktıyı verdiği için ters fonksiyon sorunu ortaya çıkar.

5. Bölmede paydanın sıfır olabileceğini unutmak: $(f/g)(x)$ için yalnızca $f$ ve $g$ ifadelerini bölmek yeterli değildir; $g(x)\ne0$ koşulu ayrıca yazılır.

6. Sadeleştirmeyle tanım kümesini genişletmek: Sadeleşen ifade, başlangıçtaki tanımsız noktayı geri getirmez. Özellikle ortak çarpan içeren kesirlerde bu nokta sınavlarda ayırt edici olabilir.

7. Parçalı fonksiyonda yanlış aralığı seçmek: Önce verilen $x$ değerinin hangi aralıkta olduğu belirlenir, sonra yalnızca o parçanın kuralı kullanılır. Sınır noktalarında açık ve kapalı aralık işaretleri dikkatle okunmalıdır.