topologia:exemplo:arensfortcompacto