Matemtica Discreta Actividad Didctica 4 Composicin de dos relaciones

Actividad Didctica 4
Composicin de dos relaciones
Introduccin
El producto booleano de dos matrices booleanas A[aij] y B[bij] de ordenes m k y k x n
respectivamente, es decir, el nmero de columnas de la matriz A tiene que ser igual al nmero
de filas de la matriz B, denotado como A

B, es la matriz de C[cij] de orden m n cuyo

elemento (i, j) es cij donde

cij = (ai1 ai1) (ai2 ai2) (aik akj)
Por ejemplo, calcular el producto booleano de A y B donde

B=

=
TIP: El producto de matrices booleanas es similar al producto de matrices, pero en realidad es
ms sencilla de obtener. Solo hay que seguir los siguientes pasos:

Seleccionar la fila de la matriz A y la columna de la matriz B y colocar una al lado de la

otra.
Comparar los pares correspondientes. Basta que uno de los pares conste de dos 1 para que
cij = 1, de otro modo cij = 0.
La matriz de la composicin de dos relaciones puede hallarse usando el producto

booleano de las matrices de las relaciones. En particular, supngase que R es una relacin de A
en B y que S es una relacin de B en C, supngase que A, B y C tienen m, n y p elementos
respectivamente. Sean MSR = [tij], MR = [rij], MS = [Sij] las matrices asociadas a SR, R y S,
respectivamente (estas matrices son mp, mn y np, respectivamente). El par ordenado (ai, cj)
pertenece a SR si y slo si, existe un elemento bk tal que (ai, bk) pertenece a R y (bk, cj)
pertenece a S. Se sigue que tij = 1, si y slo si, rik = sjk =1 para algn k.
1

Matemtica Discreta Actividad Didctica 4 Composicin de dos relaciones

Por definicin del producto booleano, esto significa que MSR = MR

MS.

Derive es un potente programa desarrollado Texas Instruments (TI) para el clculo

matemtico avanzado: variables, expresiones algebraicas, ecuaciones, funciones, vectores,
matrices, trigonometra, etc. Ya no se lo comercializa, y su desarrollo paso ahora como un
nuevo producto el TI-Nspire y ya no se vende por separado. Derive no era gratuito, pero puede
buscar en Internet un demo del mismo por 30 das.
Wiris (http://www.wiris.net/educa.madrid.org/wiris/es/index.html) es un editor y
calculadora de lgebra computacional usado en lnea. Existe la versin Wiris Little que se
trabaja fuera de lnea. Ha sustituido con gran xito al programa Derive. Permite realizar
operaciones numricas de todo tipo con cantidades naturales, enteras, fraccionarias, decimales
o incluso con nmeros radicales; resuelve ecuaciones y sistemas, etc. Es capaz de operar con
matrices, calcular matrices inversas, traspuestas o determinantes.
Actividad: Comprobar con el programa Derive o el Wiris si se encuentra algn otro, que
MSR = MR

MR. Para esto has que realizar los siguientes pasos:

Operacin

Instruccin y/o resultado

1.

Definir los conjuntos A, B y C.

2.

Definir R una relacin de A en B y

3.

S es una relacin de B en C.
Obtener SR.

4.

Obtener la matriz de relacin de SR

5.

(MSR).
En derive escribir la matriz de relacin

6.

de R (MR).
Con derive escribir la matriz de relacin

7.

de S (Ms).
Con derive obtener el producto
booleano MR

MS. Verificar que es la

Matemtica Discreta Actividad Didctica 4 Composicin de dos relaciones

misma matriz que MSR.