В математиката функцията е математически обект, който дава изход, когато му се зададе вход (който може да бъде число, вектор или каквото и да е друго, което може да съществува в набор от неща).

Така че функцията е нещо като машина, която приема стойност x и връща изходна стойност y. Множеството от всички стойности, които може да има x, се нарича област, а множеството, което съдържа всяка стойност, която може да има y, се нарича съобласт. Функцията често се обозначава с курсивни букви, например
,
.
Ако това се случи, тогава казваме, че y е функция на x, и пишем . Тук
е името на функцията, а
(функция от X към Y) се изписва, за да се представят трите части на функцията: областта (X), кодомената (Y) и процеса на сдвояване (стрелката).
Пример за функция е . Дава се естествено число
като вход и се получава естествено число
, което е
. Например, ако дадете 3 като вход на
, на изхода ще получите 4.
Не е задължително функцията да е уравнение. Основната идея е, че входовете и изходите се свързват по някакъв начин - дори ако процесът може да е много сложен.
По-точно определение
Формално, функцията f от множеството X (област) към множеството Y (кодомена) е правило, което за всеки елемент x ∈ X асоциира точно един елемент y ∈ Y. Това се записва:
Важно е изискването за единственост: едно и също x не може да има два различни образа y според дадената функция. Ако за някои x няма образ, говорим за частична функция; в класическата теория обикновено се разглеждат тотални функции (за всяко x има y).
Област, кодомена и образ
- Област (domain) — множеството от всички допустими входове (обикновено обозначавано с X).
- Кодомена (codomain) — множеството, в което „падат“ стойностите на функцията (Y). Кодомената е част от определението на функцията и може да съдържа елементи, които не се достигат.
- Образ (range, image) — множеството от реално достиганите стойности f(X) = { f(x) | x ∈ X } . Образът е подмножество на кодомената.
Чести начини за задаване на функции
- С формула: например f(x) = x + 1 (вж. примера по-горе).
- С таблично изброяване (особено за дискретни множества).
- С описание на правило или алгоритъм (напр. „за всяко цяло x върни остатъка при деление на x на 2“).
- Графично: графиката в декартова координатна система за функции с реални аргументи и стойности.
Видове функции и важни свойства
- Инжективна (вписваща) — различни входове дават различни изходи (f(x1)=f(x2) ⇒ x1=x2).
- Сюрективна (над) — образът на функцията е цялата кодомена (за всяко y∈Y съществува x∈X с f(x)=y).
- Биективна — едновременно инжективна и сюрективна; има обратна функция f^{-1}:Y→X.
- Постоянна функция — всички входове имат един и същи образ (f(x)=c за всички x).
- Парност/непарност — за функции с реална област: четна е ако f(-x)=f(x), нечетна ако f(-x)=-f(x).
Операции с функции
- Композиция: Ако f:X→Y и g:Y→Z, то композицията g∘f:X→Z е дефинирана чрез (g∘f)(x)=g(f(x)).
- Идентична функция: id_X:X→X, където id_X(x)=x за всички x∈X.
- Обратна функция: f^{-1} съществува само ако f е биективна; тя „връща“ входовете от образа към оригиналните x.
Дискретни и непрекъснати функции
Функциите могат да бъдат дефинирани върху дискретни множества (например множеството на естествените числа) или върху непрекъснати множества (например действителните числа). За функции с реална област и кодомена се изучават понятия като непрекъснатост, диференцируемост и интегруемост.
Още примери
- Квадратична функция: f(x)=x^2 — стойности винаги ≥0 за реални x.
- Абсолютна стойност: f(x)=|x| — пример за четна функция.
- Подов оператор (floor): g(x)=⌊x⌋ — дискретна, степенувана спрямо действителните числа.
- Индикаторна функция: χ_A(x)=1 ако x∈A, иначе 0 — използва се в теория на множествата и вероятности.
Графика и визуализация
Графиката на функцията f:X→Y е множеството от точки {(x,f(x)) | x∈X}. За реално-стойностни функции тази графика често се чертае в равнината и дава полезна визуална представа за поведението на функцията (ниво, екстремуми, асимптоти и др.).
Приложения
Функциите са фундаментално понятие в математиката и се прилагат навсякъде: в анализа (напр. решаване на уравнения), в приложната математика (моделиране на процеси), в информатиката (функции като алгоритми или трансформации), в икономиката (функции на потребление и търсене), физиката (зависимости между величини) и много други области.
Кратко обобщение
- Функцията свързва всеки допустим вход с точно един изход.
- Важни компоненти: област (domain), кодомена (codomain), образ (image).
- Свойствата инжективност, сюрективност и биективност описват различни видове „поведение“ на функцията.
- Функциите могат да бъдат зададени по различни начини — формули, таблици, алгоритми или графики — и имат многобройни приложения.

