Topologie et analyse fonctionnelle

Gonnord

Utilisée dans les 5 développements suivants :

Les automorphismes isométriques des l(p)
Théorèmes de Kakutani et Massera
Isomorphismes entre espaces de fonctions C(K)
Théorème de Haar
Polynômes de meilleure approximation uniforme

Utilisée dans les 2 leçons suivantes :

159 (2026) Formes linéaires et dualité en dimension finie. Exemples et applications.
219 (2026) Extremums : existence, caractérisation, recherche. Exemples et applications.

Utilisée dans les 6 versions de développements suivants :

  • Développement :
  • Remarque :
    Développement que j'aime beaucoup même si le recasage en 159 est un peu abusif (mais bon c'est le cas de quasiment tous les développements pour cette leçon).
    Je me suis principalement inspiré de la version de Mastrilli et y'a pas vraiment de référence qui le fait bien. Le Cheney est assez opaque et il fait une autre preuve pour un des deux sens et le Gonnord-Tosel ne fait qu'un sens (je sais plus exactement qui fait quoi).
    Pour le jour J, je n'aurais fait que le sens réciproque qui nous donne l'unicité du polynôme de meilleure approximation. Dans la 159 j'aurais plutôt fait ce que j'ai mis au début en allant très vite sur le reste mais bon c'est un peu frauduleux imo.
  • Références :
  • Fichier :

Utilisée dans les 2 versions de leçons suivantes :