«Աբստրակտ հանրահաշիվ»–ի խմբագրումների տարբերություն

Content deleted Content added
No edit summary
չ փոխարինվեց: ծ , → ծ, oգտվելով ԱՎԲ
Տող 7.
== Բինար Հարաբերություններ և գործողություններ նրանց հետ ==
* Հարաբերություն - <math>A \times B</math> [[դեկարտյան արտադրյալ]]ի <math>\alpha \subseteq A \times B</math> ենթաբազմությունն անվանում ենք բինար հարաբերություն <math>A</math> և <math>B</math> բազմությունների տարրերի միջև։ <math>A</math> և <math>B</math> բազմությունները կոչվում են բինար հարաբերության հենքային բազմություններ։ <math> \alpha \subseteq A \times B</math> հարաբերության պրոյեկցիան i-րդ առանցքի վրա կանվանենք այն բազմությունը, որի տարրերն են i-րդ առանցքի վրա <math> \alpha</math>- ի տարրերի պրոյեկցիանները և միայն նրանք. <math>pr\alpha = \{pr\underline i(a,b) /a \alpha b\}</math>
* Ֆունկցիոնալ հարաբերություն - <math> \alpha \subseteq A \times B</math> հարաբերությունն անվանենք ֆունկցիոնալ հարաբերություն, եթե ստույգ է <math> \forall x (x \in A) |\alpha(x)| \leq 1 </math> պնդումը։ <math> \alpha \subseteq A \times B</math> ֆունկցիոնալ հարաբերությունը անվանենք ամենուրեք որոշված , եթե <math> \forall x (x \in A) |\alpha(x)| = 1 </math>, կամ որ նույնն է, եթե <math>A=pr\underline1\alpha</math>։ Ամենուրեք որոշված <math> \alpha \subseteq A \times B</math> ֆունկցիոնալ հարաբերությանն անվանում են ֆունկցիա կամ <math>A</math> բազմության արտապատկերում <math>B</math> բազմության մեջ և գրում <math> \alpha : A \to B</math>։ <math>A=pr\underline1\alpha</math> բազմությանն անվանում են ֆունկցիայի որոշման տիրույթ, իսկ <math>pr\underline2\alpha \subseteq B</math> բազմությանը՝ ֆունկցիայի արժեքների բազմություն։
* Արտապատկերում - <math> \alpha : A \to B</math> ֆունկցիային կանվանենք <math>A</math> բազմության արտապատկերում <math>B</math> բազմության վրա կամ սուրյեկտիվ արտապատկերում, եթե <math>pr\underline2\alpha = B</math>, կամ որ նույնն է, եթե ստույգ է <math> \forall y (y \in B) \exists x (x\in A) (x\alpha y) </math> պնդումը։
* Միարժեք արտապատկերում - <math> \alpha : A \to B</math> ֆունկցիային կանվանենք ինյեկտիվ արտապատկերում, եթե <math>\alpha-1</math>-ը ֆունկցիոնալ հարաբերություն է, կամ որ նույնն է, եթե ստույգ է <math> \forall (x1, x2 \in A) ((\alpha(x1) = \alpha(x2)) \Rightarrow (x1 = x2) </math>։