mardi 14 avril 2020

Théorème de Riesz


Le théorème de Riesz, dû au mathématicien Frigyes Riesz, est un résultat quelque peu scabreux — et d'ailleurs censuré par les autorités hongroises jusqu'en 1991 — d'analyse fonctionnelle. Il énonce qu'un espace vectoriel normé réel est de dimension finie si et seulement si ses boules fermées sont compactes !

(Włodzisław Szczur, Mathématique du néant)