Birebir fonksiyon
Bu madde hiçbir kaynak içermemektedir. (Şubat 2017) (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin) |
Bu madde, Vikipedi biçem el kitabına uygun değildir. (Ocak 2013) |
Fonksiyon |
---|
Fonksiyon kavramının tarihi |
Tanım ve değer kümelerine göre |
Sınıflarına/özelliklerine göre |
Yapılarına göre |
Genellemelere göre |
Özel fonksiyonların listesi |
Matematikte birebir fonksiyon, eşitlikleri birbirine haritalayan bir fonksiyondur.
, 'ten 'ye giden bir fonksiyon olsun. Eğer her için eşitliği eşitliğini gerektiriyorsa, yani 'in iki değişik elemanı 'nin aynı elemanına gidemiyorsa, o zaman fonksiyonuna birebir fonksiyon adı verilir.[1]
Örneğin, kuralıyla tanımlanan fonksiyonu birebir değildir çünkü - yine - örneğin eşitliği sağlanır; öte yandan gene kuralıyla tanımlanan fonksiyonu birebirdir.
Birebir fonksiyonlar fonksiyonların bileşkesi altında kapalıdır, yani eğer ve birebir iki fonksiyonsa o zaman fonksiyonu da - kolayca kanıtlanabileceği üzere - birebirdir.
Eğer ve iki fonksiyonsa ve (bkz. bileşke) birebirse o zaman fonksiyonu birebirdir. Nitekim, eğer için ise, o zaman her iki tarafı da 'de değerlendirerek, elde ederiz, yani . Buradan da birebir olduğundan çıkar.
Cantor'un kümeler kuramına göre eğer 'ten 'ye giden birebir bir fonksiyon varsa, 'in 'den "daha az" ya da eşit sayıda elemanı olduğunu söyleyebiliriz ve bunu olarak yazarız. Cantor-Bernstein-Schröder Teoremi'ne görre ve ise 'dır, yani ile arasında bir eşleme vardır.
Kaynakça
[değiştir | kaynağı değiştir]- ^ "Birebir Fonksiyon". 3 Aralık 2021 tarihinde kaynağından arşivlendi.