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

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

Published 2001-05-16Version 1

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