Rasyonel fonksiyonların pay ve paydasını oluşturan polinom fonksiyonları tüm reel sayılar kümesinde tanımlı fonksiyonlardır. Rasyonel fonksiyonlar ise iki sebeple bazı \( x \) değerleri için tanımsız olabilir.
İlk önce aşağıdaki gibi bir ikinci dereceden polinom fonksiyonu (parabol) tanımlayalım.
\( f(x) = x^2 - 2x + 2 \)
Bu fonksiyonun grafiği aşağıdaki gibidir.
Şimdi de aşağıdaki gibi bir rasyonel fonksiyon tanımlayalım.
\( g(x) = \dfrac{x^3 - 4x^2 + 6x - 4}{x - 2} \)
\( x = 2 \) değerinin paydadaki birinci derece ifadeyi sıfır yaptığını görebiliriz. Bu fonksiyondaki diğer bir özel durum, \( x = 2 \) değerinin payı da sıfır yapıyor olmasıdır, bu da \( (x - 2) \)'nin bu polinomun çarpanlarından biri olduğunu gösterir. Nitekim paydaki polinomu \( (x - 2) \)'ye polinom bölmesi ile böldüğümüzde ifadenin aşağıdaki gibi çarpanlarına ayrıldığını görebiliriz.
\( g(x) = \dfrac{(x^2 - 2x + 2)(x - 2)}{(x - 2)} \)
Pay ve paydaki ortak \( (x - 2) \) çarpanlarını sadeleştirdiğimizde geriye bir önceki örnekteki \( f(x) \) fonksiyonunun kaldığı görülür.
\( g_1(x) = x^2 - 2x + 2 = f(x) \)
\( g(x) \)'in bu sadeleşmiş haline \( g_1(x) \) dedik, bunun sebebi pay ve paydadaki çarpanları sadeleştirdiğimizde elde edeceğimiz fonksiyonun orijinal fonksiyonla özdeş olmamasıdır, bunu aşağıda açıklamaya çalışacağız.
Bir grafik programı kullanarak \( g(x) \) fonksiyonunun grafiğini çizdiğimizde aşağıdaki grafiği elde ederiz.
Görebileceğimiz gibi, \( f(x) \) fonksiyonu ve \( g(x) \)'in sadeleşmiş hali aynı fonksiyonlar olsa da, \( f(x) \) ve \( g(x) \) fonksiyon grafikleri arasında önemli bir fark \( g(x) \) grafiğinin \( x = 2 \) noktasında tanımsız olması ve bu tanımsızlıktan dolayı bu noktada bir boşluk oluşmasıdır.
Bu durumu şu şekilde de açıklayabiliriz: Eğer bir rasyonel fonksiyonun pay ve paydasında ortak bir çarpan varsa, fonksiyonun grafiği pay ve paydadaki bu çarpanın sadeleşmiş haliyle oluşmaktadır, ancak bu çarpan orijinal fonksiyonda paydada bulunduğu için fonksiyon yine de bu değeri alamamaktadır ve dolayısıyla fonksiyon bu noktada tanımsız olmaktadır.
Özetle, eğer bir fonksiyonun pay ve paydasındaki bazı çarpanlar sadeleşiyorsa, fonksiyonun sadeleştirmiş hali ile orijinal halinin özdeş fonksiyonlar olduğunu söyleyemeyiz. Orijinal fonksiyondaki bu çarpanlar ve tanımsız noktalar fonksiyonun tanımının ve tanım kümesinin bir parçasıdır ve her ne kadar sadeleştirme sonrasında cebirsel ve grafiksel açıdan benzer bir fonksiyon ortaya çıksa da tanım kümesi farklı bir fonksiyon oluşmaktadır.