«Աբստրակտ հանրահաշիվ»–ի խմբագրումների տարբերություն
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> \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>։
|