
Course18.100B / 18.100225 lectures
Real Analysis
Prof. Tobias Holck Colding · Massachusetts Institute of Technology
About
This course gives an introduction to analysis, and the goal is twofold:
1. To learn how to prove mathematical theorems in analysis and how to write proofs.
2. To prove theorems in calculus in a rigorous way.
The course will start with real numbers, limits, convergence, series and continuity. We will continue on with metric spaces, differentiation and Riemann integrals. After that, we will move on to differential equations.
Lectures
Video Lectures
- Lecture 1: Introduction to Real Numbers
- Lecture 2: Introduction to Real Numbers (cont.)
- Lecture 3: How to Write a Proof; Archimedean Property
- Lecture 4: Sequences; Convergence
- Lecture 5: Monotone Convergence Theorem
- Lecture 6: Cauchy Convergence Theorem
- Lecture 7: Bolzano–Weierstrass Theorem; Cauchy Sequences; Series
- Lecture 8: Convergence Tests for Series; Power Series
- Lecture 9: Limsup and Liminf; Power Series; Continuous Functions; Exponential Function
- Lecture 10: Continuous Functions; Exponential Function (cont.)
- Lecture 11: Extreme and Intermediate Value Theorem; Metric Spaces
- Review for 18.100B Real Analysis Midterm
- Lecture 12: Convergence in Metric Spaces; Operations on Sets
- Lecture 13: Open and Closed Sets; Coverings; Compactness
- Lecture 14: Sequential Compactness; Bolzano–Weierstrass Theorem in a Metric Space
- Lecture 15: Derivatives; Laws for Differentiation
- Lecture 16: Rolle’s Theorem; Mean Theorem; L’Hôpital’s Rule; Taylor Expansion
- Lecture 17: Taylor Polynomials; Remainder Term; Riemann Integrals
- Lecture 18: Integrable Functions
- Lecture 19: Fundamental Theorem of Calculus
- Lecture 20: Pointwise Convergence; Uniform Convergence
- Lecture 21: Integrals and Derivatives under Uniform Convergence
- Lecture 22: Differentiating and Integrating Power Series; Ordinary Differential Equations (ODEs)
- Lecture 23: Existence & Uniqueness for ODEs: Picard–Lindelöf Theorem
- Review for the 18.100B Real Analysis Final Exam
Syllabus and materials
At MIT OpenCourseWare, as the course publishes them.
Credits and licence
- Institution
- Massachusetts Institute of Technology
- Department
- Mathematics
- Teacher
- Prof. Tobias Holck Colding
- Term
- Spring 2025
- Level
- Undergraduate
- Language
- English
- Subjects
- Mathematics
- Source
- MIT OpenCourseWare
- Licence
- CC BY-NC-SA 4.0, as MIT OpenCourseWare states it. Non-commercial use only. MIT OpenCourseWare's terms
- Attribution
- Prof. Tobias Holck Colding. Real Analysis. Spring 2025. Massachusetts Institute of Technology: MIT OpenCourseWare, https://ocw.mit.edu/. License: Creative Commons BY-NC-SA.
- Who can watch
- MIT OpenCourseWare gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed
More like this
Course
The Analytics Edge
35 lectures · Video
Course
Single Variable Calculus
35 lectures · Video
Course
Multivariable Calculus
35 lectures · Video
Course
Matrix Methods in Data Analysis, Signal Processing, and Machine Learning
34 lectures · Video
Course
Linear Algebra
35 lectures · Video
Course
Linear Algebra
158 lectures · Video
Course
Computational Science and Engineering I
50 lectures · Video
Course
Probabilistic Systems Analysis and Applied Probability
149 lectures · Video
Course
Design and Analysis of Algorithms
34 lectures · Video
Course
Geometric Folding Algorithms: Linkages, Origami, Polyhedra
40 lectures · Video
Course
Computational Music Theory and Analysis
47 lectures · Video
Course
Differential Equations
32 lectures · Video