Petit Exo de noel.
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
MouLou
- Membre Rationnel
- Messages: 578
- Enregistré le: 17 Sep 2015, 10:00
-
par MouLou » 26 Déc 2015, 00:13
Salut et joyeux noel!
Car je vous aime bien je vous offre pour noel un petit exo dont j'ai une solution dont je ne suis pas très fier.
Montrer que si A et B sont sym définies positives, alors
.
-
Ben314
- Le Ben
- Messages: 21483
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 26 Déc 2015, 01:35
Pour des matrices quelconques on a
(trace)
B étant symétrique définie positive,
avec P orthogonale et
diagonale à valeur propres >0.
Comme la trace est invariante à changement de base prés,
Or
est symétrique définie positive donc, si
on a
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
MouLou
- Membre Rationnel
- Messages: 578
- Enregistré le: 17 Sep 2015, 10:00
-
par MouLou » 26 Déc 2015, 01:45
Hmm oui c'est à peu de chose près ce que j'ai fait, sauf que j'ai plutot utilisé le théorème massue de pseudo reduction simultanée qui au final demande plus de travail avec le calcul de la trace que le simple théorème spectral sur une seule matrice... La dessus c deja plus convaincant que ma méthode!
Toujours est il que je n'aime pas trop cette preuve et je me demande s'il n'y a pas d'autres moyens plus jolis
-
Ben314
- Le Ben
- Messages: 21483
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 26 Déc 2015, 01:50
Je sais pas....
Il y a certains trucs super simple, par exemple tr(AB)=tr(BA), dont je connais pas de preuves "super jolies".
Tu fait comment toi pour démontrer tr(AB)=tr(BA) ?
Perso, je connais 2 preuves pas bien longues mais pas super satisfaisantes (à mon sens)
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
MouLou
- Membre Rationnel
- Messages: 578
- Enregistré le: 17 Sep 2015, 10:00
-
par MouLou » 26 Déc 2015, 01:54
Je ne l'ai fait que par calcul direct... je vais en chercher une autre demain tiens!
-
Robot
par Robot » 26 Déc 2015, 11:20
Puisque
est définie positive, elle a une unique racine carrée définie positive
, et
est semblable à
, elle a donc même trace que cette dernière. Or
est congruente à
qui est définie positive.
-
MouLou
- Membre Rationnel
- Messages: 578
- Enregistré le: 17 Sep 2015, 10:00
-
par MouLou » 26 Déc 2015, 11:38
Pas mal! Merci!
-
Robot
par Robot » 26 Déc 2015, 11:54
C'est une astuce assez classique. On s'en sert habituellement (en supposant B seulement symétrique) pour montrer que AB a autant de valeurs propres positives (resp. négatives) que B.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 75 invités