1 Definition and basic properties
Real numbers are the quantities that arise in measurement, geometry, and analysis. They include the familiar integers and fractions, together with numbers that cannot be expressed as ratios of integers. A real number can be viewed as a point on a continuous line, which makes the system suitable for describing lengths, time, temperature, and other values that vary without gaps. In modern mathematics, the real numbers are distinguished by their arithmetic operations, their order, and a completeness property that allows limits to behave consistently.
1.1 Informal intuition
The real number line provides the basic picture of the system. Each point corresponds to one value, and every value occupies a definite position relative to all others. Whole numbers can be counted, fractions divide quantities into parts, and irrational values fill the spaces that fractions leave between them. This intuitive view explains why real numbers are used in calculus and physical measurement: they model continuous change rather than only discrete quantities.
1.2 Formal construction
Mathematicians have developed several equivalent constructions of the real numbers to make the intuition precise. Each approach starts from the rational numbers and enlarges them so that gaps are removed. Although the methods differ, they lead to the same structure up to the usual notion of mathematical equivalence.
1.2.1 Decimal expansions
One way to represent real numbers is by infinite decimal expansions. Rational numbers produce decimals that either terminate or eventually repeat, while irrational numbers produce decimals with no final repeating pattern. This representation is familiar and useful, though it must be handled carefully because some numbers have two decimal forms, such as 0.999… and 1.
1.2.2 Dedekind cuts
A Dedekind cut divides the rational numbers into two nonempty sets, where every number in the first set is less than every number in the second. If the division occurs exactly at a rational point, it represents that rational number; otherwise, it defines an irrational number. This method captures the idea that a real number is determined by all rational numbers lying below it.
1.2.3 Cauchy sequences
Another construction uses Cauchy sequences of rational numbers. A sequence is Cauchy if its terms become arbitrarily close to each other as the sequence progresses. Some such sequences converge to rational limits, while others do not; the real numbers are introduced so that every Cauchy sequence has a limit. This approach is especially important in analysis because it highlights completeness.
1.3 Ordered field structure
The real numbers form a field, meaning they support addition, subtraction, multiplication, and division by nonzero numbers. They are also totally ordered, so any two real numbers can be compared. These algebraic and order properties interact in a coherent way, making the system suitable for both computation and geometric interpretation.
1.3.1 Addition and multiplication
Addition and multiplication satisfy the usual rules of arithmetic. They allow combinations of numbers to produce new real numbers, and familiar identities such as 0 acting as the additive identity and 1 as the multiplicative identity hold. Every real number has an additive inverse, and every nonzero real number has a multiplicative inverse.
1.3.2 Order relation
The order relation arranges real numbers along a line from smaller to larger values. It is compatible with arithmetic: adding the same number to both sides preserves order, and multiplying by a positive number does as well. This compatibility makes inequalities a natural part of real-number algebra.
1.4 Completeness property
The completeness of the real numbers distinguishes them from the rational numbers. It ensures that there are no missing limit points when one studies bounded sequences, nested intervals, or sets with upper bounds. Many central results of analysis depend on this feature.
1.4.1 Least upper bound property
Every nonempty set of real numbers that is bounded above has a least upper bound, also called a supremum. This means there is a smallest real number that is at least as large as every element of the set. The property formalizes the idea that intervals and bounded collections fit together without hidden gaps.
1.4.2 Monotone convergence
A monotone sequence is one that is entirely nondecreasing or nonincreasing. In the real numbers, every bounded monotone sequence converges. This is one of the standard consequences of completeness and is widely used in analysis to establish the existence of limits.
2 Classification of real numbers
Real numbers are commonly divided into rational and irrational numbers. This classification reflects whether a number can be written as a fraction of integers. It also corresponds to different behaviors in decimal notation and in algebraic descriptions.
2.1 Rational numbers
A rational number is any number that can be expressed as p/q, where p and q are integers and q is not zero. Rational numbers form a dense subset of the real line and include many values used in everyday calculation.
2.1.1 Integers and fractions
Integers are rational numbers with denominator 1, such as -3, 0, and 7. Fractions include numbers like 2/5 and -11/4. Together, these form the simplest part of the rational system and serve as the starting point for extending to all real numbers.
2.1.2 Terminating and repeating decimals
A rational number has a decimal expansion that either ends after finitely many digits or eventually repeats a block of digits. For example, 1/4 equals 0.25, and 1/3 equals 0.333…. This feature provides a practical test for rationality in decimal form.
2.2 Irrational numbers
Irrational numbers are real numbers that cannot be written as ratios of integers. Their decimal expansions do not terminate or fall into a repeating cycle. They are necessary to represent many geometric and analytical quantities.
2.2.1 Algebraic irrationals
An algebraic irrational is a real number that satisfies a polynomial equation with integer coefficients but is not rational. Common examples include √2 and √5. Such numbers often arise from geometry, especially in connection with lengths and diagonal relationships.
2.2.2 Transcendental numbers
Transcendental numbers are not solutions of any nonzero polynomial equation with integer coefficients. Famous examples include π and e. These numbers play a major role in analysis, geometry, and number theory, and their existence shows that the real line contains values beyond algebraic description.
2.3 Decimal representations
Decimal notation is a convenient way to write real numbers, but the pattern of digits reveals important information about the type of number represented. The decimal system is based on powers of ten and is widely used in science and computation.
2.3.1 Finite decimals
Finite decimals contain only a limited number of digits after the decimal point. They always represent rational numbers because they can be rewritten as fractions with denominators that are powers of ten. Examples include 0.5 and 12.375.
2.3.2 Infinite repeating decimals
Infinite repeating decimals continue forever with a recurring block of digits. They also represent rational numbers. The repeating pattern reflects the fact that long division on integers eventually produces a repeated remainder.
2.3.3 Infinite non-repeating decimals
Infinite non-repeating decimals never settle into a repeated cycle. These represent irrational numbers. Their lack of repetition indicates that no fraction of integers can capture them exactly.
3 Algebraic and order properties
The real numbers obey a well-known set of algebraic laws inherited from elementary arithmetic. These laws, together with the order structure, make real-number calculations predictable and internally consistent.
3.1 Field axioms
The field axioms describe how addition and multiplication behave in the real numbers. They ensure that calculations can be rearranged and simplified without changing the result, provided the usual rules are followed.
3.1.1 Associativity and commutativity
Associativity allows regrouping of terms without altering the outcome, as in (a + b) + c = a + (b + c). Commutativity allows the order of terms to be changed, as in a + b = b + a and ab = ba. These properties support ordinary arithmetic manipulation.
3.1.2 Distributive law
The distributive law connects multiplication with addition: a(b + c) = ab + ac. It is fundamental in algebra, enabling factorization, expansion, and the simplification of expressions. The law also helps explain polynomial identities and many basic computational methods.
3.2 Order axioms
The order axioms specify how inequalities behave within the real numbers. They ensure that the comparison of numbers is compatible with arithmetic and that each pair of numbers can be placed in a definite relation.
3.2.1 Trichotomy
For any two real numbers, exactly one of three possibilities holds: one is less than the other, they are equal, or the first is greater than the second. This property makes the order total and unambiguous.
3.2.2 Compatibility with arithmetic
The order is preserved under addition: if a < b, then a + c < b + c. It is also preserved under multiplication by positive numbers. When multiplication involves a negative number, the direction of the inequality reverses. These rules are essential in solving equations and inequalities.
3.3 Absolute value
| Absolute value measures the size of a real number without regard to sign. It is defined so that | x | equals x when x is nonnegative and -x when x is negative. This concept is central to distance, error estimates, and convergence. |
|---|
3.3.1 Distance interpretation
| The absolute value of the difference between two real numbers gives the distance between them on the number line. This interpretation makes expressions like | a - b | a natural way to describe closeness. It is especially useful in analysis and numerical approximation. |
|---|
3.3.2 Triangle inequality
| The triangle inequality states that | a + b | ≤ | a | + | b | . It generalizes the geometric idea that one side of a triangle is no longer than the sum of the other two. In the real numbers, it provides a basic estimate for bounding errors and proving convergence. |
|---|
4 Topological properties
Beyond arithmetic and order, the real numbers have a natural topology, meaning they support a rigorous notion of nearness and continuity. This perspective underlies modern analysis and connects the real line to geometry.
4.1 Intervals
Intervals are connected subsets of the real line. They collect all numbers lying between two endpoints, with the endpoints included or excluded according to the interval type. Intervals are among the most important sets in real analysis.
4.1.1 Open intervals
An open interval, written (a, b), contains all real numbers strictly between a and b. It excludes the endpoints. Open intervals are basic examples of open sets in the topology of the real line.
4.1.2 Closed intervals
A closed interval, written [a, b], contains all real numbers between a and b, including the endpoints. Closed intervals often serve as the natural domain for theorems involving boundedness and continuity.
4.1.3 Half-open intervals
A half-open interval includes one endpoint but not the other, such as [a, b) or (a, b]. These intervals appear frequently in measure theory, integration, and partitioning arguments because they combine flexibility with clear boundary behavior.
4.2 Density
Density means that between any two distinct real numbers there are infinitely many others. This feature gives the real line its continuous character and shows that no two points are adjacent in the usual sense.
4.2.1 Density of rationals
The rational numbers are dense in the real numbers. Between any two real numbers, however close, one can find a rational number. This explains why fractions can approximate real values to any desired precision.
4.2.2 Density of irrationals
The irrational numbers are also dense in the real numbers. This means that every interval contains both rational and irrational points. The coexistence of these two dense sets illustrates the richness of the real line.
4.3 Limit points and accumulation
A limit point of a set is a point such that every neighborhood around it contains other points of the set. Accumulation points are central to the study of closures, convergence, and continuity. They help describe how sets cluster and where sequences may tend to gather.
4.4 Completeness in topology
Completeness in the topological setting refers to the idea that Cauchy sequences have limits within the space. For the real numbers, this property supports a well-behaved theory of neighborhoods and convergence. It distinguishes the real line from incomplete spaces in which sequences may approach points that are not present.
5 Sequences and limits
Sequences provide one of the main ways to study real numbers through approximation. A sequence lists real numbers in order, and limit concepts describe the eventual behavior of those lists. These ideas are foundational in analysis.
5.1 Convergence of sequences
A sequence converges if its terms approach a specific real number as the index grows. Convergence captures stable long-term behavior and is often the first step in proving the existence of more complicated analytic objects.
5.1.1 Definition of limit
A sequence converges to a limit L if its terms eventually become arbitrarily close to L. In precise terms, for every positive tolerance there is a point beyond which all later terms lie within that tolerance. This definition makes approximation exact enough for rigorous mathematics.
5.1.2 Uniqueness of limits
A convergent sequence has only one limit. This uniqueness follows from the separation of distinct real numbers by a positive distance. It ensures that the notion of convergence is well defined.
5.2 Divergent sequences
A sequence diverges if it does not converge to any real number. Divergence can occur by oscillation, unbounded growth, or irregular behavior. Some divergent sequences still contain convergent subsequences, which makes them important in the study of compactness.
5.3 Cauchy sequences
A Cauchy sequence is one whose terms become arbitrarily close to each other, even before the limit is identified. In the real numbers, every Cauchy sequence converges. This characterization is another expression of completeness and is often easier to verify than direct convergence.
5.4 Bolzano-Weierstrass theorem
The Bolzano-Weierstrass theorem states that every bounded sequence of real numbers has a convergent subsequence. It is a powerful compactness result and plays a major role in analysis. The theorem helps show that bounded sets and sequences cannot behave too irregularly in the real line.
6 Continuity and calculus foundations
The real numbers provide the setting in which calculus is formulated. Continuity, differentiation, and integration all depend on the ordered and complete structure of the real line. These concepts describe change, accumulation, and local approximation.
6.1 Continuous functions
A function of a real variable is continuous when small changes in the input produce small changes in the output. Continuity formalizes the idea of an unbroken graph and is a prerequisite for many major theorems.
6.1.1 Epsilon-delta definition
The epsilon-delta definition expresses continuity with precise tolerances. For every desired output accuracy, there is an input range that guarantees it. This definition is one of the standard tools of rigorous analysis.
6.1.2 Intermediate value theorem
The intermediate value theorem says that a continuous function on an interval takes every value between its endpoint values. It expresses the connectedness of the real line and is often used to prove the existence of roots.
6.2 Differentiation
Differentiation measures instantaneous change. On the real line, derivatives capture slope and local linear behavior, making them central to geometry, physics, and optimization.
6.2.1 Derivatives on the real line
The derivative of a function at a point is the limit of the average rate of change over shrinking intervals. When it exists, it gives the best linear approximation to the function near that point. Derivatives can fail to exist at corners, cusps, or points of discontinuity.
6.2.2 Mean value theorem
The mean value theorem states that, under suitable conditions, a differentiable function has at least one point where its derivative equals its average rate of change over an interval. This result links local behavior to global change and is a cornerstone of calculus.
6.3 Integration
Integration measures accumulation, area, and total effect. In real analysis, it is defined in a way that depends on the order and completeness of the real numbers.
6.3.1 Riemann integral
The Riemann integral is built from sums over partitions of an interval. By refining the partition, one approximates the total area under a curve. Many familiar functions are Riemann integrable, although more general notions are needed for broader applications.
6.3.2 Fundamental theorem of calculus
The fundamental theorem of calculus connects differentiation and integration. It shows that, under appropriate conditions, integration can recover a function from its derivative and differentiation can describe the rate of change of an accumulated quantity. This relationship is one of the central insights of calculus.
7 Cardinality and set-theoretic aspects
Set theory studies the size and structure of collections of numbers. The real numbers are especially important because they are far more numerous than the rational numbers, even though both sets are infinite.
7.1 Countability of rational numbers
The rational numbers are countable, meaning they can be listed in a sequence. Although infinitely many rationals exist, they can be arranged in a one-to-one correspondence with the natural numbers. This result contrasts sharply with the behavior of the real numbers.
7.2 Uncountability of real numbers
The real numbers are uncountable. No sequence can list all of them, even though they are contained in a single line segment. This reveals that infinite sets can differ profoundly in size.
7.2.1 Cantor’s diagonal argument
Cantor’s diagonal argument proves uncountability by showing that any purported list of real numbers misses at least one real number. The construction alters the diagonal digits of the list to create a new number not on the list. It is one of the most celebrated arguments in set theory.
7.2.2 Cardinality of the continuum
The cardinality of the real numbers is called the cardinality of the continuum. It is strictly larger than that of the countable sets such as the integers or rational numbers. This notion measures the size of the real line in the language of infinite sets.
7.3 Subsets of the real line
Subsets of the real line can exhibit striking properties. Some are dense yet countable, while others are uncountable but nowhere dense. These examples show that size, density, and topological structure are distinct concepts.
7.3.1 Dense countable subsets
A dense countable subset, such as the rational numbers, meets every interval while still being countable. Such sets are important in approximation and in the construction of numerical methods. They demonstrate that density does not imply uncountability.
7.3.2 Cantor set
The Cantor set is a classic subset of the real line formed by repeatedly removing middle thirds from an interval. It is uncountable, closed, and has no intervals of positive length. Its structure makes it a key example in topology and measure theory.
8 Extensions and related number systems
The real numbers are part of a larger family of number systems used in mathematics. These extensions preserve some real-number ideas while adding new elements or changing the rules of comparison and completeness.
8.1 Extended real line
The extended real line adds positive and negative infinity as symbolic endpoints. It is useful in analysis, especially when discussing limits, improper integrals, and functions that grow without bound. The extended line is not a field, but it simplifies many statements.
8.2 Complex numbers
The complex numbers extend the real numbers by adjoining an imaginary unit whose square is -1. Every real number can be viewed as a complex number with zero imaginary part. Complex numbers are essential in algebra, geometry, and mathematical physics.
8.3 p-adic numbers
The p-adic numbers form an alternative completion of the rational numbers based on divisibility by a prime p. They use a different notion of distance from the real numbers. Although they do not model ordinary measurement, they are central in number theory.
8.4 Hyperreal numbers
The hyperreal numbers enlarge the real line by including infinitesimal and infinite quantities. They provide a framework for nonstandard analysis, where calculus can be developed using numbers smaller than any positive real and larger than any finite real. Their properties differ from those of the ordinary real numbers.
9 History and development
The concept of real number developed gradually from practical measurement and geometric reasoning. Later, mathematicians gave the system rigorous foundations to resolve paradoxes and clarify the meaning of continuity.
9.1 Ancient notions of magnitude
Early mathematics distinguished between discrete counting and continuous magnitude. Ancient geometers worked with lengths, areas, and ratios long before a formal theory of real numbers existed. These ideas prepared the ground for later notions of number on a line.
9.2 Discovery of irrational numbers
The recognition that some lengths cannot be expressed as ratios was a major turning point. The diagonal of a square, for example, led to numbers beyond the rational system. This discovery showed that arithmetic needed a broader foundation to describe geometry fully.
9.3 Rigorous foundations in the 19th century
In the 19th century, mathematicians such as Dedekind, Cantor, and others clarified the structure of the real numbers. They introduced precise definitions of irrational numbers, limits, and completeness. Their work gave analysis a secure basis and established the modern understanding of the real line.