A simple proof that $C^{\infty }({\mathbf{R}}^n,U(1))$ does not have a Haar measure

Abstract

We give a simple proof that there does not exist a Haar measure on the group $C^{\infty }({\mathbf{R}}^n,U(1))$.

Revtex, 2 pages