Hiperespacios de espacios fuertemente completos

Ponente(s): Daniel Roberto Jardón Arcos

Un espacio $X$ es fuertemente completo o ultracompleto, si $\beta X\setminus X$ es hemicompacto. Todo espacio espacio localmente compacto es ultracompleto y todo ultracompleto es Cech completo. El espacio $X=[0,1]\setminus \{1,1/2,1/3,\dots \}$ es ultracompleto, pero $K(X)$, el hipérespacio de compactos no vacíos de $X$ con la topología de Vietoris, no es ultracompleto. Daremos algunos ejemplos de espacios con hiperespacios ultracompletos.