Tegul A, B ir C yra aibės, o R yra santykis nuo A iki B, o S yra santykis nuo B iki C. Tai reiškia, kad R yra A × B poaibis, o S yra B × poaibis C. Tada R ir S sukuria ryšį nuo A iki C, pažymėtą R◦S ir apibrėžtą taip:

 a (R◦S)c if for some b ∈ B we have aRb and bSc. That is, R ◦ S = there exists b ∈ B for which (a, b) ∈ R and (b, c) ∈ S 

Ryšys R◦S yra žinomas R ir S sudėtis; kartais jis žymimas tiesiog RS.

kas yra dviguba java

Tegu R yra aibės A santykis, tai yra, R yra aibės A santykis su savimi. Tada visada vaizduojama R◦R, R sudėtis su savimi. Be to, R◦R kartais žymimas R². Panašiai ir R³= R²◦R = R◦R◦R ir pan. Taigi Rⁿyra apibrėžtas visiems teigiamiems n.

1 pavyzdys: Tegu X = {4, 5, 6}, Y = {a, b, c} ir Z = {l, m, n}. Apsvarstykite santykį R₁nuo X iki Y ir R₂nuo Y iki Z.

 R<sub>1</sub> = {(4, a), (4, b), (5, c), (6, a), (6, c)} R<sub>2</sub> = {(a, l), (a, n), (b, l), (b, m), (c, l), (c, m), (c, n)} 

Raskite santykio sudėtį (i) R₁R₂ (ii) R₁R₁^-1

Sprendimas:

i) sudėties santykis R₁R₂kaip parodyta pav:

R₁R₂ = {(4, l), (4, n), (4, m), (5, l), (5, m), (5, n), (6, l), (6, m), (6, n)}

ii) sudėties santykis R₁R₁^-1kaip parodyta pav:

R₁R₁^-1 = {(4, 4), (5, 5), (5, 6), (6, 4), (6, 5), (4, 6), (6, 6)}

Santykių ir matricų sudėtis

Yra ir kitas būdas rasti R◦S. Tegul M_Rir M_Satitinkamai žymime santykių R ir S matricinius vaizdus. Tada

Pavyzdys

 Let P = {2, 3, 4, 5}. Consider the relation R and S on P defined by R = {(2, 2), (2, 3), (2, 4), (2, 5), (3, 4), (3, 5), (4, 5), (5, 3)} S = {(2, 3), (2, 5), (3, 4), (3, 5), (4, 2), (4, 3), (4, 5), (5, 2), (5, 5)}. Find the matrices of the above relations. Use matrices to find the following composition of the relation R and S. (i)RoS (ii)RoR (iii)SoR 

Sprendimas: Ryšio R ir S matricos parodytos pav.

(i) Norėdami gauti santykio R ir S sudėtį. Pirmiausia padauginkite M_Rsu M_Sgauti matricą M_Rx M_Skaip parodyta pav:

padaryti scenarijų vykdomąjį

Ne nuliniai įrašai matricoje M_Rx M_Spasakoja apie RoS susijusius elementus. Taigi,

Vadinasi, santykio R ir S sudėtis R o S yra

 R o S = {(2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (4, 2), (4, 5), (5, 2), (5, 3), (5, 4), (5, 5)}. 

(ii) Pirma, padauginkite matricą M_Rsavaime, kaip parodyta pav

Vadinasi, santykio R ir S sudėtis R o R yra

 R o R = {(2, 2), (3, 2), (3, 3), (3, 4), (4, 2), (4, 5), (5, 2), (5, 3), (5, 5)} 

(iii) Padauginkite matricą M_Ssu M_Rgauti matricą M_Sx M_Rkaip parodyta pav:

Ne nuliniai įrašai matricoje M_Sx M_Rpasakoja elementus, susijusius su S o R.

Vadinasi, santykio S ir R kompozicija S o R yra

 S o R = {(2, 4) , (2, 5), (3, 3), (3, 4), (3, 5), (4, 2), (4, 4), (4, 5), (5, 2), (5, 3), (5, 4), (5, 5)}.