Conjuntos y Combinatoria II Semestre 2011 | Profesor: Rodrigo De Castro_K-~ ) cédigo: Ol (53493 Calificacié (© 1. (20 puntos) Sea $ un conjunto no-vacio cualquiera. Demostrar o refutar: (SCUS. (i) NSCS. (iii) AE Simplica ACUS. (iw) US 4. _, 2 (20 puntos) Dados conjuntos A y B, demostrar que la existencia de los siguientés conjuntos |4_/ se puede garantizar mediante el esquema axiomético de separacién. “ () {AUC:CCB}. (ii) {AUCs CEB}. (iii) (4°: CC BY 103 (20 puntos) Sea f : A—+ B. Demostrar que f es inyectiva si y s6lo si f-[/[X]] = X para ~~ todo subconjunto X de A. Examen Parcial #1 Nombre: Dd On oui. 4. (25 puntos) Sea A un conjunto y R una relacién reflexiva y transitiva sobre A. Sobre A se 1s define la relacién ~ por medio de 7 a~bsiy sélo si aRb y bRa. © (i) Demostrar que ~ es una relacién de equivalencia sobre A. ‘i) Sobre el conjunto cociente A/ ~ se define la relacién < por medio de 8 7 [a] < [}] si y sélo si ab. Demostrar que < que esté bien definida, es decir, no depende de los representantes a y b de las clases de equivalencia [a y [6], respectivamente. & (ii) Demostrar que < es una relacién de orden sobre A/ ~ 5. (15 puntos) Sea A = {a,b,c,d,e,,p.4,7, T} ordenado como se muestra en el diagrama. =_ T TS< a b c Hallar los siguientes sups e infs (si existen). Justificar la respuesta. (i) sup({a,z}) Gi) sup({d,e,2}). (ii) imf({p,g}). © (iv) inf({d,2,}). sect oetMaupet j OS=32L3¢asdos LC i) Ascs F O ebnagagls SHIIL2E IU"E jNso326 A Mss Wy nec 2 hele epConjuntos y Combinatoria II Semestre 2011 Nombre oi 1 Tovt0y Cédigo: OUS3243 _ Calificacién BZ 1- (25 puntos) Para las deniostraciones de ese punto debe utilizar las propiedades y teorei 1 bre niimeros naturales presentados en clase, citandolos explicitamente. Examen Parcial # 2 Profesor: Rodrigo De oe @ toli) Sea $ : N —> Na funcién sucesor definida por $(n) = n-+1, para todo n € N. Demostrar que la funcién sucesor es inyectiva. Slit) Sean €N, n #0. Demostrar que existe un tinico k € N tal que n =k +1. YO 2. (20 puntos) (i) Dar la definicién de producto cartesiano [],<; Ai de una familia de conjuntos {Aj}ier se (ii) Escribir un enunciado equivalente al Axioma de Eleccién en términos del producto carte- L siano. (ii) Sean {Aj}ser y {Bi}ier dos familias de conjuntos indexadas por el mismo conjunto de indices [. Demostrar que si A; C B; para todo i € I, entonces [jc Ai © Tier Be Reciprocamente, demostrar usando el Axioma de Eleccién que si {A;}ier es una familia de conjuntos no-vacios y si []je; Ai C Tier Bis entonces A; C B; para todo i € I. j<,_3+ (15 puntos) La funcién super-exponencial mn se define por medio de la recursién — mt0=m. mt (n+1)=m™™ Justificar la anterior recursién mediante la versin paramétrica del Teorema de Recursién. y, 4+ (20 puntos) (i) Emunciar el Lema de Zorn, yw ~~ (ii) Sea A un conjunto no vacio dado. Utilizar el Lema de Zorn para demostrar que existe una relacién antisimétrica maximal sobre A (es decir, una relacién antisimétrica que no esté contenida propiamente en otra relacién antisimétrica) 5. (20 puntos) Sea A un conjunto dado. Demostrar que existe el conjunto \ - {A,Ax A,(A x A) x A, ((A x A) x A) x A,Conjuntos y Combinatoria II Semestre 2011 Examen Parcial # 3 Profesor: Rodrigo De Castro K. Cor pan eS \ Nombre: bard! AES 4 Cédigo: SOUS 3222 _ Calificacid w 1. (20 puntos) Encontrar una biyeccién explicita entre el intervalo cerrado cerrado de 1 10s reales [1,2] y el intervalo abierto ]1, 2[ we = 2. (20 puntos) Sea {A,}ien una familia de conjuntos enumerables. Por medio de un argumento diagonal demostrar que el producto cartesiano [],eq Ai no es enumerable. 20 3: (20 puntos) Sean y 0 mimeros cardinales, con x > 1. Demostrar, utilizando vinica- mente las definiciones de comparacién y exponenciacién de cardinales, que 1 < n* 4, (20 puntos) Sean A un conjunto infinito y BC A tal que AL <8 Lo (i) Demostrar que A — B es infinito /8)< |A / (ii) Demostrar que A— Bx A. Qo. 5: (20 puntos) Hallar las cardinalidades de los siguientes conjuntos. Justificar las respuestas citando los teoremas utilizados. Respuestas no justificadas no tienen valor. (i) El conjunto de las sucesiones finitas de mimeros enteros, (ii) El conjunto de las sucesiones infinitas de ntimeros enteros. }* (iii) El conjunto de las sucesiones infinitas de ntimeros reales. (iv) El conjunto de las funciones de QenR. fh; (v) P(P(Q). ep ys — 0 i fa Az ; on + Mo N23 xe M LIXCOY D0¢ Onan ¢, shrvk onumen bh um Lh thy OL SUM (cle Ao, Como y dmg a, y Abe i i ake - ee 7 ~ Padi A-&a,a..d YO f-Av pe tA oth oy ft Usa, 7 X b secon], UX=a, Y Pave 7 {Opey X=aj7>4 |S = Entrega de calificaciones de este examer_Lunes 30 de enero (10 AM a 12 M, oficina 405-303) » Examen # 4 (opcional): Jueves Febrero 2.