Relação binária: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 111:
Tomemos como exemplo os conjuntos A = {1,2,3,4}, B = {a,b,c,d} e C = {x, y, z} e as relações '''R = {(1, a), (2, d), (3, a), (3, b), (3, d)}''' de '''A''' para '''B''' e '''S = {(b, x), (b,z), (c, y), (d,z)}''' de '''B''' para '''C'''. A composição de '''R''' e '''S''' será, com o auxílio do diagrama de setas (ver ''figura 2'') '''R<math>\circ</math>S = {(3, x), (3,z), (2,z)}'''.
 
Matricialmente teremos a matriz de '''R''' como sendo <math>M_R</math>=<math>\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}</math> e a matriz de '''S''' como sendo <math>M_S</math>=<math>\begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 1 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}</math>. A relação '''R<math>\circ</math>S''' será a multiplicação entre as matrizes. Logo <math>M_SM_R</math>x<math>M_S</math>= <math>\begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 2 \\ 0 & 0 & 0 \end{pmatrix}</math>
 
<br />