Développement : Le théorème de Riesz

Détails/Enoncé :

Le but de ce développement est de démontrer le théorème de Riesz qui est une caractérisation de la dimension finie grâce à la compacité de la boule unité.

Autres années :

Versions :

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

Tout-en-un MP/MP*, Claude Deschamps (utilisée dans 17 versions au total)
Topologie générale et espaces normés , Hage Hassan (utilisée dans 28 versions au total)