Dror Bar-Natan: Classes: 2003-04: Math 157 - Analysis I: | (57) |
Next: Homework Assignment 14
Previous: Class Notes for Thursday December 4, 2003 |

this document in PDF: Integration.pdf

The setting: bounded on , a partition of , , , , , , . Finally, if we say that `` is integrable on '' and set .

**Theorem 1. ** For any two partitions ,
.

**Theorem 2. ** is integrable iff for every
there is a partition such that
.

**Theorem 3. ** If is continuous on then is
integrable on .

**Theorem 4. ** If then
(in particular, the rhs makes sense iff
the lhs does).

**Theorem 5. ** If and are integrable on
then so is , and
.

**Theorem 6. ** If is integrable on and is a
constant, then is integrable on and
.

**Theorem
. ** If on and both are
integrable on , then
.

**Theorem 7. ** If
on and is
integrable on then
.

**Theorem 8. ** If is integrable on and is
defined on by
, then is continuous on .

This class' fundamental existential dilemma / schizophrenia:

- We want to develop a mathematical world view in which
*everything*is intuitive. - At the same time, we want to
*prove*everything with no appeal whatsoever to the bad word ``intuition''.

The generation of this document was assisted by
L^{A}TEX2`HTML`.

Dror Bar-Natan 2004-01-07