18.100A Real Analysis (Fall 2020, MIT OCW). Instructor: Dr. Casey Rodriguez. This course covers the fundamentals of mathematical analysis: convergence of sequences and series, continuity, differentiability, Riemann integral, sequences and series of functions, uniformity, and the interchange of limit operations. It shows the utility of abstract concepts through a study of real numbers, and teaches an understanding and construction of proofs.
(from ocw.mit.edu)
Lecture 05 - The Archimedean Property, Density of the Rotations, and Absolute Value
Instructor: Dr. Casey Rodriguez. We show that the real numbers satisfy the Archimedean property, a property we will constantly use, and we prove rationals are dense in the reals. We also rigorously define absolute values and the properties that follow from this definition.