For a nonnegative real constant , the map on the nonnegative reals is a modulus of continuity, and it is nondecreasing.
Let be the ordered field of real numbers, with order , and let . Let satisfy , and let be the function given by
Then the following hold.
1. (Modulus of continuity)¶ is a modulus of continuity.
2. (Monotonicity)¶ for all with .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.