Localmente compacto, ω ω_1 spaces-espacios compactos