EPFL -Section de Math´
ematiques
Th´eorie alg´ebrique des formes quadratiques
Prof. E. Bayer Fluckiger
Semestre d’´et´e 2007
Feuille d’exercices 2 21.03.07
Tout au long de cette feuille d’exercices, on d´esigne par kun corps quelconque. Par ’espace
vectoriel’, nous entendons ’espace vectoriel sur k’. Si Iet Jsont deux ensembles, on d´esigne
par Maps(I, J) l’ensemble des fonctions de Ivers J. Si X,Yet Zsont trois espaces vectoriels,
on note Hom(X, Y ) l’espace vectoriel des application lin´eaires de Xvers Y, et Bilin((X, Y ), Z)
l’espace vectoriel des applications bilin´eaires X×Y−→ Z. Enfin, on pose X∗= Hom(X, k).
Exercice 1. Espace vectoriel de base un ensemble donn´e.
Soit Iun ensemble. Consid´erons k(I), l’espace vectoriel des fonctions f:I−→ ktelles que f(i)
est non nul seulement pour un nombre fini de i∈I. Pour i∈I, notons eil’´el´ement de k(I)
dont toutes les composantes sont nulles, sauf la i-i`eme qui vaut 1. Alors {ei, i ∈I}est une base
de k(I)sur k. Montrer que, pour tout espace vectoriel X, il existe une bijection canonique
φX: (Hom(k(I)−→ X)) −→ Maps(I, X).
Ces bijections doivent ˆetre canoniques dans le sens suivant:
i) Si Xet Ysont deux espaces vectoriels, et si f:X−→ Yest une application lin´eaire, alors
le diagramme suivant commute:
Hom(k(I)−→ X)◦f//
φX
Hom(k(I)−→ Y)
φY
Maps(I, X)◦f//Maps(I, Y ).
ii) De plus, on demande que, pour tout i∈I, on ait φk(I)(identit´e)(i) = ei.
Exercice 2. Produit tensoriel de deux espaces vectoriels.
Soient Vet Wdeux espaces vectoriels. Le but de cet exercice est de montrer l’existence
d’un espace vectoriel VNkW, appel´e produit tensoriel de Vet W, qui repr´esente le foncteur
Bilin((V, W ), .), dans un sens que nous allons pr´eciser plus bas (n’ayez pas peur si vous ne savez
pas ce qu’est un foncteur, on n’en aura pas besoin).
1 of 4