Ideales borelianos
Michael Hrusak (CCM-UNAM, Morelia) - martes 7 de agosto, 12 horas
Ponente: Michael Hrusak (CCM-UNAM, Morelia)
Cuándo |
07/08/2012 de 12:00 a 13:00 |
---|---|
Dónde | Salón "Graciela Salicrup" |
Agregar evento al calendario |
vCal iCal |
Resumen:
Una familia I de subconjuntos de un conjunto X forma un ideal si I es cerrada bajo subconjuntos y uniones finitas de sus elementos.
Los ideales sobre conjuntos numerables pueden ser considerados como subespacios del conjunto de Cantor, obteniendo asi su complejidad analítica. Los ideales de complejidad baja ($F_\sigma$ y $F_\sigma\delta$) están naturalmente ligados con submedidas inferiormente semicontinuas. Explicaremos dicha conexión y presentaremos una variedad de ideas involucradas en el estudio de ideales Borelianos, incluyendo juegos infinitos, métodos de combinatoria finita y pruebas de consistencia (forcing).