Örten fonksyon
İki kümenin elemanları birbirleriyle tam eşleşen fonksiyona örten fonksiyon denir. Tanım kümesinin (birinci küme) her bir elemanı, görüntü kümesinin (ikinci küme) bir elamanı ile eşleşir. Bunun tersi de geçerlidir. Eşleşmeyen hiçbir eleman kalmaz. Biçimsel matematikte bir örten fonksiyon, f: X → Y ve X kümesi Y kümesi ile eşleşir.
X kümesinden Y kümesine olan örten fonksiyonun ters fonksiyonu Y kümesinden X kümesinedir. Eğer X ve Y sonlu küme ise örten fonksiyonun varlığı aynı sayıda eleman olmasına bağlıdır. Sonsuz kümelerin görüntü kümesi çok karmaşıktır. Nicel sayı kullanılarak çeşitli boyuttaki sonsuz kümelerin büyüklüğü anlaşılabilir.
Bir kümenin örten fonksiyonunun kendisi bir permütasyon olarak adlandırılır..
Bileşke[değiştir | kaynağı değiştir]
f: X → Y ile g: Y → Z örten fonksiyonlarının bileşke fonksiyon 'dir. fonksiyonunun tersi 'dir.