Start Learning Reals 1 | Cauchy Sequences [dark version]

Q: Why does approximating √2 with rationals not automatically produce √2 inside Q?

Rational approximations can get closer and closer to 2 when squared, but the transcript stresses that there is no rational x with x² = 2. Even if fractions like 7/5, 49/25, 141/100, and others produce squares that approach 2, the rational system still lacks the property that guarantees the “limit behavior” corresponds to an actual rational number. So the approximation process can converge in behavior without converging to a rational value.

Q: How does absolute value turn “distance” into a usable mathematical tool?

Absolute value |x| is defined so it is always nonnegative and represents distance from 0. For x ≥ 0, |x| = x; for x < 0, |x| = −x. With this, the distance between two numbers x and y is measured by |x − y|. That lets closeness be expressed quantitatively, which is essential for defining convergence-like properties for sequences.

Q: What is the defining condition of a Cauchy sequence?

A Cauchy sequence (xₙ) of rational numbers satisfies: for every ε > 0, there exists an index N such that for all n, m ≥ N, the inequality |xₙ − xₘ| < ε holds. The transcript interprets this as: once you move far enough along the sequence, every later pair of terms stays within ε of each other.

Q: What does the “ε interval” intuition mean on the number line?

Fix a small ε. The Cauchy condition implies that only finitely many terms can lie outside any interval where the left-to-right distance is ε. Since ε can be chosen as small as desired, the sequence’s terms must eventually cluster into arbitrarily small regions—capturing the idea of a limit-like tightening even when a rational limit might not exist.

Q: Why does the transcript say Cauchy sequences are the route to constructing real numbers?

The √2 example shows that a sequence of rationals can behave as if it should have a limit, yet no rational number equals that limit. The transcript’s goal is to ensure that every Cauchy sequence gets a limit in the expanded system R. That completion step is what turns “eventually close” behavior into actual convergence within the real numbers.

TL;DR

Absolute value provides a rigorous notion of distance: |x| measures distance from 0 and |x − y| measures distance between x and y.

Briefing Cornell Notes

Briefing

Real numbers are built to fix a specific failure of rational numbers: they can approximate values like √2 arbitrarily well, but they don’t guarantee that “eventually close” approximations settle to an actual number within the system. The lesson starts with the rational numbers Q, where fractions form a field and come with an ordering and an absolute value that measures distance from 0. Using absolute value, closeness becomes precise: the distance between two rationals x and y is |x − y|. That distance notion is what will later drive the construction of the real numbers.

The transcript then highlights why Q is not enough. Even though there is no rational x with x² = 2, there are rational approximations that get steadily better: 7/5 is close, 49/25 is closer, 141/100 is closer still, and by pushing the denominator higher (for example, using a fraction with a very large denominator like 100,000), the squared value can be made closer to 2 than before. The key observation is that the distance between successive approximations shrinks. Yet the process does not produce a rational number that equals √2, because rational numbers lack the property needed to ensure that such “limit-like” behavior always lands inside the number system.

To capture the missing property, the transcript shifts from a concrete example to an abstract criterion for sequences. Consider an infinite sequence (xₙ) of rational numbers. The desired condition is Cauchy’s: for every positive tolerance ε, there exists an index N such that whenever n and m are both at least N, the distance between xₙ and xₘ is less than ε. In other words, after some point, all later terms of the sequence are mutually close—no matter how small ε is chosen. This is stronger than merely having terms that sometimes get close; it forces the entire tail of the sequence to cluster within any prescribed distance.

The transcript emphasizes the intuition using the number line: a Cauchy sequence can have infinitely many terms, but once ε is fixed, only finitely many terms can lie outside any interval of length ε. Crucially, ε can be made arbitrarily small, which is exactly what “converging behavior” should mean. The reason this matters is that rational numbers may contain sequences that behave like they should converge, yet still fail to converge to a rational limit (as with the √2 approximations). The construction of the real numbers is then motivated by the need to assign limits to all such Cauchy sequences.

Those sequences are given a special name: Cauchy sequences. The final takeaway is that real numbers R are introduced so that every Cauchy sequence of rationals has a corresponding limit in R, even when no rational number serves as the limit. That completion step is what makes R the foundation for calculus and analysis, where limits and convergence are unavoidable.

Cornell Notes

The rational numbers can approximate many values (like √2) arbitrarily well, but they don’t always contain the exact limit those approximations suggest. Using absolute value, distance is measured by |x − y|, so “getting close” can be stated precisely. A sequence (xₙ) of rationals is called a Cauchy sequence if, for every ε > 0, there is an index N such that all terms xₙ and xₘ with n, m ≥ N satisfy |xₙ − xₘ| < ε. This means the sequence’s tail becomes arbitrarily tight, even if it may not converge to a rational number. Real numbers are introduced to ensure that every Cauchy sequence of rationals has a limit in the completed number system.

Why does approximating √2 with rationals not automatically produce √2 inside Q?

Rational approximations can get closer and closer to 2 when squared, but the transcript stresses that there is no rational x with x² = 2. Even if fractions like 7/5, 49/25, 141/100, and others produce squares that approach 2, the rational system still lacks the property that guarantees the “limit behavior” corresponds to an actual rational number. So the approximation process can converge in behavior without converging to a rational value.

How does absolute value turn “distance” into a usable mathematical tool?

Absolute value |x| is defined so it is always nonnegative and represents distance from 0. For x ≥ 0, |x| = x; for x < 0, |x| = −x. With this, the distance between two numbers x and y is measured by |x − y|. That lets closeness be expressed quantitatively, which is essential for defining convergence-like properties for sequences.

What is the defining condition of a Cauchy sequence?

A Cauchy sequence (xₙ) of rational numbers satisfies: for every ε > 0, there exists an index N such that for all n, m ≥ N, the inequality |xₙ − xₘ| < ε holds. The transcript interprets this as: once you move far enough along the sequence, every later pair of terms stays within ε of each other.

What does the “ε interval” intuition mean on the number line?

Fix a small ε. The Cauchy condition implies that only finitely many terms can lie outside any interval where the left-to-right distance is ε. Since ε can be chosen as small as desired, the sequence’s terms must eventually cluster into arbitrarily small regions—capturing the idea of a limit-like tightening even when a rational limit might not exist.

Why does the transcript say Cauchy sequences are the route to constructing real numbers?