Bileşke Fonksiyonların Genel Nitel Özellik Kuralları

Kontrol Noktası: g∘f Fonksiyonunun Nitel Özellik Tablosu

A,B,C⊆R ve f:A→B ile g:B→C tanımlı fonksiyonlar olmak üzere, g∘f bileşke fonksiyonunun nitel özellikleri, f ve g'nin kendi nitel özelliklerinden şu genel kurallarla belirlenir:

Bire birlik incelemesi: f bire bir ve g bire bir ise g∘f bire birdir. f bire bir/örten ve g örten değilse g∘f örten değildir (bire birlik ile örtenlik farklı koşullardır). f bire bir değil ve g örten/örten değilse g∘f bire bir değildir. f bire bir değil ve g bire bir değilse g∘f bire bir değildir.

Örtenlik incelemesi: f örten ve g örten ise g∘f örtendir. f bire bir ve g bire bir değilse g∘f örten değildir. f bire bir değil ve g bire birse g∘f örten değildir. f örten değil ve g örten değilse g∘f örten değildir.

Artanlık-azalanlık incelemesi: f artan ve g artan ise g∘f artandır. f artan ve g azalansa g∘f azalandır. f azalan ve g artansa g∘f azalandır. f azalan ve g azalansa g∘f artandır. Bu kural, "aynı yönde iki dönüşüm artan sonucu, zıt yönde iki dönüşüm azalan sonucu verir" biçiminde özetlenebilir — tıpkı işaretlerin çarpımında (+·+=+, +·−=−, −·−=+) olduğu gibi bir simetri gösterir.

Teklik-çiftlik incelemesi: f tek ve g tek ise g∘f tektir. f tek ve g çiftse g∘f çifttir. f çift ve g herhangi bir fonksiyon ise g∘f çifttir (f'nin çift olması, bileşkenin de çift olmasını garantiler — çünkü g(f(−x))=g(f(x)) her zaman sağlanır).

Maksimum nokta-minimum nokta incelemesi: f'nin maksimumu var ve g artansa g∘f'nin maksimumu vardır. f'nin maksimumu var ve g azalansa g∘f'nin minimumu vardır. f'nin minimumu var ve g artansa g∘f'nin minimumu vardır. f'nin minimumu var ve g azalansa g∘f'nin maksimumu vardır.

Hesaplama Örneği: Azalan∘Artan Bileşkesinin İspatı

Önerme: "f gerçek sayılarda tanımlı azalan bir fonksiyon ve g gerçek sayılarda tanımlı artan bir fonksiyon olmak üzere g∘f bileşke fonksiyonu gerçek sayılarda azalan bir fonksiyondur." Bu önerme ispatlansın.

1. adım: f azalan bir fonksiyon ise ∀x₁,x₂∈R için x₁f(x₂)'dir (azalan fonksiyon tanımı gereği).

2. adım: g artan bir fonksiyon ise ∀x₃,x₄∈R için x₃<x₄ ⟹ g(x₃)<g(x₄)'tür (artan fonksiyon tanımı gereği).

3. adım: g artan fonksiyon olduğundan ve f(x₁)>f(x₂) olduğundan, artan fonksiyonun büyük girdiye büyük çıktı vermesi gereği g(f(x₁))>g(f(x₂)) olur (1. adımdaki f(x₁)>f(x₂) eşitsizliğine g'nin artanlığı uygulanır).

Sonuç: buna göre ∀x₁,x₂∈R için x₁(g∘f)(x₂) olduğu görülür. Bu ifade tam olarak azalan fonksiyon tanımına karşılık geldiğinden, g∘f bileşke fonksiyonu gerçek sayılarda azalan fonksiyondur. Önerme ispatlanmıştır.

İspatın Yapısal Önemi

Bu ispat yöntemi, yukarıdaki Kontrol Noktası tablosundaki "f azalan, g artan ⟹ g∘f azalan" satırının neden doğru olduğunu cebirsel olarak gösterir — tablo yalnızca sonucu verirken, ispat bu sonucun artan/azalan fonksiyon tanımlarından mantıksal olarak nasıl çıktığını ortaya koyar. Bu, matematikte bir kuralı ezberlemek yerine neden doğru olduğunu anlamanın önemini gösteren güzel bir örnektir: tablo pratik kullanım için hızlı bir referans sağlarken, ispat bu referansın güvenilirliğinin temelini oluşturur.

Aynı ispat şablonu (iki değişkenin varsayımla sıralanması, tanımların sırayla uygulanması, sonucun bileşke fonksiyon tanımıyla eşleştirilmesi), Kontrol Noktası tablosundaki diğer satırların (örneğin "f artan, g artan ⟹ g∘f artan") ispatlanmasında da aynı yapıyla kullanılabilir — yalnızca eşitsizlik yönleri (< veya >) değişir.

Bu Kuralların Pratik Kullanımı

Bu genel kurallar, karmaşık bir bileşke fonksiyonun nitel özelliklerini bileşenlerinin (f ve g'nin) nitel özelliklerinden doğrudan çıkarmayı mümkün kılar — her seferinde bileşke fonksiyonun grafiğini çizip incelemek yerine, önceki Konu'daki otoyol yakıt tüketimi örneğinde olduğu gibi, "f ve g bire bir olduğundan g∘f de bire birdir" gibi doğrudan çıkarımlar yapılabilir. Bu, özellikle f ve g'nin cebirsel temsillerinin karmaşık olduğu (örneğin rasyonel veya logaritmik ifadeler içeren) durumlarda, bileşke fonksiyonun doğrudan grafiğini çizmenin zor olduğu hâllerde çok değerli bir kısayoldur.

Özet

• Bileşke fonksiyonun bire birlik, örtenlik, artanlık-azalanlık, teklik-çiftlik ve maksimum-minimum özellikleri, bileşenlerinin (f ve g) aynı özelliklerinin kombinasyonundan Kontrol Noktası tablosundaki kurallarla doğrudan belirlenebilir.
• Artanlık-azalanlık kuralı özetle: aynı yönde iki fonksiyon (artan-artan veya azalan-azalan) artan bileşke verir; zıt yönde iki fonksiyon (artan-azalan veya azalan-artan) azalan bileşke verir.
• "f azalan, g artan ⟹ g∘f azalan" önermesi, azalan/artan fonksiyon tanımlarının sırayla uygulanmasıyla (f(x₁)>f(x₂), sonra g'nin artanlığı uygulanarak g(f(x₁))>g(f(x₂))) formal olarak ispatlanır.
• Bu genel kurallar, bileşke fonksiyonun karmaşık cebirsel ifadesini incelemeden, yalnızca bileşenlerinin nitel özelliklerinden doğrudan sonuca ulaşmayı sağlayan pratik bir kısayoldur.