The motivation for this definition is that a main characteristic of functions defined on an interval which are continuous but not uniformly continuous is that the largest possible δ required to keep f(x) within ε of f(x0) can be made arbitrarily small by choosing the appropriate x0. Consider, for example, f(x)=tanx in (π2−ε0,π2) for ε0 small.
It is continuous everywhere in that interval but we are forced to choose smaller and smaller δ as x0→π2.
Let f:I→R be a continuous real function. Consider some x0∈I and fix ε∈R+. Define
P={δ∣∀x∈I ,|x−x0|<δ⟹|f(x)−f(x0)|<ε}.
Let δ∗x0={supP,P bounded above1,otherwise
We say f is uniformly continuous if for all ε∈R+,inf{δ∗x0∣x0∈I}∈R+.
It should be noted that the choice 1 is arbitrary and P is non empty by hypothesis. I'm not sure if this is equivalent, and if so how can one prove it is equivalent to the standard definition?
No comments:
Post a Comment