Math 415 Notes and Summaries August 2008: This page requires Mozilla/Firefox/Netscape 7+ or Internet Explorer 6+ MathPlayer .

Martin Flashman's Courses
MATH 415 Real Analysis I Fall, 2008
Class Notes and Summaries

week 2 9-1 No class
week 3 9-8
week 4
week 5
week 6 (5+)
week 7 (6+)
10-3 (Fri)
10-6  (Mon.)
week 8
week 9
week 10
week 11
week 12
week 13
week 14

week 15
week 16

Week 1:



9-18 (?)
Convergence in the Reals
Properties of convergent sequences
Monotonic sequences
9-22 25 AND 26 We covered definitions and proofs of many results about limits of sequences and continuity. In particular the Bolzano Weierstass Theorem, and the intermediate value theorem.

10-2 Begin with proof of the extreme value theorem.
The boundedness theorems

Discuss: Composition of continuous is continuous.
Definition of derivative.
Differentiable implies continuous.
Proof of product and chain rules.
Critical point Theorem. [this completes first proof of MVT!] 
Examples of
Some horrible functions for limits and continuity, including the mathematician's sine.
10-6 and 13 Begin discussion of integration and connection to continuity.

10-13 and 16 Non-sequence based limits and continuity.
Continuity of Real functions
Images of intervals

Limits of functions
The epsilon-delta definition : Equivalence of definition with sequence definition.

Open , closed, bounded. Openness and continuity.
Open and closed sets in metric spaces (consider the  real numbers with the metric given by the absolute value of the difference).[Topology]

Recall: Definition of an open set. U is open if for any `x in U` there is a `delta > 0` where N(x,`delta`)  `sub`  U.
(i) `O/` and `R`are open sets. (ii) If  `a in R` then `(a, oo )` and `(- oo, a)` are open sets.  
Fact: {a} is not an open set.
Prop: (i) If U and V are open sets,  then `U nnn V` is an open set.
(ii) If   O is a family of open sets, then `uuu O` = { `x in R : x in U` for some  `U in  O`} is an open set.
Cor. : If `a < b` , then `(a,b)` is an open set.
The family of all open sets of R is sometimes called the topology of R.

A topological space is a set X together with a family of subsets `O` that satisfies the three properties:
(i) `O/ in O` and `X in O`. (ii) If  `U , V in O` ,  then `U nnn V in O`.
(iii) If   {`U_{alpha}`} is a family of sets with each `U_{alpha} in O`, then `uuu U_{alpha}` = { `x in X : x in U_{alpha}` for some  `U_{alpha}` in the family} is `in O`.

Definition of a closed set. A set C is closed if (and only if) `R - C` is open.
Prop: (i) `O/` and `R` are closed sets. (ii) If  `a in R` then `[a, oo )` and `(- oo, a]` are open sets.  
Fact: {a} is a closed set.
Prop: (i) If U and V are closed sets,  then `U uuu V` is a closed set.
(ii) If   K is a family of closed sets, then `nnn K` = { `x in R : x in C` for some  `C in  K`} is a closed set.
Cor. : If `a < b` , then `[a,b]` is a closed set.

Review definitions: Given f : R `->` R, and `U sub R`
The image of U under f , f (U) =  { y `in R` :  y = f (x) for some `x in R`}and
the preimage of U under f,  `f ^{-1}(U)` = {x ` in R` : f (x) `in U`}.
Continuity and open sets
Given f : R `->` R, is continuous if and only if  whenever U is an open subset of R, `f ^{-1}(U)` is also an open set.

10-23 (revised 10-24)
Connectedness , Continuity, and Topological Proof of the Intermediate Value Theorem.

Def'n: A subset I of the R is an interval: If a, b `in` I  and a < x< b, then x`in`I.
Def'n: A subset S of (a metric space) R is disconnected if there are open sets U and V where
(i) U `uuu` V `sup` S; (ii) 
U `nnn` S `!=` `O/` , V `nnn` S `!=` `O/` , AND V `nnn` S `nnn`U `=` `O/`
Def'n: A subset S of (a metric space) R is connected if it is not disconnected.
Thus If S is connected with
open sets U and V where
(i) U `uuu` V `sup` S;
and (ii) U `nnn` S `!=` `O/` , V `nnn` S `!=` `O/` , then V `nnn` S `nnn`U `!=` `O/`.
Theorem: A subset of R is connected if and only if it is an interval.
Connected and disconnected sets

If  f : I `->` R is continuous and I is a connected  then f (I) is connected.
Proof: (Corrected 10-24) Suppose f (I) is not connected. Then there exist U and V in R where

(i) U `uuu` V =
f (I); and (ii)  U `nnn` f (I)`!=` `O/` , V `nnn` f (I) `!=` `O/` , AND V `nnn` f (I) `nnn`U `=` `O/` . We will show this implies that I is not a connected set.
Since f is continuous for the domain I, there exists open sets U1 and V1 so that U1 `nnn` I = `f ^{-1}(U)` and
V1 `nnn` I = `f ^{-1}(V)`. 
(i) U1 `uuu` V1 `sup` I; and (ii) U1 `nnn` I `!=` `O/` , V1 `nnn` I `!=` `O/` , AND U1 `nnn` I `nnn`V1 `=` `O/`. [why?]
But this contradicts the assumption that I was a connected set.


Finite subcover property.

Compactness and continuity.
If  f : I `->` R is continuous and I is a compact  then f (I) is compact.
Proof: To show
f (I) is compact, suppose O is an open cover of f (I). Because f is continuous, for each U `in` O, there is an open set U* where U*`nnn` I = `f ^{-1}` (U).  Let O* = { U* : U `in` O }.  Note that O* is open cover of I , and since I is compact, O* has a finite subcover of I.  For these (finite) open sets we have corresponding U so that U*`nnn` I = `f ^{-1}` (U).  Thus .... these U are a finite subcover of the family O.

Topological proof of the Extreme Value Theorem.

BREAK! I have fallen behind in keeping these notes up to date.
Since the discussion of campactness we have been looking at integration.
We discussed both forms of the Fundamental Theorem of Calculus and proofs.
These proofs led us to a discussion of more basic theorems about the definite integral.
We went on an excursion into the concept of uniform continuity, proving that a continuous function on a compact set of real numbers was uniformly continuous. this allowed us to prove that any continuous function on [a,b] was integrable.
We also demonstrated the additive property and monotonicity for the definite integral.
The sum and scalar multiple properties will be done in class by students in the near future.

Today we started an investigation of functions and comparing them to numbers- in particular we introduced two distinct norms on functions: the sup norm and the L2 norm.
These will be discussed later.
We turned our attention to sequences and
reviewing some of the properties for convergence related primarily to numbers. We noted how geometric series could be thought of as a sequence of functions.
We reviewed and proved:
The Ratio and Root Tests
and other stuff.
Rearrangements of series and conditional convergence
Power series
Series and Power Series

Taylor's theorem: approximating functions with partial sums of power series
Taylor Series (with remainders - Integral & Lagrange)

Definition of uniform convergence

Uniform limits of continuous functions are continuous

Uniform limits of Riemann integrable functions

The Weierstrauss M-test

Convergence of power series

A nowhere differentiable function

Metric spaces: definition and examples
Convergence in a metric space
Convergence in infinite dimensional spaces
Properties of uniform convergence
The Weierstrass approximation theorem

Given the integers as an ordered integral domain ("commutative ring with unity and no zero divisors") we construct the rational numbers by first considering P= {(a,b): a,b integers and b not 0} and the equivalence relation on P where (a,b) ~ (c,d) [in P] if and only if ad= bc.
We proved that as a relation on P, ~ is symmetric, reflexive, and transitive. we let [a,b] = { (r,s) in P : (a,b) ~ (r,s) } and showd this partitioned P, i.e., (i) every (a,b) in P is in [a,b], and (ii) if [a,b] amd [c,d] have some element in common, then [a,b]= [c,d]  - as sets.
The rational numbers Q as a set = {[a,b]: a,b are integers and b is not 0.}

We then define operations on Q for addition and multiplication- show these operations are "well defined" and that with them Q is a field.

Finally we characterized what the positive rational numbers are and from this defined an order relation on Q.

The result made Q  an ordered field with a 1:1 function from Z to Q defined by `a ->[a,1]` that preserves the order and algebraic structures of Z.

Defining the real numbers:
we looked at ways we describe real numbers- eventually leading to a discussion of the decimal notation and its connection to infinite series using powers of 10 which converge by comparison with geometric series.
This led to a discussion of other sequences that characterize real numbers- in particular  e as the limit of the sums from the Taylor series `sum 1/(n!)` and the limit of the powers - `(1+1/n)^n`.
To eliminate the assumptions of a limit existing for these sequences of rational numbers, we can use the theory that characterizes convergence with the Cauchy condition. This is the start of a more general definition of a real number using "cauchy sequences" of rational numbers.
We let R = { S={`a_n`} : where `a_n` is a rational number for each n and  S is a Cauchy sequence }
Now we establish an equivalence relation on R , namely S~T [T = {`b_n`} in R] if for any positive rational number `epsilon` there is a natural number M where for any k >N, `|a_k - b_k| < epsilon`.
[Thus we indicated why ~ is a reflexive, symmetric, and transitive relation.]
This leads to the partition of R into equivalence classes [S]= {T in R: S~T}.  `R` = {[S]: S is in R} can then be used to define operations and an order relation  [ inherited from Q] so that `R` is an ordered field which satisfies the least upper bound property. Thus `R` is a complete ordered field- "the real numbers."

More on the definition of the real numbers:
Axioms for the Real numbers-

Construction of the real numbers- revisited on line-
including the proof of the least upper bound property.
["Close to what we outlined last class.]