Développement : LU+Choleski+QR

Détails/Enoncé :

On prouve, dans l'ordre, et chacune utilisant la précédente, l'existence et l'unicité de :
- LU
- Choleski
- QR

Ce développement est tout bonnement indispensable. Vous voulez mettre quoi d'autre dans ces deux leçons horribles que sont la 154 et la 162 ?

Versions :

  • Auteur :
  • Remarque :
    Recopier la preuve du bouquin de Denis Serre (édition 2010). Il donne 2 preuves différentes pour chaque décomposition. Choisir celles qui permettent de déduire Choleski de LU et de déduire QR de Choleski. Il est nécessaire d'insister sur ces articulations entre les trois décompositions en jeu. Sinon, ce développement ressemblerait trop à une liste.

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