Tutorials › Real Analysis › Why Boundedness Is Necessary

Compactness · Tutorial 282 of 1000

Why Boundedness Is Necessary

Learn how bounded open covers expose unboundedness and why even a closed unbounded set cannot be compact.

Intermediate 9 min read

What You'll Learn

  • Use bounded open covers to detect when an unbounded set cannot be compact
  • Construct an explicit open cover with no finite subcover
  • Find a closed, unbounded subset whose distinct points stay separated
  • Apply these ideas to half-lines, discrete sets, and two-sided unbounded sets
  • Distinguish the role of boundedness from the role of closedness

When Points Can Escape

The Heine–Borel Theorem says that a subset of \(\mathbb{R}\) is compact if and only if it is closed and bounded. The previous tutorial examined what these two conditions say about sets and sequences. Here we focus on why boundedness is necessary: if a set extends arbitrarily far along the real line, we can cover it with open sets that are each bounded but that cannot be reduced to finitely many sets.

Recall that an open cover of \(E\) is a family of open sets whose union contains \(E\). Compactness requires every open cover to have a finite subcover. An unbounded set creates a direct obstacle to this requirement: finitely many bounded sets cannot cover an unbounded set. The earlier Theorem (Subsets and Finite Unions of Bounded Sets) gives the set-theoretic fact behind this argument. We will use it to make the open-cover obstruction precise.

Theorem (Bounded Open-Cover Obstruction): If \(E\subseteq\mathbb{R}\) is unbounded, then no open cover of \(E\) whose members are all bounded can have a finite subcover.

Proof. Suppose, to the contrary, that \(\mathcal{U}\) is an open cover of \(E\), every member of \(\mathcal{U}\) is bounded, and finitely many members \(U_1,\ldots,U_m\) cover \(E\). By the Theorem (Subsets and Finite Unions of Bounded Sets), the finite union \(\bigcup_{j=1}^{m}U_j\) is bounded. Since \(E\subseteq\bigcup_{j=1}^{m}U_j\), the subset part of that same theorem implies that \(E\) is bounded. This contradicts the assumption that \(E\) is unbounded. Therefore the cover has no finite subcover. \(\square\)

This theorem gives more than a single counterexample: any open cover of an unbounded set made up of bounded open sets is guaranteed to fail the finite-subcover test. Such covers are easy to construct. For example, the intervals \((-n,n)\), for positive integers \(n\), are bounded and open, and their union is all of \(\mathbb{R}\). They therefore cover every subset of \(\mathbb{R}\).

Worked Examples: Covers That Cannot Be Reduced

Worked Example: A Half-Line and Expanding Intervals

Let \(E=[0,\infty)\), and for each positive integer \(n\), set \(U_n=(-n,n)\). Each \(U_n\) is bounded and open. The family covers \(E\): given \(x\in E\), the Archimedean property gives a positive integer \(n\) with \(n>x\), and then \(-n<x<n\), so \(x\in U_n\).

Now take any finite collection of these intervals, say \(U_{n_1},\ldots,U_{n_m}\), and let \(N=\max\{n_1,\ldots,n_m\}\). Because the intervals are nested, their union is \(U_N=(-N,N)\). The point \(N+1\) belongs to \(E\), but \(N+1\notin(-N,N)\). Thus this finite collection does not cover \(E\). Since every finite selection fails, this open cover has no finite subcover, and \(E\) is not compact.

Worked Example: A Discrete Unbounded Set

Consider \(E=\{n^2:n\geq1\}\). It is unbounded because \(n^2\) becomes larger than any fixed real number for sufficiently large \(n\). For each positive integer \(n\), let \(\displaystyle V_n=(n^2-\tfrac14,n^2+\tfrac14)\). These are bounded open intervals, and \(n^2\in V_n\), so the family covers \(E\).

Each interval \(V_n\) contains no other point of \(E\). Indeed, for any positive integer \(k\neq n\), the difference between the squares satisfies \(\displaystyle |k^2-n^2|=|k-n|(k+n)\geq 3\), because the smallest difference between distinct positive-integer squares is \(2^2-1^2=3\). In particular, \(|k^2-n^2|>\tfrac14\), so \(k^2\notin V_n\).

Consequently, covering the points \(1^2,2^2,\ldots\) requires their corresponding intervals one by one. Any finite collection of the \(V_n\) covers only finitely many points of \(E\), so it is not a subcover. This gives a noncompactness proof tailored to the set’s isolated points, rather than using expanding intervals.

An open cover does not have to consist of intervals centered at the origin. The next example uses a different family of bounded intervals and a set that extends in both directions. It illustrates the general obstruction even when the points of the set do not lie on just one half-line.

Worked Example: A Closed Set Unbounded in Both Directions

Let \(E=(-\infty,-2]\cup[3,\infty)\). This set is closed: its complement is the open interval \((-2,3)\). It is unbounded, since it contains arbitrarily large positive numbers. For every \(x\in E\), take the open interval \(W_x=(x-1,x+1)\). The family \(\{W_x:x\in E\}\) covers \(E\), since \(x\in W_x\), and each member is bounded.

Suppose a finite selection has centers \(x_1,\ldots,x_m\in E\). Let \(T=\max\{3,x_1,\ldots,x_m\}\). Each selected interval has right endpoint \(x_j+1\leq T+1\). The point \(T+2\) lies in \(E\), because \(T\geq3\), but it lies to the right of every selected interval. Thus no finite selection covers \(E\), and this bounded open cover has no finite subcover.

Closedness Cannot Replace Boundedness

The last example is closed as well as unbounded, but the same issue occurs for many other closed unbounded sets. The Heine–Borel Theorem therefore cannot be weakened by dropping boundedness: closedness alone does not imply compactness. In fact, the result above shows precisely what fails for a closed unbounded set. It has a bounded open cover for which no finite subcover exists.

There is also a useful way to see that unboundedness persists even inside a particularly well-separated part of a set. This strengthens the contrast: an unbounded set is not merely able to contain points far apart; it contains a closed, unbounded subset whose distinct points stay more than one unit apart.

Theorem (Separated Closed Subset of an Unbounded Set): Every unbounded set \(E\subseteq\mathbb{R}\) contains an unbounded closed subset \(D\) such that \(|x-y|>1\) whenever \(x,y\in D\) are distinct.

Proof. Since \(E\) is unbounded, choose \(x_1\in E\) with \(|x_1|>1\). Once \(x_n\) has been chosen, unboundedness lets us choose \(x_{n+1}\in E\) such that \(\displaystyle |x_{n+1}|>\max\{|x_n|+1,n+1\}\). It follows inductively that \(|x_n|>n\), and that the magnitudes increase by more than \(1\) at each step. Let \(D=\{x_n:n\geq1\}\). Since \(|x_n|>n\), the set \(D\) is unbounded.

If \(m>n\), then the increase in magnitude from \(x_n\) to \(x_m\) is greater than \(m-n\), and hence greater than \(1\). The reverse triangle inequality gives \(\displaystyle |x_m-x_n|\geq\big||x_m|-|x_n|\big|>1.\) Thus distinct points of \(D\) are separated by more than \(1\).

It remains to prove that \(D\) is closed. Take any convergent sequence \((d_j)\) in \(D\), with limit \(d\). A convergent sequence is bounded, so there is some \(B>0\) such that \(|d_j|\leq B\) for every \(j\). Because \(|x_n|>n\), only finitely many points of \(D\) can satisfy \(|x_n|\leq B\). The sequence \((d_j)\) therefore takes its values in a finite subset of \(D\).

If this finite subset has more than one point, let \(\delta>0\) be the smallest distance between any two distinct points in it. Such a positive minimum exists because there are only finitely many pairs, and the points are distinct. Since a convergent sequence is Cauchy, there is an index \(J\) such that \(|d_j-d_k|<\delta\) whenever \(j,k\geq J\). No two distinct values from the finite subset are this close, so all terms after \(J\) are equal. The sequence is eventually constant, and its limit is that constant value in \(D\). If the finite subset has only one point, the sequence is constant from the start and its limit is again in \(D\). We have shown that every convergent sequence in \(D\) has its limit in \(D\). The Sequential Criterion for Closedness implies that \(D\) is closed. \(\square\)

This theorem gives a second useful picture of the obstruction: every unbounded set contains a closed part that still stretches indefinitely. The set \(D\) is not compact, by the Heine–Borel Theorem, because it is unbounded. Its separation also makes clear that adding more and more points at distant locations cannot be prevented simply by making those points isolated.

Why the Condition Matters

Compactness rules out the possibility that an open cover needs points from arbitrarily far along the real line. When every set in a cover is bounded, finitely many selected members stay within some bounded region: this is exactly the finite-union property for bounded sets. If the set being covered is unbounded, those finitely many members must miss some of its points.

A common pitfall is to test boundedness using only a few points or a finite portion of a set. Boundedness requires one number \(M\) such that \(|x|\leq M\) for every point \(x\) in the entire set. No matter how far a finite collection of points extends, an unbounded set has points beyond them. Another pitfall is to think that closedness prevents this escape. Closedness controls limits of points that converge to a real number; it does not stop points from moving farther and farther away without converging in \(\mathbb{R}\).

1
Identify escape.
For an unbounded set, points can be found beyond every fixed distance from the origin.
2
Choose bounded open sets.
Cover the set with bounded intervals, either by expanding intervals or by intervals placed around its points.
3
Rule out a finite subcover.
A finite union of bounded sets is bounded, so it cannot contain the whole unbounded set.

Check Your Understanding

Use the open-cover obstruction and the separated-subset theorem to answer the following questions.

  1. Why does a finite selection from the cover \(\{(-n,n):n\geq1\}\) remain bounded?
  2. In the theorem about bounded open covers, where is the earlier finite-union theorem used?
  3. Why does the family \(\{(n^2-\tfrac14,n^2+\tfrac14):n\geq1\}\) cover \(\{n^2:n\geq1\}\) but have no finite subcover?
  4. Why does closedness alone fail to make \((-\infty,-2]\cup[3,\infty)\) compact?
  5. What role does the inequality \(|x_m-x_n|\geq\big||x_m|-|x_n|\big|\) play in constructing a separated subset?