¿Para qué inventaríamos las matemáticas del siglo XX?

Uno de Lepe tiene un espacio topológico E y un subespacio suyo A (podemos coger A cerrado si queremos), y hace el cociente E/A, y construye el espacio de Stone-Cech beta(E/A), y luego coge los conjuntos de Baire B0(beta(E/A)), y entonces formamos filtros con ellos, Filt(beta(E/A);B0) o yo qué sé, pero tampoco todos, sino solo los que además cumplen una propiedad especial (en particular son filtros principales).

Y la pregunta es, claro, si todos esos filtros provienen de "pasar al cociente" filtros de conjuntos de Baire de beta(E), identificando todos los puntos de A en sus conjuntos.

Ni idea, ¿eh?

A lo mejor si lo pienso hasta es fácil, pero es que me desanima mucho.