El grupo afínuna fF( V)
para un espacio vectorialV
está dada por definición porG L ( V) ⋉ V
. Es fácil ver que es isomorfo al grupo de transformaciones afines Lun , v: V→ V,x ↦ A x + v
. ¿Cuál es su álgebra de Lie?
Recuerde que el producto semidirectogramo ⋉V
con álgebra de mentira abelianaV
se convierte en un álgebra de mentira por
[ ( x , v ) , ( y, w ) ]= ( [ x , y] , re ( X ) ( w ) - re ( y) ( v ) ) ,
para
x , y∈ gramo
y
v , w ∈ V
y una representación
re : gramo → gramo l ( V)
.
Paragramo = gramo l (V)
yre = yo re
obtenemos el álgebra de Lie
una f f (V) : = gramo l ( V) ⋉ V
con soporte de mentira
[ ( UN , v ) , ( segundo , w ) ] = ( [ UN , segundo ] , UN w − segundo v )
. identificando
V
con
Rnorte
, obtenemos que
una f f (V)
es isomorfa a la siguiente subálgebra de
gl _norte + 1( R )
:
una f f (V) ≅{ (A0v0) ∣A∈METROnorte( R ) ,v ∈Rnorte} .
El corchete de mentira aquí está dado por el conmutador de matrices,
[ (A0v0) , (B0w0) ] = ([ A , B ]0A w − B v0)
Dietrich Burde
EM