Denjoy–Young–Saks theorem

In mathematics, the Denjoy–Young–Saks theorem gives some possibilities for the Dini derivatives of a function that hold almost everywhere. Denjoy (1915) proved the theorem for continuous functions, Young (1917) extended it to measurable functions, and Saks (1924) extended it to arbitrary functions. Saks (1937, Chapter IX, section 4) and Bruckner (1978, chapter IV, theorem 4.4) give historical accounts of the theorem.

Statement

If f is a real valued function defined on an interval, then with the possible exception of a set of measure 0 on the interval, the Dini derivatives of f satisfy one of the following four conditions at each point:

  • f has a finite derivative
  • D+f = Df is finite, Df = ∞, D+f = –∞.
  • Df = D+f is finite, D+f = ∞, Df = –∞.
  • Df = D+f = ∞, Df = D+f = –∞.
gollark: I already control all political systems, silly bees.
gollark: Anyway, I forgot how potential energy should work in this, so I guess I'll just rederive it.
gollark: I don't care either way, I procedurally generate legal systems in which all my actions are and always were legal whenever needed.
gollark: A fun quirk is that since it uses animation frames, if you go offscreen it immediately NaNs horribly.
gollark: Oh, I was going to add potential energy to this but forgot, sad.

References

  • Bruckner, Andrew M. (1978), Differentiation of real functions, Lecture Notes in Mathematics, 659, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0069821, ISBN 978-3-540-08910-0, MR 0507448
  • Saks, Stanisław (1937), Theory of the Integral, Monografie Matematyczne, 7 (2nd ed.), Warszawa-Lwów: G.E. Stechert & Co., pp. VI+347, JFM 63.0183.05, Zbl 0017.30004
  • Young, Grace Chisholm (1917), "On the Derivates of a Function" (PDF), Proc. London Math. Soc., 15 (1): 360–384, doi:10.1112/plms/s2-15.1.360
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.