Al trabajar con conjuntos es imprescindible poder relacionarlos teniendo en cuanta la veracidad de una proposicin.

Estas relaciones son las que estudiaremos en este apunte. Definicin Sean los conjuntos A y B. Se llama relacin binaria entre los conjuntos A y B a un subconjunto del producto cartesiano AXB, cuyos pares cumplen con una determinada proposicin.O sea que si R es la relacin entre los conjuntos A y B, entonces R AXB Por ejemplo: Sean los conjuntos A = {1,2,3} y B = {5,6} (x, y) RAXB xy AXB={(1,5), (1,6), (2,5), (2,6), (3,5), (3,6)} Teniendo en cuenta la definicin de relacin, debemos buscar en el producto cartesiano aquellos pares donde la primera componente divida a la segunda. O sea: R = {(1,5), (1,6), (2,6), (3,6)} Al conjunto A se lo denomina conjunto de partida y a B conjunto de llegada. Al conjunto formado por todos los elementos de A que se relacionan con los elementos de B se denominaDominio, y al subconjunto de B que tienen antecedentes en A se llama Imagen.O sea que el Dominio de la relacin es el conjunto formado por todas las primeras componentes de los pares de la relacin, y la Imagen es el conjunto formado por todas las segundas componentes de los pares de la relacin.En nuestro ejemplo, se tiene: D(R) = {1, 2, 3} y I(R) = {5,6}

Para graficar una relacin, se la puede hacer de tres formas: En diagramas de Venn: se dibujan los dos conjuntos y se unen con flechas los elementos del conjunto de partida que se relacionan con el de llegada. En nuestro ejemplo ser:

La otra forma de graficar una relacin es utilizando un sistema de ejes coordenados cartesianos, poniendo en el eje de las abscisas el conjunto de partida, y en el de las ordenadas, el conjunto de llegada. Luego se trazan paralelas al otro eje por cada uno de los puntos de los ejes, siendo el conjunto de los puntos de corte el producto cartesiano. Ahora en esta grfica, se encierran con una curva cerrada los puntos que pertenecen a la relacin.-

En nuestro caso ser:

Por ltimo, tambin se puede graficar en el sistema matricial (de matrices), colocando al conjunto de partida en forma vertical y al de llegada en forma horizontal. Luego en las intersecciones cuyos pares pertenezcan a la relacin se coloca el 1 y donde no, el 0. En nuestro caso ser:

Relacin inversa Sea una relacin R AXB. Se dice que la relacin R-1 es la relacin inversa de R, solamente s R-1 BXA.O sea que R-1 = {(y,x)/(x,y) R} En nuestro ejemplo, la relacin inversa es: R-1 = {(5,1), (6,1), (6,2), (6,3)} COMPOSICIN DE RELACIONES Dada dos relaciones: RAXB y SBXC. Se llama relacin compuesta a la relacin SoRAXC (R compuesto con S incluida en AXC) a la formada por los pares que tienen como primera componente a las primeras componentes de los pares de R y como segunda componente a la segundas de los pares de S, siempre que las segundas componentes de los pares de R sean primera de los pares de S. O sea que: SoR = {(x,z) / (x,y) R (y,z) S} Dicho de otra forma: (x,z) SoRAXC (x,y) R (y,z) S

Grficamente es:

Por ejemplo:

A = {1, 2, 3}

B = {1,2,4} y

La relacin R de AXB est formada por todos aquellos pares cuya segunda componente sean el cuadrado de la primera. La relacin S de BXC est formada por todos aquellos pares cuya segunda componente sean la mitad de la primera. (x,y) RAXB y=x2 AXB = {(1,1)(1,2)(1,4)(2,1)(2,2)(2,4)(3,1)(3,2)(3,4)} R={(1,1)(2,4)}

Partiendo de las definiciones, se tiene que la relacin SoR de AXC, est formada por todos aquellos pares cuya segunda componente sea la mitad del cuadrado de la primera.

Grficamente queda: