Analysis by Timothy Gowers

Why easy analysis problems are easy
by Timothy Gowers (UK, Fields Medal 1998)

Timothy Gowers is teaching in Cambridge, he wrote the thick volume of “Princeton Math Encyclopedia.”

He is a very good mathematician, who likes to explain simple fundamental Math questions (like why 2+2=4, multiplication is commutative,…), in the process making abstract math simple to understand.

If you have recently met epsilons and deltas for the first time, then you may find the problems you are asked to solve on examples sheets very hard. On the other hand, you will notice that your lecturers, supervisors etc. do not find them hard at all. Why is this? ” Read on …

Below is my attempt to rewrite the Example 1 with Latex epsilon-delta notation for easy reading.

Example 1.

I wish to prove that the sequence (1,0,1,0,1,0,…) does not converge.

\text{Let me set the sequence }   \{a_n\} \text{ to be:}

\{a_n\}=  \begin{cases}  1, & \text{if }n \text{ is odd} \\  0, & \text{if }n\text{ is even}  \end{cases}

\Large\text{ Then the statement that }   \{a_n\} \Large\text{ converges to } a \Large\text{ can be written: }

\exists a, \forall \varepsilon >0 ,\:\:\exists N ,\:\:\forall n > N , \:\:|a_n - a| < \varepsilon

For divergence, we want to write the negation of the above as:

\boxed{\forall a,\: \exists \varepsilon >0,  \:\:\forall N, \:\:\exists  n > N, \:\:|a_n-a| \geq \varepsilon}

Take arbitrary a as below:

a_n = 1  \text{ if n is odd, choose }a < 1/2
a_n = 0 \text{ if n is even, choose }a \geq 1/2

\text {Let } \varepsilon = \frac {1}{2}
For either case whether n is even or odd,
\forall N, \:\:\exists  n > N, \:\: |a_n- a| \geq \frac{1}{2}

\iff \{a_n\} \:\: diverges

=1, or
=0, or
= 1/2 (Leibniz said 50% -1 50% 0) ?

The Princeton Companion to Mathematics

3 thoughts on “Analysis by Timothy Gowers

  1. Pingback: Our Daily Story #8: The Rigorous Mathematician with epsilon-delta | Math Online Tom Circle

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s