involutions

[Murmure-du-vent]

bonjour

pour des applications f de E dans E on trouve facilement
ce que doit verifier f pour etre involutive f* f = id
Que deviennent ces definitions quand f envoit E sur F?
-----

[Murmure-du-vent]

EDIT

j'ai en tete le cas ou f est un entrelacer entre 2 representations d un groupe

[minushabens]

Une involution est égale à son inverse et donc il est nécessaire que l'ensemble de départ et l'ensemble d'arrivée coïncident.

[Murmure-du-vent]

je me suis mal exprimé, je voulais parler du caractere involutif de l operation * qui
a une fonction f de H1 dans B2 donne son adjoint f* . Si je ne me trompe pas c est une application
de H2 dand H1 tq f** = f

Ma question portait sur les proprietes de f* f (de H1 dans H1)

[A voir en vidéo sur Futura]

[minushabens]

Attention dans la notation f** la première et la deuxième étoile n'ont pas le même sens. La première, à une application f:H1->H2 fait correspondre une application f*:H2*->H1* et la seconde, à une application g:H2*->H1* fait correspondre une application g*:H1**->H2**