Pour la semaine du lundi 13 octobre, on révise l'ensemble du chapitre consacré à la réduction, et on ajoute un peu de topologie: définition d'une norme, norme associée à un produit scalaire, convergence dans un evn, finesse respective de deux normes, équivalence de normes , théorème de Riesz ( admis).
On pourra commencer la colle par une diagonalisation pratique en petite dimension, ou la vérification de la bonne définition d'une norme explicite, et, au choix, par la preuve éventuelle d'un des résultats suivants: