Développement : Décomposition polaire et A=UBU^-1

Détails/Enoncé :

difficulté 2.5/4, Le dev contient la décompostion polaire et comme application A=UBU^-1 (A,B réelles, U unitaire) implique l'existence de O orthogonale, A=OBO^-1

Autres années :

Versions :

Références utilisées dans les versions de ce développement :

Mathématiques pour l'agrégation: Algèbre et géométrie, Jean Etienne Rombaldi (utilisée dans 628 versions au total)
Algèbre , Tauvel (utilisée dans 9 versions au total)