Ma · Mathematics

What Is an Example of an Unbounded Set?

Published By the 9to5Science editorial team

At a glance

  1. 1. Recall the definition

    A subset of the real numbers is bounded if one finite number can bound the absolute values of all its elements.

  2. 2. Choose a set

    The natural numbers are bounded below but not above; the integers are unbounded in both directions.

  3. 3. Verify unboundedness

    For any proposed upper bound, choose a natural number larger than it. Therefore no finite upper bound works.

A standard example of an unbounded set is the set of natural numbers, N\mathbb{N}. No matter how large a real number you choose, there is a natural number larger than it. The integers, Z\mathbb{Z}, are another example; they extend without bound in both the positive and negative directions.

What does bounded mean?

For a subset AA of the real numbers, the usual definition is that AA is bounded if there is some finite real number M≥0M \ge 0 such that

∣x∣≤Mfor every x∈A.|x| \le M \quad\text{for every }x\in A.

In other words, all elements of the set must fit inside the interval [−M,M][-M,M]. If no such MM exists, the set is unbounded.

For subsets of R\mathbb{R}, you can also describe boundedness using upper and lower bounds: a set is bounded if it has both a finite upper bound and a finite lower bound. A set can fail to be bounded in just one direction. For instance, N\mathbb{N} is bounded below (under the convention N={1,2,3,…}\mathbb{N}=\{1,2,3,\ldots\}), but not bounded above.

Worked example: the natural numbers

Take A=N={1,2,3,…}A=\mathbb{N}=\{1,2,3,\ldots\}. To show that AA is unbounded, assume someone proposes a real number BB as an upper bound. The Archimedean property of the real numbers says that there is a natural number larger than any given real number. Thus there is an n∈Nn\in\mathbb{N} with n>Bn>B.

So BB cannot be an upper bound for N\mathbb{N}. Since this applies to every proposed finite BB, the natural numbers have no finite upper bound and are unbounded. Equivalently, given any proposed absolute bound MM, choose n>Mn>M; then ∣n∣>M|n|>M.

The same reasoning shows that {n2:n∈N}={1,4,9,16,…}\{n^2:n\in\mathbb{N}\}=\{1,4,9,16,\ldots\} is unbounded. Its elements eventually exceed any fixed real number, even though they do not include every natural number.

Other examples and one-sided cases

  • Z={…,−2,−1,0,1,2,…}\mathbb{Z}=\{\ldots,-2,-1,0,1,2,\ldots\} is unbounded above and below.
  • The interval [0,∞)[0,\infty) is unbounded above but bounded below.
  • The interval (−∞,5](-\infty,5] is unbounded below but bounded above.
  • The set {1/n:n∈N}\{1/n:n\in\mathbb{N}\} is bounded: every element lies between 00 and 11.

These examples distinguish a set being infinite from being unbounded. An infinite set can be bounded, as {1/n:n∈N}\{1/n:n\in\mathbb{N}\} shows. Conversely, unboundedness is about how far the elements extend, not how many elements the set contains.

If the question is about a sequence

A sequence is bounded when its set of values is bounded. For example, the sequence an=na_n=n is unbounded because its values are the natural numbers. By contrast, an=1/na_n=1/n is bounded, since 0<an≤10<a_n\le 1 for every positive integer nn.

A convergent real sequence is always bounded, but an arbitrary sequence need not be. When a textbook asks for an unbounded set in a chapter on sequences or series, the range of a simple sequence such as an=na_n=n is often an appropriate example.

Common mistakes

  • Confusing infinite with unbounded: Infinitely many points can all lie inside a fixed interval. The sequence values 1,1/2,1/3,…1,1/2,1/3,\ldots are one example.
  • Checking only one side: [0,∞)[0,\infty) is unbounded even though it has a lower bound. A set needs bounds in both directions to be bounded.
  • Using an informal claim without the quantifier: To prove unboundedness, show that for every proposed bound MM, some element of the set exceeds it in absolute value. For N\mathbb{N}, choose n>Mn>M.
  • Forgetting the ambient space: Here, boundedness is being considered in the usual distance on R\mathbb{R}. In a general metric space, boundedness means having finite diameter: distances between pairs of points in the set have a common finite upper bound.

References

  1. Understanding Analysis, Stephen Abbott

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.