Функцыя

З пляцоўкі Вікіпедыя.

Перайсці да: рух, знайсці

Фу́нкцыя або функцыяна́льная зале́жнасць між дзвюма велічынямі – такая залежнасць, калі пры змене аднае (незалежнай) велічыні адназначным чынам змяняецца другая (залежная) велічыня. Такім чынам, функцыянальная залежнасць ставіць кожнаму значэнню x незалежнай велічыні не больш аднаго значэння y залежнай велічыні.

Незалежную велічыню называюць аргументам, а зележную – функцыяй або значэннем функцыі. Паняцці «залежнай» і «незалежнай» велічынь з'яўляюцца ў значнай ступені ўмоўнымі.

Факт наяўнасці функцыянальнай залежнасці f між велічынямі x і y абазначаецца y = f(x).

Функцыя можа быць вызначана як бінарная адносіна між дзвюма мноствамі ~ \mathrm{f} \subseteq X \times Y, у якой кожнаму элементу x мноства X адпавядае адзін элемент y мноства Y такі, што y=f(x).


  • ~ \mathrm{f}: X \mapsto Y \ \Leftrightarrow \ \mathrm{f} = \{\langle x, y \rangle| \quad \langle x, y \rangle \in X \times Y \quad \land \quad y = f(x)\}


  • ~ \mathrm{f}: X \mapsto Y \ \Leftrightarrow \ \mathrm{f} \subseteq X \times Y \quad \land \quad \mathrm{f} \ne \varnothing \quad \land \quad \forall_{x \ \in \ X} \ \exists_{y \ \in \ Y} \ (y = f(x))


  • ~ \mathrm{f}: X \mapsto Y \ \Leftrightarrow \ \mathrm{f} \subseteq X \times Y \quad \land \quad \mathrm{f} \ne \varnothing \quad \land \quad \forall x \ (x \in X \ \to \ f(x) \in Y)