İşlev (Matematik)
Vikipedi, özgür ansiklopedi
A ve B iki küme olmak üzere, A'dan B'ye tek yönlü ilişkiye işlev (fonksiyon) denir. Genellikle küçük harflerle gösterilirler (f,g,h gibi). A'dan B'ye tanımlanan bir işlev şeklinde gösterilir.
En basit anlamda, matematiksel bir işlev, bir nesne alıp, en fazla bir nesne döndürür. İşlevin tanımlı olduğu değerler kümesine tanım kümesi, döndürebildiği değerler kümesine ise görüntü kümesi denir.
Konu başlıkları |
[değiştir] İşlev Örnekleri
[değiştir] Resmi Tanımı
A'dan B'ye tanımlı bir işlev (f), (A,B,F) şeklinde gösterilebilen bir üçlüdür. Burada F, aşağıdaki özelliklere sahip sıralı ikili kümesidir.
Bir başka deyişle, bir ilişkinin işlev olabilmesi için, A kümesindeki herhangi bir elemanın B kümesinden en fazla bir elemanla eşleşmesi gerekmektedir.
[değiştir] Yaygın Tanımlama Şekilleri
Yukarıdaki resmi tanımlama, her zaman kullanışlı olmadığından genelde işlevler farklı tanımlanır.
En yaygın tanımlama biçimi, örneklerde görüldüğü gibi sağ tarafı girdilere (parametrelere) dayalı formül, sol tarafı işlevin ve bağımsız girdilerin belirtildiği bir eşitliktir.
İşlevler aşağıda örnekte görüldüğü gibi parçalı şekilde de tanımlanabilir.
Tümevarımla yakın ilişkisi olan ilginç bir tanımlama biçimi de özyinelemedir. Örneğin Fibonacci Serisi'nin üretici işlevici şu şekilde tanımlanabilir.
[değiştir] İşlevlerin Kümesel Özellikleri
şeklinde tanımlı bir işlev,
- Birebir ise, A kümesinde tanımlı olduğu her değeri B kümesinden ayrı bir elemana eşler,
- İçine ise B kümesinde, eşlenmemiş en az bir değer vardır,
- Bütünsel ise A kümesindeki bütün elemanlar için tanımlıdır.
ö==Bilgisayar ve İşlevler==
- Bilgisayar biliminde hesaplanabilir işlevler, birbirine eşdeğer olan Church ve Turing Tezleri ile incelenir.
- Girdisi ve çıktısı mantıksal (ikilik) olan işlevler, BDD'ler yardımıyla gösterilebilir.
mnömnçö.