Discontinuities of monotone functions (original) (raw)

En analyse réelle, le théorème de Froda, redécouvert en 1929 par le mathématicien roumain Alexandru Froda mais dont des versions plus générales avaient été trouvées de 1907 à 1910 par Grace Chisholm Young et William Henry Young, assure que l'ensemble des points de discontinuité de première espèce d'une fonction réelle d'une variable réelle (définie sur un intervalle) est au plus dénombrable.