
W matematyce termin funkcja oznacza przyporządkowanie elementów jednego zbioru elementom innego zbioru. Formalnie funkcja f od zbioru X do Y jest relacją, która każdemu elementowi x z X przyporządkowuje dokładnie jeden element y z Y; zapisujemy to zwykle jako y = f(x) i krócej f: X → Y. Pojęcie funkcji jest szerokie — wartościami funkcji mogą być liczby, wektory, wielomiany, zespoły punktów czy inne obiekty matematyczne.
Podstawowe składniki i notacja
Funkcja składa się z trzech elementów: domeny (zbioru argumentów), kodomeny (zbioru, z którego pochodzą wartości) oraz samego przyporządkowania. Zbiór wszystkich rzeczywistych wartości, jakie przyjmuje funkcja, nazywa się często obrazem funkcji lub przeciwdziedziną (ang. range). W zapisie f: X → Y X to domena, Y to kodomena. Przykładowo f(x)=x+1 przy f: N → N oznacza przyporządkowanie następujące: każdej liczbie naturalnej x podstawiamy y będące jej następnikiem.
Rodzaje funkcji i ważne własności
- Iniekcja (funkcja różnowartościowa) — różne argumenty mają różne obrazy.
- Suriekcja (funkcja na) — każdy element kodomeny jest obrazem pewnego argumentu.
- Bijekcja — jednocześnie iniekcja i suriekcja; wówczas istnieje funkcja odwrotna f^{-1}.
- Funkcje jedno- i wielowymiarowe — wartościami mogą być pojedyncze liczby lub wektory/wielowymiarowe struktury.
- Ciągłość i różniczkowalność — pojęcia analityczne istotne przy funkcjach rzeczywistych i zespolonych.
Przykłady i interpretacje
Najprostszy przykład to funkcja liniowa f(x)=ax+b, często używana w algebrze i modelowaniu. Funkcja f(x)=x+1 pokazuje mechanizm: dla x z zbioru liczb naturalnych otrzymujemy y będące następnikiem x. Funkcje mogą też być zdefiniowane nieprzewidywalnie: tablica wartości, reguły warunkowe lub procedury obliczeniowe. W informatyce funkcje traktuje się czasem jako procedury przetwarzające dane wejściowe na wyjściowe.
Historia i rozwój pojęcia
Pojęcie funkcji rozwijało się stopniowo od XVII do XIX wieku; istotny wkład miały prace takich matematyków jak Euler czy Dirichlet, którzy przyczynili się do ujęcia funkcji jako ogólnych przyporządkowań między zbiorami. W analizie matematycznej powstały kryteria ciągłości i różniczkowalności, natomiast współczesna teoria funkcji obejmuje także ujęcia abstrakcyjne w teorii zbiorów, teorii kategorii i analizie funkcjonalnej.
Zastosowania i znaczenie
Funkcje są podstawowym narzędziem w niemal wszystkich działach matematyki: analizie, algebrze, geometrii, teorii prawdopodobieństwa i statystyce. W praktyce służą do opisu zależności między wielkościami, tworzenia modeli w naukach przyrodniczych i społecznych, formułowania równań różniczkowych opisujących zjawiska dynamiczne oraz implementacji algorytmów w informatyce. Istotne jest odróżnienie między formalną notacją f: X → Y, a konkretnym sposobem obliczania wartości f(x) — funkcja nie musi być dana wzorem analitycznym, wystarczy reguła przyporządkowania.
Uwagi końcowe i rozróżnienia
W praktyce rozróżnia się domenę i rzeczywisty zbiór wartości funkcji; mylenie kodomeny z zakresem wartości może prowadzić do nieporozumień w dowodach. Kompozycja funkcji (f ∘ g) oraz funkcje odwrotne to podstawowe operacje algebraiczne na funkcjach. Dalsze uogólnienia obejmują funkcje wielowartościowe (relacje), funkcjonały i operatory działające na przestrzeniach funkcji, co ma kluczowe znaczenie w analizie i teorii operatorów.
Przydatne odnośniki: definicje, domena i kodomena, własności, typy funkcji, przykłady.

