§ 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.7 1. Consuntos, RELACIONEs Y "UNcton Teorema 1.3.2. Sean X, Y, X" y Y' conjuntos no Vacios. Las ‘ila YyR’ de X’ en Y' son iguales si y sélo si X = X Y= YyR Temes Rae y . : . SR’ en La demostracién es sencilla y se deja como eJercicio, (¢jercicig 1 De la definicién se ve que hay tantas relaciones de _¥ en Ye 3.1) tiene X x Y. Como @ siempre es un subconjunto de XX Y sin no Subconjuna sean X y Y, a esta relacién la llamamos relacién vacia, En pattion tar Qhien Y = @, entonces existe una unica relacién de X en y qUe €5 la re Ular sj y _ . lacién Vacia * Definici6n 1.3.3. Sea R una relacién de X en Y Rcxxy), , (1) El dominio de R, Dom(R), es el conjunto Dom(R) = {x € X | existe y € Y tal que (x,y) ¢ 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). Ejemplo 1.3.4. Considérese los conjuntos X = {a, b,c,d,e}, ¥ = (2,5,7,9,1o,y R= {(a,2),(a, 5), (6, 2), (d, 9), (d, 10),(e, 7) Ficura 7. Representacion de la relacién R = {(a, 2), (a, 5), (6,2), (4,9), (d, 10), (e, 7)} Entonces con respecto a la relacion R (1) a esta relacionado con 2 y con 5. (2) 5 esta relacionado con 2. (3) d esta relacionado con 9 y con 10, (4) e esta relacionado con 7.§ 1.3. RELACIONES BINARIAS 39 (5) cno esta relacionado con nadie. Es claro que entonces Dom(R) = {a, b, d,e} y que Im(R) = {2,5,7,9, 10}. Asi pues, dada una relacion de X en Y quedan automaticamente determinados dos subconjuntos, uno de X y uno de Y, que son Dom(R) e Im(R) respectivamente. Ejemplo 1.3.5. Para cualesquiera conjuntos X y Y si R es la relaci6n vacia, enton- ces Dom(R) = @ e Im(R) = @. Ejemplo 1.3.6. Sean X = {a,b,c}, Y = {1,2,3,4} y R = {(a,1), (a,2),(c,4)}- Entonces Dom(R) = {a,c} e Im(R) = {1,2,4}. Ejemplo 1.3.7. Sea X cualquier conjunto. Ay = {(x, x) | x € X} es una relacion de X en X en la que Dom(Ay) = X y Im((Ay)) = X. A Ay se le llama la diagonal de X. Definicién 1.3.8. Dada una relacién R de X en Y, la relacién inversa de R es la telacion, R~', de Y en X dada por RT = (0,2) |p) ER). Se tiene entonces que Dom(R7') = Im(R) e Im(R™') = Dom(R). Ejemplo 1.3.9. Sea X cualquier conjunto y A(X) el conjunto potencia de X. Sea Rlarelacién de X a P(X) definida por R = {(x,y) € Xx A(X) | x € y}. Entonces Dom(R) = X, Im(R) = {y € A(X) | y # @}, R! = ((y,x) | x € y). SiX=@ se puede verificar sin ningun problema que en este caso R = 2, Dom(R) = 2, Im(R) = @yR! =o. En particular si X = {1, 2, 3} se tiene entonces que segun la relacion R (1) 1 esta relacionado con {1}, {1,2}, {1,3} y {1,2, 3}. (2) 2 esta relacionado con {2}, {1,2}, {2,3} y {1,2, 3}. (3) 3 esta relacionado con {3}, {1, 3}, {2,3} y {1,2, 3}. Ahora, segtin la relacién R™! se tiene (1) {1}, {1,2}, {1,3} y (1, 2, 3} estan relacionados con 1. (2) {2}, {1,2}, {2,3} y {1, 2, 3} estan relacionados con 2. (3) {3}, {1,3}, {2,3} y (1, 2, 3} estan relacionados con 3. Ejemplo 1.3.10. Larelacién Ay definida en el ejemplo 1.3.7 es igual a su relacion inversa Ay.« 1. Consuntos, RELACTONEs Y Nelo. Definicién 1.3.11. Sea R una relacién de X en Y,AcX B A bajo la relacion de R y la imagen inversa de B bajo R s , i Y. imagen, conjuntos _ - » Fespectiva, le yi RIA] = (ye Y | existe x € A tal que (sy) € Ry, Mente, jy RB] = {x eX | existey eB tal que (x, y) ER) Ejemplo 1.3.12. Sean X = {a,b,c,d,e}, Y = {e, f,g,h, ily R = ((a, j), (4,8), (c,h), (e, e)}. Entonces Dom(R) = {a,c, e} y que Jm(R) = {j, g,h, e}. Si A, = {a,d}, Az = {b, c,d}, Az = {b, d}, entonces RL4,] = {; Ris] = 2. 1= tial, RA] = thy Si By = {e, fig), Bo = (g, Jj}, Bs = (fi), entonces R-![B,] = {e, al, RB, y R"'[B3] = @. 2} = fa Figura 8. Ilustracion de la relacion R = {(a, j), (a, g),(c, A), (e,e)} Algunas relaciones se pueden “componer” de la siguiente manera: Definicién 1.3.13. Sean R, y R relaciones de X en Y y de Y en Z aan mente. La composicién de Ry con R2, denotada por Rz © Ry, es a relacion & en Z dada por Rz, © Ry = {(x,z) | existe y € Y tal que (x,y) € Ri y(y,2) € Ro} yelacdy (dc) (edly Ejemplo 1.3.14. Consideremos los conjuntos X = {a,b,c,d,¢}, Z = {a,b,c,d, f,g} y las relaciones R = {(a,a), (a,c), (a4), (6, ©),ESFM GURUS wence 4 i ‘= eo a INTRODUCCION. AL CALCULO. LUENGAS RAMIREZ RICARDO KAZIMIERZ KURATOWSKI Profesor de, Mateméti NORIEGA EDITORES Wy EDITORIAL LIMUSA Mexico ¢ ESPANA ¢ VENEZUELA © ARGENTINA COLOMBIA « PUERTO RICOPrefacio a la edicién en inglés ... Prefacio a la edicién en polaco .. CONTENIDO I. SUCESIONES Y SERIES 1. Introduccién Vd Diversas clases de ntimeros .............00- 000 1.2 El principio de induccién matematica . 1.3 La férmula del binomio de Newton 1.4.* Desigualdad de Schwarz ........... 1.5. 1.6. 1.7 El principio de continuidad (Dedekind) Valor absoluto de un numero Conjuntos acotados. Cota superior e inferior de un CONjUNO 2.2... cece nee eee eee 1.8.* El tratamiento axiomatico de los ntimeros reales ... 1.9.* Numeros reales como conjuntos de nimeros racio- nales Ejercicios del § 1 2. Sucesiones infinitas 2.1. Definicién y ejemplos 2.2. Nocidn de limite .... 2.3. Sucesiones acotadas . : 2.4. Operaciones son sucesiones 2.5. Otras propiedades del limite . 2.6. Subsucesiones . . 2.7. Teorema de Cauchy 2.8. Divergencia a o . 2.9. Ejemplos - 2.10. El ndmero e575. agieee eer sty hems 1 aph seis 2.11.* Sucesiones de las medias aritméticas y geométricas 5