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

Wei-Min Sun, Xiang-Song Chen, Fan Wang

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