Développement : Théorèmes de Hahn-Banach en dimension finie

Détails/Enoncé :

Après un lemme technique sur la jauge d'un convexe, on démontre le théorème de Hahn-Banach analytique puis le théorème de Hahn-Banach géométrique (à adapter en fonction des leçons).
On se retreint à la dimension finie, c'est déjà largement assez long.

Versions :

  • Auteur :
  • Remarque :
    Je n'ai pas vraiment de référence claire pour ce dev (à part le Rouvière pour le lemme du début).
    C'est inspiré d'un doc de Théo Pierron, que j'ai retravaillé avec Jérémy Zurcher.
  • Fichier :

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