Relaciones Binarias La relacin binaria entre dos conjuntos A y B est definida por R el cual es un subconjunto del producto cartesiano

entre A y B (AxB). En este caso se dir que la relacin de A en B es el conjunto R. El conjunto A es el conjunto de partida mientras que B el conjunto de llegada. Los elementos del conjunto R son pares ordenados (a, b) de los cuales a A y b B. Estos se denotan aRb lo cual se lee a est relacionado con b segn la relacin R. Por ejemplo, la relacin mayor que de los conjuntos A= {5, 7, 8} y B= {6,9,10} ser R= {(7,6),(8,6)} Cuando A=B diremos que R es una relacin en A. Dominio y Rango El dominio y rango de una relacin binaria entre dos conjuntos est determinado por los elementos del conjunto de partida (dominio) y del conjunto de llegada (rango o imagen). De esta manera tenemos que: Dom(R)= {a A | (a,b) R para algn b B } Rang(R)= {b B | (a,b) R para algn a A } En otras palabras, el dominio sern los primeros componentes de los pares ordenados (a,b) que conforman R y el rango sern los segundos componentes. Representacin grfica de Relaciones Las relaciones pueden representarse grficamente de diversas maneras siendo las ms comunes la representacin cartesiana, la matricial y la sagitaria. Representacin Cartesiana En esta se utilizan los elementos del conjunto de partida como abscisas y los del conjunto de llegada como ordenadas para representar la relacin en el plano cartesiano. Por ejemplo, si tenemos que una relacin de A en B es el conjunto R= {(3,2), (1,-1), (-1,0), la siguiente: (-3,1), (-5,2)} entonces su representacin cartesiana ser

Representacin Sagitaria En ella se utilizan diagramas de Venn para representar los conjuntos de partida y de llegada y se unen los pares ordenados mediante flechas. Esta es empleada para conjuntos finitos.

Representacin Matricial En ella se crea una matriz colocando los elementos del conjunto de partida como filas y los del conjunto de llegada como columnas. La matriz se llena colocando 1 en las posiciones donde los elementos se relacionan y 0 en caso contrario. As, la relacin binaria menor o igual entre los conjuntos A= {1,2,3,4} y B= {1,2,3,4} es el conjunto R= {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (4,4)} el cual se representa matricialmente de la forma:

Relacin Inversa Si R es una relacin de A en B, la relacin inversa R-1 est definida por: R-1= {(b,a) BxA| (a,b) R} En la relacin inversa se cumple que dom(R -1)= rang(R) y Rang(R-1)= dom(R), es decir, se intercambian el dominio y el rango de la relacin original. Por ejemplo, dada la relacin R= {(1,2), (4,6), (5,7)} la relacin inversa sera R-1= {(2,1), (6,4), (7,5)}. Teorema. Sea R una relacin de X en Y. Entonces (R-1)-1 = R Composicin de Relaciones Dada la relacin R de A en B y la relacin S de B en C, la composicin de R y S es la relacin: R S= {(a,c) AxC | b B | aRb y bSc} Ntese que R S S R Teorema. Si R es una relacin de X en Y, S es una relacin de Y en Z y T es una relacin de Z en W, entonces: T (S o R) = (T S) R Teorema. Si R es una relacin de X en Y y S en una relacin de Y en Z, entonces (S R)-1 = R-1 S-1