PMA Level 4 Modules
Pre-requisite: This project is a compulsory component of the MSci pathway in Pure Mathematics. There is no specific pre-requisite 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.
Co-ordinator: Dr Y-F Lin
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 word-processing and data-base access), presentational and personal ones.
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 word-processed 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.
80% by final word-processed report, 20% by oral presentation.
PMA4003 Topology (1st semester)
Pre-requisite: PMA3017 Metric and Normed Spaces, and PMA3014 Set Theory
Lecturer: Dr A Blanco
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.
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. First-countable spaces, separable spaces, second-countable spaces.
Separation Axioms: T0-spaces, T1-spaces, Hausdorff or T2-spaces, regular or T3-spaces, normal or T4-spaces. Every second-countable T3-space is metrizable and separable.
Compactness: Open covers, compact subsets, KC-spaces, a compact T2-space is T4, maximal compact and minimal T2-spaces.
Connectedness: Connected spaces, connected subsets, components, totally disconnected spaces, locally connected spaces.
Exam 70% 2x Mini Project 30% (15% each)
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 (McGraw-Hill).
Lipschutz, S., General Topology (Schaum).
PMA4004 Integration Theory (1st semester)
Pre-requisite: PMA2002 Analysis and PMA3014 Set Theory
Lecturer: Dr S Shkarin
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.
σ-algebras of sets, measurable spaces, measurable functions. Measures. Integrals of non-negative 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. Lp-spaces: inequalities of Hölder and Minkowski; Fourier series in L2.
Exam 70% 3x Assignment 30%
R. G. Bartle, The Elements of Integration and Lebesgue Measure (Wiley, 1995).
PMA4010 Algebraic Topology (2nd semester)
Pre-requisite: PMA4003 Topology
Lecturer: Dr T Huettemann
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 far-reaching generalisations as well. Surprising and important consequences of our investigations will be that every self-map of a disc (a solid ball) must leave at least one point fixed, and that any self-homeomorphism 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 non-constant polynomial with complex coefficients has at least one root) will be proved by algebro-topological means. Another example: the Frobenius-Perron theorem in linear algebra.
The module starts with discussing some point-set 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 two-dimensional theory is developed using the so-called 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).
Exam 70% Assignment 10% Presentation 10% Tutorial participation 10%