Skip to content
← All questions

How does the nesting of intervals [an+1,bn+1]⊆[an,bn][a_{n+1}, b_{n+1}] \subseteq [a_n, b_n] ensure that the sequence of left endpoints {an}\{a_n\} is monotonic and bounded?

The inclusion condition [an+1,bn+1]⊆[an,bn][a_{n+1}, b_{n+1}] \subseteq [a_n, b_n] implies two inequalities: an≤an+1a_n \le a_{n+1} and bn+1≤bnb_{n+1} \le b_n. The inequality an≤an+1a_n \le a_{n+1} means the sequence of left endpoints is non-decreasing (monotonic). Furthermore, since every interval is contained within the first one [a1,b1][a_1, b_1], we have an≤b1a_n \le b_1 for all nn. Thus, the increasing sequence {an}\{a_n\} is bounded above by b1b_1.

Conditions

  • A sequence of closed intervals satisfies [an+1,bn+1]⊆[an,bn][a_{n+1}, b_{n+1}] \subseteq [a_n, b_n] for all nn.

Reasoning, step by step

  1. Identify the geometric meaning of set inclusion for intervals on the real line.
  2. Deduce that the lower bound of the inner interval must be greater than or equal to the lower bound of the outer interval: an≤an+1a_n \le a_{n+1}.
  3. Recognize this as the definition of a monotone increasing sequence.
  4. Observe that because each subsequent interval is inside the previous ones, ana_n can never exceed the upper bound of the initial interval b1b_1.
  5. Conclude that {an}\{a_n\} is monotone increasing and bounded above.

Example

If [a2,b2]=[0.5,0.8][a_2, b_2] = [0.5, 0.8] is inside [a1,b1]=[0,1][a_1, b_1] = [0, 1], then a2=0.5≥a1=0a_2=0.5 \ge a_1=0 (increasing) and a2=0.5≤b1=1a_2=0.5 \le b_1=1 (bounded above).

Common misconceptions

  • Believing that nesting implies strict increase (an<an+1a_n < a_{n+1}); weak inequality (≤\le) is sufficient for convergence proofs.
  • Confusing the bounds; thinking ana_n is bounded below by a1a_1 is true but irrelevant for the Monotone Convergence Principle which requires an upper bound for increasing sequences.

Watch the explanation

Explore next

Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.