# MA141 Analysis 1

**Lecturer:** James Robinson

**Term(s):** Term 1

**Status for Mathematics students:** Core

**Commitment:** 30 lectures, written assignments

**Assessment:** 85% from January exam and 15% from assignments. Four assignments: mark will be best of three

**Formal registration prerequisites: **None

**Assumed knowledge: **Grade A in A-level Further Maths or equivalent

**Useful background:** None

Analysis and Algebra are the two fundamental areas of pure mathematics. This module forms the foundations for all the following Analysis-based modules. Along with MA139 Analysis 2, the other closely related first-year modules are MA146 Methods of Mathematical Modelling 1 and MA144 Methods of Mathematical Modelling 2.

**Leads to: **The following modules have this module listed as **assumed knowledge** or **useful background:**

All future Analysis or Analysis-related modules, including the following Year 2 modules:

- MA244 Analysis III
- MA259 Multivariable Calculus
- MA250 Introduction to PDEs
- MA254 Theory of ODEs
- MA260 Norms, Metrics and Topologies
- MA209 Variational Principles

and familiarity with the results (if not the proofs) will be needed in:

**Aims: **Analysis is the area of mathematics that - among other things - places calculus (differentiation and integration) on a solid foundation. While the Analysis 2 module discusses calculus, Analysis 1 introduces the key ideas and will get you used to producing rigorous arguments.

You will have seen at school how the tangent to a curve as the result of drawing two points on the curve ever closer together; but how do we talk about this in a precise way that then enables us to prove something about its properties?

**Content:** Analysis 1 covers three main topics, with the first two closely related.

- Sequences and limits.

We start off by discussing how to define "limits" properly. What does it mean to say that \(1/n\to0\) as \(n\to\infty\)? With a simple example like this it is easy to have an intuitive idea, but how do we understand the statement that \((1+\frac{1}{n})^n\to{\rm e}\) as \(n\to\infty\) or prove that \(n^{1/n}\to1\) as \(n\to\infty\)? Once we want to prove more interesting things like these, we need a proper definition of what a limit really is.

- Sums of series.

A very natural way in which such a limiting process arises is if we try to sum up infinite series. What does it mean to say that

\(\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\cdots =\sum_{n=1}^\infty 2^{-n}=1\)?

This you can see by thinking about cutting a cake in half repeatedly, so once more your intuition will give you an idea. But what about

\(1+\frac{1}{4}+\frac{1}{9}+\cdots=\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)?

The first step to proving this (the proof is not easy!) is to understand what such a statement actually means.

- Continuous functions.

What does it mean for a function to be continuous? (We will first, of course, have to think a little more carefully about what a "function" actually is - although by the time we treat functions in Analysis 1, you will have covered them in Foundations.)

After reading the above, it should be fairly clear that "something you can draw without taking your pencil off the page" is not going to get us very far - certainly not if we want to prove anything!

We will give a formal definition of what it means for a function to be continuous and then use this to prove some basic (and extremely useful) properties of continuous functions. Sometimes the results we prove might seem to be "obvious", but try proving the *Intermediate Value Theorem *below without having a proper definition of what it means to be continuous. ("But it's just obvious!" is not a proof.)

Let \(f\colon [a,b]\to{\mathbb R}\) be continuous, and assume that \(f(a)<f(b)\). Then for any \(c\) with \(f(a)<c<f(b)\) there exists a point \(x\in(a,b)\) such that \(f(x)=c\).

**Books**:

M. Hart, *Guide to Analysis*, Macmillan. (A good traditional text with theory and many exercises)

K.G. Binmore, *Mathematical Analysis: A Straightforward Approach*, CUP (1982)

L. Alcock, *How To Think About Analysis*, Oxford University Press (2014)