Math 131 - Real Analysis I

Math 131: Real Analysis I (Spring 2010, Harvey Mudd College). Taught by Professor Francis Su, this course is a rigorous analysis of the real numbers, as well as an introduction to writing and communicating mathematics well. Topics will include: construction of the real numbers, fields, complex numbers, topology of the reals, metric spaces, careful treatment of sequences and series, functions of real numbers, continuity, compactness, connectedness, differentiation, and the mean value theorem, with an introduction to sequences of functions. (from math.hmc.edu)

Constructing the Rational Numbers