Una buena elección de cardinal

Ayer recibí la estupenda noticia que en el curso de Funciones Reales que se dicta en la FaMAFUNC, demostraron el Teorema de Cantor-Schröder-Bernstein (algunos omiten uno de los nombres, pero en cualquier caso es un teorema con “doble apellido”). Este teorema dice que, dados dos conjuntos $X$ e $Y$, si hay una inyección $f:X\to Y$ y otra $g:Y\to X$, entonces debe haber una biyección entre ambos. Si convenimos en decir que “$X$ tiene al menos el mismo tamaño que $Y$” (para abreviar, $X\leq_c Y$) siempre que $X$ se inyecte en $Y$, entonces el Teorema CSB dice que $\leq_c$ es antisimétrica, módulo una biyección. Y luego es un orden parcial, puesto que es obviamente reflexiva y transitiva. Continue reading