La topología de "G^" es la de la convergencia uniforme sobre compactos.