www.whyslopes.com   << Français :  20 pages >>    
Appetizers and Lessons for Mathematics and Reason
  online logic chapters  - the best starting point for further site exploration.  Bon Appetite.

F. Compactness Thm
Back ] Section Entrance ] Next ]
Section Entrance ]

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

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.

A Finite Covering Theorem

Theorem F.4 [A Finite Covering Theorem] Let a < b. At each x in the interval [a,b], suppose that the function g(x) is continuous and suppose that g(x) > 0. Then 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 a j, with 1 £ j £ n and |x-xj| < g(xj).

Proof: We can define a sequence wm of points in [a,b] recursively as follows. First, let w1 = a. Now given wm put wm+1 = min(b,wm+g(wm)). This defines an non-decreasing sequence wj with a £ wj £ wj+1 £ b. Here equality is only possible if wj = b for some whole number j.

Let w = lim j-> ¥ wj. Then a £ w £ b.

Suppose w < b. Then for all whole numbers j ³ 1, the inequality wj < wj+1 = wj+g(wj) £ w < b holds. Now the continuity of g at all points x in the interval [a,b] implies g(w) = limj-> ¥g(wj) = limj-> ¥ wj+1-wj = w -w = 0. The foregoing gives the implication: IF w < b THEN g(w) = 0. But g(w) > 0 and w £ b. Therefore w = b.

Now there exists an smallest N > 0 such that n ³ N implies b = w ³ wn > w-g(w) = b-g(b). The conclusion is satisfied with by putting xj = wj for 1 £ j £ N-1 and setting xN = b.

The above theorem is needed for the proof of the following assertion.

Question for mathematical adepts: Generalize this proof (using the lexicographic ordering of points in Rn, so that it becomes a proof of the equicontinuity of a function f(x1,¼,xn) continuous on an bounded, closed set S in Rn.

 

www.whyslopes.com

site search

Parents: Help your Child/Teen Learn covers  Speaking Skills, Reading & Writing Preparing for Science Having Patience, etc

Math How-TOs
1. Arithmetic   2. Algebra   3.  More Algebra  4.  Geometry 5 More Geometry 6.  Calculus
>> densely written 
>> use as skill checklists

Online Volumes (orders)
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

Skill & Concept 
Review or  Development 

 1. Decimal Arith - Video Based ]
2   Fractions  
3.  Fractions  with Units  
3. Solving Linear Equations  - 
making alg easier
4. Formulas forwards & Backwards - unifying theme for Algebra
5.  Proportionality, Back- & For-wards - theme at work.
6.  Logic - Math Free, good for precision in  work & studies 
7. Euclidean-Geometry  (leanly)
8. Slopes and Lines 
9. Why Study Slopes - a context 
10.  Quadratics
11  Polynomials
12  Factored Polys - a context
13 Functions - For-& Back -wards
14  Number Theory, Richly
15. Exponents, Radicals & logs.  
16   Calculus - Examples & Advice 
17.   Real  Analysis 
18  Electric Circuits Etc (So So)
19 Maps, Similarity & Trig, (alt view)
20 Complex numbers  

21 Logic with Symbols+truth tables

22  Consistent Story Telling
23. Even More Logic

 Back ] Up ] Next ] [Top of this Page]  
  www.whyslopes.com?

Road Safety Message  Do not walk on a road with your back to the traffic - rule of thumb
Please report by
email,  errors in mathematics or grammar or terminology to site author
If a mathematics topic you need is not covered in site pages,  report that as well. Topics in most demand
will be covered first in site growth.  

All trademarks and copyrights on this page are owned by their respective owners.
Copyright to comments & contributions are owned by the Poster. 
The Rest © 1995 onward by site author,   Alan Selby
,  All Rights Reserved.