Matematikte, özellikle fonksiyonlar konusunda karşımıza çıkan temel kavramlardan biri olan içine fonksiyon (veya daha yaygın adıyla birebir fonksiyon), tanım kümesindeki her bir elemanın değer kümesinde farklı bir elemanla eşleştiği fonksiyon türüdür. Bu ders notunda, bu önemli kavramı tüm yönleriyle öğreneceğiz.
İçine (Birebir) Fonksiyon: \( f: A \to B \) fonksiyonu verilsin. \( A \) tanım kümesindeki farklı her iki eleman için, görüntüleri de farklı ise, yani;
\( x_1, x_2 \in A \) ve \( x_1 \neq x_2 \) iken \( f(x_1) \neq f(x_2) \)
koşulu sağlanıyorsa, \( f \) fonksiyonuna birebir (içine) fonksiyon denir. Eşdeğer bir ifadeyle: \( f(x_1) = f(x_2) \) ise mutlaka \( x_1 = x_2 \) olmalıdır.
Bir sınıftaki her öğrencinin (tanım kümesi) kendine özel ve benzersiz bir öğrenci numarası (değer kümesindeki elemanlar) aldığını düşünün. İki farklı öğrenci asla aynı numarayı alamaz. İşte bu, birebir bir eşlemedir. Ancak, numara havuzunda kullanılmayan numaralar olabilir (örneğin, 50 öğrenci için 1'den 100'e kadar numaralar). Bu durum, fonksiyonun "içine" olmasına rağmen "örten" olmayabileceğini gösterir. "İçine" tabiri buradan gelir.
Bu kavramları birbirinden ayırt etmek çok önemlidir:
Not: Güncel matematik terminolojisinde "içine" ifadesi bazen yalnızca "birebir" anlamında, bazen de "örten olmayan" anlamında kullanılabilir. Bu nedenle netlik için "birebir fonksiyon" demek daha yaygın ve hatasızdır.
\( f(x_1) = f(x_2) \) eşitliğini yaz ve buradan \( x_1 = x_2 \) sonucuna ulaş. Yukarıdaki \( f(x)=2x+3 \) örneğindeki gibi.
Fonksiyonun grafiğini çiz. Eğer herhangi bir yatay doğru, grafiği birden fazla noktada kesmiyorsa, fonksiyon birebirdir. Kesiyorsa, aynı \( y \) değerine karşılık gelen birden fazla \( x \) değeri var demektir, bu da birebir olmadığını gösterir.
Bir \( f \) fonksiyonu türevlenebilir ve tüm tanım aralığında ya her zaman pozitif (\( f'(x) > 0 \)) ya da her zaman negatif (\( f'(x) < 0 \)) ise, fonksiyon kesin olarak artan/azalan olduğu için birebirdir.
Bu temel kavramı iyi anlamak, fonksiyonlar, ters fonksiyonlar ve ileri cebir konularında sağlam bir alt yapı oluşturmanızı sağlayacaktır.