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…
No relations recorded yet.