Développement : Théorème de Haar

Détails/Enoncé :

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.

Versions :

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