Defines nondecreasing, nonincreasing, strictly increasing and strictly decreasing real-valued functions on a subset of the real line, and the terms monotone and strictly monotone.
In the setting of The Real Line: Standing Notation and Background for Calculus, let and let .
1. ¶ is nondecreasing on if for all with .
2. ¶ is nonincreasing on if for all with .
3. ¶ is strictly increasing on if for all with .
4. ¶ is strictly decreasing on if for all with .
5. ¶ is monotone on if it is nondecreasing on or nonincreasing on , and strictly monotone on if it is strictly increasing on or strictly decreasing on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.