MS-C1541 - Metric Spaces, Lecture, 9.1.2023-23.2.2023
This course space end date is set to 23.02.2023 Search Courses: MS-C1541
Översikt
-
Teachers
Lecturer:- Kalle Kytölä
Teaching assistants:
- Theo Elenius (TA)
- Aada Hakula (TA)
- Tuomas Kelomäki (Head TA)
Practicalities
- The lectures will be held on Mondays 10-12 and Wednesdays 14-16. See the Lectures tab for more details.
- There are five exercise groups, each with 2h/week exercise session. See the Assignments tab for more details.
- The course discussion forum
is going to be a Zulip chat https://metric2023.zulip.aalto.fi hosted by Aalto CS. It will be used for announcemnts
and discussions about the course topics, lectures, exercises,
practicalities, etc., and some quizzes and polls may be held there. You
can and should login with your Aalto account. The data is
hosted at Aalto University servers, but the policy is to not post any
sensitive information in this discussion forum; see the general rules of zulip.cs.aalto.fi.
Description of the course
This course is about topological properties of spaces, including the familiar -dimensional Euclidean space but also for example function spaces arising in applications. Topological concepts include, e.g., limits of sequences and continuity of functions, familiar already from basic courses. Somewhat more advanced topological notions treated in this course are connectedness ("the space can not be torn apart to separate pieces"), compactness ("the space has no infinite directions to escape towards"), and completeness ("sequences that look convergent actually have limits").A central theme of the course is a (modest) increase in the level of abstraction, particularly for the purposes of mathematical analysis. An increased level of abstraction brings about the following benefits, in particular. The desired results are derived with more general (less restrictive) assumptions, so that a similar result does not have to be proven for each particular application case separately. Also as the reasoning can only resort to the minimal amount of assumptions, it conveys the essence of the result in a clearer manner. The increase of the level of abstraction requires careful logical reasoning, to avoid being mislead by intuitive ideas or particularities of specific concrete cases. Intuition is, of course, a key to coming up with the correct general ideas in the first place, but it eventually has to be turned into rigorous logical arguments. Counterexamples are a useful tool of abstract reasoning, as they can explicitly point out in which ways intuition could be misleading.The topic of the course has applications in various fields of mathematics. For example the convergence of sequences and series generalized to function spaces is necessary for the theory of Fourier series and Fourier transforms, which in turn is a key tool in signal processing, among other application areas. In statistics, on the other hand, one often needs limits of random variables and probability distributions, necessitating working in spaces of random variables or probability measures. Geometry, with its own applications, is a close cousin of topology to start with. And for example theories of particle physics feature continuous symmetries, and topological properties largely dictate to what extent the analysis of infinitesimally small symmetry transformations yields results about all symmetry transformations. Although we do not elaborate on the application areas, the topological notions studied in the course underlie almost all of mathematics. (To see this, you may want to check how many MSc level courses assume MS-C1540/MS-C1541 as a prerequisite).Course contents and learning objectives
Key topics of the course include:
- real numbers, metric, norm, inner product, open and closed sets, continuous mappings, sequences and limits, compactness, completeness, connectedness.
Upon successful completion of this course, you. . .- . . . recognize what structure different spaces are equipped with (e.g. inner product, norm, metric, topology, vector space structure, ...);
- . . . know the definitions and fundamental properties of continuous functions, convergent sequences, compact sets, completeness, and connectedness, required in advanced studies in mathematics;
- . . . can perform rigorous logical reasoning (specifically with concepts of metric space topology);
- .
. . can apply abstract and general results (about metric spaces in
particular) to concrete and specific cases(including the Euclidean space
and various function spaces).
Prerequisites
The course starts from mathematical foundations, and therefore logically relies on minimal prerequisites. A broader prior familiarity with mathematics is of course helpful for putting the abstract results in context and for appreciating the achieved generalizations.
A sufficient prior knowledge is a good command of:
MS-A01XX Differential and integral calculus 1
Completing the course
It is possible to take the course based on either exercises and course exam (KT), or final exam only (T0 or T01 or T02). The grade is based on the maximum of the following two options:- exercises 40% + course exam 60% (the best 5 rounds out of 6 in each category count towards the exercise component)
- final exam 100%.
The exam dates for Spring 2022 are:
- T0: February 23, 2023 (at 16:30-19:30)
- T01: April 18, 2023 (at 13:00-16:00)
- T02: June 8, 2023 (at 13:00-16:00)
- KT:
The course exam option is available in all the exams of the Spring
semester 2023: February ??, April ??, and June ??. The exercise points
from the period III course then constitute 40% of the total.
The final exam has 5 problems. The course exam has 4 problems, and these are a subset of the final exam problems, so you may attempt both options and the one leading to the better grade will be taken into account.You are allowed to bring to the exam a handwritten memory aid sheet. The memory aid sheet must be of size A4 with text only on one side, and it must contain your name and student number in the upper right corner. You don’t need to return your memory aid sheet.
- Kalle Kytölä