En esta nueva unidad comenzaremos a hablar acerca de conjuntos infinitos, para ello necesitamos hablar acerca de la cantidad de elementos que poseen estos conjuntos. En esta sección comenzaremos a entablar una relación entre los elementos de un conjunto y otro, veremos que si podemos establecer una función biyectiva entre dos conjuntos diremos que tales conjuntos son equipotentes. También veremos que pasa si en lugar de una función biyectiva solo tenemos una función inyectiva.
COMAL: Teoría de los Conjuntos - [Detalles]
En este curso en notas tipo blog, comenzamos con una introducción a los axiomas de ZFC y sus consecuencias. A partir de ahí, definimos relaciones, funciones y órdenes. Definimos a los números naturales desde la perspectiva de conjuntos inductivos. Exploramos la definición de equipotencia y finitud, hablando un poco de aritmética cardinal. Terminamos discutiendo el axioma de elección, sus equivalencias y consecuencias. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.