ポントリャーギン双対
from "A" to the circle group is again locally compact. Pontryagin duality asserts that this functor induces an equivalence of categories