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] (1972) - Formes differentielles et groupes de Lie Banach, «An. Univ. Iași», 18, 125-137. | MR 380866 | Zbl 0367.58012
[2] (1967) - Formes differentielles, Hermann, Paris. | MR 58523 | Zbl 0184.12701
[3] (1956) - On the geometry of functions spaces, «Sim. Intern, de Topologia Alg. Mexico», 303-308. | MR 98419
[4] (1969) - Manifolds of maps. Thesis. | MR 2619055