Pontryagin duality
Pontryagin duality for topological vector spaces.