ポントリャーギン双対
Pontryagin duality asserts that the functor