ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

Centrale-Supélec PSI 2012 — Maths 2

Image numérique d'une matrice et inégalités sur les déterminants · 3 pages

PDF hébergé hors du site officiel — source : vmaths.fr

Le sujet étudie l'ensemble R(A)R(A) des valeurs t ⁣XAX{}^t\!XAX pour XX unitaire : il contient les valeurs propres réelles et la diagonale, il est un intervalle, et une matrice symétrique a une trace dans R(A)R(A) si et seulement si elle est orthogonalement semblable à une matrice de diagonale (Tr⁡A,0,…,0)(\operatorname{Tr} A, 0, \ldots, 0). Pour les matrices symétriques 2×22 \times 2, il classe les coniques t ⁣XAX=1{}^t\!XAX = 1, majore Tr⁡(AB)\operatorname{Tr}(AB), établit une inégalité sur det⁡(A+B)\det(A + B) avec cas d'égalité et montre qu'une suite croissante majorée converge. Il prouve enfin, par réduction simultanée, que det⁡(A+B)\det(A + B) est au moins det⁡A+det⁡B\det A + \det B et la log-concavité du déterminant sur les matrices définies positives.

Le sujet, partie par partie

Partie I — Généralités p. 1–2

Calcul matriciel · Matrices orthogonales et rotations · Ensembles convexes · Continuité · Matrices par blocs · Endomorphismes symétriques, théorème spectral · Réduction des endomorphismes — image numérique, champ des valeurs, trace nulle, matrice orthogonale, récurrence sur la dimension, diagonale d'une matrice

Partie II — Matrices symétriques de format (2,2)(2, 2) p. 2–3

Matrices symétriques positives · Coniques et quadriques · Inégalités classiques · Quotient de Rayleigh et Courant-Fischer · Inégalité de Cauchy-Schwarz · Théorème spectral · Suites numériques — ordre de Loewner, ellipse, hyperbole, inégalité sur la trace, déterminant d'une somme, cas d'égalité, suite croissante majorée de matrices

Partie III — Matrices symétriques définies positives p. 3

Matrices symétriques positives · Déterminants · Théorème spectral · Fonctions convexes · Inégalité arithmético-géométrique — réduction simultanée, factorisation A=t ⁣YYA = {}^t\!YY, matrice définie positive, superadditivité du déterminant, log-concavité du déterminant, inégalité de Young

Ouvrir dans l'atlas interactif →