PMA Level 4 Modules
PMA4001 Project (1st and 2nd semester)
Prerequisite: This project is a compulsory component of the MSci pathway in Pure Mathematics. There is no specific prerequisite for this module, but the student will need enough Level 3 background in Pure Mathematics to undertake an extended project at this level in some area of Pure Mathematics for which supervision can be offered.
Coordinator: Dr YF Lin
Introduction
This is an extended project designed to test the student's ability to work independently at a high level for a prolonged period of time with a restricted amount of supervision. This will give a taste of the kind of work expected of a mathematician in the commercial or academic world, unlike the relatively short bursts of work expected in most undergraduate modules. It will also provide an opportunity to develop those transferable skills that are sought by employers, including IT (both wordprocessing and database access), presentational and personal ones.
Content
The project takes place during the two terms of Level 4. It will normally involve study and exposition of a piece of mathematical work beyond the normal undergraduate syllabus and which will probably not be available in easily assimilated form. Originality of exposition will be expected, but not necessarily much in the way of original results. The main part of the assessment will consist of a wordprocessed report, but 20% of the marks for the project are awarded for an oral presentation of the work which will take place before or after Easter, depending on the academic calendar. As preparation for this assessed oral presentation, the student will be expected to give one oral progress report to a small group of staff and any other students undertaking this module. Constructive advice on this presentation will be provided.
Students intending to take this module should seek advice and think about their choice of project during the summer. The selection of a project should be finalized no later than the start of the academic year, and it would be helpful to all involved if students actually did this even earlier.
Assessment
80% by final wordprocessed report, 20% by oral presentation.
PMA4003 Topology (1^{st} semester)
Prerequisite: PMA3017 Metric and Normed Spaces, and PMA3014 Set Theory
Lecturer: Dr A Blanco
Introduction
Topology (rather like Algebra or Analysis) is not so much a single branch of mathematics but a loose confederation of subject areas differing widely in their origins, techniques and motivation but united by sharing a common core of basic concepts and constructions. Problems of a topological nature include: how can we describe and classify knots? how can we describe and classify surfaces? to what extent is it possible to extend the ideas of analysis into sets that don't have metrics defined on them? what can be meant by saying that two objects are “fundamentally the same shape”, and how do we decide whether they are or not? what ‘models’ are available to describe certain aspects of theoretical computer science? Rather than attempting to supply answers to any such major questions, this module will concentrate on developing enough of the ‘common core’ to allow students to begin to appreciate how such issues can be tackled topologically.
Content
Ordered Sets: Partial order, maximal and maximum, minimal and minimum, upper and lower bounds, infima and suprema, lattices.
Topological Spaces: Topologies, open set, closed set, closure, neighbourhood, base, subbase, lattice of topologies, subspaces.
Continuity and Sequential Convergence: Continuous functions between topological spaces, composites, homeomorphism, topological invariants, contractive and expansive invariants. Convergence of a sequence in a topological space; the inadequacy of sequential convergence in topological spaces, contrasting with the adequacy of sequential convergence in metric spaces. Firstcountable spaces, separable spaces, secondcountable spaces.
Separation Axioms: T_{0}spaces, T_{1}spaces, Hausdorff or T_{2}spaces, regular or T_{3}spaces, normal or T_{4}spaces. Every secondcountable T_{3}space is metrizable and separable.
Compactness: Open covers, compact subsets, KCspaces, a compact T_{2}space is T_{4}, maximal compact and minimal T_{2}spaces.
Connectedness: Connected spaces, connected subsets, components, totally disconnected spaces, locally connected spaces.
Assessment
Exam 70% 2x Mini Project 30% (15% each)
Textbooks
The libraries contain several texts on topology which include sections relevant to this module, but be aware that a lot of them are written at postgraduate level. More accessible are:
Mansfield, M. J., Introduction to Topology (Van Nostrand).
Mendelson, B., Introduction to Topology (Allyn & Bacon).
Moore, T. O., Elementary General Topology (Prentice Hall).
Simmons, G. F., Introduction to Topology and Modern Analysis (McGrawHill).
Lipschutz, S., General Topology (Schaum).
PMA4004 Integration Theory (1st semester)
Prerequisite: PMA2002 Analysis and PMA3014 Set Theory
Lecturer: Dr S Shkarin
Introduction
The theory of integration, developed by Lebesgue in the early part of the twentieth century in the context of the real line and subsequently extended to more general settings, is indispensable in modern analysis. The Lebesgue theory allows a very wide class of functions to be integrated and includes powerful convergence theorems which are not available in Riemann integration. In this module the theory is developed in the context of a general σalgebra of sets. Special attention is given to the case of Lebesgue measure on the reals, and some applications of the integral to Fourier series are given.
Content
σalgebras of sets, measurable spaces, measurable functions. Measures. Integrals of nonnegative measurable functions: properties including Fatou's lemma and monotone convergence theorem. Integrable functions: Lebesgue dominated convergence theorem. Lebesgue integral on intervals: comparison with Riemann integral. L^{p}spaces: inequalities of Hölder and Minkowski; Fourier series in L^{2}.
Assessment
Exam 70% 3x Assignment 30%
Textbooks
R. G. Bartle, The Elements of Integration and Lebesgue Measure (Wiley, 1995).

PMA4010 Algebraic Topology (2^{nd} semester)
Prerequisite: PMA4003 Topology
Lecturer: Dr T Huettemann
Introduction
This module is an introduction to algebraic topology. Given two topological spaces, one may want to know if these spaces are homeomorphic (that is, indistinguishable). Contrary to what one might expect, this question is particularly hard to deal with if the spaces are not homeomorphic. Algebraic topology provides a toolkit for this situation, and for many farreaching generalisations as well. Surprising and important consequences of our investigations will be that every selfmap of a disc (a solid ball) must leave at least one point fixed, and that any selfhomeomorphism of a disc must map the boundary of the disc to the boundary.
Outside of topology and geometry, these results have applications in many mathematical disciplines: for example, the fundamental theorem of algebra (that every nonconstant polynomial with complex coefficients has at least one root) will be proved by algebrotopological means. Another example: the FrobeniusPerron theorem in linear algebra.
Contents
The module starts with discussing some pointset topological notions, most notably that of identification maps, and introduces fundamental geometric constructions (cone and suspension). Next, the central notion of homotopy is introduced. Building on this, the twodimensional theory is developed using the socalled fundamental group of a space. The general theory without restrictions is introduced using a combinatorial descriptions of spaces (simplicial complexes and triangulations). Several topological applications are given (Brouwer's fixed point theorem, invariance of dimension, invariance of the boundary).
Assessment
Exam 70% Assignment 10% Presentation 10% Tutorial participation 10%