Download PDF

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Large numbers wikipedia , lookup

Mathematics of radio engineering wikipedia , lookup

List of important publications in mathematics wikipedia , lookup

Theorem wikipedia , lookup

Law of large numbers wikipedia , lookup

Addition wikipedia , lookup

Interval arithmetic wikipedia , lookup

Karhunen–Loève theorem wikipedia , lookup

Vincent's theorem wikipedia , lookup

Hyperreal number wikipedia , lookup

Nyquist–Shannon sampling theorem wikipedia , lookup

Dirac delta function wikipedia , lookup

Infinitesimal wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Brouwer fixed-point theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Function of several real variables wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Non-standard calculus wikipedia , lookup

Transcript
finite limit implying uniform continuity∗
pahio†
2013-03-22 3:01:13
Theorem. If the real function f is continuous on the interval [0, ∞) and
the limit lim f (x) exists as a finite number a, then f is uniformly continuous
x→∞
on that interval.
Proof. Let ε > 0. According to the limit condition, there is a positive
number M such that
ε
2
|f (x)−a| <
∀x > M.
(1)
The function is continuous on the finite interval [0, M + 1]; hence f is also
uniformly continuous on this compact interval. Consequently, there is a positive
number δ < 1 such that
|f (x1 )−f (x2 )| < ε
∀ x1 , x2 ∈ [0, M +1] with |x1 −x2 | < δ.
(2)
Let x1 , x2 be nonnegative numbers and |x1 −x2 | < δ. Then |x1 −x2 | < 1 and
thus both numbers either belong to [0, M +1] or are greater than M . In the
latter case, by (1) we have
|f (x1 )−f (x2 )| = |f (x1 )−a+a−f (x2 )| 5 |f (x1 )−a| + |f (x2 )−a| <
ε ε
+
= ε.
2 2
(3)
So, one of the conditions (2) and (3) is always in force, whence the assertion is
true.
∗ hFiniteLimitImplyingUniformContinuityi
created: h2013-03-2i by: hpahioi version:
h41874i Privacy setting: h1i hTheoremi h26A15i
† This text is available under the Creative Commons Attribution/Share-Alike License 3.0.
You can reuse this document or portions thereof only if you do so under terms that are
compatible with the CC-BY-SA license.
1