search

ImperialCollegeLondon / xena-UROP-2018

A place to put our 2018 Xena project UROP thoughts and programs.
Apache License 2.0
23 stars 5 forks source link

Metric and topological spaces #2

Open kbuzzard opened 6 years ago

kbuzzard commented 6 years ago

This is the optional 2nd year course. Metric spaces and topological spaces are in mathlib so let's check out their interfaces and see how good they are. We could start by digitising some of the example sheet questions or the theorems of the course. Let's start with the statements of the theorems and worry about proofs later.

kbuzzard commented 6 years ago

Let's do the contraction mapping theorem, for example!

kbuzzard commented 6 years ago

@rmitta is working through some of Sutherland. @SG4316 is thinking about connected spaces. @lgerolla is trying to do some alg top -- fundamental groups -- this is M3P21. He's using Hatcher. @GUILLERMOBAY is thinking about compact things.