A simple proof that $C^{\infty}({\bf 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}({\bf R}^n,U(1))$.