The Pontryagin-van Kampen duality theorem and the Bochner theorem on positive-definite functions are known to be true for certain abelian topological groups that are not ...