Функцыя (матэматыка): Розніца паміж версіямі

[недагледжаная версія][недагледжаная версія]
Змесціва выдалена Змесціва дададзена
др Дадана * (праз HotCat)
дадатак, афармленне
Радок 1:
'''Фу́нкцыя''' або '''функцыяна́льная зале́жнасць''' між дзвюма [[велічыня]]мі — такая залежнасць, калі пры змене аднае (незалежнай) велічыні адназначным чынам змяняецца другая (залежная) велічыня. Такім чынам, функцыянальная залежнасць ставіць кожнаму значэнню x незалежнай велічыні не больш аднаго значэння y залежнай велічыні.
 
Незалежную велічыню называюць [[аргумент функцыі|аргументам]], а зележную — функцыяй або значэннем функцыі. Паняцці «залежнай» і «незалежнай» велічынь з'яўляюцца ў значнай ступені ўмоўнымі.
 
Факт наяўнасці функцыянальнай залежнасці f між велічынямі x і y абазначаецца y = f(x).
 
Функцыя можа быць вызначана як [[бінарная адносіна]] між дзвюма [[мноства]]мі <math>~ \mathrm{f} \subseteq X \times Y</math>, у якой кожнаму [[элемент]]у x мноства X адпавядае адзін элемент y мноства Y такі, што y=f(x).
 
 
* <math>~ \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)\}</math>
 
 
* <math>~ \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))</math>
 
* <math>~ \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)</math>
 
== Гл. таксама ==
* <math>~ \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)</math>
 
* [[Адлюстроўваючая функцыя]]
 
{{Link FA|lmo}}