§ 1.3. RELACIONES BINARIAS 37 C) Sea (a,b) € A x (B - C). Entonces a € A y b € B-C, lo que implica que ace Ay(be By b¢ C), asi que (a,b) € A x By (a,b) ¢ AX C. Por lo tanto (a,b) € (A x B)-(AXC). 2) Sea (a,b) € (A x B) - (A x C). Entonces (a,b) € A x By (a,b) € AX Clo que implica que: (a € Aybe B)y(a¢ Aob¢C).Comoae A, laafirmacién a¢Aob¢C implica que debe ser b ¢ C. Por lo tantoae AybeE By b¢C, que es,a€ Ay b € B-Cyasi(a,b) € Ax (B-C). Las demostraciones que faltan no son complicadas y se dejan como ejercicio (véase ejercicio 1.2.38). » Es importante mencionar que en el caso del producto cartesiano, éste no es con- mutativo ni asociativo. De la conmutatividad ya hemos mencionado que si A # B y ambos A y B son no vacios, entonces A x B # B x A. Sobre la asociatividad, que no se cumple para el producto cartesiano, la razon es que la naturaleza de los elementos de (A x B) x C es distinta a la de los elementos de A x (B x C) como lo muestra el ejemplo 1.2.34. Sin embargo hay una identificacién muy clara entre los elementos de (A x B) x C y los elementos de 4 x (B x C) que es, a ((a, b), c) se le identifica de manera natural con (a, (b, c)). Ejemplo 1.2.34. Consideremos los conjuntos A = {a}, B = {1,2}y C = (}y sean A x B = {(a, 1),(a,2)} y Bx C = {(1, 3), (2, 3)}. Entonces (4 x B)x C = {(a, 1), 3), (a, 2), 3)} y A x (BX C) = (a, (1, 3), (@, (2, 3))}- §1.3. Relaciones binarias En esta seccién introduciremos el concepto de relacién entre dos conjuntos (re- lacién binaria) y como podra apreciar el lector, siendo tan general la definicién de relacién, en realidad estamos interesados en cierto tipo de ellas que aparecen con mucha frecuencia en matematicas, siendo éstas las relaciones de orden, las relaciones de equivalencia y las funciones. Definicién 1.3.1. Sean X y Y conjuntos. Una relacién R de X en ¥Y es una pareja ordenada (R, Xx Y), donde R C Xx Y. SiR es una relacion de X en Y y (x,y) € R, diremos que x esté relacionado con y. Si R es una relacion de X en Y y (a,b) € R, diremos que a esta relacionado con b respecto a R. Para dar una relacin son tres datos los que debemos presentar: el conjunto_X, el conjunto Y y el subconjunto R de X x Y.c Consuntos > RE] 38 “ACTONES | Coy, Y’ conjuntos no vacios, L, 1.3.2, Sean X,Y, X’y Y’ ec ' QS rela: ee en Y’ son iguales si y sélo siX = X’, y = YyRe Rm Rae, : j Jercics : e ié i deja como ejercicio, (ejercic; ostracién es sencilla y se e ietcicig i ne fasten se ve que hay tantas relaciones de Xen y ae » tiene X x Y. Como @ siempre es un subconjunto de x x ¥ sin impos ny, sean X y Y, a esta relacion la lamamos relaci6n vacia, En Patticuly, . ig Y = @, entonces existe una unica relacién de X en Y que es Ja relacisy ve 52, ‘ oe ci d Definicién 1.3.3. Sea R una relacién de X en Y RCXx Y). ’ (1) El dominio de R, Dom(R), es el conjunto Dom(R) = {x € X | existe y € Y tal que (ye Rh. (2) La imagen o rango de R, Im(R), es el conjunto Im(R) = {y € Y | existe x € X tal que (x,y) € R). jemplo 1.3.4. Considérese los conjuntos X = {a, b, Od,e}, ¥ = 25,79 : hg 7 R= ((a,2), (@,5), (6,2), (4,9), (d, 10), (e, 7}. Ficura 7. Representacién de la relacion R = {(@,2), (a, 5), (6,2), (d,9), (, 10), (e,7)) ces con respecto a la relacion R estd relacionado con 2 ycon 5, €sta relacionado con 2, sta relacionado con 9 ycon 10. std relacionado con 7,38 1. CONJUNTOS, RELACIONES Y RING Ny Teorema 1.3.2. Sean X, Y, X’ y ¥’ conjuntos no vacios. Las relaciones Rey YyR’ de X’ en Y’ son iguales si y sélo si X =X’, ¥=Y'yR=R. La demostracién es sencilla y se deja como ejercicio. (ejercicio 1.3.1) De la definicion se ve que hay tantas relaciones de ¥ en Y como Subconju, tiene X x ¥. Como @ siempre es un subconjunto de X’ x ¥ sin importr i, sean X y Y, a esta relacién la llamamos relacién vacia. En particular si x = Y = Q, entonces existe una tinica relacién de X en Y que es la relacién vacig Definicién 1.3.3. Sea R una relacién de X en Y (R ¢ Xx Y). (1) El dominio de R, Dom(R), es el conjunto Dom(R) = {x € X | existe y € Y tal que (x,y) € R}. (2) La imagen o rango de R, Im(R), es el conjunto Im(R) = {y € ¥ | existe x € X tal que (x,y) € R). sjemplo 1.3.4. Considérese los conjuntos X = (a, b, c,d, e}, ¥ = (2,5,7,9, 10 R= {(a,2),(a, 5), (6,2), (4, 9), (4, 10), (€, 7)}- : x y \ ep $< Ficura 7. Representacién de la relacién R = {(a,2),(a,5).(6,2).(4,9), (d,10),(e,7)) ces con respecto a la relacién R esta relacionado con 2 y con 5. esta relacionado con 2. esta relacionado con 9 y con 10. sta relacionado con 7.