Quelques espaces tangents
Vecteurs tangents au groupe orthogonal, aux exponentielles de matrices de trace 0,…
Ens Mp/Mpi Orthogonalité
Dérivées des valeurs propres
Comment les valeurs propres simples de {A\in\mathcal S_n(\mathbb{R}^+)} varient-elles sous perturbation ?
Rotations de Jacobi
Utiliser une rotation plane pour annuler un coeff. non diagonal de {A\in\mathcal{S}_n(\mathbb{R})}.
Réduction et valeurs singulières
À partir des valeurs propres de {A^TA}, former la décomposition en valeurs singulières.
Ordre sur les matrices symétriques
Dans {\mathcal{S}_n(\mathbb{R})}, {A\geqslant B\Leftrightarrow A\!-\!B\in\mathcal{S}_n^+(\mathbb{R})}.
Montrer que toute suite majorée converge.
Montrer que toute suite majorée converge.
Théorème spectral et compacité
Démonstration du théorème spectral par un argument de compacité.
Une inégalité de Minkowski
Comparer {\det(A\!+\!B)^{1/n}} et {\det(A)^{1/n}\!\!+\!\det(B)^{1/n}} pour {A,B\in \mathcal{S}_{n}(\mathbb{R})}.
Racines de polynôme, matrice de Hankel
Matrice définie à partir des sommes de puissances des racines d’un polynôme.
Matrices symétriques de produit nul
Approcher la décomposition polaire
Approcher le facteur orthogonal de la décomposition polaire par une suite matricielle.
Complément de Schur et positivité
Avec le complément de Schur, quand une matrice symétrique par blocs est-elle positive?
Inégalité sur le déterminant
On établit une inégalité sur le déterminant, puis on relie déterminant et trace.
Équation de Lyapunov
Étude d’une involution S de Mn(ℝ)
Descente de gradient à pas optimal
Minimiser une fonction quadratique par descente de gradient à pas optimal.
Décomposition en valeurs singulières
Approcher la valeur propre dominante
Itérer {x\mapsto Ax/\|Ax\|} pour approcher la valeur propre dominante de {A\in\mathcal{S}_n(\mathbb{R})}.
Puissances d’une matrice symétrique
Étude de la suite des puissances d’une matrice symétrique à coefficients {>0}.
Une équation de Schrödinger
Quadrature de Gauss
Une formule d’intégration exacte au degré {2n-1} et à poids positifs.