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).

Répondre

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 (donner le résultat en chiffres)?
soixante dix-neuf plus vingt deux
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.

Retour

Résumé de la discussion (messages les plus récents en premier)

Glozi
29-11-2024 10:02:50

Bonjour,
Pas de soucis, la première methode à l'avantage d'être courte et efficace mais est plus "astucieuse". Je préfère la seconde qui pour moi est plus "methodique' (pour moi mon premier réflexe a été de dire que si $f$ est inversible alors c'est bon, du coup essayer de se ramener à ce cas inversible).
Bonne journée

Fred
29-11-2024 07:55:10

Merci Glozi. Je n'aurais pas pensé à la méthode avec la norme de Frobenius !

Glozi
28-11-2024 14:24:34

Bonjour,
Prenons $A$ la matrice de $f$ dans une base orthonormale de $E$. Alors tu veux montrer $AA^*=A^2 \Rightarrow A=A^*$
Je rappelle que la norme de Frobenius sur les matrices est issue du produit scalaire $\left<A,B \right>=Tr(AB^*)$

On a $\Vert A - A^*\Vert_F^2 = Tr(AA^*) + Tr(A^*A)-2Tr(A^2) =0$ sous ton hypothèse. Du coup, $A=A^*$.

Sinon autre solution :
L'énoncé est evident lorsque $f$ est inversible.
Sinon, la relation $ff^*=f^2$ permet de montrer que $Ker(f) = Ker(f^*)$ (par exemple, si $x\in Ker(f)$, alors calculer la norme de $f^*(x)$...)
Notons $G$ le supplementaire orthogonal à $Ker(f)$ dans $E$ si on montre que $G$ est stable par $f$ alors $f_G$ sera un endo inversible qui verifiera la meme relation que $f$ et on aura la conclusion. Mais si $x\in G$ et $h\in Ker(f)=Ker(f^*)$ alors $\left<f(x),h\right> =\left<x,f^*(h)\right> =0$ donc c'est bon !

Bonne journée

Fred
28-11-2024 10:27:31

Bonjour,

  Une fois n'est pas coutume, je sollicite le forum pour l'exercice suivant : soit $E$ un espace vectoriel euclidien et $f\in\mathcal L(E)$ tel que $f\circ f^*=f^2.$ Démontrer que $f=f^*$.

Je crois que je sais faire l'exercice (peut-être même par deux méthodes différentes), mais aucune des deux ne me convient. Quelqu'un saurait-il le résoudre avec une preuve "élégante" et qui n'utilise pas la réduction des endomorphismes autoadjoints ?

Fred.

Pied de page des forums