Algèbre linéaire

[busard_des_roseaux]

bjr,

Soient E et F deux e.v.
u une application linéaire (que l'on fera varier)


Soit appartenant au dual de F.
Par composition des applications:


l'application linéaire


ne dépend que de u . notée .

l'application suivante est linéaire:



ne dépend que de E et F. est-ce que a un nom ?

Quelles sont les étapes suivantes pour obtenir un foncteur contravariant
(les flèches vont en sens inverse entre E et F d'une part,
et d'autre part) ?


Cordialement

[tize]

...
Soit appartenant au dual de F.
Par composition des applications:
...

Je n'ai pas le temps de regarder mais c'est pas plutôt ?, non ?

[abcd22]

Bonjour,

C'est comme l'a fait remarquer tize.

Quelles sont les étapes suivantes pour obtenir un foncteur contravariant

Vérifier que l'image de l'identité de E est l'identité de l'image de E et que l'image de la composée de deux morphismes est le composé des images (en sens inverse puisque le foncteur est contravariant).