A remark to Kuiper's theorem (Q2367232)

Inspired by the theorem of Kuiper, which asserts that the unitary group over a separable infinite dimensional Hilbert space is contractable, and its important consequences the author aims to prove a smooth analogue of this theorem. Instead of a Hilbert space the topological algebra \(A\) of all smooth functions on a compact Lie group \(G\) is considered with the inductive topology. Let \(U^{\infty}(A)\) denote the subset of \({\mathcal L}(A,A)\), the vector space of all continuous linear mappings of \(A\) into \(A\) with the bounded convergence topology, which consists of all elements \(u\) for which \(u^{-1}\in{\mathcal L}(A,A)\) and \(u\) can be extended to a unitary operator on \(L^ 2(G)\). Let \(\rho\) be the representation of \(G\) in \(U^ \infty(A)\) given by \((\rho(x)f)y=f(x^{-1}y)\). The main theorem in the article claims that \(\rho\) is homotopic to \(id\) with the image of the unit element fixed at \(id\) in case \(G\) is a simply connected semi-simple compact Lie group, a classical group or the \(n\)-torus.