Título

La técnica de forcing y algunas aplicaciones

Autor

SERGIO ATAYAN GARCIA BALAN

Colaborador

IVAN MARTINEZ RUIZ (Asesor de tesis)

Nivel de Acceso

Acceso Abierto

Licencia

http://creativecommons.org/licenses/by-nc-nd/4.0

Materias

Teoría de conjuntos--Investigación - (LCC) Hipótesis del continuo - (LCC) Teoría de modelos - (LCC) Forcing (Modelo, Teoría) - (LCC) CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI)

Resumen o descripción

“La hipótesis del continuo (HC), fue uno de los problemas que Hilbert presento como los más importantes (a resolver), en el Congreso Internacional de Maten áticos de 1900. HC nos dice que si tomamos un subconjunto infinito A de números reales, entonces existe una biyección entre A y N o existe una biyección entre A y R. Georg Cantor dedico gran parte de su vida a probar la validez de HC sin tener ´éxito. En 1940 Godel construye un modelo de ZFE donde se valida HC dando así esperanzas al trabajo iniciado por Cantor. Sin embargo, en 1963 Paul Cohen construye un modelo de ZFE donde se verifica la negación de HC. Juntando estos dos resultados, obtenemos que HC es independiente de ZFE, lo cual quiere decir que trabajando en ZFE no podemos probar ni refutar HC. Como conclusión, Cantor jamás hubiera podido probar HC. En este trabajo nos ocupamos de la técnica de forcing introducida por Cohen en su demostración de la consistencia de la negación de HC. Su importancia radica en la cantidad de aplicaciones que ha tenido desde su aparición. Resulta ser una herramienta muy eficaz en la construcción de diversos modelos de la teoría de conjuntos.”

Benemérita Universidad Autónoma de Puebla

Fecha de publicación

10 de julio de 2014

Tipo de publicación

Tesis de maestría

Recurso de información

https://hdl.handle.net/20.500.12371/8511

Formato

application/pdf

Idioma

Español

Audiencia

Público en general

Repositorio Orígen

Repositorio Institucional de Acceso Abierto RIAA-BUAP

Descargas

0