Funkcja

Funkcja (łac. functio, -onis „odbywanie, wykonywanie, czynność”), odwzorowanie, przekształcenie, transformacja ze zbioru $X$ do zbioru $Y,$ która każdemu elementowi zbioru $X$ przypisuje (odwzorowuje) dokładnie jeden element zbioru $Y$ .

Funkcje stały się jednym z podstawowych i najważniejszych pojęć całej nowożytnej matematyki i innych nauk ścisłych oraz stosowanych, o szerokich zastosowaniach w działalności człowieka na wielu polach.

Formalna definicja

Funkcja $f = (X, Y, W)$ to trójka uporządkowana składająca się z poniższych elementów:

dziedziny $X$ będącej dowolnym zbiorem (którego elementy nazywamy argumentami funkcji),
przeciwdziedziny $Y$ również będącej dowolnym zbiorem (którego elementy nazywamy wartościami funkcji),
wykresu $W \subseteq X \times Y$ będącym zbiorem par, takim że $\forall x \in X, \exists! y \in Y : (x, y) \in W .$

Wyjaśnienie

Wykres $W$ to zbiór tylko takich par, że dla każdego elementu $x$ z $X$ istnieje dokładnie jeden $y$ z $Y,$ taki że para $(x, y)$ znajduje się w zbiorze $W$ (czyli każdemu $x$ jest przyporządkowany dokładnie jeden $y$ a razem stanowią parę która jest „punktem” z wykresu funkcji).

Zauważmy że dla teoriomnogościowej definicji trójki jako pewnego zbioru (co zwykle się przyjmuje), funkcja $f$ staje się zbiorem.

Powyższa definicja nazywana jest definicją Bourbakiego (wprowadzoną w 1954 r.), a jej odmianą zredukowaną tylko do wykresu (tj. $f = W$ ), również powszechnie używaną jest definicja Peana.

Przykład

Niech dziedzina będzie zbiorem składającym się z trzech liczb tj. $X = {1, 2, 3}$ , przedziwdziedzina zbiorem składającym się z czterech liter tj. $Y = {a, b, c, d}$ . Niech wykres funkcji będzie następującym zbiorem $W = {(1, a), (2, b), (3, b)}$ . Wówczas możemy zapisać formalnie funkcję $f$ jak następującą trójkę zbiorów:

f = ({1, 2, 3}, {a, b, c, d}, {(1, a), (2, b), (3, b)})

Na obrazku poniżej znajduje się przedstawienie trzech elementów powyższej funkcji czyli zbiorów $X, Y, W$ . W celach poglądowych, elmenty z $X$ i $Y$ tworzące pary w zbiorze $W$ połączono szarymi strzałkami.

W świetle formalnej definicji funkcji, zwróćmy uwagę że

każdy element z dziedziny $X$ musi znajdować się w dokładnie jednej parze (jako jej pierwszy element) w zbiorze $W$ tzn. patrząc na obrazek, z każdego elementu należącego do zbioru $X$ musi wychodzić dokładnie jedna szara strzałka (do jakiegoś elementu z $Y$ ),
jeżeli z jakiegoś elementu w $X$ nie wychodziła by żadna strzałka (nie miał by pary) albo wychodziły by dwie strzałki lub więcej (byłby w wielu parach), to $f$ nie było by funkcją,
nie każdy element z przeciwdziedziny $Y$ musi być elementem jakieś pary np. litera $c$ nie ma pary,
dany element ze zbioru $Y$ może być elementem wielu par np. litera $b$ występuje w dwóch parach: $(2, b)$ oraz $(3, b)$ ,
wykres czyli zbiór $W$ nie może zawierać par w których pierwszy element pary nie należy do $X$ lub drugi element pary nie należy do $Y$ np. dla powyższej funkcji to takie pary w zbiorze $W$ są niedozwolone: $(a, 1)$ , $(1, 2)$ , $(a, b)$ , $(4, b)$ , $(1, e)$ czy $(5, g)$ .

Korzystając z notacji tradycyjnej (zwykle używanej) funkcję $f$ zapisalibyśmy następująco:

f : {1, 2, 3} \to {a, b, c, d}, f (x) = {\begin{matrix} a, & gdy x = 1 \\ b, & gdy x = 2 lub x = 3. \end{matrix}

Notacja

Funkcje oznacza się na ogół literami (małymi lub dużymi) $f, g, h$ itd., ale stosuje się również litery greckie np. funkcja dzeta $ζ$ , oznaczenia wieloliterowe np. sin, czy symbole np. iloczyn wektorowy $\times$ . Dziedzinę i przeciwdziedzinę funkcji $f$ przyporządkowującej elementom zbioru $X$ elementy zbioru $Y$ , tradycyjnie zapisuje się w poniższy sposób:

f : X \to Y

.

Wartość $y$ funkcji $f$ dla argumentu $x$ zapisujemy zwykle w formie formuły $f (x) = y$ , która jednocześnie definiuje cały wykres funkcji $f$ . Ale stosuje się również indywidualne notacje dla niektórych funkcji np. wartość bezwzględna $| x |$ , silnia $n!$ , dodawanie $+$ (i inne działania), i tym podobne.

Pełny tradycyjny zapis funkcji (zawierający informację o dziedzinie, przeciwdziedzinie i wykresie) jest zgodny z szablonem:

f : X \to Y

,

f (x) = y

Przykład

Dana jest funkcja

f : ℕ \to ℝ

określona wzorem

f (x) = x / 2

,

tu najpierw podano dziedzinę $ℕ$ (liczby naturane) i przeciwdziedzinę $ℝ$ (liczby rzeczywiste), a następnie osobno zdefiniowano wykres (zbiór $W$ w formalnej definicji) poprzez formułę pozwalającą wyznaczyć każdy jego element - czyli każdą parę $(x, y) = (x, f (x)) = (x, x / 2)$ , gdzie $x \in ℕ$ , oraz $y \in ℝ$ (symbol $\in$ oznacza przynależność do zbioru).

Dokładniej: poprzez podstawienie danego elementu $x$ dziedziny pod formułę $f (x) = x / 2 = y$ otrzymamy element przeciwdziedziny $y$ , co pozwoli skonstruować parę $(x, y)$ będącą elementem (punktem) wykresu $W$ funkcji, np. dla $x = 6$ podstawiamy $f (6) = 6 / 2 = 3$ - otrzymaliśmy więc parę $(6, 3) \in W$ , jeśli podobnie uczynimy dla pozostałych elementów dziedziny to znajdziemy wszystkie punktu (elementy) wykresu.

Bardziej formalny zapis (którego zwykle się nie stosuje w praktyce) dla tego przykładu wyglądałby tak:

f = (ℕ, ℝ, {(x, \frac{x}{2}) : x \in ℕ}) .

Jeżeli pomija się podanie dziedziny i przeciwdziedziny dla danej funkcji to oznacza, że należy wywieść te informacje z wykresu lub kontekstu – co często ma miejsce (i uzasadnia oddzielenie definicji wykresu w tradycyjnej notacji).

Zmienna zależna i niezależna

Zapiszmy wykres funkcji w formie formuły $f (x) = y$ . Zmienną $x$ , oznaczającą dowolny argument funkcji, nazywamy zmienną niezależną. Zmienną $y$ nazywamy zmienną zależną, gdyż jej konkretna wartość zależy od $f$ i wybranego $x$ .

Zbiór wszystkich funkcji

Zbiór wszystkich funkcji ze zbioru $X$ do zbioru $Y$ oznacza się $Y^{X}$ .

Ta sekcja od 2025-03 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w sekcji mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Google Books • Google Scholar • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tej sekcji.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tej sekcji.

Notacja dla funkcji wielu zmiennych

Zgodnie z definicja formalną, każda funkcja może przyjmować dokładnie jeden argument (który jest elementem dziedziny). Jednak dziedzina w szczególności może być zbiorem par albo trójek albo w ogólności n-tek. Funkcje o takiej dziedzinie nazywamy funkcjami wielu zmiennych. Do ich zapisu stosuje się skrót notacyjny polegający na omijaniu nawiasów funkcji, podczas podstawiania do niej danej pary/trójki/n-tki. Przykładowo dla funkcji która dla danego punktu płaszczyzny euklidesowej wyznacza jego wysokość tj. $f : ℝ^{2} \to ℝ$ , gdy postawimy punkt $(1, 2)$ , czyli argument który jest parą liczb, to zamiast pisać

f ((1, 2))

zapisujemy skrótowo:

f (1, 2)

Warto wspomnieć, że wynikiem funkcji również jest dokładnie jedna wartość ale może ona być n-tką zawierająca wiele elementów (np. $f : ℝ^{2} \to ℝ^{3}$ przyjmuje parę a zwraca trójkę liczb).

Szczegółowe przykłady

Rozważmy funkcję której dziedzina to $ℝ^{2} = ℝ \times ℝ = {(u, v) : u \in ℝ \land v \in ℝ}$ (iloczyn kartezjański) czyli każdy element $x \in ℝ^{2}$ z dziedziny jest parą dwóch liczb rzeczywistych tj. $x = (u, v)$ . Przeciwdziedziną zaś niech będzie $ℝ$ zaś wykresem $f (x) = f ((u, v)) = u^{2} + v^{2}$ . Zwróćmy uwagę że tak zdefiniowana funkcja przyjmuje de facto dwie liczby $u, v$ (stanowiące jedną parę $(u, v)$ oznaczoną przez $x$ ) jako argument a zwraca w wyniku jedną liczbę (będącą sumą kwadratów elementów pary). Korzystając z tradycyjnej notacji zapiszemy

f : ℝ^{2} \to ℝ

,

f (u, v) = u^{2} + v^{2}

zwróćmy uwagę, że zamiast

f ((u, v))

zapisano

f (u, v)

a więc pominięto wewnętrzne nawiasy - jest to powszechnie stosowany skrót notacyjny. Formalnie funkcja przyjmuje tylko jeden argument (który jest parą liczb). Formalnie powyższa funkcja ma taką postać:

f = (ℝ^{2}, ℝ, {((u, v), u^{2} + v^{2}) : u, v \in ℝ})

$f : [0, 1]^{4} \to ℝ, f (x, y, z, t) = t + x y z$ , ( $[0, 1]$ to przedział domknięty wszystkich liczb rzeczywistych od 0 do 1) z definicji $f = ([0, 1]^{4}, ℝ, {((x, y, z, t), t + x y z) : x, y, z, t \in [0, 1]})$ , np. funkcja określa temperaturęw każdym punkcie kostki o boku 1, w każdym momencie przedział czasu od 0 do 1.

$f : ℝ \to ℝ^{3}, f (x) = (x^{2}, x, 0)$ . Wynikiem działania tej funkcji jest trójka liczb którą można interpretować jak współrzędne x,y,z w przestrzeni 3D (w tym przypadku z=0). Z definicji $f = (ℝ, ℝ^{3}, {(x, (x^{2}, x, 0)) : x \in ℝ})$ (funkcja przyporządkowuje każdej liczbie pewien punkt na płaszczyźnie (z=0) w przestrzeni trójwymiarowej - czyli rysuje płaską krzywą w 3D), np. funkcja określa położenie pewnego pojazdu na płaskiej nawierzchni w czasie x.

Indywidualna notacja/nazewnictwo dla wybranych funkcji: działań, funkcjonałów, operatorów

Jak wspomniano powyżej, stosuje się indywitualną notacje dla niektórych funkcji jednej zmiennej np. wartość bezwzględna $| x |$ , silnia $n!$ , Potęgowanie $x^{a}$ itp.

Operacje arytmetyczne są kolejnym przykładem funkcji dla których stosuje się indywidualną notację np. dodawanie liczb naturalnych $+ : ℕ^{2} \to ℕ$ (do oznaczenia tej funkcji użyto tu znaku " $+$ " zamist litery " $f$ ") z indywidualną notacją w której zamiast pisać $+ (a, b)$ piszemy $a + b$ , oraz uwzględniamy szereg specyficznych reguł związanych ze składaniem operacji dodawania z samą sobą i innymi operacjami z uwzględnieniem nawiasów. Przykładowo:

a + b + c = + (+ (a, b), c)

(a + b) \cdot c = \cdot (+ (a, b), c)

,

notacja (lewa strona powyższych równości) jest intepretowana (prawa strona równości) jako odpowiednie złożenie funkcji $+$ oraz $\cdot$ właśnie ze względu na uwzględnienie owych reguł.

Funkcjonał to funkcja która przyjmuje inną funkcję jako argument i zwraca liczbę jako wynik. Niektóre funkcjonały posiadają indywidualną notację np. funkcjonał $F : C \to ℝ$ (gdzie $C \subset ℝ^{R}$ tu zbiór wszystkich funkcji rzeczywistych całkowalnych w sensie Riemana na przedziale $[a, b]$ ) zwracający pole pod wykresem funkcji na przedziale $[a, b]$ dla danej funkcji $f$ , to zamiast pisać $F (f) = y$ piszemy

\int_{a}^{b} f (x) d x = y

.

Przykład funkcjonału

$f : ℕ^{ℤ} \to ℝ, f (x) = \sqrt{x (- 1)}$ , gdzie $ℤ^{ℕ}$ to zbiór wszystkich funkcji $x : ℤ \to ℕ$ tj. działających z liczb całkowitych $ℤ$ w liczby naturalne $ℕ$ . Tutaj $x$ nie oznacza liczby tylko funkcję, a $x (- 1)$ to wartość tej funkcji dla minus jedynki. Funkcja $f (x)$ zwraca więc pierwiastek z pewnej liczby naturalnej która jest wartością funkcji $x$ w minus jeden. Z definicji formalnej zapisujemy $f = (ℕ^{ℤ}, ℝ, {(x, \sqrt{x (- 1)}) : x \in ℤ^{ℕ}})$ . Funkcja której argumentem są inne funkcje a wartościami liczby (zamienia/mapuje/transformuje funkcje na liczby) to funkcjonał.

Operator to funkcja która jako argument przyjmuje pewną funkcję i zwraca inną funkcję. Operatory transformują/zmieniają daną funkcję na inną i często do ich zapisu stosuje się indywidualna odrębną notację (np. transformata Fouriera $\hat{f}$ , operator składania funkcji $f \circ g$ , operator Nabla dla gradientu $\nabla f$ itp.)

Szczegółowe omówienie wybranych przykładów w świetle formalnej definicji

$f : ℤ^{ℕ} \to ℝ^{ℕ}, f (x) = π x^{2}$ , tutaj funkcja f jako argument bierze pewną funkcję $x : ℕ \to ℤ$ a jako wynik zwraca inną funkcję $y : ℕ \to ℝ$ . Funkcje których argumentami są pewne funkcje a wynikiem inne funkcje (czyli zamieniają/transofmują jedne funkcje na inne funkcje) nazywamy operatorami. Poszczególne operatory mogą posiadać indywidualną niezależną notację (i nierzadko nazewnictwo oraz być centralnym elementem teorii matematycznych) np. dywergencja $d i v (.), \nabla \cdot$ , transformata Fouriera $\hat{f}$ etc.

Szczegóły przykładu

Wartość funkcji $y$ , z przykładu, w każdym punkcie równa jest kwadratowi wartości funkcji $x$ w owym punkcie wymnożonym przez $π$ tj. $y (t) = π (x (t))^{2}, t \in ℕ$ . Z definicji formalnej mamy: $f = (ℤ^{ℕ}, ℝ^{ℕ}, {(x, π x^{2}) : x \in ℤ^{ℕ}})$ . Ponieważ funkcja $x$ ma taką samą dziedzinę jak funkcja $y$ oraz $t$ w formule na y jest użyte tylko w $x (t)$ to możemy operować na nich podobnie jak na zmiennych liczbowych (np. pisząc skrótowo $y = π x^{2}$ zamiast $y (t) = π x (t)^{2}$ co skraca notację).

$f : ℕ^{ℤ} \to ℝ^{ℚ}, f (x) = y, y (t) = π t + 2 x (⌊ t ⌋), t \in ℚ$ (gdzie $⌊ t ⌋$ oznacza podłogę, $ℚ$ to liczby wymierne) funkcja (operator) $f$ zmienia funkcję $x : ℤ \to ℕ$ w funkcję $y : ℚ \to ℝ$ . Bardziej formalnie (z definicji) $f = (ℕ^{ℤ}, ℝ^{ℚ}, {(x, (ℚ, ℝ, {(t, π t + 2 x (⌊ t ⌋)) : t \in ℚ})) : x \in ℕ^{ℤ}})$ . Przykładowe użycie operatora $f$ dla funkcji $x (s) = 3 s^{2} + 5, s \in ℤ$ czyli zapis $f (x) = y$ da w wyniku funkcję $y (t) = π t + 2 (3 ⌊ t ⌋^{2} + 5) = π t + 6 ⌊ t ⌋^{2} + 10$ .

$\circ : Z^{Y} \times Y^{X} \to Z^{X}, \circ (f, g) (x) = f (g (x))$ ta funkcja jest operatorem składania dwóch funkcji $f : Y \to Z$ oraz $g : X \to Y$ który jako wnik zwraca funkcję $h : X \to Z, h (x) = f (g (x))$ . Dla tego operatora stosuje się notację taką jak dla działań arytmetycznych tj. $f \circ g$ . Formalnie $\circ = (Z^{Y} \times Y^{X}, Z^{X}, {((f, g), h) : f \in Z^{Y}, g \in Y^{X}, h \in Z^{X}, h (x) = f (g (x)), x \in X})$

Funkcje różnowartościowe i "na"

Opisano dziesiątki odmian funkcji; niezależnie od dziedziny i przeciwdziedziny można wyróżnić funkcje różnowartościowe (iniekcje), funkcje „na” (suriekcje) oraz przecięcie tych dwóch zbiorów – funkcje wzajemnie jednoznaczne (bijekcje). Inne typy definiuje się m.in. za pomocą konkretnej dziedziny lub przeciwdziedziny, co opisano w dalszych sekcjach.

Funkcje używające tej samej formuły $f (x)$ do zdefiniowania wykresu nie muszą być tożsame. Rozważmy taki przypadek czterech funkcji korzystających z formuły $f (x) = x^{2}$ (poniżej oznaczono: $ℝ$ to liczby rzeczywiste a $ℝ^{+}$ to liczby rzeczywiste większe od zera):

f : ℝ \to ℝ^{+}, f (x) = x^{2},

więc z definicji:

f = (ℝ, ℝ^{+}, {(x, x^{2}) : x \in ℝ}),

g : ℝ \to ℝ, g (x) = x^{2},

więc z definicji:

g = (ℝ, ℝ, {(x, x^{2}) : x \in ℝ}),

h : ℝ^{+} \to ℝ^{+}, h (x) = x^{2},

więc z definicji:

h = (ℝ^{+}, ℝ^{+}, {(x, x^{2}) : x \in ℝ^{+}}),

k : ℝ^{+} \to ℝ, k (x) = x^{2},

więc z definicji:

k = (ℝ^{+}, ℝ, {(x, x^{2}) : x \in ℝ^{+}}) .

mamy: $k \neq g \neq f \neq h \neq k \neq f \neq h \neq g$ (bo każda jest inną trójką). Każda z funkcji ma inny charakter: $f$ to suriekcja, $h$ to bijekcja, k to iniekcja.

Obraz i przeciwobraz

Zbiór $f (A) = {y = f (x) : x \in A}$ jest obrazem podzbioru $A$ zbioru $X$ w przekształceniu $f$ ,
dla każdego elementu $b \in f (X)$ przeciwobrazem elementu $b$ (dokładniej pełnym przeciwobrazem) nazywamy zbiór $f^{- 1} (b) = {a \in X : f (a) = b};$ jeśli $b \notin f (X),$ to $f^{- 1} (b) = \emptyset$ ,
przeciwobrazem podzbioru $B \subset Y$ nazywamy zbiór $f^{- 1} (B) = {a \in X : f (a) \in B};$ jeżeli $B \cap f (X) = \emptyset,$ to $f^{- 1} (B) = \emptyset$ .

Wykres funkcji

Osobny artykuł: wykres funkcji.

Wykresem funkcji $f : X \to Y$ nazywa się zbiór $W_{f} = {(x, y) \in X \times Y : y = f (x)} .$ Z definicji funkcji wynika, że dla każdego $x_{0} \in X$ istnieje dokładnie jeden taki $y_{0} \in Y,$ że $(x_{0}, y_{0}) \in W_{f} .$ Jeśli $f : ℝ \to ℝ$ jest funkcją ciągłą, to jej wykres jest krzywą w układzie współrzędnych na płaszczyźnie.

Jeżeli zakładamy, że funkcja jest suriekcją, to wykres funkcji jednoznacznie ją określa. Jeśli $(x_{0}, y_{0}) \in W_{f},$ to $y_{0} = f (x_{0}),$ przy czym $y_{0}$ jest jedynym takim elementem.

Ogólne przypadki funkcji i nie-funkcji

Poniżej kilka nietypowych/granicznych przypadków – kolumna po stronie lewej trójka f; w środku to interpretacja f jako funkcji w świetle formalnej definicji zapisana w tradycyjnej notacji; ostatnia kolumna to wyjaśnienie (dziedzina $X$ i przeciwdziedzina $Y$ to dowolne nie puste zbiory, $W$ to niepusty wykres dla $X$ i $Y$ )


trójka	tradycyjna notacja	wyjaśnienie
$f = (∅︀, ∅︀, ∅︀)$	$f : ∅︀ \to ∅︀,$ pusty wykres	dzedzina, przeciwdziedzina i wykres są zbiorami pustymi
$f = (X, ∅︀, ∅︀)$	to nie funkcja	jeżeli dziedzina jest niepusta, to i wykres nie może być pusty (skoro dziedzina jest niepusta więc istnieje $x \in X$ a więc zgodnie z definicją w $W$ musi istnieć para zawierająca $x$ , zatem $W \neq ∅︀$ )
$f = (∅︀, Y, ∅︀)$	$f : ∅︀ \to Y,$ pusty wykres	dziedzina i wykres są zbiorami pustymi
$f = (∅︀, ∅︀, W)$	to nie funkcja	jeżeli wykres jest niepusty, to i dziedzina nie może być pusta (skoro $W \neq ∅︀$ więc istnieje jakaś para $(x, y) \in W$ gdzie $x \in X$ , zatem $X \neq ∅︀$ )
$f = (∅︀, Y, W)$	to nie funkcja	jeżeli wykres jest niepusty, to i dziedzina nie może być pusta
$f = (X, ∅︀, W)$	to nie funkcja	przeciwdziedzina nie może być zbiorem pustym, bo z definicji funkcji wynika, że dla każdego elementu niepustej dziedziny X musi istnieć dokładnie jeden element przeciwdziedziny.
$f = (X, Y, ∅︀)$	to nie funkcja	jeżeli dziedzina jest niepusta, to i wykres nie może być pusty
$f = (X, X, W)$	$f : X \to X, f (x) = y, y \in X$	dziedzina jest równa przeciwdziedzinie
$f = (X, Y, X)$	to nie funkcja (przy założeniu ZF)	wykres musiałby być tym samym co dziedzina $W = X$ (co jest niemożliwe jeśli przyjmujemy aksjomatykę ZF, co zwykle ma miejsce)
$f = (X, Y, Y)$	to nie funkcja (przy założeniu ZF)	wykres musiałby być tym samym co przeciwdziedzina $W = Y$ (co jest niemożliwe jeśli przyjmujemy aksjomatykę ZF, co zwykle ma miejsce)

Funkcje liczbowe

Ważną klasą funkcji są funkcje

f : X \to ℂ

(zbiór

ℂ

jest zbiorem liczb zespolonych)

nazywane funkcjami o wartościach liczbowych.

W zbiorze funkcji liczbowych określonych na ustalonym zbiorze $X$ można zdefiniować działania arytmetyczne:

Dla $f, g : X \to Y$ funkcja $f + g$ przyjmuje dla każdego $x \in X$ wartość $f (x) + g (x) .$
Dla $f, g : X \to Y$ funkcja $f - g$ przyjmuje dla każdego $x \in X$ wartość $f (x) - g (x) .$
Dla $f, g : X \to Y$ funkcja $f \cdot g$ przyjmuje dla każdego $x \in X$ wartość $f (x) \cdot g (x) .$
Dla $f, g : X \to Y$ i $\forall_{x \in X} g (x) \neq 0$ funkcja $f / g$ przyjmuje dla każdego $x \in X$ wartość $f (x) / g (x) .$
Dla $f : X \to Y$ i $λ \in ℂ$ funkcja $λ \cdot f$ przyjmuje dla każdego $x \in X$ wartość $λ \cdot f (x) .$

Funkcja $f$ jest ograniczona, jeśli istnieje taka liczba rzeczywista dodatnia $M,$ że dla każdego $x \in X$ spełniona jest nierówność $| f (x) | < M .$

Jeśli funkcja liczbowa $f$ przyjmuje jedynie wartości rzeczywiste

f : X \to ℝ,

to nazywa się ją funkcją o wartościach rzeczywistych.

Dla funkcji o wartościach rzeczywistych wyniki powyżej zdefiniowanych czterech działań arytmetycznych są funkcjami o wartościach rzeczywistych. Wyjątkiem jest mnożenie przez stałą, która powinna być rzeczywista, aby w wyniku mnożenia funkcji o wartościach rzeczywistych przez tę stałą uzyskać funkcję o wartościach rzeczywistych.

Funkcjami liczbowymi nazywamy:

f : X \to ℂ,

gdzie

X \subset ℂ

(jest to funkcja zespolona)

f : X \to ℝ,

gdzie

X \subset ℝ

(jest to funkcja rzeczywista)

Można także mówić o funkcjach liczbowych wielu zmiennych (rzeczywistych lub zespolonych):

f : X \to ℂ,

gdzie

X \subset ℂ^{n} = \underset{n}{\underset{⏟}{ℂ \times \dots \times ℂ}},

f : X \to ℝ,

gdzie

X \subset ℝ^{n} = \underset{n}{\underset{⏟}{ℝ \times \dots \times ℝ}},

których dziedzina jest podzbiorem iloczynu kartezjańskiego zbioru liczb rzeczywistych lub zbioru liczb zespolonych, które zapisuje się:

y = f (x_{1}, x_{2}, \dots, x_{n}),

gdzie

x_{1}, \dots, x_{n}

są współrzędnymi punktu w

ℝ^{n}

lub odpowiednio w

ℂ^{n} .

Rodzaje funkcji liczbowych

Zobacz też: funkcje elementarne, funkcje specjalne, przebieg zmienności funkcji i granica funkcji.

funkcja rosnąca;
funkcja malejąca;
funkcja nierosnąca;
funkcja niemalejąca;
funkcja monotoniczna – funkcja rosnąca lub funkcja malejąca, lub funkcja nierosnąca, lub funkcja niemalejąca;
funkcje ograniczone – funkcja, której zbiór wartości jest ograniczony;
funkcja parzysta – wykres funkcji parzystej jest symetryczny względem osi rzędnych;
funkcja nieparzysta – wykres funkcji nieparzystej jest symetryczny względem początku układu współrzędnych;
funkcja okresowa;
funkcja ciągła;
funkcja różniczkowalna – funkcja, dla której istnieje pochodna w każdym punkcie jej dziedziny.

Sposoby określania funkcji

Jeżeli dziedzina $X$ jest skończona, wystarczy wymienić wszystkie pary (argument, wartość). Można to zrobić za pomocą grafu (przykład obok).

Funkcje liczbowe można definiować za pomocą wzorów. Jest to sposób analityczny. W tym celu wykorzystuje się pewien zasób funkcji (wielomiany, funkcje elementarne itp.), działania algebraiczne, złożenie funkcji i operację przejścia do granicy (w tym operacje analizy matematycznej, takie jak różniczkowanie, całkowanie i sumowanie szeregów).

Klasa funkcji, które można przedstawić za pomocą szeregu (potęgowego, trygonometrycznego itp.) jest bardzo szeroka. Każdą funkcję elementarną można przedstawić za pomocą szeregu potęgowego zwanego szeregiem Taylora.

Przedstawić analitycznie funkcję można w sposób jawny, tzn. Jako $y = f (x)$ lub jako tak zwaną funkcję uwikłaną, tzn. za pomocą równania $F (x, y) = 0$ .

Czasem funkcja jest dana kilkoma wzorami, na przykład:

f (x) = {\begin{matrix} 3^{x}, & gdy x > 0 \\ 0, & gdy x = 0 \\ 2 x - 1 & gdy x < 0 \end{matrix} .

Do określenia funkcji można też stosować metodę opisową. Na przykład funkcja Dirichleta jest funkcją, która dla argumentów wymiernych przyjmuje wartość 1, a dla argumentów niewymiernych 0.

Funkcja może na ogół być określona na wiele sposobów. Na przykład funkcję sgn (x) można określić w taki sposób:

sgn (x) = {\begin{matrix} 1, & gdy x > 0 \\ 0, & gdy x = 0 \\ - 1 & gdy x < 0 \end{matrix},

albo w taki:

sgn (x) = {\begin{matrix} \frac{x}{| x |}, & gdy x \neq 0 \\ 0, & gdy x = 0 \end{matrix} .

Dla funkcji rzeczywistych o wartościach rzeczywistych stosowano tabelaryczny sposób określania funkcji. Obecnie w dobie kalkulatorów i arkuszy kalkulacyjnych tabele wartości funkcji logarytmicznych i trygonometrycznych i innych nie są już niezbędne, ale bywają wykorzystywane.

Ważnym sposobem przedstawiania i badania funkcji jest jej wykres, który dla funkcji $f : ℝ \to ℝ$ w przypadku funkcji ciągłej jest krzywą na płaszczyźnie.

Przykłady funkcji liczbowych określonych za pomocą wzoru

$y = a x + b$ – funkcja liniowa
$y = a x^{2} + b x + c$ – funkcja kwadratowa
$y = a_{0} + a_{1} x + \dots + a_{n} x^{n}$ – funkcja wielomianowa
$y = 1 + \sqrt{\ln \sin 2 π x}$
$P_{n} (x) = \frac{1}{2^{n} n!} \frac{d^{n} (x^{2} - 1)^{n}}{d x^{n}}$
$I (α, β) = \int_{0}^{+ \infty} e^{- α x} \frac{\sin β x}{x} d x$
$σ (z) = \sum_{n = 1}^{\infty} \frac{1}{n^{z}}$
$y - f (x) = 0$ – funkcja jawna zapisana jako uwikłana
$x^{2} + y^{2} - 1 = 0$ – funkcja uwikłana (równanie okręgu)

Funkcja jako związek między zmiennymi

Zamiast mówić o funkcji jako o relacji między zbiorami, można też mówić o zależności (związku) między dwiema zmiennymi $x$ i $y,$ gdzie pierwsza z nich przyjmuje wartości ze zbioru $X,$ a druga przyjmuje wartości ze zbioru $Y;$ wtedy $x$ nazywa się zmienną niezależną, a $y$ – zmienną zależną. Taka interpretacja funkcji jest często używana w analizie matematycznej i zastosowaniach matematyki w innych naukach. W tym wypadku niezależność zmiennej $x$ oznacza, że może się ona zmieniać w dowolny sposób, a zależność zmiennej $y$ oznacza, że jej zmiany są zależne od zmian zmiennej $x .$ Na przykład droga $s$ w ruchu jednostajnym o prędkości $v$ jest zależna od czasu $t$ ruchu i wyraża się wzorem:

s = v \cdot t .

W praktyce często się zdarza, że zbiór $X$ jest opisywany przez kilka zmiennych niezależnych $x_{1}, \dots, x_{n} .$ Mówimy wtedy, że zmienna $y$ jest funkcją zmiennych $x_{1}, \dots, x_{n} .$ Na przykład siła $F$ działająca na ciało jest zależna od masy $m$ ciała i jego przyspieszenia $a :$

F = m \cdot a .

Zastosowania funkcji

Ta sekcja od 2025-12 wymaga określenia jasnych kryteriów wyboru.

Kryteria powinny być poparte źródłami, nie mogą naruszać zasady neutralnego punktu widzenia, należy też unikać pustosłowia. Zapoznaj się również z zasadami tworzenia list.
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tej sekcji.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tej sekcji.

W matematyce i informatyce

analiza matematyczna – są głównym przedmiotem badań;
pozwoliły zdefiniować jedno z podstawowych pojęć kombinatoryki i teorii mnogości: moc zbioru.
pojawiają się w logice matematycznej w postaci funkcji zdaniowych (predykatów) i innych funktorów;
stały się jednym z fundamentów informatyki, gdzie nazywa się tak odmianę procedury; powstałe całe metody programowania oparte na tym pojęciu jak programowanie funkcyjne;.

Definicję funkcji spełniają na przykład:

działania arytmetyczne: dodawanie, odejmowanie, mnożenie i dzielenie. Można je traktować jako funkcje liczbowe dwóch lub większej liczby zmiennych.
jednoargumentowe działania na liczbach: zaokrąglanie, podłoga i sufit oraz część ułamkowa, wartość bezwzględna, liczba przeciwna (przykład funkcji liniowej), liczba odwrotna (przykład funkcji wymiernej),
średnie: arytmetyczna, geometryczna i inne. To funkcje dwóch lub dowolnej liczby zmiennych. Można je traktować jako funkcje na ciągach lub multizbiorach liczb.
inne funkcje statystyczne, np. mediana, moda, minimum i maksimum,
funkcje teorioliczbowe: największy wspólny dzielnik i najmniejsza wspólna wielokrotność dwóch lub więcej liczb całkowitych,
przekształcenia geometryczne: odbicie względem prostej lub punktu i inne symetrie, obrót względem punktu lub osi, jednokładność, dylatacja, inwersja i wiele innych,
odległość między punktami (w ogólności metryka), długość wektora (w ogólności norma),
średnica zbioru – funkcja ze zbioru potęgowego dowolnej przestrzeni metrycznej,
długość linii (łamanej lub ogólnie krzywej), w szczególności obwód dla krzywych zamkniętych,
pole powierzchni, objętość, prawdopodobieństwo i inne przykłady miary.
działania na zdaniach lub formułach: negacja, implikacja, alternatywa, alternatywa rozłączna, koniunkcja, dysjunkcja, równoważność,
same formuły zdaniowe: przyporządkowanie termom zdania,
wartość logiczna,
działania na zbiorach,
działania na ciągach skończonych, jak permutacja (np. inwersja) oraz konkatenacja,
układ współrzędnych to funkcja z przestrzeni geometrycznej (zwłaszcza rozmaitości) w przestrzeń kartezjańską.

W fizyce

Zobacz też: zmienne zależna i niezależna.

Wszystkie wielkości fizyczne rozpatruje się jako funkcje innych zmiennych:

Jednostki fizyczne są często funkcjami liniowymi innych jednostek, np. temperatura w skali Fahrenheita jest liniową funkcją tej Celsjusza.
Czasami jednostki są logarytmicznymi funkcjami innych jednostek, np. poziom natężenia dźwięku, wysokość dźwięku, jasność absolutna,
W statyce: przyporządkowanie każdemu ciału fizycznemu jego masy oraz środka masy. Zgodnie z prawem Hooke’a siła nacisku lub naciągu jest proporcjonalna do odkształcenia ciała (dla odpowiednio małych wartości tych parametrów). To funkcje liniowe siebie nawzajem. Ich zależność opisują współczynnik sprężystości, moduł Younga i inne. Tarcie jest liniową funkcją siły nacisku.
W kinematyce: ruch ciał fizycznych opisywany jest przez wektor położenia lub przemieszczenia $\vec{r}$ oraz skalary odległości lub drogi s. Wszystkie są funkcjami czasu. Ta pierwsza to tzw. trajektoria lub linia świata. Na ich podstawie są oparte inne funkcje czasu: prędkość i przyspieszenie.
W dynamice: pęd jest funkcją dwóch zmiennych: masy i prędkości, przy czym obydwie mogą być funkcjami czasu. Siła okazuje się pochodną pędu po czasie (II zasada dynamiki). Praca jest funkcją siły i przesunięcia ciała, a energia może być zależna od różnych wielkości. Energia kinetyczna ruchu ciała jest zależna od masy ciała i jego prędkości; energia potencjalna grawitacji jest (w przypadku grawitacji ziemskiej) zależna od masy ciała i jego odległości h od powierzchni Ziemi; przyrost energii cieplnej cieczy jest funkcją masy cieczy i przyrostu jej temperatury T
W bardziej zaawansowanej mechanice definiuje się też inne wielkości dynamiczne: lagranżjan, działanie i hamiltonian, które też są funkcjami mas, położeń i prędkości.
Liczne pola fizyczne: funkcje z przestrzeni lub czasoprzestrzeni w zbiór skalarów, wektorów, tensorów itp.
prąd jest funkcją napięcia – w prostych wypadkach opisywaną przez prawo Ohma.
W termodynamice: objętość ciał oraz ich gęstość jest funkcją temperatury – rozszerzalność cieplna
W mechanice kwantowej wektor stanu bywa funkcją, a konkretniej zespolonym polem skalarnym – tzw. funkcja falowa.
Tensory: formy wieloliniowe, czyli funkcje wielu wektorów i kowektorów. Są używane w statyce (wytrzymałość materiałów), w optyce (dwójłomność) oraz w ogólnej teorii względności Einsteina.

W innych dziedzinach

Funkcja może wyrażać własność pewnego obiektu, dlatego obejmuje bardzo wiele pojęć z nauk empirycznych. Jako funkcję można też traktować każdą relację równoważności zachodzącą między dokładnie dwoma obiektami – jest to tzw. inwolucja.

Astronomia:

położenie ciał niebieskich na niebie (współrzędne astronomiczne) jest funkcją czasu oraz współrzędnych geograficznych,
okres obiegu planety wokół Słońca jest malejącą funkcją promienia jej orbity, zgodnie z III prawem Keplera,
jasność obserwowana gwiazdy jest funkcją jej jasności absolutnej i odległości od obserwatora,
krzywa rotacji galaktyki – prędkość gwiazdy względem galaktyki jest funkcją odległości od jej środka,
przesunięcie ku czerwieni widm odległych galaktyk jest funkcją ich odległości od Ziemi – zgodnie z prawem Hubble’a,
Diagram HR opisuje moc promieniowania i temperaturę gwiazdy w funkcji czasu.

Chemia:

Przykładowo liczba atomowa, blok, grupa i okres w UOP albo liczba elektronów walencyjnych to funkcje na zbiorze pierwiastków chemicznych. Ta pierwsza jest różnowartościowa, a pozostałe – nie.
liczba masowa i liczba neutronowa to funkcje na zbiorze nuklidów (wszystkie izotopy wszystkich pierwiastków),
masa cząsteczkowa – funkcja na zbiorze molekuł albo związków,
jądro lustrzane – bijekcja w zbiorze nuklidów,
odbicie lustrzane – bijekcja w zbiorze cząsteczek chiralnych,
własności makroskopowe substancji jak temperatura wrzenia, temperatura topnienia itp.,
skala pH jest logarytmiczną funkcją aktywności jonów hydroniowych.

Biologia:

Przykładem nieliczbowej funkcji jest kod genetyczny. Zgodnie z zasadą szufladkową Dirichleta nie może być funkcją różnowartościową, czyli innymi słowy jest zdegenerowany.
mutacje genowe – zmiana sekwencji nukleotydów, np. substytucja, delecja, insercja,
komplementarny nukleotyd lub cała nić DNA,
krzywa wzrostu i inne parametry populacji.

Medycyna i fizjologia:

BMI – funkcja dwóch zmiennych: wzrostu i wagi
EKG i EEG – funkcje napięcia między elektrodami od czasu,

Geografia fizyczna, geodezja i inne nauki o Ziemi:

wysokość bezwzględna, temperatura, ciśnienie atmosferyczne, a dla zbiorków wodnych zasolenie – funkcje współrzędnych geograficznych. To przykłady funkcji wielu zmiennych – konkretniej pól skalarnych.
Temperatura i ciśnienie są też funkcją współrzędnych geograficznych i wysokości bezwzględnej,
średnia temperatura atmosfery ziemskiej jest od XX w. funkcją rosnącą – globalne ocieplenie.

Geografia społeczna, demografia i socjologia:

piramida wieku danemu wiekowi lub przedziałowi wieku przyporządkowuje odsetek osób w tym wieku. Dla społeczeństw młodych jest to funkcja malejąca. Niże i echa niżów demograficznych to lokalne minima tej funkcji.
opinia publiczna, np. procentowe poparcie dla danej opcji politycznej albo decyzji jest funkcją czasu, a także wieku, płci i regionu.

Ekonomia:

funkcje podaży i popytu,
cena, np. kurs walutowy,
rozmaite parametry gospodarki: PKB, inflacja, dług publiczny, HDI itd. Można je traktować jako funkcje na zbiorze państw, a dla danego państwa: funkcje od czasu.
Liczne krzywe ekonomiczne, np. Laffera i Phillipsa

Psychologia:

wyniki testów IQ są rosnącą funkcją czasu – efekt Flynna,
funkcja komfortu psychicznego obserwatora od podobieństwa androida do człowieka ma lokalne minimum – to tzw. dolina niesamowitości,
wiele wyników testów psychometrycznych w populacji, np. IQ i EQ jest opisanych funkcją rozkładu normalnego.

Pojęcia

Złożenie. Iteracja

Osobny artykuł: złożenie funkcji.

Mając dwie funkcje $f : X \to Y$ i $g : Y \to Z,$ można utworzyć funkcję złożoną $(g \circ f) : X \to Z$ określoną wzorem $(g \circ f) (x) = g (f (x)) .$

Wielokrotne złożenie funkcji $f : X \to X$ nosi nazwę iteracji. Ściśle: $n$ -tą iteracją funkcji $f$ nazywa się funkcję

f^{n} = \begin{matrix} \underset{⏟}{f \circ f \circ \dots \circ f} \\ n \end{matrix} .

Funkcja odwrotna

Osobny artykuł: funkcja odwrotna.

Dla każdej funkcji wzajemnie jednoznacznej można określić funkcję $f^{- 1} : Y \to X$ taką, że $(f \circ f^{- 1}) (x) = x,$ którą nazywa się wówczas funkcją odwrotną.

W definicji Bourbakiego, dla funkcji $f = (X, Y, W)$ utworzymy trójkę $f^{- 1} = (Y, X, W^{- 1})$ , gdzie $W^{- 1} = {(y, x) : (x, y) \in W}$ . Jeżeli trójka $f^{- 1}$ jest funkcją, to jest to funkcja odwrotna do $f$ . Aby funkcja odwrotna istniała $f$ musi być bijekcją.

Zawężenie i przedłużenie

Osobny artykuł: Restrykcja funkcji.

Dla funkcji $f : X \to Y$ można określić jej zawężenie, nazywane też obcięciem lub ograniczeniem, do zbioru $M \subseteq X .$ Jest to funkcja $f |_{M} : M \to Y$ taka, że $f |_{M} (x) = f (x)$ dla każdego $x \in M .$ Nazywa się ją też funkcją częściową dla funkcji f.

Jeżeli $f : X \to Y$ jest funkcją, a $f |_{M} : M \to Y$ jest jej zawężeniem do zbioru $M \subset X,$ to dla dowolnego zbioru $B \subset Y$ mamy ${(f |_{M})}^{- 1} (B) = M \cap f^{- 1} (B) .$

Z drugiej strony, dla $M \subset X,$ można przedłużyć funkcję $f : M \to Y$ zachowawszy często pewną regułę, otrzymując w ten sposób funkcję $g : X \to Y .$ Można np. wymagać, by przedłużenie $g$ funkcji $f$ było ciągłe, różniczkowalne lub okresowe.

Współczesne definicje

Funkcja jako pojęcie matematyczne używane było w co najmniej dwóch zbliżonych znaczeniach:

dla danych dwóch zbiorów $X$ i $Y$ funkcją nazywano każde przyporządkowanie elementom zbioru $X$ po jednym elemencie zbioru $Y$ ;
zazwyczaj wymaga się też, aby to przypisanie dotyczyło każdego elementu zbioru $X$ . Wtedy obiekty spełniające tylko pierwszy warunek są znane jako funkcje częściowe.

Definicja Bourbakiego i jej alternatywne formy

Definicja $f = (X, Y, W)$ Bourbakiego, ze względu na prostotę, pełność i ogólność spełnia wymogi współczesnej matematyki. W literaturze definicja może różnić się kolejnością elementów np. $f = (W, X, Y)$ albo $f = (X, W, Y)$ . Spotyka się również wariant tej definicji w której używa się klas zamiast zbiorów.

Definicja Peana

Jeżeli zakładamy że funkcja jest surjekcją lub jeśli jest wygodne nie ustalanie przeciwdziedziny, wówczas można skorzystać z definicji Peana redukującej funkcję tylko do wykresu funkcji (wykresu z definicji Bourbakiego) tj. $f = W$ (a więc do pewnego zbioru par). Tak zredukowana definicja jest bardziej pierwotna i została sformalizowana wcześniej. Często w literaturze zaznacza się (z przyczyn głównie historycznych związanych z oryginalnym sformułowaniem Peana), że taka zredukowana definicja (wykres) jest pewną relacją binarną. Relacja $R$ jest funkcją, jeśli spełnia dwa warunki, poniżej zapisane za pomocą kwantyfikatorów:

jednoznaczność: $\forall x \in X, y_{1}, y_{2} \in Y : [x R y_{1} \land x R y_{2} \Rightarrow (y_{1} = y_{2})],$
$\forall x \in X \exists y \in Y : x R y .$

Przez to funkcje – rozumiane szeroko – są też znane jako relacje jednoznaczne. Podana własność jest też znana jako jednoznaczność prawostronna.

Teoria mnogości definiuje relacje za pomocą iloczynu kartezjańskiego zbiorów, czyli zbioru par uporządkowanych: $R \subseteq X \times Y .$

Porównanie

Należy zauważyć że między definicją Bourbakiego $f = (X, Y, W)$ a definicją Peana $f = W$ istnieją poważne różnice (obydwie jednak, są powszechnie używane w literaturze) np.:

w def. Bourbakiego funkcja jest trójką, natomiast w def. Peana jest zbiorem par - a więc są różnymi obiektami
niech $W^{- 1} = {(y, x) : (x, y) \in W}$ , wówczas w definicji Peana funkcja odwrotna to $f^{- 1} = W^{- 1}$ i istnieje ona tylko wtedy gdy $f$ jest różnowartościowa, natomiast w definicji Bourbakiego $f^{- 1} = (Y, X, W^{- 1})$ i istnieje ona tylko, gdy f jest różnowartościowa oraz "na".

Rys historyczny

Poszukiwaniem wzajemnych zależności między różnymi wielkościami zajmowali się już starożytni Grecy, którzy badali dość szeroki krąg zależności funkcyjnych. Pojęcie funkcji w postaci początkowej pojawiało się w średniowieczu, lecz dopiero w pracach matematyków XVII wieku, Fermata, Kartezjusza, Newtona i Leibniza, zaczęło być traktowane jako obiekt badań.

Termin funkcja pojawił się w matematyce w XVII wieku, po czym kolejni uczeni nadawali mu nowe znaczenia. Leonhard Euler w osiemnastym wieku był pierwszym matematykiem, który użył współczesnego oznaczenia funkcji. Euler używał dwóch definicji funkcji, pierwsze jako analityczne wyrażenie (formuła), zawierające stałe oraz zmienne. Druga definicja to zmienna zależna od innej zmiennej. Takie samo podejście można znaleźć w książkach Lagrange’a. Drugie podejście, z drobnymi zmianami, było używane przez późniejszych matematyków, takich jak Cauchy, Fourier, Drichlet, czy Riemann.

Newton używał terminu fluenta. Terminu funkcja użył po raz pierwszy Leibniz w pracy Odwrotna metoda stycznych lub o funkcjach. Po raz drugi Leibniz użył tego terminu w dość wąskim znaczeniu w pracy opublikowanej w czasopiśmie „Acta Eruditorum” w 1692 roku i dwa lata później w „Journal des sçavans”. Następnie w tym samym 1694 roku Johann Bernoulli w „Acta Eruditorum”, nie używając co prawda słowa funkcja, oznaczył mimochodem literą n „dowolną wielkość utworzoną z nieoznaczonych i stałych”. Po trzech latach, w tym samym piśmie, Bernoulli wielkości te oznaczał przez X i $ξ,$ a w liście do Leibniza z 26 kwietnia 1698 roku stwierdził, że symbole te są lepsze, bo „od razu jest widoczne, od jakiej zmiennej jest funkcja”. Jeszcze w 1698 roku w korespondencji między oboma uczonymi funkcja była rozumiana jako wyrażenie analityczne i weszły do użytku terminy wielkość zmienna i wielkość stała.

Określenie funkcji jako wyrażenia analitycznego było po raz pierwszy sformułowane w druku w artykule Johanna Bernoulli opublikowanym w 1718 roku. Napisał on:

Definicja. Funkcją wielkości zmiennej nazywa się tutaj wielkość utworzoną w jakikolwiek sposób z tej wielkości zmiennej i stałych.

W tym samym artykule zaproponował on jako „charakterystykę” funkcji grecką literę $φ,$ zapisując argument jeszcze bez nawiasów $φ x .$ Zarówno nawiasy, jak literę f wprowadził Leonhard Euler w 1734 roku.

Definicję relacyjną ok roku 1911 zaproponował Giuseppe Peano; utożsamia ona funkcję z jej wykresem tj. $f = W$ . Jest użyteczna w tworzeniu systemów aksjomatycznych pewnych teorii, bowiem funkcja jest wtedy pojęciem pochodnym względem aksjomatyki teorii mnogości^{[potrzebny przypis]}.

Współczesna definicja $f = (X, Y, W)$ Bourbakiego została wprowadzona w 1954 r.. Relacyjna definicja Peana oraz pełna definicja Bourbakiego, są powszechnie używane w literaturze.

Zobacz też

rachunek lambda

Uwagi

↑ Od fungor, functus sum, fungi „wykonać, wypełnić, zwolnić”.
↑ W Słowniku języka polskiego, PWN, 1996: ustalić relację między czymś a czymś, uczynić zależnym od czegoś...
↑ Tej szerokiej definicji używali m.in. Giuseppe Peano oraz Kazimierz Kuratowski i Andrzej Mostowski w swojej książce cytowanej poniżej.
↑ Dokładniej, po łacinie, fluentes quantitates.
↑ ...positio n esse quantitatem quomodocunque formatam ex indeterminatis et constantibus.

Przypisy

↑ odwzorowanie, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .
1 2 3 Kuratowski i Mostowski 1966 ↓, s. 73.
↑ przekształcenie, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .
↑ transformacja (w matematyce) [w:] Wielki słownik języka polskiego (wsjp.pl) [online], Instytut Języka Polskiego Polskiej Akademii Nauk [dostęp 2023-12-23].
↑ Halmos 1970 ↓, s. 30.
1 2 3 Funkcja, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-22] .
1 2 3 4 N.N. Bourbaki N.N., Théorie des ensembles, Paryż: Difussion C.C.L.S., 1970, s. 64, ISBN 2-903684-003-0 (fr.).
1 2 3 4 Alison 2020 ↓, s. 1157.
1 2 Pinter 2014 ↓, s. 52.
↑ HorstH. Herrlich HorstH., George E.G.E. Strecker George E.G.E., Category Theory. Third Edition, Heldermann Verlag, 2007, 2 (przypis), ISBN 978-3-88538-001-6 (ang.).
↑ AliA. Nesin AliA., Foundations of Mathematics I, Set Theory, Mathematics Department Istanbul Bilgi University, Stambuł 2004, s. 35 (ang.).
↑ R.R. Mayer R.R., Math 111 Calculus 1 [online], Reed College, 2007, 67 (58) (ang.).
↑ ReinhardR. Schultz ReinhardR., Mathematics 144 Set Theory, Department of Mathematics University of California, Riverside, California 2012, s. 63 (ang.).
1 2 3 Kuratowski i Mostowski 1966 ↓, s. 55.
1 2 NicolasN. Bourbaki NicolasN., Elements de Mathematique, Theorie des Ensembles, Hermann & cie, 1954, s. 76 .
↑ zmienna zależna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .
1 2 3 Kołmogorow i Fomin 1989 ↓, s. 21.
↑ Kołmogorow i Fomin 1989 ↓, s. 22.
1 2 Winogradow 1985 ↓, s. 715.
1 2 3 Winogradow 1985 ↓, s. 716.
1 2 Winogradow 1985 ↓, s. 717.
↑ zmienna niezależna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-04-12] .
↑ Kuratowski 1967 ↓, s. 60.
↑ równoliczność zbiorów, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-23] .
↑ Kuratowski i Mostowski 1966 ↓, s. 75.
1 2 3 Alison 2020 ↓, s. 1158.
↑ jednoznaczność, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .
↑ Moszner 1974 ↓, s. 81.
↑ Anna Barbaszewska-Wiśniowska, Pojęcie funkcji. Dziedzina i przeciwdziedzina, Open AGH, epodreczniki.open.agh.edu.pl [dostęp 2025-08-05].
↑ Alison 2020 ↓, s. 1157–1161.
↑ William Dunham: Euler: The Master of Us All. The Mathematical Association of America, 1999, s. 17.
↑ Jahnke 2003 ↓, s. 156–157.
↑ Juszkiewicz, Historia matematyki od starożytności do początku XIX wieku, s. 144, Moskwa, 1970, jęz. rosyjski.
↑ Gottfried Wilhelm Leibniz, Methodus tangentium inversa, seu de functionibus 1673.
↑ Juszkiewicz, op. cit., s. 146.
↑ Johann Bernoulli: Opera Omnia. T. II. Lausannae-Genevae: 1742, s. 241.
↑ Giuseppe Peano, Sulla definizione di funzione, Atti della Reale Accademia dei Lincei, Classe di scienze fisiche, matematiche e naturali, 20 (1911), s. 3–5.

Bibliografia

Paul R. Halmos: Naive Set Theory. Santa Clara, USA: Springer-Verlag, 1970. ISBN 978-0-387-90092-6.
Juszkiewicz: Historia matematyki od Starożytności do początku XIX wieku. T. 2. Warszawa: PWN, 1976.
Andriej Kołmogorow, Sergei Fomin: Elementy teorii funkcji i analizy funkcjonalnej. Moskwa: Mir, 1989. (ros.).
Kazimierz Kuratowski: Rachunek różniczkowy i całkowy. Funkcje jednej zmiennej. Warszawa: Państwowe Wydawnictwo Naukowe, 1967.
Kazimierz Kuratowski, Andrzej Mostowski: Teoria mnogości. Warszawa: PWN, 1966.
Zenon Moszner: O teorii relacji. Warszawa: Wydawnictwa Szkolne i Pedagogiczne, 1974.
Iwan Winogradow: Encyklopedia matematyczna. T. 5. Moskwa: Encyklopedia Radziecka, 1985. (ros.).
Charles C. Pinter: A Book of Set Theory. Nowy Jork: Dover Ppublications, INC, 2014, s. 52,53. ISBN 0-486-49708-9. (ang.).
What is a function. W: Mirin Alison: PME-NA Mathematics Education Across Cultures. Meksyk: PME-NA, 2020, s. 1157. ISBN 978-1-7348057-0-3. (ang.).
Hans Niels Jahnke: A history of analysis. Providence, RI: American Mathematical Society, 2003. ISBN 0-8218-2623-9. OCLC 51607350.

Literatura dodatkowa

Helena Rasiowa: Wstęp do matematyki współczesnej. Warszawa: PWN, 1968. ISBN 83-01-13949-8.

Linki zewnętrzne

Funkcje i ich własności, serwis „Matematyka z ZUT-em”, Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, matematyka.zut.edu.pl [dostęp 2025-05-16].
Paweł Lubowiecki, Odwzorowania cz. I Pojęcia podstawowe, Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego, kanał „Uczelnia WAT” na YouTube, 30 stycznia 2024 [dostęp 2024-09-07].
Wprowadzenie do funkcji, Khan Academy, kanał „KhanAcademyPoPolsku” na YouTube [dostęp 2025-10-28].
Eric W.E.W. Weisstein Eric W.E.W., Function, [w:] MathWorld, Wolfram Research (ang.). [dostęp 2023-12-23].

[1] Od fungor, functus sum, fungi „wykonać, wypełnić, zwolnić”.

[27] W Słowniku języka polskiego, PWN, 1996: ustalić relację między czymś a czymś, uczynić zależnym od czegoś...

[28] Tej szerokiej definicji używali m.in. Giuseppe Peano oraz Kazimierz Kuratowski i Andrzej Mostowski w swojej książce cytowanej poniżej.

[36] Dokładniej, po łacinie, fluentes quantitates.

[39] ...positio n esse quantitatem quomodocunque formatam ex indeterminatis et constantibus.

[2] odwzorowanie, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .

[CITEREFKuratowskiMostowski196673-3] 1 2 3 Kuratowski i Mostowski 1966 ↓, s. 73.

[4] przekształcenie, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .

[5] transformacja (w matematyce) [w:] Wielki słownik języka polskiego (wsjp.pl) [online], Instytut Języka Polskiego Polskiej Akademii Nauk [dostęp 2023-12-23].

[CITEREFHalmos197030-6] Halmos 1970 ↓, s. 30.

[epwn-7] 1 2 3 Funkcja, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-22] .

[bourbaki-8] 1 2 3 4 N.N. Bourbaki N.N., Théorie des ensembles, Paryż: Difussion C.C.L.S., 1970, s. 64, ISBN 2-903684-003-0 (fr.).

[CITEREFAlison20201157-9] 1 2 3 4 Alison 2020 ↓, s. 1157.

[CITEREFPinter201452-10] 1 2 Pinter 2014 ↓, s. 52.

[11] HorstH. Herrlich HorstH., George E.G.E. Strecker George E.G.E., Category Theory. Third Edition, Heldermann Verlag, 2007, 2 (przypis), ISBN 978-3-88538-001-6 (ang.).

[12] AliA. Nesin AliA., Foundations of Mathematics I, Set Theory, Mathematics Department Istanbul Bilgi University, Stambuł 2004, s. 35 (ang.).

[13] R.R. Mayer R.R., Math 111 Calculus 1 [online], Reed College, 2007, 67 (58) (ang.).

[14] ReinhardR. Schultz ReinhardR., Mathematics 144 Set Theory, Department of Mathematics University of California, Riverside, California 2012, s. 63 (ang.).

[CITEREFKuratowskiMostowski196655-15] 1 2 3 Kuratowski i Mostowski 1966 ↓, s. 55.

[Bourbaki1954-16] 1 2 NicolasN. Bourbaki NicolasN., Elements de Mathematique, Theorie des Ensembles, Hermann & cie, 1954, s. 76 .

[17] zmienna zależna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .

[CITEREFKołmogorowFomin198921-18] 1 2 3 Kołmogorow i Fomin 1989 ↓, s. 21.

[CITEREFKołmogorowFomin198922-19] Kołmogorow i Fomin 1989 ↓, s. 22.

[CITEREFWinogradow1985715-20] 1 2 Winogradow 1985 ↓, s. 715.

[CITEREFWinogradow1985716-21] 1 2 3 Winogradow 1985 ↓, s. 716.

[CITEREFWinogradow1985717-22] 1 2 Winogradow 1985 ↓, s. 717.

[epwn-z-23] zmienna niezależna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-04-12] .

[CITEREFKuratowski196760-24] Kuratowski 1967 ↓, s. 60.

[25] równoliczność zbiorów, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-23] .

[CITEREFKuratowskiMostowski196675-26] Kuratowski i Mostowski 1966 ↓, s. 75.

[CITEREFAlison20201158-29] 1 2 3 Alison 2020 ↓, s. 1158.

[30] jednoznaczność, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-12-22] .

[CITEREFMoszner197481-31] Moszner 1974 ↓, s. 81.

[32] Anna Barbaszewska-Wiśniowska, Pojęcie funkcji. Dziedzina i przeciwdziedzina, Open AGH, epodreczniki.open.agh.edu.pl [dostęp 2025-08-05].

[CITEREFAlison20201157–1161-33] Alison 2020 ↓, s. 1157–1161.

[function-34] William Dunham: Euler: The Master of Us All. The Mathematical Association of America, 1999, s. 17.

[CITEREFJahnke2003156–157-35] Jahnke 2003 ↓, s. 156–157.

[37] Juszkiewicz, Historia matematyki od starożytności do początku XIX wieku, s. 144, Moskwa, 1970, jęz. rosyjski.

[38] Gottfried Wilhelm Leibniz, Methodus tangentium inversa, seu de functionibus 1673.

[40] Juszkiewicz, op. cit., s. 146.

[41] Johann Bernoulli: Opera Omnia. T. II. Lausannae-Genevae: 1742, s. 241.

[42] Giuseppe Peano, Sulla definizione di funzione, Atti della Reale Accademia dei Lincei, Classe di scienze fisiche, matematiche e naturali, 20 (1911), s. 3–5.

[43] wane dla dowolnej dziedziny i przeciwdziedziny