Théorème de Haar
En utilisant des arguments de dualité, dimension, compacité, on démontre une CNS d'unicité d'un projeté (pour la norme uniforme) d'une fonction continue sur [a, b] sur un sev de dimension finie.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 209 | Approximation d’une fonction par des fonctions régulières. Exemples d’applications.2026 |
| 4 | 148 | Dimension d’un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.2026 |
| 4 | 159 | Formes linéaires et dualité en dimension finie. Exemples et applications.2026 |
| 4 | 203 | Utilisation de la notion de compacité.2026 |
Utilisateur : Xx_MasterPoulet13_xX
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 :
Topologie et analyse fonctionnelle\r - Gonnord
Introduction to Approximation Theory. - Elliott Ward Cheney