Internal:

Setup


Introducing some basic definitions from topology which will be needed later down the line

→ Language for open/closed sets, limits

Metric Spaces

Open and Closed Sets

Closure, Interior, Boundary

Completeness (dedekind)

Sequences & Limits


Here, we first introduce the concept of convergence on sequences, before generalizing the idea to functions

Sequences & Convergence

Subsequences

Limits of Functions

Compactness & Applications