Pontryagin duality
That formula_2 being compact implies formula_3 is discrete or that formula_2 being discrete implies that formula_3 is compact is an elementary consequence of the definition of the compact-open topology on formula_3 and does not need Pontryagin duality. One uses Pontryagin duality to prove the converses.