1 Definition and basic structure

The extended real number system expands the ordinary real numbers by adjoining two symbols, positive infinity and negative infinity. These added elements are used to describe quantities that are not finite but instead grow without upper bound or decrease without lower bound. The resulting system is especially useful in analysis, measure theory, and optimization, where it provides a convenient language for limits, extrema, and unbounded behavior.

The ordinary real numbers remain unchanged within this larger framework. They keep their familiar arithmetic and ordering whenever those operations make sense. However, the system is not a field, since operations involving the infinite symbols are only partly defined and do not satisfy the usual algebraic laws in full.

1.1 Construction from the real numbers

One standard construction begins with the set of all real numbers and then adjoins two new elements not already present in that set. These elements are treated as lying beyond all finite real values on either side of the number line. The construction is designed to preserve the order of the real numbers while adding endpoints that capture unbounded behavior.

In this enlarged setting, the real line becomes a subset of a larger ordered set. The new structure is often denoted by adding the symbols for infinity to the real numbers, and it is used as a compact way to encode limiting cases that would otherwise require separate discussion.

1.2 Added elements

The two added elements are not ordinary numbers and are not obtained by any finite arithmetic process. They serve as idealized endpoints for the real line. Each of them represents a distinct type of unboundedness, one upward and one downward.

1.2.1 Positive infinity

Positive infinity is an element that is greater than every real number. It is used to represent quantities that exceed all finite bounds, such as divergent sequences that increase without limit or suprema of unbounded sets. It is not a real number, and it does not behave like a number that can be reached by ordinary arithmetic.

1.2.2 Negative infinity

Negative infinity is an element that is less than every real number. It represents quantities that decrease without lower bound, such as sequences tending downward without limit or infima of sets unbounded below. Like positive infinity, it is an added symbol rather than a finite value.

1.3 Order properties

The extended real system is ordered so that every real number lies between negative infinity and positive infinity. This creates a linear order extending the usual order on the real numbers. Many order-based statements become simpler because unbounded sets can now be assigned boundary values in the extended sense.

Although the order is straightforward, some familiar algebraic intuitions fail at the endpoints. For example, the order does not come from a structure in which all operations remain universally available. The infinite elements are best viewed as order-theoretic boundary points rather than ordinary magnitudes.

1.4 Topological interpretation

Topologically, the extended real line can be viewed as a compactification of the real line by adding endpoints at infinity. In this interpretation, the real line is completed by two ideal boundary points that capture behavior “at the ends.” This perspective is useful when discussing convergence and continuity in a setting that allows limits to reach infinity.

The topology is often chosen so that sequences can converge to either infinite endpoint when their values escape all finite bounds in the corresponding direction. This makes the extended real line a natural environment for studying asymptotic behavior and unbounded functions.

2 Arithmetic and algebraic conventions

Arithmetic in the extended real system is only partially defined. The finite real numbers retain their usual addition and multiplication, while operations involving the infinite symbols are handled by convention. These conventions are chosen to preserve usefulness in analysis, not to satisfy every algebraic identity.

2.1 Addition

Addition with infinity follows a small set of standard rules. Finite quantities added to positive infinity remain positive infinity, and finite quantities added to negative infinity remain negative infinity. These rules reflect the idea that adding a bounded amount does not change an unbounded quantity.

2.1.1 Finite and infinite sums

If a real number is added to positive infinity, the result is positive infinity. Likewise, adding any real number to negative infinity gives negative infinity. Adding two quantities of the same infinite sign also yields that same infinite sign, so positive infinity plus positive infinity is positive infinity, and similarly for negative infinity.

These conventions are widely used when limits or extended-valued functions are involved. They allow expressions to be simplified in a consistent way when one term dominates all finite contributions.

2.1.2 Undefined cases

Some sums are not assigned a value. The most common example is positive infinity plus negative infinity, which is indeterminate in this setting because it can correspond to competing unbounded tendencies. For the same reason, expressions that would require subtracting an infinite value from itself are generally left undefined.

These undefined cases help prevent misleading conclusions. They mark situations where the information provided is insufficient to determine a single extended real value.

2.2 Multiplication

Multiplication with infinity is also governed by conventions. Multiplying an infinite quantity by a positive finite number preserves its sign, while multiplication by a negative finite number reverses it. Zero is exceptional and leads to indeterminate expressions when combined with infinity.

2.2.1 Sign rules with infinity

A positive real number times positive infinity is positive infinity, and a positive real number times negative infinity is negative infinity. Multiplication by a negative real number reverses these signs. These rules mirror the behavior of large finite numbers and reflect the effect of sign changes on unbounded magnitude.

When the multiplier is not zero, these sign rules are usually straightforward. They are especially useful in estimating the asymptotic behavior of functions and expressions.

2.2.2 Indeterminate forms

The products zero times positive infinity and zero times negative infinity are not defined in the extended real system. Such expressions are indeterminate because a vanishing factor can interact with an unbounded factor in different ways depending on the context. Likewise, expressions combining incompatible infinite signs may fail to determine a unique value.

These indeterminate forms are important in calculus and analysis, where limiting processes often require more careful treatment than direct substitution.

2.3 Comparison with field properties

The extended real line does not satisfy the axioms of a field. In particular, not every nonzero element has a multiplicative inverse within the system, since the infinite elements are not ordinary numbers and zero has no reciprocal. Some sums and products are undefined, so the algebra is only partial.

Despite this limitation, the structure remains highly useful because it preserves the real order and supports many of the operations needed in analysis. It is best understood as an ordered extension of the real numbers rather than as an algebraic replacement for them.

3 Extended real line in analysis

The extended real line is a standard tool in analysis because it streamlines the description of limiting behavior. It allows one to treat divergence and unboundedness as legitimate endpoint values, which simplifies the statement of many theorems and definitions.

3.1 Limits and convergence

When sequences or functions do not converge to a finite real number, they may still converge in the extended sense to positive or negative infinity. This makes it possible to classify behavior that would otherwise be described only as divergent. The extended real framework therefore broadens the notion of convergence without discarding the underlying order structure.

3.1.1 Sequences tending to infinity

A sequence tends to positive infinity if its terms eventually exceed every real bound. Similarly, it tends to negative infinity if its terms eventually fall below every real bound. These definitions are useful for describing monotone sequences and other regularly unbounded processes.

Such statements are often easier to formulate in the extended system than in the ordinary real numbers, since they give a precise endpoint for growth or decay without requiring a finite limit.

3.1.2 Divergent limits in the extended sense

A limit that would be called divergent in the usual real-valued setting may still exist in the extended sense. For example, a function may approach positive infinity near a boundary point or at large arguments. In such cases, the extended limit provides a concise description of the behavior.

This approach is common in calculus and asymptotic analysis, where the distinction between finite convergence and unbounded growth is central. It also helps unify statements about different types of limiting behavior under one framework.

3.2 Continuity and monotonicity

Functions taking values in the extended real line can be studied for continuity relative to the topology of the extended system. This is particularly helpful for monotone functions, which often have one-sided limits and may naturally attain infinite endpoint values. The extended setting allows such functions to be treated more uniformly.

Monotonicity often interacts well with extended limits. A nondecreasing function, for instance, may have limits in the extended sense at boundary points or at infinity. This makes it possible to state general existence results without separate cases for bounded and unbounded behavior.

3.3 Supremum and infimum

The extended real line is especially convenient for defining suprema and infima. Any nonempty subset of the real numbers may be assigned an extended supremum or infimum, even when no finite bound exists. This feature supports a wide range of analytical arguments.

3.3.1 Bounded and unbounded sets

A set bounded above has a finite supremum in the real numbers when it is nonempty and suitably complete. If a set is unbounded above, its supremum in the extended real system is positive infinity. The analogous statement holds for sets bounded below and infima.

This convention creates a unified language for all subsets of the real line. It avoids the need to distinguish repeatedly between bounded and unbounded cases in proofs and definitions.

3.3.2 Completeness properties

The real numbers are complete in the sense that bounded sets have least upper bounds. The extended real system preserves this idea while adding boundary values for unbounded sets. As a result, many statements can be written in a form that remains valid whether or not the underlying set is bounded.

This extended completeness is one reason the system is so widely used. It allows analysts to work with envelopes of functions, extremal values, and limiting bounds in a compact and systematic way.

4 Applications

The extended real number system appears in several major areas of mathematics. Its main value lies in providing a uniform way to handle infinite quantities, unbounded functions, and extremal behavior.

4.1 Measure theory

Measure theory frequently uses extended real values because many naturally occurring quantities may be infinite. Measures, measurable functions, and integrals are often allowed to take the value positive infinity. This flexibility is essential when dealing with unbounded sets or functions.

4.1.1 Extended-valued functions

An extended-valued function is a function whose codomain includes the infinite symbols as well as the real numbers. Such functions arise when one wants to allow a natural output even if the quantity being measured is not finite. This is common in variational problems and in the theory of measurable functions.

Extended-valued functions can simplify definitions by avoiding special cases for divergence. They are particularly useful when composing, comparing, or taking limits of functions that may become unbounded.

4.1.2 Lebesgue integration

In Lebesgue integration, integrals may legitimately take the value positive infinity for nonnegative functions that are not integrable in the finite sense. The extended real line provides a natural codomain for such integrals. It also helps in formulating convergence theorems and in distinguishing between finite and infinite measure.

This framework makes it possible to integrate a broader class of functions while retaining rigorous control over limiting processes. The extended values act as markers for divergence rather than as ordinary numerical results.

4.2 Optimization

Optimization problems often involve objective functions that may be unbounded or may be defined to take infinite penalty values. The extended real system provides a standard way to represent such situations. It is particularly useful in convex analysis and constrained optimization.

4.2.1 Objective functions with infinite values

An objective function may assign positive infinity to infeasible points or to configurations that violate certain conditions. This convention turns constraints into part of the function’s value structure. It allows optimization methods to treat infeasible inputs uniformly without separate logical branches.

Extended-valued objectives are common when designing models with penalties, barriers, or domain restrictions. They help encode admissibility directly into the objective framework.

4.2.2 Constrained minimization and maximization

In constrained problems, the minimum or maximum may not be achieved by a finite value within the unrestricted domain. The extended real line allows one to describe the optimal value even when the feasible set is empty or when the objective is unbounded. This keeps the formulation precise and concise.

The extended notation is also useful for comparing different optimization problems. It provides a consistent way to state whether an infimum is finite, infinite, or unattained.

4.3 Probability theory

Probability theory sometimes uses extended real values when discussing random variables and limit behavior. Random variables may have expectations that are not finite, and tail behavior may be naturally described with infinite endpoints.

4.3.1 Random variables with infinite expectation values

A random variable can have an expectation equal to positive infinity when large values occur often enough to make the mean diverge. The extended real system gives a formal value to such cases. This is useful in studying heavy-tailed distributions and other nonintegrable phenomena.

Extended expectations allow one to distinguish between finite mean, infinite mean, and undefined situations. That distinction can be important in probabilistic limit theorems and in stochastic modeling.

4.3.2 Distribution tails and limit behavior

Tail behavior describes how a distribution behaves for very large positive or negative values. The extended real line provides a natural language for these asymptotic descriptions. It is also helpful when expressing limit laws that involve unbounded sample paths or extreme outcomes.

In this setting, infinite endpoints serve as convenient placeholders for values beyond all finite thresholds. They help make tail estimates and convergence statements more uniform.

Several related structures extend the real line in different ways. Each reflects a distinct perspective on infinity, compactness, or projective geometry.

5.1 Projectively extended real line

The projectively extended real line identifies the two directions of infinity as a single point. This creates a one-point compactification of the real line and is useful in contexts where only “going to infinity” matters, not the direction. It differs from the extended real line because it does not distinguish positive from negative infinity.

5.2 Affinely extended real line

The affinely extended real line preserves two distinct infinite endpoints and is closely aligned with the usual order structure on the real numbers. It is often the same object referred to in analysis as the extended real line. The affine viewpoint emphasizes the preservation of order and the separate roles of the two infinities.

5.3 Extended complex plane

The extended complex plane adds a single point at infinity to the complex numbers. It is central in complex analysis and is also known as the Riemann sphere when equipped with an appropriate topology. Unlike the extended real line, it does not distinguish between two directions of unboundedness.

5.4 Real projective line

The real projective line can be viewed as the real line together with a point at infinity, with points understood up to projective equivalence. It appears in geometry and algebra as a compact one-dimensional projective space. Its structure is related to, but distinct from, the ordered and topological features of the extended real line.