Bileşke Fonksiyonun Tanım Kümesi Bulma ve Parametrik Modelleme

Bileşke Fonksiyonun Tanımlı Olma Koşulu

g∘f fonksiyonunun tanımlı olabilmesi için f fonksiyonunun tanım kümesinin her elemanının görüntüsü, g fonksiyonunun tanım kümesinin bir elemanı olmalıdır. Bu koşul, bileşke fonksiyonun tanım kümesini bulurken iki ayrı eşitsizliğin (veya koşulun) birlikte sağlanmasını gerektirir: hem orijinal f fonksiyonunun tanım kümesi koşulu, hem de f(x) değerinin g'nin tanım kümesinde kalması koşulu.

Hesaplama Örneği: Kısıtlı Tanım Kümeli Fonksiyonların Bileşkesi

f:[5,∞)→R, f(x)=√(x−5) ve g:(−∞,4]→R, g(x)=3√x+5 şeklinde f ve g fonksiyonları tanımlanıyor. g∘f fonksiyonunun tanım kümesi ve cebirsel temsili bulunsun.

Tanım kümesinin bulunması: g∘f fonksiyonunun tanımlı olabilmesi için f fonksiyonunun tanım kümesinin her elemanının görüntüsü, g fonksiyonunun tanım kümesinin bir elemanı olmalıdır. f:[5,∞)→R olduğundan ∀x∈[5,∞) için x≥5 olması gerekir (1. koşul). Ayrıca f(x)∈(−∞,4] olması, yani f(x)=√(x−5)≤4 olması gerekir (2. koşul). Bu ikinci koşul çözülürse: √(x−5)≤4 ⟹ x−5≤16 ⟹ x≤21. g∘f fonksiyonunun tanım aralığındaki x değişkeni her iki koşulu (x≥5 ve x≤21) birlikte sağlamalıdır. Buna göre g∘f fonksiyonu 5≤x≤21 olması durumunda tanımlı olacaktır.

Cebirsel temsilin bulunması: (g∘f)(x)=g(f(x))=3·f(x)+5=3√(x−5)+5 olur.

Grafiksel doğrulama: g∘f fonksiyonunun grafiği çizildiğinde, tanım kümesinin [5,21] olduğu grafiksel olarak da doğrulanır. Buna göre g∘f fonksiyonunun tanım kümesinin, f fonksiyonunun tanım kümesinin bir alt kümesi olduğu söylenebilir — bu, bileşke fonksiyonun tanım kümesinin genellikle orijinal fonksiyonlardan birinin tanım kümesinden daha dar (veya ona eşit) olacağını gösteren önemli bir genellemedir.

Bu Örneğin Genel Stratejik Önemi

Bu örnek, bileşke fonksiyonun tanım kümesini bulma sürecinin iki adımlı bir eşitsizlik sistemi çözme problemine dönüştüğünü göstermektedir: birinci adımda iç fonksiyonun (f) kendi tanım kümesi koşulu yazılır, ikinci adımda iç fonksiyonun görüntüsünün dış fonksiyonun (g) tanım kümesinde kalması koşulu yazılır, ve bu iki koşulun kesişimi (ortak sağlandığı aralık) bileşke fonksiyonun nihai tanım kümesini verir. Bu strateji, karekök, rasyonel veya logaritmik fonksiyonların bileşkesi gibi tanım kümesi kısıtlı herhangi bir bileşke fonksiyon probleminde aynı şekilde uygulanabilir.

Hesaplama Örneği: Geminin Deniz Fenerine Olan Mesafesi (Parametrik Modelleme)

Sahilde A noktasında bulunan bir deniz feneri ile B noktasında bulunan bir geminin arasındaki en yakın mesafe 5 km'dir. Gemi, sahile paralel olarak saatte 20 km sabit hızla ilerlemekte ve d km yol alarak C noktasına varmaktadır. [AB]⊥[BC] olduğuna göre (dik üçgen oluştuğundan), gemi ile deniz feneri arasındaki mesafe s km'dir.

1. Mesafeyi (s), alınan yola (d) bağlı modelleyen f fonksiyonu bulunsun: ABC dik üçgeninde Pisagor teoremi uygulanırsa s²=5²+d² denklemi elde edilir. Buradan s=f(d)=√(25+d²) şeklinde tanımlı fonksiyon elde edilir.

2. Zamana bağlı alınan yolu modelleyen g fonksiyonu bulunsun: gemi saatte 20 km sabit hızla gittiğinden, t saat sonra 20t km yol alır. Bu durumda d=g(t)=20t olarak ifade edilir.

3. Geminin zamana bağlı deniz fenerine olan mesafesini modelleyen bileşke fonksiyon bulunsun: geminin zamana bağlı mesafesi, önce zamana bağlı yolun (g), sonra yola bağlı mesafenin (f) hesaplanmasıyla, yani f∘g bileşke fonksiyonuyla elde edilir: (f∘g)(t)=f(g(t))=f(20t)=√(25+(20t)²).

Bu örnek, geometrik bir ilişkiyi (Pisagor teoremi, s=f(d)) ve fiziksel bir hareket ilişkisini (sabit hız, d=g(t)) birbirinden bağımsız olarak modelleyip, ardından bileşke fonksiyonla birleştirmenin gerçek yaşamdaki navigasyon, radar takibi gibi uygulamalarda nasıl kullanıldığını somut biçimde göstermektedir.

Bileşke Fonksiyonla Parametrik Modellemenin Genel Mantığı

Deniz feneri örneği, bileşke fonksiyonların gerçek yaşam problemlerinde neden bu kadar sık kullanıldığını açıklayan genel bir yapıyı ortaya koyar: bir büyüklük (mesafe s) doğrudan zamana (t) bağlı değildir, ancak zamana bağlı olan başka bir büyüklük (yol d) üzerinden dolaylı olarak zamana bağlanabilir. Bu "ara değişken" (d) üzerinden kurulan zincirleme ilişki (t→d→s), tam olarak bileşke fonksiyonun matematiksel yapısına karşılık gelir. Benzer yapı, sıcaklık→hacim (önceki Konu'daki balon örneği), adım sayısı→mesafe→kalori (bir sonraki Konu'da işlenecek), veya derişim→zaman→miktar gibi sayısız gerçek yaşam bağlamında karşımıza çıkar.

Özet

• g∘f fonksiyonunun tanımlı olması için f'nin tanım kümesi koşulu VE f(x)'in g'nin tanım kümesinde kalması koşulu birlikte sağlanmalıdır; bu iki koşulun kesişimi bileşke fonksiyonun tanım kümesini verir.
• f(x)=√(x−5), g(x)=3√x+5 örneğinde bu yöntemle g∘f fonksiyonunun tanım kümesi [5,21] olarak bulunur ve cebirsel temsili (g∘f)(x)=3√(x−5)+5'tir.
• Bileşke fonksiyonun tanım kümesi genellikle orijinal fonksiyonlardan birinin tanım kümesinin bir alt kümesidir.
• Deniz feneri probleminde s=f(d)=√(25+d²) (geometrik ilişki) ve d=g(t)=20t (hareket ilişkisi) ayrı ayrı kurulup, (f∘g)(t)=√(25+(20t)²) bileşke fonksiyonuyla zamana bağlı mesafe doğrudan ifade edilir.
• Bu "ara değişken üzerinden zincirleme modelleme" yapısı, bileşke fonksiyonların gerçek yaşam problemlerinde (navigasyon, fiziksel süreçler, ekonomi) sıkça kullanılmasının temel nedenidir.