Let
We say
We write
Note that if
So we just swapped two quantifiers.
It is now easy to see that uniform implies pointwise.
Visually, all
Theorem CTS
Suppose each
Then
Proof
Let
In particular,
By continuity of
Now let
Hence
This is called a
Theorem INT
Let the domain
Suppose
Then
Proof
Take
Note that
Hence
Now for any dissection
Pick
Hence find
and find a dissection
Furthermore, can find that
Now use triangle inequality on
Finally, have:
Hence
Corollary
Suppose
Then:
Theorem Diff
Let
Assume that the sequence of partial sums of
and that there is some
converges.
Then the sequence of partial sums
Furthermore, the limit
Proof sketch
Define
Note that by FTA,
So we just need to prove that partial sums of
Let
Find
By FTA we have
So: