A fundamental lemma for monotonicity (Q1332601): Difference between revisions

The paper is a continuation of the papers [Real Anal. Exch. 12(1986/87), 420-454 (1987; Zbl 0649.26009); ibid. 14, No. 2, 393-412 (1989; Zbl 0694.26005)] by the same author. The main result says that if \(F: [a,b]\to \mathbb{R}\), and \(F\in C_ d\cap (\overline M)\) and \(F'(x)\leq 0\) at almost every point at which \(F'\) exists and is finite, then \(F\) is decreasing on \([a,b]\). Here \(C_ d\) means the class of functions for which the value is between the lower limit from one side and the upper limit from the opposite side, roughly speaking, and \((\overline M)\) is the generalization of the class \((M)\) of Foran.