Exercice 2, § 6
Topologie générale, IV, p. 55
Bourbaki marks this one as harder than the rest.
Soit une base de considéré comme espace vectoriel sur le corps (« base de Hamel »); n’est pas dénombrable (IV, p. 47, exerc. 2). Soit une bijection d’une partie de sur l’ensemble . On définit une application de dans lui-même en posant, pour tout (avec , sauf pour un nombre fini d’éléments ), . Montrer que mais que pour tout est une partie partout dense de , ce qui entraîne que n’est majorée ni minorée dans aucun intervalle de .
Solution
Aucune solution n’a encore été écrite.