topologia:limitimplicacompacto