Conveniently Hoelder homomorphisms are smooth in the convenient sense
Abstract
Description
We show that every 'conveniently Hoelder' homomorphism between Lie groups in the sense of convenient differential calculus is smooth (in the convenient sense). In particular, every Lip^0 homomorphism is smooth.
25 pages, LaTeX; v2: minor improvements, typos corrected
25 pages, LaTeX; v2: minor improvements, typos corrected