If you're a final year student in our Faculty of Science and Engineering, you are eligible to fast-track your application for this course. Log in using your University details and submit your interest online.

# MSc Pure Mathematics and Mathematical Logic / Course details

Year of entry: 2022

Coronavirus information for applicants and offer-holders

We understand that prospective students and offer-holders may have concerns about the ongoing coronavirus outbreak. The University is following the advice from Universities UK, Public Health England and the Foreign and Commonwealth Office.

## Course unit details:Fourier Analysis and Lebesgue Integration

Unit code MATH61011 15 FHEQ level 7 – master's degree or fourth year of an integrated master's degree Semester 2 Department of Mathematics No

### Overview

It is often convenient to represent functions as Fourier series. However, the convergence of such series is a delicate issue closely related to the theory of integration. A standard approach to integration on the real line, formalised by Riemann, is based on partitioning the domain into smaller intervals. This approach works in many situations but there are simple examples for which it fails. In the early 1900s, H. Lebesgue produced a better theory in which the key idea is to extend the notion of length from intervals to more complicated subsets of R. This started an area of mathematics it its own right, called Measure Theory. Most generally, this is about how one may sensibly assign a size to members of a collection of sets. One application of Lebesgue's ideas is that one can introduce a vector space of functions in which Fourier series appear in a natural way.

This course will appeal to students who have enjoyed MATH20101 or MATH20111 and MATH20122. It will be useful to student taking probability courses in years three and four since the ideas of measure theory have a central role in probability theory.

### Pre/co-requisites

Unit title Unit code Requirement type Description
Real Analysis A MATH20101 Pre-Requisite Compulsory
Real Analysis B MATH20111 Pre-Requisite Compulsory
Metric Spaces MATH20122 Pre-Requisite Compulsory

Students are not permitted to take MATH41012 and MATH61012 for credit in an undergraduate programme and then a postgraduate programme.

### Aims

To give an introduction to Lebesgue's theory of measure and integration on the set of real numbers R. To use this to find an appropriate setting in which to understand the convergence of Fourier series.

### Learning outcomes

On successful completion of this course unit students will be able to:

• formulate the Fourier series associated to a periodic function;
• describe what is meant by a function being simple, measurable, integrable, and verify if certain functions satisfy such properties;
• define a σ-algebra, Lebesgue measure on R and construct integrals using measures;
• prove the convergence theorems for the Lebesgue integral and use them to calculate the Lebesgue integral for certain infinite series;
• prove that the set of square integrable periodic functions forms a Hilbert space;
• relate the Fourier series of a periodic function to the Hilbert space of square integrable periodic functions;

### Syllabus

• Fourier series, convergence and Dirichlet's Theorem. [3 lectures]
• Revision of countable and uncountable sets, the Cantor set. [2 lectures]
• Riemann's approach to integration. Lesbesgue measure on R, Borel sets, measurable sets and functions, construction of the Lebesgue integral. [8 lectures]
• Limit theorems for the Lebesgue integral. [3 lectures]
• Square integrable functions and Fourier series, Hilbert spaces. [6 lectures]

The lectures will be enhanced by additional reading on the costruction of Lebesgue measure, existence of non-measurable sets, and general measures. Reading material will be provided.

### Assessment methods

Method Weight
Other 20%
Written exam 80%
• Mid-semester coursework:  weighting 20%
• End of semester examination: weighting 80%

### Feedback methods

Feedback tutorials will provide an opportunity for students' work to be discussed and provide feedback on their understanding.  Coursework or in-class tests (where applicable) also provide an opportunity for students to receive feedback.  Students can also get feedback on their understanding directly from the lecturer, for example during the lecturer's office hour.

• J. Franks, A (Terse) Introduction to Lebesgue Integration, American Mathematical Society, Student Mathematical Library, 2009.
• H. S. Bear, A Primer of Lebesgue Integration, Academic Press, 1995.

### Study hours

Scheduled activity hours
Lectures 24
Tutorials 12
Independent study hours
Independent study 114

### Teaching staff

Staff member Role