Expositor: Luis Eduardo García Hernández
Institución: Instituto de Matemáticas, UNAM
El teorema de Tychonoff en la categoría de espacios topológicos establece que el producto topológico de espacios es compacto si y sólo si los espacios factores son compactos. En la categoría de locales (categoria de álgebras de Heyting que son retículas completas) también es posible definir la noción de compacidad y de producto. El objetivo de la platica es bosquejar los conceptos básicos que involucran a los locales para posteriormente demostrar el teorema de Tychonoff en esta nueva categoría. Algo que diferencía a este resultado del teorema de Tychonoff en espacios topológicos es que en esta categoría el teorema es un resultado que no depende del axioma de elección puesto que la prueba es puramente constructiva.
Temas: