Décompositions LU et de Cholesky

Théorème: (décomposition LU) Soit $A=(a_{i,j})\in\mathcal{M}_n(\mathbf{K})$ telle que: $\forall k\in [[1;n]]$\r\r\[\r \Delta^k := \r \begin{bmatrix}\r a_{1,1} \dots a_{1,k}\\\r \ddots \\\r a_{k,1} \dots a_{k,k}\r \end{bmatrix} \in GL_k(\mathbf{K}).\r\]\rAlors: $\exists ! L,U\in GL_n(\mathbf{K})$ telles que: $A=LU$ avec $L$ triangulaire inférieure avec des 1 sur sa diagonale et $U$ triangulaire supérieure.\r\r\rThéorème: (décomposition de Cholesky) Soit $A\in S^{++}_n(\mathbf{R})$.\rAlors: $\exists ! B\in GL_n(\mathbf{R})$ telle que $A=BB^*$ avec $B$ triangulaire inférieure à diagonale positive.
Qualité Numéro Titre
5 154 Exemples de décompositions de matrices. Applications. 2024
5 162 Systèmes d’équations linéaires ; opérations élémentaires, aspects algorithmiques et conséquences théoriques.2025
4 156 Endomorphismes trigonalisables. Endomorphismes nilpotents.2025
4 157 Matrices symétriques réelles, matrices hermitiennes.2025
3 153 Valeurs propres, vecteurs propres. Calculs exacts ou approchés d'éléments propres. Applications.2025
Rajouter une version
Utilisateur : ma_tilde
Version manuscrite, désolée pour l'écriture . Tel quel je le trouvais un peu forcé pour la leçon 162, d'où le blabla au crayon de papier à la fin. C'est juste les idées phares mais en gros j'expliquais rapidement en quoi cette décomposition est intéressante, en me servant du résultat 2) de la proposition. Pour cette leçon je ne montrais pas le théorème de Cholesky que je gardais pour la leçon 157 où dans ce cas je ne montrais pas le 2) de la proposition. A adapter selon votre rapidité et aisance. Il se peut qu'il reste des coquilles, n'hésitez pas à me contacter au besoin.
Références :
Références :
Algèbre linéaire numérique - Allaire
Utilisateur : Jouaucon
Développement consistant de deux théorèmes dont on montre l'existence puis l'unicité. Développement n°20 sur 28. Pour une version de rekasator qui marche aller sur: https://docs.google.com/document/d/1vnBvwVGapXvQC4cU5CHUJWo04E4eezzDSjSIDRekaPE
Références :
Algèbre linéaire numérique - Allaire