Mathlib
Atlas
Foundations
Pathway II
∞
Extended number systems
Add infinities to the line. Extended reals and the compactification that makes ±∞ points.
01
Extended reals
The extended real line is ℝ with two extra points, +∞ and −∞, sitting at the ends.
4 min
02
One-point compactification
Glue the two infinities into one. The real line becomes a circle — ℝP¹.
4 min
Begin this pathway