İki fonksiyonun birleştirilmesiyle oluşan yeni bir fonksiyona bileşke fonksiyon denir. \( f: A \to B \) ve \( g: B \to C \) olmak üzere, \( g \) ve \( f \) fonksiyonlarının bileşkesi \( g \circ f \) şeklinde gösterilir ve \( (g \circ f)(x) = g(f(x)) \) olarak tanımlanır.
Üç fonksiyonun bileşkesi alınırken işlem sırası önemlidir, ancak gruplama değişebilir:
\( (h \circ g) \circ f = h \circ (g \circ f) \)
Yani birleşme özelliği vardır.
Genellikle \( f \circ g \neq g \circ f \)'dir. Yani bileşke işleminin değişme özelliği yoktur.
Her \( f \) fonksiyonu için \( f \circ I = I \circ f = f \) olur. Burada \( I \), birim fonksiyondur (\( I(x) = x \)).
Eğer \( f \) ve \( g \) fonksiyonları birebir ve örten ise:
\( (g \circ f)^{-1} = f^{-1} \circ g^{-1} \)
Yani bileşke fonksiyonun tersi, fonksiyonların terslerinin ters sırada bileşkesine eşittir.
Örnek 1: \( f(x) = 2x + 1 \) ve \( g(x) = x^2 \) fonksiyonları verilsin.
\( (g \circ f)(x) = g(f(x)) = g(2x + 1) = (2x + 1)^2 = 4x^2 + 4x + 1 \)
\( (f \circ g)(x) = f(g(x)) = f(x^2) = 2x^2 + 1 \)
Görüldüğü gibi \( (g \circ f)(x) \neq (f \circ g)(x) \)
Örnek 2: \( f(x) = 3x - 2 \) ve \( g(x) = \frac{x + 2}{3} \) fonksiyonları verilsin.
\( (g \circ f)(x) = g(f(x)) = g(3x - 2) = \frac{(3x - 2) + 2}{3} = x \)
Bu durumda \( g \), \( f \)'nin ters fonksiyonudur.