teaching innovations in real analysis: david bressoud macalester college, st. paul, mn new orleans,...

15
Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Upload: sarah-matthews

Post on 23-Dec-2015

222 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Teaching Innovations in Real Analysis:

David Bressoud

Macalester College, St. Paul, MN

New Orleans, January 7, 2007

Page 2: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

A Radical Approach to

Lebesgue’s Theory of

Integration

To appear

December, 2007

Series, continuity, differentiation

1800–1850

Integration, structure of the real numbers

1850–1910

Page 3: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Cauchy, Cours d’analyse, 1821

“…explanations drawn from algebraic technique … cannot be considered, in my opinion, except as heuristics that will sometimes suggest the truth, but which accord little with the accuracy that is so praised in the mathematical sciences.”

Page 4: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

1=1−x+ x−x2 + x2 −x3 +L

= 1−x( ) + x−x2( ) + x2 −x3( ) +L

= 1−x( ) + x 1−x( ) + x2 1−x( ) +L

= 1−x( ) 1+ x+ x2 +L( )

11−x

=1+ x+ x2 +L

Page 5: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

1=1−x+ x−x2 + x2 −x3 +L

= 1−x( ) + x−x2( ) + x2 −x3( ) +L

= 1−x( ) + x 1−x( ) + x2 1−x( ) +L

= 1−x( ) 1+ x+ x2 +L( )

11−x

=1+ x+ x2 +L

−1 =

1

1 − 2= 1 + 2 + 22 +L

Page 6: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

1=1−x+ x−x2 + x2 −x3 +L −xN + xN

= 1−x( ) + x−x2( ) + x2 −x3( ) +L + xN−1 −xN( ) + xN

= 1−x( ) + x 1−x( ) + x2 1−x( ) +L + xN−1 1−x( ) + xN

= 1−x( ) 1+ x+ x2 +L + xN−1( ) + xN

11−x

=1+ x+ x2 +L + xN−1 +xN

1−x

Page 7: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Niels Henrik Abel (1826):

“Cauchy is crazy, and there is no way of getting along with him, even though right now he is the only one who knows how mathematics should be done. What he is doing is excellent, but very confusing.”

Page 8: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Cauchy, Cours d’analyse, 1821, p. 120

Theorem 1. When the terms of a series are functions of a single variable x and are continuous with respect to this variable in the neighborhood of a particular value where the series converges, the sum S(x) of the series is also, in the neighborhood of this particular value, a continuous function of x.

S x( ) = fk x( )k=1

∑ , fk continuous ⇒ S continuous

Page 9: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Sn x( ) = fk x( )k=1

n

∑ , Rn x( ) =S x( )−Sn x( )

Convergence ⇒ can make Rn x( ) as small as we wish by taking n sufficiently large. Sn is continuous for n< ∞.

Page 10: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Sn x( ) = fk x( )k=1

n

∑ , Rn x( ) =S x( )−Sn x( )

Convergence ⇒ can make Rn x( ) as small as we wish by taking n sufficiently large. Sn is continuous for n< ∞.

S continuous at a if can force S(x) - S(a)

as small as we wish by restricting x −a .

Page 11: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Sn x( ) = fk x( )k=1

n

∑ , Rn x( ) =S x( )−Sn x( )

Convergence ⇒ can make Rn x( ) as small as we wish by taking n sufficiently large. Sn is continuous for n< ∞.

S continuous at a if can force S(x) - S(a)

as small as we wish by restricting x −a .

S x( )−S a( ) = Sn x( ) + Rn x( )−Sn a( )−Rn a( )

≤Sn x( )−Sn a( ) + Rn x( ) + Rn a( )

Page 12: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Abel, 1826:

“It appears to me that this theorem suffers exceptions.”“It appears to me that this theorem suffers exceptions.”

sin x −

12

sin2x+13sin3x−

14

sin4x+L

Page 13: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

Sn x( ) = fk x( )k=1

n

∑ , Rn x( ) =S x( )−Sn x( )

Convergence ⇒ can make Rn x( ) as small as we wish by taking n sufficiently large. Sn is continuous for n< ∞.

S continuous at a if can force S(x) - S(a)

as small as we wish by restricting x −a .

S x( )−S a( ) = Sn x( ) + Rn x( )−Sn a( )−Rn a( )

≤Sn x( )−Sn a( ) + Rn x( ) + Rn a( )

x depends on n n depends on x

Page 14: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

“If even Cauchy can make a mistake like this, how am I supposed to know what is correct?”

Page 15: Teaching Innovations in Real Analysis: David Bressoud Macalester College, St. Paul, MN New Orleans, January 7, 2007

This PowerPoint presentation is available at www.macalester.edu/~bressoud/talks

A draft of A Radical Approach to Lebesgue’s Theory of Integration is available at

www.macalester.edu/~bressoud/books