|
| |
Equicontinuity
A function f(x) is said to be equicontinuous
on an interval [a,b] if and only if for
each e > 0, there exist at
least one d > 0 such that
whenever x1 and x2 are
both in the interval [a,b] and |x1-x2|
< d.
Thereom F.5 [Equicontinuity Theorem] Suppose b
> a. Suppose f(x) is continuous at
each point in the interval [a,b]. Then for
every e > 0 there exists a d
> 0 such that for every pair of points x1
and x2 in the interval [a,b],
| |x2-x1|
< d
implies |f(x2)-f(x1)|
< e |
|
The proof given below holds in the case of a function of one
variable. It can be generalized to provide the demonstration
of a theorem on the equicontinuity of functions of several
variables.
Proof of Equicontinuity Theorem.
Let e > 0 be given. For
each x in the interval [a,b],
continuity of f at x implies there exist a d
> 0 with d £
1 such |x-x1|
£ d
implies |f(x)-f(x1)|
£ [1/4]e.
Therefore if x1 and x2
are in the interval [x-d,x+d]Ç[a,b]
then |f(x1)-f(x2)|
£ [1/2]e
because
|
|
|
| |f(x1)-f(x)+[f(x)-f(x2)]| |
|
|
|
|
| |f(x1)-f(x)|+|f(x)-f(x2)| |
|
|
|
|
|
Therefore the set U(x) =
{d
Î [0,1] | x1
& x2 Î
[x-d,x+d]Ç[a,b]
Þ |f(x1)-f(x2)|
£½e}
contains at least one positive number d
£ 1. Thus it is a non-empty
subset of the interval [0,1]. Recall the arrow Þ
means implies. Therefore we can let g(x) = supU(x).
Then g(x) is the largest d
> 0 such that |f(x1)-f(x2)|
£ [1/2]e
whenever x1 and x2 are
in the interval [a,b] within a distance d
of the point x. Since U(x) contains at
least one positive number, we conclude the function value g(x)
= d > 0.
Let x0 be in the interval [a,b].
We wish to show that g(x) is continuous at x0.
Put d0 = g(x0)
> 0. Suppose the element c of [a,b]
satisfies |c-x0|
£ [1/2]d0.
Then c belongs to the interval [x0-d0,x0+d0]Ç[a,b].
Further the smallest distance of c to the endpoints
of this interval is £ d0-|x0-c|
= d. From the definition of U(x),
we can conclude that d > 0
belongs to U(c). Therefore g(c) ³
d = d0-|x0-c|
= g(x0)-|x0-c|.
Now |x-c|
£ [1/2] g(x0)
also implies the largest distance of c to the
endpoints of the interval [x0-d0,x0+d0]Ç[a,b]
is d0+|x-c|.
Now suppose for the sake of contradiction that g(c)
> d0+|x-c|.
Then d = g(c)-|x0-c|
> d0 belongs to U(x0)
and hence g(x0) ³
d > d0
= g(x0). But the latter is
impossible. Therefore g(c) £
d0+|x-c|
= g(x)+|x-c|
when |x-c|
£ [1/2] g(x0)
and c is in the interval [a,b].
The above inequalities imply that
| g(x0)-|x0-c|
£ g(c)
£ g(x0)+|x0-c| |
|
when |x-c|
£ [1/2] g(x0).
The inequality is equivalent to |g(x0)-g(c)|
£ |x0-c|.
This latter implies that g(x) is continuous at
x0. And thus g(x) is
continuous at each point x = x0 in
the interval [a,b]. By definition, g(x)
> 0.
From the finite covering theorem, there exists a whole
number n > 0 and a set of numbers x1,x2,¼,xn
in [a,b] with the property that if x is
a number in the interval [a,b] then there
exists an whole number j with 1 £
j £ n and |x-xj|
< g(xj).
Put (eta) h = [1/2]min1 £
j £ ng(xj).
Now suppose x and y are both in the interval [a,b]
with |x-y|
< h. Then there exists a xj
with |xj-x|
£ g(xj).
This implies |f(xj)-f(x)|
< [1/2]e. It further implies
by the triangle inequality that |y-xj|
= |(y-x)+(x-xj)|
£ |y-x|+|x-xj|
< h+g(xj)
£ 2g(xj)
and hence |f(y)-f(xj)|
£ [1/2]e.
Finally, we obtain that
|
|
|
| |f(x)-f(xj)+(f(xj)-f(y))| |
|
|
|
|
| |f(x)-f(xj)|+|f(xj)-f(y)| |
|
|
|
|
|
Thus |x-y|
< h = d
implies |f(x)-f(y)|
£ e.
The previous proof has a consequence not stated. In the
proof, let e = 1. Then there
exists x1,¼,xn
in [a,b] such that if x is in [a,b]
then for some j, |x-xj|
£ d
and |f(x)-f(xj)|
£ e =
1. The last inequality is equivalent to
The latter implies
| -1+f(xj)
£ f(x)
£ 1+f(xj) |
|
Put K = -1+min1 £
q £ n f(xq)
and M = +1+max1 £ q
£ nf(xq).
Then K £ f(x)
£ M if x is in the
interval [a,b]. This holds since there exist a
whole number j ³ 1 such
that
| K £
-1+f(xj)
£ f(x)
£ 1+f(xj)
£ M |
|
Thus the range W of the function f(x)
is contained in the finite interval [K,M].
This implies the first conclusion in the following
assertion.
| |
the
Real Analysis appendices of
Why Slopes
and
More Math
Volume 3
Printed in Canada
ISBN 0-9697564-3-7
|
These Real Analysis appendices
continue the decimal
viewpoint of limits, continuity and convergence in chapter 14. and
this further lesson
Section Entrance A. What's Next B. Pigeon Hole Principle B. Bolzano-Weierstrass C1. Triangle Inequality C2. Triangle Inequality C. More T.Inequality D. Sets & Sequences D. Monotone Sequences E. Limits, Properties E Limits & Error Control F. Continuous Functions F. Closed Range Thm F. Intermediate Val. Thm F. Compactness Thm F. Equicontinuity Thm F Extreme Value Thm G. Rolle's Theorem etc G. Mean Val. Thm. G. Constant Difference Thm G. Lipschitz Continuity I PS: One Sided Range Theorems G. Velocity Revisited G. Sufficient Conditions H. Riemann Sums Conv H. Lipschitz Continuity II
Proofs of one-sided theorems could be of interest in the
study of 2D topology.
|
|
For
Senior
High School & Calculus Students
|
|
<| (o) (o)
|>
\ | |
/
\___ _/
||
-/[]\-
||
/ \_
|
Words to clearly
introduce algebra and variables
have been missing in course design. For people who cannot do
algebra,
|
the missing words may
explain or ease their difficulties. Volume 2 ,Three
Skills for Algebra, in Chapters
8 to 14 & 18 etc, puts words before symbols to
providing the missing words in a way that enrich the
comprehension of all. Those words form the middle part of a algebra
(and logic) lessons aimed at helping or improving all
of high school mathematics and also calculus course
design & delivery.
|
|
For Avid Readers in School & Out -
Online Books
1. Elements of
Reason. 1996
1A. Pattern
Based Reason 1995
1B. Math
Curriculum Notes 1996
2. Three
Skills for Algebra 1995
3.Why
Slopes & More.Math
1995
Tour their forewords.
Calculus Prep or Help: See Volumes 2 & 3,
and this bigger
Calculus
Guide. If your
calculus questions is not answered here, submit
it. Over time, that may complete the site development of
calculus.
For Parents: Speaking
Skills, Reading
& Writing,
Preparing for Science, ends,
values and methods for work and study, parent- friendly maths
skill development booklets for ages 4-14.
|
|
Mostly
For High
School
Intro to Solving
Linear Equations
- a different paths for junior and even senior high
school students. Question for Tutors: When do
you use and when you skip the stick diagram method
here?
Fraction
Skills, thought-based development, Ages 10 to 14 may need a
tutor. Students who have to understand in order
to do may like the development in all or part.
For Senior
High School Mathematics & Calculus
5
wordy Logic
Chapters
4 curious Algebra
Chapters
Words before & besides symbols. A Key Algebra
forward & backwards Chapter
First Calculus
Preview (1st intro)
Four Calculus
Chapters
(2nd intro)
Intro to Complex
Numbers (long)
Intro to Mathematical
Induction (romantic & wordy at first)
Tutors & Instructors:
These lessons introduce skills differently Would you
recommend them?
|
|
More Topics
1. Decimal
Arithmetic Reference!
2. Integers
- Intro to Signed No.s
3. Fractions
- fully explained.
4. Fractions
with Units
5. Number
Theory,
6. Solving
Linear Equations
7 Formulas
for- & backwards -
8. Proportionality,
Back- & For-wards.
9. Logic
Chapters:
10. Euclidean-Geometry
11. Slopes
& Equations of Straight Lines. (Take
I. See take II below)
12. Why
Study Slopes.
13. Maps,
Plans, Similarity & Trig,
(Take II included here)
14. Quadratics:
Starter lessons
15. Polynomials:
Starter lessons
16 Why
Factor Polynomials:
17 Functions
- Forwards & Backwards.
18. Exponents,
Radicals & logs.
19. Complex
Numbers before trig (new advance/ starter lesson)
20. DC
Electric
Circuits Etc
21. Real
Analysis
22. The
Olde Complex No, Trig
& Vector Section.
23. More
Calculus Stuff
- written after Volumes 2 and 3.
Level I Material: New Stuff
Time and Date Matters
Level I Arithmetic.
Money Matters
Measurement Matters
Matters of Chance (Risk Control)
Logic
Chapters
(leave what's not clear in Level I to Level II)
Using/Making Maps and Plans.
(A variant of
Maps,
Plans, Similarity & Trig, to
appear here).
For Instructors
-
Education
Essays
(opinions,
possibilities, references)
- Free
Advice and Directions for teaching primary & high school maths
will be given in online meeting place with voice &
whiteboard.
- Math & Logic How-TOs
1. Arithmetic
2. Algebra
3. More Algebra
4. Beginner Geometry
5. More Geometry
6. Calculus
7. Show Work or Logic
These may be too dense for students. Offering ideas to change
education makes this site different. Nothing
ventured, nothing gained. Site material is
mathematically correct, and where not, please report
errors. The two level program POMME in the site
entrance implies multiple paths for instruction. Supporting
those paths in turn implies a clear destination for
site development and perhaps a new name.
|
|
|