Pompeiu derivative (original) (raw)

In mathematical analysis, a Pompeiu derivative is a real-valued function of one real variable that is the derivative of an everywhere differentiable function and that vanishes in a dense set. In particular, a Pompeiu derivative is discontinuous at any point where it is not 0. Whether non-identically zero such functions may exist was a problem that arose in the context of early-1900s research on functional differentiability and integrability. The question was affirmatively answered by Dimitrie Pompeiu by constructing an explicit example; these functions are therefore named after him.