Algunos resultados del lema del ultrafiltro
Date
2022-08-18
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"La teoría de conjuntos es una rama de la lógica matemática que fue originada por Georg Cantor en 1874, quien al estudiar series trigonométricas extendió su interés en analizar la equipotencia de ciertos conjuntos. Mostró que el conjunto de los números racionales tiene el mismo número de elementos que el conjunto de los números enteros, además de probar la existencia de conjuntos infinitos más grandes que otros conjuntos infinitos. Los primeros intentos para formalizar la teoría de conjuntos generaron en su tiempo controversia por la naturaleza paradójica de algunos resultados. Posteriormente Ernest Zermelo formuló el Axioma de elección para probar que todo conjunto puede ser bien ordenado, obteniendo así el sistema axiomático actual de la teoría de conjuntos ZFC. Después, en 1938 Kurt Gödel demostró que si se asume la consistencia de ZF es posible demostrar la consistencia de ZF C y, por otro lado en 1963 Paul Cohen creó un modelo matemático que cumplía los axiomas de ZF y la negación del Axioma de elección usando la técnica de forzamiento. Nuestro objetivo en esta tesis es analizar algunos resultados que usan el Lema del ultrafiltro (ó alguna de sus equivalencias) en vez del Axioma de elección".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading