So far, we've dealt with rational numbers, which are any numbers you can write as a fraction, like $1/2$ or $-7/3$. They're incredibly useful, but they don't tell the whole story. There are gaps on the number line that fractions can't fill.

Consider the number $\sqrt{2}$. You can get closer and closer to it with fractions ($1.4$, $1.41$, $1.414$, ...), but you can never write it perfectly as one. Numbers like this are called irrational. The real numbers, denoted by the symbol $\mathbb{R}$, are the set of all rational and irrational numbers combined. They create a complete, continuous line with no gaps.

The real numbers follow familiar rules for arithmetic. Addition and multiplication are commutative ($a+b = b+a$) and associative ($a+(b+c) = (a+b)+c$), and they work together through the distributive property ($a(b+c) = ab+ac$). There are also identity elements (0 for addition, 1 for multiplication) and inverses for every number (like $-a$ and $1/a$).

They also have a natural order. For any two real numbers $a$ and $b$, one and only one of the following is true: $a < b$, $a = b$, or $a > b$. This allows us to arrange them on the number line.

What truly separates the real numbers from the rationals is a property called completeness. The Completeness Axiom states that the real number line has no holes. It's a continuous, unbroken line.

To understand this, let's think about sets of numbers. An upper bound of a set is a number that is greater than or equal to every number in the set. A lower bound is a number that is less than or equal to every number in the set.

For example, consider the set $S = \{1, 2, 3\}$. The number 4 is an upper bound, and so are 3, 5, and 100. The number 0 is a lower bound, and so are 1, -5, and -10.

This leads us to two important concepts.

And its counterpart:

Now, let's look at a more interesting set: all rational numbers whose square is less than 2. This set has plenty of upper bounds (like 2, 1.5, or 1.42). But what is its least upper bound within the rational numbers? There isn't one! You can always find another rational number that's a little smaller but still an upper bound.

This is a 'hole' in the rational numbers. The real numbers fix this. The supremum of this set in the real numbers is exactly $\sqrt{2}$. The completeness property ensures that such a number exists to fill the gap.

Even though the real number line is packed with irrational numbers, the rationals are still everywhere. This property is called density.

The Density of Rationals states that between any two different real numbers, you can always find a rational number. No matter how close two real numbers are, there's a fraction sitting between them.

Think about the numbers 3.141592 and 3.141593. They're very close. But we can easily find a rational number between them, like 3.1415925.

This might seem contradictory. How can the line be full of irrationals if there's always a rational next door? It's because there are also irrationals between any two reals. Both sets are infinitely dense, woven together to form the complete number line we use in calculus and beyond.

Time to check your understanding.

Understanding these properties of real numbers—their structure, completeness, and the density of rationals within them—is the foundation for exploring the core concepts of mathematical analysis.