Universidad de la Rep blica u Facultad de Ciencias Centro de Matemtica a Prctico 3 a

Introduccin a la Topolog o a Primer semestre 2012

1. Se dice que dos conjuntos ordenados (A, A ) y (B, B ) tienen el mismo tipo de orden si existe una funcin biyectiva f : A B tal que a A b sii f (a) B f (b). o Probar que los conjuntos (1, 1) y R, con sus rdenes habituales, tienen el mismo tipo de orden. o 2. Dados dos conjuntos ordenados (A, A ) y (B, B ) se dene el orden lexicogrco (orden del diccionario) a a la relacin denida por: o (a, b) (a , b ) si a a o si a = a y b b .

a) Probar que es efectivamente una relacin de orden. o b) Es un orden total cuando A y B lo son? 3. Sea A = {n Z : n 2}. Probar que la relacin m n sii m divide a n es una relacin de orden en o o A. Hallar, si existen, los elementos minimales y los elementos maximales. 4. Sea f : A B una funcin. Se dene en A la relacin : aRa sii f (a) = f (a ). o o a) Probar que R es una relacin de equivalencia en A. o b) Probar que si f es sobreyectiva el espacio cociente A/R tiene el mismo cardinal que B. 5. Sean a y b nmeros reales distintos de cero. Probar que los conjuntos u A = {(x, y) R2 : x2 + y 2 = a2 } y B = {(x, y) R2 : x2 + y 2 = b2 } tienen el mismo cardinal. 6. a) Probar que A B es nito si y slo si A y B son nitos. o b) Sean A y B conjuntos no vac Probar que A B es nito si y slo si A y B son nitos. os. o 7. Probar que un conjunto es innito sii tiene el mismo cardinal que algn subconjunto propio. u 8. Sean A1 , A2 , ..., An conjuntos numerables. Probar que A1 A2 ... An es numerable. 9. Probar que si A es un conjunto numerable, entonces PF (A), la familia de subconjuntos nitos de A, tambin es numerable. e 10. Si A y B son conjuntos se denen: A + B = (A B) si A y B son disjuntos. A. B = (A B). Sean A, B tales que B es innito y A B Probar que: a) A + B = B. b) Probar que B. B = B. (Sugerencia: Sea L = { (E, fE ) : E B, fE : E E E biyectiva } Encontrar un elemento (M, f ) maximal y probar que B M M para usar lo enterior) 11. Mostrar que el Lema de Zorn implica el siguiente Lema de Kuratowski: Sea A una coleccin de o conjuntos. Supongamos que para toda subcoleccin B de A ordenada por la inclusin propia, la unin de o o o los elementos de B pertenece a A. Entonces A contiene un elemento que no est contenido propiamente a en ningn otro elemento de A. u