Définition

Soient deux -espaces vectoriels et . On a par

Et pour , on définit également par

Lemme

Elles sont linéaires

Lemme

Soient des -espaces vectoriels et des applications linéaires. Alors la composition

05.10 Applications inversibles