82 Capitulo 7 Relaciones: La segunda vuelta GEs (A, ®) un reticulo? {Existe un elemento maximal? ;Un elemento minimal? ;Un elemento ‘méximo? :Un elemento minimo? 30. Sea (A, R) un conjunto totalmente ordenado. Si para todo +B C A el conjunto totalmente ordenado (B, (B x B) 0 ) tiene un elemento mfaimo, entonces se dice que (A, 2) esté bien ordenado. (Vimos esta idea en la secci6n 4.1, donde usamos el buen orden de (Z*. S) para cstablecer el principio de induccién matemética.) Para cada uno de los siguientes conjuntos totalmente ordenados, determine si el conjunto esté bien ordenado, a) (N.S) ») (Z.5) © (Q,5) 4).(Q*,s) ®) (P,s), donde Pes el conjunto de todos los primos. f) (A, ), donde A es un subconjunto no vacfo de Z* £) A,9,donde B4A CZ yA ces finito 7.4 Relaciones de equivalencia y particiones Como ya observamos en la definicién 7.7, una relacién & sobre un conjunto A es una relaci6n de equivalencia si es reflexiva, simétrica y transitiva. Para cualquier conjunto A # G,larelacin de igualdad es una relaci6n de equivalencia sobre A, donde dos elementos de A estan relacionados si son idénticos; la igualdad establece asf la propiedad de “ser lo mismo” entre los elementos de A. Si consideramos la relaciGn & sobre Z definida por xy si x— y es un maltiplo de 2, entonces & es una relaciGn de equivalencia sobre Z donde todos los enteros pares estén relacionados entre si, al igual que todos los enteros impares. En este caso, por ejemplo, no tenemos que 4 = 8, pero si que 4 28, pues aqui ya no nos preocupamos por el tamatio de un niimero sino solamente por dos propiedades: “paridad” 0 “disparidad”. Esta relaciéa separa a Zen dos subconjuntos formados por los enteros impares y los pares: Z={....-3. =I, 1,3,...]U (...,-4,-2,0, 2,4, .}. Esta separacién de Z es un ejemplo de una particiGn, concepto intimamente ligado al de relacién de equivalencia. En esta seccién analizaremos esa relacién y veremos como nos ayuda a contar el mimero de relaciones de equivalencia sobre un conjunto finito. definicién 7.21 Dado un conjunto A y un conjunto de indices /, sea 8 # A, C A para cada i € /. Entonces {A)}rer es una particién de A si a) A= UA, y b) A;NA;=O, para todos i,j EL tales que i #j. i Cada subconjunto A, es una celda o blogue de la particién. SiA={1,2,3,..., 10}, entonces en cada uno de los siguientes casos se determina una particién de A383 7.4 Relaciones de equivalencia y par Sea A =R y para cada i € Z, sea A;=[i, i+ 1). Emonces {4;}iez ¢3 una partici6n de R. —— Cémo se relacionan las particiones con las relaciones de equivalencia? Sea una relaci6n de equivalencia sobre un conjunto A. Para cualquier x € A, la clase de equivalencia de x, que se denoia con [x], se define como [x] = {y € Aly Rx}. Definimos la relacién & sobre Z como xy si 4 | (x—y), Para esta relacin de equivalen- cia, tenemos que [0]={ ...-8,-4,0,4,8, 12, . (4k |k © Z} (=£...-7,-3,1.5,9,13,...3= (4k + 11K EZ} J=t...-6,-2,2,6, 10, 14, ... }={4k + 2|/KEZ} BJ=4....-5,-1,3,7, 11, 15... }= (4k +3/K EZ}. Ast mismo, tenemos, por ejemplo, que [6] = [2] = [2], [51] = [3] y [17] = [1]. Lo que es més importante, {{0], [1], [2], (31) es una partici6n de Z. (Noia: En este caso, el conjunto de indices de la particin est4 implicito. Si, por ejemplo, ‘Ap= [0], A; = [1], A2= [2] y As = [3], entonces un conjunto posible de indices J (como en la definicién 7.21)es {0, 1, 2, 3}. Cuando a unacoleccisn de conjuntos se le lama particion (de tun conjunto dado) sin que se especifique un conjunto de {ndices, el lector deberd entender quc esa situacién se parece a ésta, en le que el conjunto de indices esta implicito.] Definimos la relacién & sobre el conjunto Z como a Rb si a= b (0 a= +b). Para todo a & Z, tenemos que a? = a?, por lo que a Ra y Kes teflexiva. Sia, b © Zcon ay, entonces a?= b*, lo que implica que 6°= a? o & Sa. En consccuencia, la relacion R es simétrica. Por tltimo, sia, b,c € Z,cona@b y bRe, entoncesa’= By b*=c", porlo que @= Cy a Ke. Esto hace que la relacion sea transitiva. Una vez establecidas las wes propicdades necesarias, ahora sabemos que :¥ es una relacién de equivalencia. {Qué podemos decir de Ia particién correspondiente de Z? En este caso tenemos que [0] = {0}, [1] = [-1] = {-1, 1), (21 = (-2) = {-2.2} yen general, para cualquier n € Z*, (n] = [-n] = {—n, n}. Ademés, tenemos la particidn z= Uin= Um=0U( Oenn) =U (Uram). 20 I — Estos ejemplos nos llevan a la siguiente situaci6n general. TEOREMA 7.6 Sies una relacién de equivalencia sobre un conjuntoA, yx.» € A, entonces (a) x € [x], (b) xBysi y sélosi [x] = fy y (©) [x] = b] oe] N D1 = 6.384 Capitulo 7 Relaciones: La sequnda vuelta Demostracién: a) Este resultado se sigue de la propiedad reflexiva de . b) Six&y, seaw EL]. Entonces w Rx; y, como es transitiva, w Ry. Por lo tanto,w & Dl] y Le] S [y]. Como & es simétrica, x Ry => y Rx. Asi, sit E [y], entonces :Ry y, porla propiedad transitiva,t'Rx. Por lo tanto, 1 © [x] y [y] C [x]. Enconsecuencis, [x] =D Recfprocamente, sea [2] = [y]. Como x [x] por la parte (a), entonces.x € [y] 0 xy. ¢) Esta propiedad indica que dos clases de equivalencia slo pueden relacionarse en tuna de dos formas: 0 son idénticas 0 son disjuntas. Supongamos que [x] # [(y]; mostraremos que esto implica que [x] 9 [] = 6.Si [x] 1 [y] #9, entonces existe v EA tal que VE [x] y v E [y]. Entonces v Rx, VR yy, como & es simétrica, x Rv. Ahora bién, (x Rv y v Ry) = x By, por la propiedad transitiva. Ademés, x y => [x] = [y] por la parte (b). Esto contradice la hipétesis de que [4] #[,], por lo que debemos rechazar la hipotesis de que [x] N[y] +B, de donde se sigue el resultado. Observe que siZ es una relaciGn de equivalencia sobre A, entonces, por las partes (a) y (c) del teorema 7.6, las distintas clases de equivalencia determinadas por® nos proporcio- nan una particidn de A. a) SiA={1, 2,3,4,5) yR={(1, 1), (2,2), (2,3), 3, 2), B, 3), G4, 4), 4,5), 5,4), ‘5, 5)}, entonces 3 es una relacién de equivalencia sobre A. En este caso, [1] = {1}, (2]= (2, 3} = 1B}, [41 = {4.5} = [Sly A =[11 U [21 U [4] con [1] U (2) = 8.19 [4] = By (2] 9 [4] = 9. Asi, ([1), [2], [4]] determina una particién de A b) Consideremos de nuevo la parte (d) del ejemplo 7.16. Tenemos que A= (1, 2, 3,4, 5,6, 7), B= (4, ¥, 2}, ¥f: A > Bes la funcidn sobre f={G.x),(2.z), 3.x). 4.9), 6.2). 6.9), (7.2)}- Ya hemos mostrado que la relacién & definida sobre A como a& b si f(a) - f(b) es una relaci6n de equivalencia. En este caso, f°) ={1,3,73}=[1] (BI=U), f°O) = 4% O=(4] (= (60), oy £7) = (2,5}= [2] (= [5)- ConA =[1] U [4] U 2] =f'(x) UFO) UF determina una particién de A De hecho, para cualesquiera conjuntos no vacfosA, B,sif: A> Bes unafuncion sobre, entonces A = Uses f(b) {f-(0)| 6 € B} nos proporcionan una particién de AL 2), vemos que {f-"(x),f'0).f'@) En ANSI FORTRAN, una sentencia no ejecutable llamada EQUIVALENCE nos permite