TheoremBase

Linear Moduli of Continuity

For a nonnegative real constant cc, the map t↦ctt\mapsto ct on the nonnegative reals is a modulus of continuity, and it is nondecreasing.

Statement

Let R\mathbb{R} be the ordered field of real numbers, with order ≤\le, and let T={t∈R:0≤t}T=\{t\in\mathbb{R}:0\le t\}. Let c∈Rc\in\mathbb{R} satisfy 0≤c0\le c, and let ωc:T→R\omega_{c}:T\to\mathbb{R} be the function given by

ωc(t)=ctfor t∈T.\omega_{c}(t)=ct\qquad\text{for }t\in T .

Then the following hold.

1. (Modulus of continuity) ωc\omega_{c} is a modulus of continuity.

2. (Monotonicity) ωc(s)≤ωc(t)\omega_{c}(s)\le\omega_{c}(t) for all s,t∈Ts,t\in T with s≤ts\le t.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…