Guia Teorico Practica ‘ RELACIONES DEFINIDAS EN UN CONJUNTO: : Relaciones de orden MATEMATICA DISCRETA Coordinadora de la materia y Autora de la guia: Lic. Maria Horfensia Arriola Carreras: Licenciatura en Sistemas y Licenciatura en Matematica a Ediciones Universidad Caece - serie Apuntes y GuiasRELACIONES DEFINIDAS EN UN CONJUNTO. DadaRCAxA conA#® © Resteflexiva siien A: Vx xR x (0 bien (x, x) € R) © Res simétrica sii en A: Vx: Wy: Ry => Rx) @ Res aatisimétrica sii en A: Vx: Vy: (x Ry ax #y) => ¥RX) sien A: ¥x, Vy: (x Ry Ay Rx) =2x=y) © Res tiansitiva sit en A: ¥x: Vy: Wz: (x Ry Ay R 7) => xR2) Res de equivalencia sii R es reflexiva, simétrica y transitiva. Res de orden sii R ¢s reflexiva, antisimétrica y transitive Cuestiones de nota (o BnAssixRy yRes de ordense indicaré: x 4 y se leer’: “precede ay”, Six 4 y xy, se puede indicar x < y se leeva! : “x precede estrictamente a y” : @ En AjsixRy yResde equivalencia se indicaré x ~y se leerd: “x es equivalente a y”. Ejemplos: v En Z: xRysiixty<1 Es veflexiva? Rx siixtxxtyty+z<2 (propiedad de ‘<") ext dy $2<2 eoxtz<2-2y (propiedad de “<") fextzs) Esto querrd decir que R.no es transitiva ya que por ejemplo: Si se considera que. 2 2y =2~ 2 (-4) = 10 y entonces de xt z < 10 no se desprende ‘que necesariamente xt 2 <1. Completemos ef caso tomando por ejemplo x y z de modo que x + z=4, KR~4 y~4 Ra. Concluyendo; 2R-4 y-4AR2yIR2 Asi R nies de orden ni de equivalencia, Observacion: La gréfica de una relacién (en caso de poder efectuarla) offece informaci nal respecte,{Como detectar através de la grifics si une relaion eno no reflexiva, simétrica, antisimétrica, transitiva? Y EnR. xSysii xy €Z iEs reflexiva? 5 eZ ee Esto querré decir que S es reflexiva. xSx sii {Ee simétrica? lezen ti* azo ysx (dofinicién de S | propiedad de enteros | definicidn de S) Esto querra decir que § es simétrica GEs antisimétrica? KSYAYSKe Meza KeZatkeZ "> ok 2 eo ake Z:ysx~2k. Prey (definicién de $ | simplificaci6n) Asi por ejemplo 2R0 AOR2 042 Esto querré decir que $.no es antisimétsion, Gis transitiva? xoy xSyay8ze eZa 2 YeZ eo xiz (Definicin de $ | suma certada en Z | definicién de S) Esto querra decir que § es transitivaAsi por ejemplo (1, 2) TL, 3). De donde resulta que Tmo es anti 1,3) A900, 2#E1, 3) étrica Es transitive? @bH)TE AAC ATEN clatelsleHel plaHel © @Iel) (Definicign de T | transitividad de la igualdad | definicion de T) De donde T es transitiva. V Bn A= {rit 68 recta no horizontal de} plano real}: r Mr sii tyr tiene Ia misma pendiente. Bs rellexiva? rMrsii ry rtienen la misma pendiente @ cualquiera sea In recta De donde Mes r gks simétrica? £M©. siir yr’ tienen la misma pendiente sii’ yr tienen la misma pendiente sii r’ M1, De donde Mes simé Es antisimétricn? Par Mr @ryr' tienen la misma pendiente f> Mr Por ejemplo si r:y=2x-+1 y r'iy=2x; ry.r"tienen como pendiente “2” pero son distintas De donde M sio es antisimétrica GBs transitiva? EMPAR Me" ery r' tienen la mismas pendiente yr’ y+" tienen Ia misma pendiente, ‘cory r” tienen la mismas pendiente. ore. De donde Mes sransitiva.En cuanto a la grafiea... Entonces In grifica esté dada por una familia de rectas paralelas con pendiente igual a’ y ordenada al origen “pat” VY EnR® (a,b) T (c,d) sii lal lel GEs reflexiva? (a, b) T@, 6) sii al @® para cualquier asignacién de a De donde resulta que T.¢s reflexiva Ges simétrica? ab) Ted © lal lol lel= ll od Te b) (Definicidn de T [simetria de la igualdad | definicién de T) De donde resulta que Tessimétrica, : Es antisimétrica? EHTedacdTanelatelrleRELACIONES DE ORDEN Determinadas circunstancias llevaran a querer comparar fos clementos de un conjunto: ids para acomodatlos en un orden apropiado. Asi los ejemplos mas caracteristicos son: ¥ (NS DS ¥ (Ry 2); YR Si ¥ P@),c) Y_EN EL CASO DE TRABAJAR CON CONJUNTOS ORDENABOS FINITOS, TENDRA SENTIDO INTRODUCIR CIER'TO TIPO DE GRAFICO: EL DIAGRAMA DE HASSE El diagrama de Hasse es una figura que consta de puntos del plano o el espacio ctiquetados por elementos de un conjunto finito A y unidos por seymentos de recta, colocando b por sobre a sia “ b y de modo tal que b cubra a a: es decir, que no hay otro elemento c tal que: aS ¢ Sb, Si hay segmento que una acon b. Por otra parte considerando la transitividad de R resultaré que: x 4 y 0 bien puede: pasarse de x a y por un trayecto ascendent Asi por ejemplo: Y El diagrama representa a fa relaciond oD En cambio © no un diagrama de Hasse dado que b no cubre a e t : as 1. Qué segmento se podria quitar para que se convierta en un diagrama de Hasse? Elementos particulares de un conjunte ordenado (A,<)con Ac B Primer elemento o minimo: m € Acs minimo de (A,S) sii, Wx: (ce A=> mx) Propiedad: Si un conjunto ordenado tiene minimo, es tinico. D/ imal y m2 € Ason minimos de (Ars ): ml m2 (por ser mu: minima) y m2-6 mnl(Por ser m2: minimo), entonoes dado que la relacién es antisimétrica: mt = m2. Ultimo elemento 0 maximo: M.-Aes maximo de(A,4) sii Vx: (x € A= x6 M) Propiedad: Si un conjunto ordenado tiene maximo, D/ Analoga a la de minimo. ‘ Cotas Superioves ¢ Inferiores: ¢ © Bes cota superior de A sii Vx: (x € A => x4)| © Bes cota inferior de A sii ¥x: (x € A=> 04x) Propiedades: 1) Si un conjunto ordenado tiene maximo (minimo), este ¢s cota superior (inferior) de cualquier conjunto no vacio del mismo Hipotesis) M: maximo de (AS ); x. A; x 2 Tesis) M es cota superior de X D/Wx: xe X=>xeA (KA) 1 =>xSM_— (M: maximo de (A;4) (demostracion andioga para a otra proposicigg) 2) Si una cota superior (inferior) de x precede (es precedida) a (por) otro clemento de As dicho elemento también es cota superior (inferior) de x : Hipétesis) c: cota superior de x, oS k con k © A. Tesis) k: cota superior de X D/ Wx: xe X= x6 cro ke (hipotesis) so xk (transitividad des) » (demostracién anéloga para la otra proposicién) Suprema ¢ Infimo: 5 B es.un supremo de A sii{ 1) s es cota superior de A = 2) We: (c es cota superior de A => 9 ©) i. B esun infimo de A sii) ies cota inferior de A y 2) Ve: (ces cota inferior de A => esi) Propiedades: 1), El supremo (jnfimo) es fa minima (maxima) cota superior (inferior). Esto. surge inmediatamente de la definicion de supremo (infimo), 2) Si Atiene maximo (minimo), este coincidg con ef supremo (infimo), Hipdtesis) M: maximo de A esis) M: supremo de A D/ I) Por hipatesis y dado que A < A; por 1) de cotas, M es cota superior de A. 2) We: ¢: cota superior de A => Vxi(Qx € A=> x60) Me A => Msc (demostracién andloga para la otra proposicidn).Elementos matimales y minimales: Me A: maximal de A si m @ A: minimal de A sii Bx: (x € A-{M} AM4x) 3x: (x € A-{m} A xs m) Propiedades: 1) Si'un conjunto ordenado tiene maximo (minimo), este resulta ser ef Gnico maximal (minimal), Esto surge inmediatamente de la definicidyi de maximo (minimo). 2) Todo conjunto ordenado finito posee af menos un elemento maximal (minimal) D/ Dado A={a1, a, ....., an}; armemos un Arbol de bisqueda de maximal, Ss i , aL maximal ay; no maximal sii Ja; ¢ A -(a1}: a4 4% ee : ‘ay maximal ‘az no maximal sit lay & A ~{an,a5}: 01 435 — ay; maximal aj, no maximal Dado que el conjunto es finito el Arbol de bisqueda de maximal tendré alo sumo nivel ny quedando indicado en la rama izquierda un maximal (idem para bisqueda de minimal), Asi por ejemplo en los conjuntos ordenados: 4) @s) (C4) t gH z Y y x y considerando X, Y ,Z subconjuntos de A, B, C respectivamente resultaaiinimo imdximno ‘minimales maximales ota superion cota inferior supremo infimo e Algunas caracteristicas de los conjuntgs ordenades: El conjunto ordenado (A;s) esté: ‘Totalmente ordenado: (orden lineal) sii en A: Wx: Vy: (x6 y V_ yx) Los conjuntos totalmente ordenados estiin caracterizados por dingramas sin ramificaciones, Parcialmente ordenados: i no esta totalmente ordenado sii en A: Sx: By: (x4 y Ay4 x) Bien ordenado: i todo subconjunto no vacio tiene minimo. Proposicién: ‘Todo buen orden es total.D/ Por contrareciproco si (AA) esté parcialmente ordenado sera posible encontrar en A: x © y tal qué xf y yy}; con lol cual el subconjunto de A: (x,y} eareceria de minimo y entonces (AS ) no estaria bien ordenado. Hallemos abora los elementos particulares de los siguientes conjuntes ordenados. 1) &D XK, Xap. eeskn} Com XN 2) B,D conBc Diz i 12 3) (H, ©) con A=(1, 2, 3} diagrama A y H=((1)}, GH CPA) 1, a, 3} {2,3} » 3) 1)12 4)D= (atl, b-1}, 5) con Dc [a,b} —— mimo, mninimales Ejercicios: 1) Determinar fos elementos particulares de los sig ordenado (R, =): a) (A; 2) con A= (x € R/x= 1 conn e N} n b) @; <) con B = (x € Qix#<2} ©) (C,<)conC= (x eR/x=23+2n conn N} ” 2) Dados los conjuntos ordenados: (A, Rj) y (B, Ra) y considerando la relacién Ry definida probar que ((AxB, Rs) es un conjunto ordenado, nes subconjuntos del conjunte ‘Asi por ejemplo; si fos diegramas de Hasse correspondientes a las relaciones de orden Ry y Ry son’ 4 B © (A, Ra) (8, Ba)El diagrama de Hasse correspondiente al conjunto ordenado (AxB, Ra) ser’: (o, BY G0) (9) > (@, BY a) (ae)PRACTICA RELACIONES DE ORDEN Relacién de orden definida en un conjunto :Definicidn, ejemplos. Representacién de relaciones de orden definidas en un conjunto finito diagramas de Hasse, matrices asociadas, Elementos notables de un conjunto ordenado. Propiedades basicas. Caracteristicas de los conjuntos ordenados : conjuntos parcial y fotalmente ordenados, conjuntos bien ordenados. , > > > > CONCEPTOS PREVIOS > Dados dos conjuntos A y B, se llama relacién binaria entre A y B (0 simplemente relacién definida en A, si A = B), a todo subconjunto de A X B, ! esto es RC A X Bo bien por comprension R= {(x, y)/ (x,y) ¢ AxBaA P(x, y)} con: > Dominio de R=D(R)= {x/xe Andy: (ye BaxRy)}CA > Imagen de R=1(R)= fy/ye BAIx: (KE AAXRy}CB > “Relacién inversa = R= {(x, y)/ (% y)€ BX AA (y,x) € AXB} > Composicién de relaciones: Dadas las relaciones R c (A X B) y S c (B X C) se puede construir la relacion composicié SoRCAXC,SOR= (x, 2)/ (x, 2) € AXCA Ay: (x, y) © RAG 2E S} Por ejemplo: a Dados los conjuntos A = {1,2,3,4.5}, B= (a, b, ¢, de, f} y C* (xy'ait I y las | ui telaciones RG AX By SB XC: i R= {(1, a), 2,4), 2, 5), 8,0), AD}, 8 = (a, (62), (6,9 ED} : Queda definida fa relaci6n $6 R= {(1, x), (2, »), 2,0, 4, D}- E Observacién: E Si la relacién Rc A X B tiene la particularidad de que D (R) = A y todo elemento de A tiene una tnica imagen, se dira que R resulta ser una funcién de A en B, que podrs clasificarse en: . > Funcién inyectiva, en el caso de que a elementos distintos del dominio les ; corresponda distintas imigenes. > Funcién sobreyectiva en el caso de que I (R) = B > Funcién biyectiva en el caso de ser inyectiva y sobreyet1s ‘ 1. : Si se consideran las representaciones de una relacién definida en un conjunto A= {Aj d2085 1siG, JER Osi, eR > Matriz de R=M(R)= [my], 600 my -| y > Digrafo deR Grdfico consistente en puntos del plano representativos de los elementos del conjunto A, de modo tal que si (a,,a,)€ Rse unirén a, y a,mediante un arco de curva dirigido de a, hacia a, i Indicar las matrices y digrafos correspondientes a las relaciones R y S definidas en A = (1,23, 4, 6}: aRbsiia e§ o*ho : reflexiva, simétrica, antisimétrica y tran orden analizar si el conjunto esta parcial o totalmente ordenado, bien ordenado 0 EnR: xRysii |x-y] =1 xSysii x?+y?21 En P(A) donde A es un conjunto cualquiera: EnC: X RY sii XAB=Y OB, con Be P(A) fijo XS Y sii exixte una funcidn biyectiva de X en Y +b.) RHA i)sii@scybsd) (a+b. i) S(¢ +4. i) sii [al =|e] Enel conjunto de rectas de R? Rss sii ry s tienen algin punto en comin 1S ssiires perpendicular as juientes relaciones definidas en un conjunto si iva y en caso de ser una relabién de 9. Dados los siguientes conjuntos ordenados a través de diagramas de Hasse, anatizar en cada caso si el conjunto esta total o parcialmente ordenado, bien ordenado 0,n0,y hallar los elementos particulares de-X cA 6 619 Observaci EI diagrama de ‘Hasse es una figura que consta de puntos del plano o del espacio ctiquetados por elementos de un conjunto finito A y similar al digrafo de fa relacién, pero con las siguientes diferencias: % Se coloca “b” por sobre “a” siempre que a R b, por lo cual pueden syprimirse las direcciones de los arcos del digrafo. *, Como toda relacién es reflexiva, en cada punto “a” habré un arco con exfremo inicial y final, como lo habré en todos se conyiene en suprimirlos todo: * Como toda relacién de orden es transitiva, se suprimiran también los arcos que se obtengan al hallar el cierre transitivo de los restantes. . Poteemplo —® se reemplazara por | ct — a En lugar de utilizar arcos de curva se utilizan segmentos. 10. * Dados los siguientes conjuntos ordenados, analizar en cada caso si el orden es total- parcial, bien ordenado 0 no y hallar los elementos patticulares del subconjunto X, indicado en cada caso: a (Dygs|) con X= {2,3, 6} ¥ Dyg = (X/ XE N A xes divisor de 36) b. (N,’]) con X= (4, 8, 12} ©. (RS) conX = {x/xe RAX=+ Ane N} ” 11, Dado el par (A, S) con: a Ap {, 1), 2,4), i 2), (2, 8), (4; 8), (8, 8)F ¥ (a,b) S (ed) sii (a loa bl d) b. A= (34), (1,4), C25), 7)} ¥ (ab) Sd) sii (a Sea bE d) Probar que (N?, $) y (R?, 8) son conjuntos ordenados y hallar elementos notables de (A, 8) conA GN? enayA & R?enb. 12. Demostrar que: a, SiResunordenen A, R es un orden en A b. Si Res un orden total, también lo es R™ | Observacién | SiAes un conjunto finito, M(R")=[M(Ryt" l20 . 13. Sea (E, R) un conjunto ordenado y AE. Analizar la correspondencia entre los elementos particulares del subconjunto ordenado (A, R) con los de (A, R“') 14, Definir en caso de ser posible en: » +a, AS {a,b,c,d,e } una relacién de orden de modo que no haya minimo, el orden no sea total y el subconjunto {a, b } admita como tinicas cotas superiores a “d” y a “e”, . b. A= {a, b, d} un buen orden tal que el subconjunto {a, b } admita como tinica cota ' + inferior a “a”. 8 c. A= {I,2,3,4)} un orden parcial tal que 3 sea el maximo y el subconjunto {1, 4 } admita como tnica cota superior a “3”. 15. Demostrar que: mente. Si R y R™ son buenos drdenes en A, todo subconjunto no vacio de A tiene minimo 4 a. Si Res un buen orden en A, R™ no lo es nec b. 16, Para un conjunto cualquiera A y considerando (P(A), <), probar que para +, Fe PlAjes: a, infmoF = 1S b. SupremoF = US sr Sugerencia: verificar previamente el resultado por ejemplo para A= {1, 2, 3} y F={{2}, (2,3})) : ‘RESPUESTAS PRACTICA RELACIONES DE ORDEN. 1. M® 7 sesso 11 Heat ot 00 00 cose eA cB representa set la matciz de contactos “inditectos"entre el grupo de enfermos y el fercer grupo de personas. by. Las personas mis susceptibles de contraer Ia enfermedad son: Q),Q3,Qs ¥ Q& (lener en cuenta cantidgd de 1's por columna) y M(V(B, C)) = 1010 a. M(W(A,B)=]O 1 1d ooo1 1 10 10 oe (no se esté considerando la cantidad de vuelos de un acropuerto a otro sino el hecho ’ ‘de que haya 0 no vuelo de un aeropuerto a otro) b. Elefemento ubicado en la posicién (i,j) de la matriz producto, indica si hay vuielo del pais A al pais C pasando por el pais B. Dominio A= {eh Imagen A= {eh A > Cada una de las matrices transpuestas representa a fa relaci relacién correspondiente inyersa de fa “ ‘Atributos de las relaciones, R. T Reflexiva no, ‘Simétrica ‘Antisimétrica Transi5. , a R= {(a,a),(b,b)}, S= (a), (6), @ OD}, b. Hay 19 relaciones de orden (sugerencia para cl totales de los parciales) 8 ‘Atributos de fe b. T={(a, a), (6, b), 1 conteo: discri (b,a)}. 2 inar los 6rdenes Jas relaciones R 8 R on 7 Ss Reflexiva no_|_no si si si si no, Simétrica si si si no | si si si Antisimétrica no_|- no. no, si_|_no_|_no no Transitive 9. En los cuatro casos el conjunto e bien ordenado. Los elementos notables se expli no_| no sta parcialmente ordenado y por ende no es fan en si si no Ja siguiente tabla: st al Elementos notables de X. Minimo d. ‘Minimales ‘Maximo, ‘Maximales Colas superiores Supremo Cotas inferiores Infimo 10. a. El conjunto esta parcialmente o rdenado y por ende no esta bien ordenado BL. Bleonfunto esta parcialmente ordenado y por ende no esta bien ordenado, c. El conjunto esti totalmerite ordenado y no esti bien ordenado. Elementos a. b. c notables de X_ Minimo no q no Minimales 23 4 no ‘Maximo 6 no 1 ; Maximales 6 8,12 1 ' Cotas superiores | 6 12,18y | Nimeros | (1, =) 36 naturales miltiplos de 24 ‘Supremo 6 24 Cotas inferiores 1 T2y4 Infimo t 4W. : Elementos a. b. notables de A Minimo a) G4) Minimales 1) (3,4) 1 Maximo 8) no ‘Maximales 8) 4.7) Cotas superiores | {(x, y)e N7/| Ux,y)e RPL wy ed) | 2hy27) Supremo (8.8) (ae Golas inferiores | (1,1) [aye RY x<-3,y<4} Infimo Gh (3.4) 12. . Correspondencia entre elementos notables de (A, R)y (A, R") (en caso de que estuvieran definidos) : Minimo de (A, R) Maximo de (A, R“) Minimales de (A, R) Maximales de (A, R“') ‘Maximo de (A, R) Minimo de (A, R"') Maximales de (A, R) Minimales de (A, R) ‘Cotas superiores de (A, R) Cotas inferiores de (A, R) Supremo de (A, R) Infimo de (A, R!) Gotas inferiores de (A, R) Cotas superiores de (A, R-') Infimo de (A, R) Supremo de (A, R”!) 13. | Es posible definir la relacién pedida en a. y ¢4 pero no en b. (resta justificar estas respuestas)