1 Definition and basic concepts

A bounded sequence is one whose terms stay within some fixed finite range. In analysis, this notion provides a simple way to describe whether a sequence can grow arbitrarily large in magnitude or remains controlled. Boundedness is usually discussed for sequences of real or complex numbers, but the idea extends naturally to more general spaces.

1.1 Definition of a bounded sequence

A sequence \((a_n)\) is bounded if there exists a constant \(M > 0\) such that \(a_n\le M\) for every index \(n\). Equivalently, all terms of the sequence lie inside a single interval centered at the origin. This definition captures the idea that no term escapes beyond a prescribed finite limit.

1.2 Upper and lower bounds

A sequence is bounded above if there is a real number \(U\) such that \(a_n \le U\) for all \(n\), and bounded below if there is a real number \(L\) such that \(a_n \ge L\) for all \(n\). When both conditions hold, the sequence is bounded. Upper and lower bounds need not be optimal; any numbers that trap every term are sufficient.

1.3 Absolute boundedness

For real or complex sequences, boundedness is often expressed through absolute value. The condition \(a_n\le M\) implies that every term has magnitude at most \(M\). This formulation is especially useful because it combines upper and lower control into one inequality.

1.4 Examples and non-examples

The sequence \(1, \frac12, \frac13, \dots\) is bounded, since all terms lie between 0 and 1. The alternating sequence \((-1)^n\) is also bounded, because its terms are always either \(-1\) or \(1\). By contrast, the sequence \(n\) is unbounded, since its values increase without limit. Likewise, \((-1)^n n\) is unbounded because its magnitude grows indefinitely.

2 Properties of bounded sequences

Bounded sequences behave well under many standard algebraic operations. They also interact closely with convergence and monotonicity, making them an important class in elementary and advanced analysis. Although boundedness does not guarantee convergence, it often forms part of the hypotheses of major theorems.

2.1 Closure properties

Boundedness is preserved under several familiar operations. If two sequences are controlled by finite bounds, then their combinations usually remain controlled as well. These closure properties are frequently used to build new bounded sequences from old ones.

2.1.1 Sum and difference of bounded sequences

If \((a_n)\) and \((b_n)\) are bounded, then both \((a_n+b_n)\) and \((a_n-b_n)\) are bounded. This follows from the triangle inequality, since the size of each term in the sum or difference can be estimated using the bounds for the original sequences. In practice, the result means that boundedness is stable under addition and subtraction.

2.1.2 Product and scalar multiples

The product of two bounded sequences is bounded, because each term is the product of two numbers each lying in a finite range. Similarly, multiplying a bounded sequence by a fixed scalar produces another bounded sequence. These facts make boundedness compatible with the usual algebraic structure on sequences.

2.2 Relationship with convergence

Convergence implies boundedness, but the converse is false. This distinction is central in analysis, where boundedness is often viewed as a weaker condition that can still provide useful information. Many arguments begin by establishing boundedness before investigating convergence more closely.

2.2.1 Every convergent sequence is bounded

If a sequence converges to a limit \(L\), then its terms eventually lie near \(L\). The finitely many remaining terms are also bounded, so the whole sequence must be bounded. Thus, convergence always carries boundedness as a necessary consequence.

2.2.2 Bounded sequences that do not converge

A bounded sequence may fail to have a limit. A standard example is \((-1)^n\), which oscillates between two values and never settles to a single number. More generally, any sequence with persistent oscillation may remain bounded while lacking convergence.

2.3 Relationship with monotonicity

Boundedness has a particularly strong interaction with monotone sequences. When a sequence is consistently increasing or decreasing, the presence of a bound can force convergence. This makes monotone bounded sequences one of the simplest settings where limits can be guaranteed.

2.3.1 Bounded monotone sequences

An increasing sequence that is bounded above converges, and a decreasing sequence that is bounded below converges. In each case, the bound prevents the sequence from drifting indefinitely, while monotonicity rules out oscillation. The limit is then determined by the least upper bound or greatest lower bound.

2.3.2 The monotone convergence theorem

The monotone convergence theorem states that every monotone bounded sequence of real numbers converges. For increasing sequences, the limit is the supremum of the set of terms; for decreasing sequences, it is the infimum. This theorem is a basic tool in real analysis and underlies many later results.

3 Criteria and tests

Several practical methods are used to verify boundedness. Some rely on direct inequalities, while others use global order properties such as suprema and infima. In more abstract settings, norms and metrics provide the appropriate language for measuring size.

3.1 Bounding by inequalities

A sequence can often be shown bounded by comparing its terms to expressions known to stay finite. For example, if \(a_n\le 3\) for all \(n\), then the sequence is bounded immediately. Such estimates are common in proofs involving trigonometric functions, rational expressions, or recursive definitions.

3.2 Using supremum and infimum

For a real sequence, boundedness is equivalent to the existence of a finite supremum and infimum for the set of its terms. If both extreme values or finite least upper and greatest lower bounds exist, then the sequence is bounded. This viewpoint connects boundedness with order structure and completeness in the real numbers.

3.3 Comparison with known bounded sequences

Sometimes boundedness is established by comparing a sequence to another sequence already known to be bounded. If \(a_n\le b_n\) for all \(n\), and \((b_n)\) is bounded, then \((a_n)\) is bounded as well. Such comparisons are useful when the exact terms are complicated but their size can be controlled indirectly.

3.4 Boundedness in terms of norms and metrics

In normed spaces, a sequence is bounded if all its elements lie inside some ball of finite radius. The norm plays the role of absolute value, measuring distance from the origin. In metric spaces, boundedness means that the entire sequence fits inside a set of finite diameter, or equivalently inside a ball around some point.

4 Subsequence behavior

Boundedness strongly influences the behavior of subsequences. Even when a whole sequence does not converge, boundedness may allow one to extract subsequences that do. This makes bounded sequences especially important in compactness arguments and in the study of limit points.

4.1 Existence of convergent subsequences

A bounded sequence may contain a convergent subsequence, especially in spaces with suitable compactness properties. In the real numbers, boundedness is enough to guarantee this phenomenon. The result is a powerful bridge between mere control of size and the existence of actual limits.

4.1.1 Bolzano–Weierstrass theorem

The Bolzano–Weierstrass theorem states that every bounded sequence of real numbers has a convergent subsequence. A similar statement holds for bounded sequences in \(\mathbb{R}^n\). This theorem is fundamental in analysis because it turns boundedness into a source of compact behavior.

4.2 Cluster points and accumulation points

A cluster point, or accumulation point, is a value that is approached by infinitely many terms of the sequence or by a subsequence. Bounded sequences often have cluster points, and in the real case they must have at least one convergent subsequence with such a limit. The set of cluster points reflects the long-term structure of the sequence.

4.3 Boundedness of subsequences

Every subsequence of a bounded sequence is itself bounded. This is immediate, since a subsequence uses only some of the original terms and cannot escape the original bounds. The converse is not true: a sequence may have bounded subsequences without being bounded as a whole.

5 Boundedness in different settings

The notion of boundedness appears in several mathematical contexts, each with its own language and interpretation. Although the core idea remains the same, the precise formulation depends on whether one is working with real numbers, complex numbers, or more general spaces. These variants are closely related through the use of norms and metrics.

5.1 Real sequences

For sequences of real numbers, boundedness means lying between two fixed real bounds. This is the most classical setting and the one in which many introductory theorems are first proved. Order properties of the real numbers make boundedness particularly transparent.

5.2 Complex sequences

For complex sequences, boundedness is expressed using the complex modulus. A sequence \((z_n)\) is bounded if \(z_n\) stays below some finite constant for all \(n\). Since complex numbers lack an order relation analogous to the real line, the modulus provides the natural measure of size.

5.3 Sequences in normed spaces

In a normed vector space, boundedness is defined by the existence of a finite bound on the norms of the sequence terms. This generalization includes vectors, functions, and many other objects studied in analysis. Bounded sequences in normed spaces are central in functional analysis and approximation theory.

5.4 Sequences in metric spaces

In a metric space, a sequence is bounded if its terms all lie within some ball of finite radius. The definition depends only on distances, not on algebraic operations. This broad setting allows boundedness to be discussed in geometric terms even when addition or multiplication is unavailable.

Bounded sequences play an important role in several major topics in analysis. They interact with compactness, completeness, and the study of infinite sums. Their usefulness comes from the fact that boundedness is often easy to verify and frequently sufficient for deeper conclusions.

6.1 Compactness and sequential compactness

In many spaces, compactness can be characterized by the behavior of sequences. In \(\mathbb{R}^n\), boundedness alone is not enough for compactness, but boundedness combined with closedness is decisive. Sequential compactness often relies on the ability to extract convergent subsequences from bounded sequences.

6.2 Cauchy sequences

Every Cauchy sequence is bounded. The reason is that once the terms are sufficiently close to one another, they must all lie near a single term, and therefore within a finite range. This fact is useful because Cauchy criteria often replace direct convergence arguments in complete spaces.

6.3 Limit superior and limit inferior

For bounded real sequences, the limit superior and limit inferior are always finite. These quantities describe the eventual upper and lower limiting behavior of the sequence, even when no ordinary limit exists. They are especially helpful for oscillating sequences and for capturing asymptotic extremes.

6.4 Series and partial sums

A series is studied through its sequence of partial sums, and boundedness of those partial sums can indicate convergence in certain contexts. If the partial sums of a series remain bounded and satisfy additional conditions, the series may converge. More generally, bounded partial sums are often a first sign that a series has controlled long-term behavior.