Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 11-02-2018 20:04:28

Marco11
Membre
Inscription : 07-09-2017
Messages : 42

Isomorphisme canonique

Bonsoir tout le monde !!
J'ai la question suivante dans un exercice : " Démontrer que $Hom(v,v'*)$ est canoniquement isomorphe à $v \otimes v'$. $v$ et $v'$ désignent deux $\mathbb{c}$-espaces vectoriels de même dimension et $v'*$ le dual de $v'$.  "
J'ai des difficultés à construite cet isomorphisme. Toute indication ou suggestion sera la bienvenue. Merci d'avance.

Hors ligne

#2 12-02-2018 15:34:07

Yassine
Membre
Inscription : 09-04-2013
Messages : 1 090

Re : Isomorphisme canonique

Bonjour,
Une proposition de piste. A creuser ...

D'abord, si $E$ et $F$ sont deux espaces vectoriels, $E^* \oplus F$ s'identifie à $Hom(E,F)$
En effet, si $\alpha \in E^*$ et $v \in F$, tu peux leur associer canoniquement l'application linéaire dans $Hom(E,F)$ définie par $E \ni x \to \alpha(x)v$.

Donc, en posant $E=v$ et $F=v'^*$, tu as que $Hom(v,v'^*)$ s'identifie à $v^* \oplus v'^*$

Il faut maintenant montrer que $v^* \oplus v'^*$ s'identifie à $v \oplus v'$


L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante ?88 - 78
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums