Usando la teoria delle forme differenziali su d'uno spazio di Banach, si ottengono dei teoremi di Lie per un cappio di Lie Banach G. Se G è compatto si costruisce poi un dififeomorfismo della varietà di tutte le funzioni Cr da G in G.
@article{RLINA_1975_8_58_6_813_0, author = {Aurel Bejancu}, title = {Structure theorems for a Banach Lie loop}, journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti}, volume = {59}, year = {1975}, pages = {813-818}, zbl = {0338.58006}, mrnumber = {0442973}, language = {en}, url = {http://dml.mathdoc.fr/item/RLINA_1975_8_58_6_813_0} }
Bejancu, Aurel. Structure theorems for a Banach Lie loop. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 59 (1975) pp. 813-818. http://gdmltest.u-ga.fr/item/RLINA_1975_8_58_6_813_0/
[1] Formes differentielles et groupes de Lie Banach, «An. Univ. Iași», 18, 125-137. | MR 380866 | Zbl 0367.58012
(1972) -[2] | MR 58523 | Zbl 0184.12701
(1967) - Formes differentielles, Hermann, Paris.[3] On the geometry of functions spaces, «Sim. Intern, de Topologia Alg. Mexico», 303-308. | MR 98419
(1956) -[4] Manifolds of maps. Thesis. | MR 2619055
(1969) -