Ponente: Angel Tamariz (Facultad de Ciencias, UNAM)
13/04/2010
de 12:00 a 13:00
Dónde Salón "Graciela Salicrup"
Cualquier espacio considerado en esta plática es Hausdorff y no tiene puntos aislados.
Un espacio topológico X es resoluble si contiene dos subconjuntos densos ajenos. Un espacio es irresoluble si no es resoluble (Hewitt, 1943).
Es posible demostrar que la clase de espacios resolubles contiene clases amplias de espacios topológicos. En particular cualquier espacio localmente compacto y cualquier espacio metrizable es resoluble.
Mostrar espacios irresolubles es más difícil. Hewitt construye este tipo de espacios usando el Axioma de Elección. Posteriormente, otros autores construyen espacios irresolubles usando procesos recursivos infinitos. Otra técnica para construir espacios irresolubles consiste en utilizar familias independientes de conjuntos:
Una familia A de subconjuntos de un conjunto κ es independiente si para cada dos subcolecciones finitas y ajenas B y C de A se cumple: (∩B∈BB) ∩ (∩C∈C(κ\C)) ≠ ∅.
En esta plática veremos algunos resultados y ejemplos de espacios resolubles e irresolubles y veremos cómo se construyen espacios irresolubles a partir de familias independientes. Se plantearán algunos problemas abiertos.
Temas: