Dérivée de Dini

Une dérivée de Dini est une quantité qui généralise la notion de dérivée d'une fonction lorsque celle-ci n'est pas dérivable. Les dérivées de Dini ont été introduites par Ulisse Dini. Soit f une fonction d'un intervalle I ouvert de ℝ, à valeurs réelles, et soi…