Cartan-Dieudonné tétel

A Cartan–Dieudonné tétel Elie Joseph Cartan és Jean Dieudonné francia matematikusokról  elnevezett tétel . A tétel egy szimmetrikus bilineáris formával felszerelt tér automorfizmusainak szerkezetére vonatkozik (például euklideszi tér ).

tétel állítása

Legyen ( V , b )  egy n - dimenziós vektortér ( egy olyan mező felett, amelynek karakterisztikája nem egyenlő 2-vel), nem degenerált szimmetrikus bilineáris alakkal. Ekkor az O( V , b ) ortogonális csoport minden elemét a hipersíkokhoz képest legfeljebb n szimmetriájú összetételként ábrázoljuk .

A tétel következménye

Ha  ortogonális transzformáció - és -re , akkor létezik olyan vektor , amelyre .

Irodalom