Module Details |
The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module. |
Title | TOPOLOGY | ||
Code | MATH346 | ||
Coordinator |
Dr JM Woolf Mathematical Sciences Jonathan.Woolf@liverpool.ac.uk |
||
Year | CATS Level | Semester | CATS Value |
Session 2024-25 | Level 6 FHEQ | Second Semester | 15 |
Aims |
|
1. To introduce students to the mathematical notions of space and continuity. |
Learning Outcomes |
|
(BH1) An understanding of the ubiquity of topological spaces within mathematics. |
|
(BH2) Knowledge of a wide range of examples of topological spaces, and of their basic properties. |
|
(BH3) The ability to construct proofs of, or counter-examples to, simple statements about topological spaces and continuous maps. |
|
(BH4) The ability to decide if a (simple) space is connected and/or compact. |
|
(BH5) The ability to construct the Cech and Vietoris-Rips complexes of a point set in Euclidean spac. e |
|
(BH6) The ability to compute the fundamental group of a (simple) space, and to use it to distinguish spaces. |
Syllabus |
|
Topological spaces. Examples including Euclidean space, discrete and indiscrete spaces, Alexandrov space of a poset. Continuous maps. Examples including continuous real functions, limits of real sequences, maps of posets. Homeomorphisms. Subspace and quotient topologies. Examples including real surfaces (as subspaces of Euclidean space and as quotients of polygons), graphs and the Cantor set. Simplicial complexes. Cech and Vietoris-Rips complexes of a point set in Euclidean space. Connectedness. Continuous image of a connected space is connected. Intermediate Value Theorem and Brouwer Fixed Point Theorem in dimension 1. The Cantor set is totally disconnected. Brief discussion of space-filling curves. Compactness. Continuous image of a compact space is compact. Compact subsets of Euclidean space and the Boundedness Theorem. Compactness of the Cantor set. Paths and homotopies. Fundamental group. Examples including the fundamental group of the circle. Cayley graphs and simplicial complexes with prescribed fundamental group. Functoriality of the fundamental group. Brouwer Fixed Point Theorem in dimension 2. The Fundamental Theorem of Algebra. |
Recommended Texts |
|
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module. |
Pre-requisites before taking this module (other modules and/or general educational/academic requirements): |
MATH101 Calculus I; MATH103 Introduction to Linear Algebra; MATH102 CALCULUS II; MATH142 Numbers, Groups and Codes; MATH343 GROUP THEORY |
Co-requisite modules: |
Modules for which this module is a pre-requisite: |
Programme(s) (including Year of Study) to which this module is available on a required basis: |
Programme(s) (including Year of Study) to which this module is available on an optional basis: |
Assessment |
||||||
EXAM | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Final Assessment | 120 | 70 | ||||
CONTINUOUS | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Homework 3 | 0 | 10 | ||||
Homework 2 | 0 | 10 | ||||
Homework 1 | 0 | 10 |