Lecture 3: How to Write a Proof; Archimedean Property

Lecture 3: How to Write a Proof; Archimedean Property

by Tobias Holck Colding

Formal & Physical Sciences Mathematics PBKCalculus and mathematical analysisPBKBReal analysis, real variables
🎙 Tobias Holck Colding 👥 6.4M 📅 September 2, 2025 ⏱ 79 min 👁 19K 📄 lecture 🧭 2026-08-06
Available in: English (current) Français

Keywords

proof writingArchimedean propertysupremuminfimumreal numbers

Summary

This lecture from MIT’s Real Analysis course (18.100B) focuses on the craft of writing rigorous mathematical proofs. The instructor, Tobias Holck Colding, begins by clarifying concepts of boundedness and completeness in ordered sets, addressing common student questions about upper and lower bounds. He emphasizes the distinction between informal reasoning and formal proof writing, using the example of proving that the square root of 2 is a real number. He demonstrates how to structure a proof, including defining sets, showing non-emptiness, boundedness, and using the completeness axiom to establish existence. The lecture then introduces the Archimedean property, proving it and discussing its implications, such as the density of rationals in reals. Throughout, Colding provides guidance on how to approach proofs and what constitutes a valid mathematical argument.

126 words

Critical Evaluation

The lecture is an exemplary model of mathematical pedagogy. Professor Colding’s approach is methodical and clear, making abstract concepts accessible without sacrificing rigor. He addresses common pitfalls, such as the distinction between a set and its superset in the definition of bounds, and the importance of specifying the ambient ordered set. The proof of the existence of sqrt(2) is carefully constructed, illustrating the use of the completeness axiom. The Archimedean property is proven elegantly, and its consequences are explored. The lecture’s strength lies in its emphasis on the process of writing proofs, which is often under-taught. The instructor’s explanations are precise, and he anticipates student questions effectively. The content is accurate and aligns with standard real analysis texts. The only minor criticism is that the lecture moves at a deliberate pace, which may not suit all learners, but this is a matter of style rather than substance. Overall, this is a high-quality educational resource.

154 words

Title / Content Match

The title accurately reflects the content: the lecture focuses on proof-writing techniques and the Archimedean property.

Quality & Reliability

9/10

Lecture by a renowned MIT professor, part of an official OCW course. Content is rigorous, well-structured, and aligns with standard real analysis curriculum. Sources are institutional (MIT OCW).

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

Concurring Sources

External References

Contribution & Novelties

This lecture provides a clear, step-by-step guide to writing mathematical proofs, using the existence of sqrt(2) as a concrete example. It bridges the gap between intuitive understanding and formal rigor, a crucial skill for mathematics students. The treatment of the Archimedean property is thorough, with a rigorous proof and discussion of its implications.

Pour aller plus loin :

101 words

Radar Profile

The radar profile shows high scores across all dimensions, indicating a well-rounded, rigorous, and informative lecture. The balance between theoretical depth and pedagogical clarity is excellent.

Reliability 9/10