Mathlib
Atlas
Analysis and topology
Pathway XVII
τ
Topology
Open sets, unions, finite intersections. Compactness is finite subcovers.
01
Open sets
A topology is a family of opens: empty and whole space, closed under unions and finite intersections.
4 min
02
Compactness
A set is compact when every open cover has a finite subcover. [0,1] is the prototype.
4 min
03
The fundamental group
Loops on a space, up to continuous deformation. The circle has π₁ = ℤ — winding number.
4 min
Begin this pathway