Fonksiyon, matematikte iki küme arasındaki ilişkiyi tanımlayan bir kavramdır. Bir fonksiyon, bir kümeden (tanım kümesi) diğer bir kümeye (değer kümesi) elemanları eşler. Her tanım kümesi elemanı, değer kümesinde yalnızca bir elemanla eşleşir.
Bir fonksiyon genellikle $f: A \rightarrow B$ şeklinde gösterilir. Burada A tanım kümesini, B ise değer kümesini temsil eder. $x \in A$ için, $f(x)$ ifadesi, x'in fonksiyon altındaki görüntüsünü gösterir.
Doğrusal fonksiyonlar, grafiği bir doğru olan fonksiyonlardır. Genel denklemi $f(x) = mx + n$ şeklindedir. Burada m eğimi, n ise y eksenini kestiği noktayı temsil eder.
Sabit fonksiyonlar, tanım kümesindeki her elemanı aynı değere eşleyen fonksiyonlardır. $f(x) = c$ şeklinde ifade edilir. Burada c bir sabittir.
Birim fonksiyon, her elemanı kendisine eşleyen fonksiyondur. $f(x) = x$ şeklinde ifade edilir.
Parçalı fonksiyonlar, tanım kümesinin farklı aralıklarında farklı kurallarla tanımlanan fonksiyonlardır.
Örneğin:
$$ f(x) = \begin{cases} x + 1, & x < 0 \\ x^2, & x \geq 0 \end{cases} $$İki fonksiyonun toplamı veya farkı, aynı tanım kümesine sahip olmaları koşuluyla, her $x$ değeri için fonksiyonların değerlerinin toplanması veya çıkarılmasıyla bulunur.
İki fonksiyonun çarpımı veya bölümü, aynı tanım kümesine sahip olmaları koşuluyla, her $x$ değeri için fonksiyonların değerlerinin çarpılması veya bölünmesiyle bulunur.
Bileşke fonksiyon, bir fonksiyonun çıktısının diğer bir fonksiyonun girdisi olarak kullanılmasıyla elde edilir. $(f \circ g)(x) = f(g(x))$ şeklinde gösterilir. Yani önce g(x) bulunur, sonra bu değer f fonksiyonunda yerine yazılır.