(1) Sea,para .
(a)Probar que para cada , existe una sucesión de conjuntos tal que y .
(b)Hallar el cardinal del conjunto de puntos de para los cuales hay más de dos elecciones posibles de encajes .


(2)Sea un conjunto y sea .
(a)Probar que es infinito si y solo si existe tal que , se tiene que .
(b).Si es infinito,calcular

(3)Sea un espacio métrico y sea un subconjunto de .Consideramos y sea la familia de abiertos que contienen a .Probar la validez de las siguientes expresiones:
,

(4)Probar que los siguientes espacios son separables.
(a).
(b) donde es compacto

(5)Sea definida por
(a)Probar que es un espacio métrico separable y que y no son topológicamente equivalentes.
(b)¿Es completo?

Alguien me tira un hint para el 2.b? Sospecho que tiene el mismo cardinal que a, pero no logro encontrarme la inyección correcta.

....Supongo que hay que usar el 2.a pero no se cómo

No creo que sea a, fijate que pasa con los naturales...

Si, el otro día lo estuvimos charlando es . Por un lado al estar dentro de P(A), sale que su cardinal es .
Para probar la otra desigualdad, la idea era considerar las funciones de A en A, a cada función asignarle su gráfico. Esta función es inyectiva, y el gráfico es un subconjunto de cardinal a de AxA, que está en biyección con A. Así que componiendo todo, me queda una función inyectiva que va de las funciones de A en A a los subocnjuntos de cardinal a de A. Y entonces me queda que
#