|
| |
Greatest and Least Bounds
A real number M is said to be an upper bound for a set S
of real numbers if M ³ s whenever s
belongs to the set S. Similarly, a real number K is said to be a lower
bound for a set S of real numbers if K £
s whenever s belongs to the set S. The following theorem
asserts the existence of a least upper bound B = sup(S) and
also a greatest lower bound A = inf(S) for each set S
contained in a finite interval [a,b].
Theorem D.1 [On Greatest and Least Bounds] If a set S is
contained in a finite interval [a,b] then there is a subinterval [A,B]
containing S such that among all intervals of the form [p,q]
containing S, the interval [A,B] is the smallest. The
number A in this theorem is called the greatest lower bound (The name
most positive lower bound might be more appropriate) of the set S. It can
be obtained to k decimal places by modifying the proof of the
Bolzano-Weierstrass theorem, so that the Ik is the
leftmost interval of length 10-k
with the property that there are no points of S to the left of it. The
left-end point of Ik then yields A to k
decimal places. The decimal expansion defines a number A = inf(S)
(read the infimum of S) with the property that no elements of S is
to the left of it. In other words, the number A = inf(S) is the
greatest number with the property that no numbers in S are lower than it.
It is called the greatest lower bound. That is, the number A = inf(S)
is lower or £ all numbers in the set S, and
it is the largest number with this property. Moreover, by construction, in every
interval of the form [A, A+10-k]
where k is a whole number, there must be at least one element of S.
Thus, if A is not an element of S, then the set S must be
infinite and A is the leftmost limit point of S. On the other
hand, if A belongs to S, it is the leftmost or least element of S
and S could be finite or infinite. (Exercise: What can be said about the
membership of A in the set S when the set S is finite?)
Similarly, the supremum of S is the number sup(S) = B.
It is also called the least upper bound (The name least positive upper bound
might be more appropriate) of the set S. It can be obtained to k
decimal places by modifying the second (or first proof) so that Ik
is the rightmost interval of length 10-k
with the property that there are no points of S to the right of it. The
left-end point of Ik then yields B to k
decimal places. The number B = sup(S) is the leftmost point or
number with the property that no element of S is to the right of it. In
other words, the number B is the least number with the property that no
numbers in S are above it. Here B is above or ³
all numbers in the set S. Moreover, by construction, in every interval of
the form [B-10-k,B]
where k is a whole number, there must be at least one element of S.
Thus if B is not an element of S, then the set S must be
infinite and B is the leftmost limit point of S. On the other
hand, if B belongs to S, it is the rightmost or greatest element
of S. Here S may be finite or infinite.
Question. What can be said about the existence of the
least and greatest lower bounds of a set S when the latter is contained
in a semi-infinite interval of the form [a,¥)
or (-¥,b]?
Two Exercises
- What can be said about the membership of B in the set S if
the set S is finite?
- Show if S = U ÈV Ì
[a,b] then
|
sup
|
(S) = |
max
|
( |
sup
|
(U), |
sup
|
(V)) |
|
and
|
inf
|
(S) = |
min
|
( |
inf
|
(U), |
inf
|
(V)) |
|
| |
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.
|
|
|