Niech będzie n-wymiarową przestrzenią jednorodną i niech będzie działającą z lewej strony r-wymiarową grupą Lie odwzorowań tej przestrzeni. Niech gdzie jest grupą izotopii pewnego punktu Niech będzie taką bazą lewoniezmienniczych pól wektorowych na że stanowią na podgrupie Lie bazę lewoniezmienniczych pól wektorowych. Bazie odpowiada baza lewoniezmienniczych liniowych form różniczkowych na grupie Lie Kanoniczne rzutowanie w którym każdemu punktowi odpowiadają lewe warstwy względem podgrupy wprowadza do grupy strukturę wiązki włóknistej z bazą i grupą strukturalną o wymiarze Pola wektorowe stanowią bazę fundamentalnych pól wektorowych wiązki a liniowe formy różniczkowe są jej formami półbazowymi i tworzą całkowalny podukład form w układzie Warstwy są rozmaitościami całkowymi maksymalnego wymiaru dla układu równań Pfaffa Виноградов, op. cit., s. 364..
Zobacz też reper
Przypisy
Kategoria:Geometria różniczkowa