Let be a locally compact Abelian Group. Let be the group of all homeomorphisms , in the compact open topology. Then is also a locally compact Abelian Group, where the asterisk defines a contravariant equivalence of the category of locally compact Abelian groups with itself. The natural mapping , sending to , where , is an isomorphism and a Homeomorphism. Under this equivalence, compact groups are sent to discrete groups and vice versa.
See also Abelian Group, Homeomorphism