Conceptul unei funcții sau al unei relații binare funcționale.
Se spune că o relație binară R este funcțională dacă
Evident, dacă relația binară R este funcțională fie una, fie setul conține un singur element.
se numește valoarea lui a sub maparea R.
Conform lui Davtyan, semnul R (# 961;) denotă intervalul valorii relației binare funcționale # 961; și D (# 961;) denotă domeniul relației binare funcționale # 961; dar am întâlnit și alte semne:
Im R este intervalul de R
Domeniul R este domeniul lui R
Înțelegem relația binară funcțională ca set de perechi ordonate. Setul primelor elemente ale tuturor acestor perechi este domeniul definiției, iar setul celui de-al doilea este intervalul de valoare.
- un predicat cu două locații, unde a este argumentul funcției și b este valoarea funcției.
Apoi, există o relație binară (compoziția R și P), care este definită după cum urmează:
Plecând de la această definiție, putem demonstra următoarea afirmație (Davtyan a sugerat-o ca un exercițiu pentru noi). Nu știu cum să o compun cel mai bine, dar aș folosi următoarea formulă: "dacă are sens, unde R, P și Q sunt relații binare, atunci"
Să presupunem că una din aceste compoziții nu este un set gol (dacă ambele compoziții sunt seturi goale, atunci ele sunt egale). Sunt posibile două cazuri: "prima compoziție nu este un set gol", iar "a doua compoziție nu este un set gol". Pentru aceste cazuri, dovezile vor fi diferite.
conform definiției compoziției.
conform definiției compoziției.
prin definirea compoziției
Articole similare
Trimiteți-le prietenilor: