bonjour taupins
quelqu'un aurait-il la gentillesse de m'aider pour une question de math? (je suis en pcsi)
en fait j'ai peur qu'il y ait une erreur d'énoncé, bref je vous le recopie :
Soit E un espace vectoriel sur le corps K (K est le corps des réels ou des complexes). Rappel : E* désigne le dual de E (ie l'ensemble des applications linéaires de E dans K). On note 0 l'application de E dans E qui a tout x associe OE (l'élt neutre de E en fait).
1/ Montrer que l'application psi :
E*xE->K
(phi,x)|->phi(x)
est bilinéaire.
(ie pr tt phi€E*, l'application x|->phi(x) est linéaire
et pr tt x€E, l'application phi|->phi(x) est linéaire)
Donc jusque là pas de soucis j'ai su le faire. Puis vient la deuxième question :
2/Soit x€E
On définit x°={phi€E* / phi(x)=0}
Montrer que x° est un sous-espace vectoriel de E*.
(x° est appelé sous-espace orthogonal à x).
Bon déjà x° est inclus dans E* par définition. Reste plus qu'à montrer que x° est non vide et que la stabilité est vérifiée.
Seulement j'ai peur qu'il y ait une erreur d'énoncé car il est écrit phi(x)=0 or phi(x) devrait être un réel ou un complexe par définition, comment peut-il être égal à une application?
merci de m'éclairer