Soit une suite de fonctions continues, bijectives, strictement croissantes, convergeant simplement vers une fonction : elle aussi continue, bijective strictement croissante.
1
Montrer qu’il y a convergence uniforme (deuxième théorème de Dini, considérer une subdivision de ).
2
Montrer que les fonctions réciproques convergent simplement vers une fonction et que .
3
Montrer que converge uniformément vers .