Real Analysis

Bolzano-Weierstrass theorem

Q: FAQ 1: Does the Bolzano-Weierstrass theorem guarantee that the sequence itself converges?

No. The theorem guarantees the existence of a *convergent subsequence*, not convergence of the entire sequence. For example, $x_n = (-1)^n$ is bounded but does not converge, though it contains convergent subsequences converging to $1$ and $-1$.

Q: FAQ 2: What is the most common reason students lose marks on this topic in UP PGT exams?

Candidates often forget to check whether the set or sequence is bounded. Unbounded sets like $\mathbb{N}$ or sequences like $x_n = n$ completely violate the hypothesis and do not possess finite accumulation points.

Q: FAQ 3: How can candidates solve subsequence limit point questions faster during the exam?

Split composite sequences into residue classes modulo the period of trigonometric or alternating terms (e.g., $n \pmod 2$ or $n \pmod 4$) to instantly read off the subsequential limits.

The Bolzano-Weierstrass theorem establishes that every bounded infinite subset of real numbers possesses at least one accumulation point, forming the fundamental topological backbone of real analysis.

For: UP PGT Mathematics UP TGT Mathematics DSSSB PGT / TGT KVS / NVS PGT LT Grade

📖 Topic progress

○ Mark as complete

Definition and statement

Bolzano-Weierstrass Theorem for Sets

Every bounded infinite subset of the set of real numbers $\mathbb{R}$ has at least one limit point (accumulation point) in $\mathbb{R}$. Alternatively, every bounded sequence in $\mathbb{R}$ contains a convergent subsequence.

📐 Geometric Interpretation

Visually, if you drop an infinite number of distinct points inside a finite, bounded interval $[a, b]$, at least one point in $\mathbb{R}$ will be crowded by infinitely many elements of the set, meaning you can zoom in arbitrarily close to it.

⚙️ Algebraic & Structural Meaning

It bridges the gap between boundedness and convergence, serving as the core engine behind the completeness of real numbers and proving foundational results like the Heine-Borel theorem and Cauchy's convergence criterion.

Conditions and hypotheses

Check each condition and what changes when it is omitted:

Hypothesis / Condition	Domain / Interval	Necessity	What Fails If Condition Dropped
Boundedness of the set/sequence	`$[a, b]$ or bounded set $S \subset \mathbb{R}$`	Strictly Mandatory / Necessary	If the set is unbounded (e.g., $S = \mathbb{N}$), it can escape to infinity and fail to possess any finite accumulation point in $\mathbb{R}$.
Infinitude of the subset	`Infinite cardinality`	Strictly Mandatory	A finite set cannot have a limit point because every point can be isolated by a sufficiently small neighborhood containing no other points of the set.
Underlying metric space completeness	`Complete space $\mathbb{R}$`	Essential for convergence of subsequences	In incomplete spaces like $\mathbb{Q}$, a bounded infinite set (or sequence) can accumulate at an irrational point, thus failing to have a limit point within $\mathbb{Q}$.

Useful results and shortcuts

Use these identities and results when their conditions apply:

Bounded Monotonic Subsequence Extraction

$$\text{Every bounded sequence } \{x_n\} \text{ contains a monotonic subsequence, hence converges if bounded.}$$

Rule: Whenever examining a bounded sequence defined by a recurrence relation, immediately check for monotonicity or extract alternating/monotonic sub-chains.

Application: Directly tested in UP PGT to determine limit points of complex sequences.

Nested Interval Principle Link

$$I_1 \supset I_2 \supset I_3 \supset \dots, \quad \bigcap_{n=1}^{\infty} I_n = \{c\}$$

Rule: Use bisection arguments for bounded intervals to locate the accumulation point for decimal expansion problems.

Application: Frequently used in KVS/NVS statements regarding nested closed intervals.

Limit Superior and Limit Inferior Bound

$$\liminf_{n \to \infty} x_n \le \text{limit points} \le \limsup_{n \to \infty} x_n$$

Rule: The set of all subsequential limits of a bounded sequence is a closed and bounded set whose infimum is $\liminf x_n$ and supremum is $\limsup x_n$.

Periodic and Alternating Sequences

$$x_n = \sin\left(\frac{n\pi}{2}\right) \implies \text{Subsequential limits } \{-1, 0, 1\}$$

Rule: For trigonometric sequence terms involving fractions of $\pi$, identify the periodic cycle length $k$ to instantly list all distinct limit points.

Compactness Equivalence in $\mathbb{R}^n$

$$S \text{ is compact} \iff S \text{ is closed and bounded (Heine-Borel)}$$

Rule: Combine Bolzano-Weierstrass with Heine-Borel to instantly classify subsets of $\mathbb{R}$ as compact.

Application: Crucial theoretical deduction tested in DSSSB PGT Mathematics.

Rapid Option Elimination via Unboundedness

$$x_n = n \text{ or } x_n = (-1)^n n \implies \text{No finite limit points}$$

Rule: Instantly eliminate any option claiming a convergent subsequence or limit point for explicitly unbounded sequences.

Common errors and counterexamples

These examples show how a conclusion can fail when a condition is missing:

⚠️ COMMON ERROR #01

Confusing Bounded Sets with Convergent Sets

Common Pitfall: Candidates assume that because a set is bounded, the sequence itself must converge (confusing Bolzano-Weierstrass with Cauchy/Convergence criteria).

Counterexample: $x_n = (-1)^n$ on $[-1, 1]$

Why it fails: The sequence is bounded and has subsequential limits $\{-1, 1\}$, but the sequence itself diverges because the limit does not exist uniquely.

🛡️ Exam Defense: Remember: B.W. guarantees a *subsequence* convergence, not full sequence convergence.

⚠️ COMMON ERROR #02

Applying Bolzano-Weierstrass in $\mathbb{Q}$

Common Pitfall: Assuming Bolzano-Weierstrass holds in the set of rational numbers $\mathbb{Q}$.

Counterexample: The set of rational numbers $q \in [0, 2]$ with $q^2 < 2$

Why it fails: This bounded infinite set of rationals has an accumulation point at $\sqrt{2}$, which is irrational and thus does *not* belong to $\mathbb{Q}$.

🛡️ Exam Defense: Check the underlying space domain; B.W. requires completeness (such as $\mathbb{R}$).

Comparison

Concept / Theorem	Hypotheses / Assumptions	Key Formula / Outcome	Geometric Meaning	Exam Identification Clue
Bolzano-Weierstrass Theorem	Bounded infinite subset in $\mathbb{R}$	At least one limit point exists	Points crowd infinitely close to a location	Keywords: 'bounded infinite set', 'limit point'
Heine-Borel Theorem	Subset of $\mathbb{R}^n$ is closed and bounded	Every open cover has a finite subcover	No escaping to infinity or boundary slipping	Keywords: 'compact', 'open cover'
Cauchy Criterion	Sequence $\langle x_n \rangle$ in $\mathbb{R}$	$\|x_m - x_n\| < \epsilon$ for large $m, n$	Terms bunch together indefinitely	Keywords: 'Cauchy sequence', 'complete'
Nested Interval Theorem	Sequence of nested closed bounded intervals	$\bigcap I_n \neq \emptyset$ (single point if lengths $\to 0$)	Shrinking intervals trap a unique real number	Keywords: 'nested intervals', 'shrinking length'

Solved examples

Each problem includes a full solution and a shorter method:

CANONICAL PROBLEM 01 Dual-Method Breakdown

Find the set of all limit points of the sequence $x_n = \left(1 + \frac{1}{n}\right)^n \cos(n\pi)$ in $\mathbb{R}$.

(A) $\{e, -e\}$(B) $\{e\}$(C) $\{0, e, -e\}$(D) $\emptyset$

📚 Method A: Formal Textbook Derivation

Step 1: Separate into even and odd terms. For $n = 2k$, $\cos(2k\pi) = 1$ and $(1 + \frac{1}{2k})^{2k} \to e$. For $n = 2k+1$, $\cos((2k+1)\pi) = -1$ and $(1 + \frac{1}{2k+1})^{2k+1} \to e$. Step 2: Combine limits to get $e$ and $-e$. Step 3: Conclude the set of limit points is $\{e, -e\}$.

⚡ Method B: 25-Second Exam Shortcut

Recognize the core term converges to $e$ and the multiplier oscillates between $1$ and $-1$. The products are $e \times 1 = e$ and $e \times (-1) = -e$.

💡 Tip: Always decompose composite sequences containing alternating trigonometric signs.

CANONICAL PROBLEM 02 Dual-Method Breakdown

Which of the following sets possesses an accumulation point in $\mathbb{R}$?

(A) $\{\frac{1}{n} : n \in \mathbb{N}\}$(B) $\{\mathbb{N}\}$(C) $\{n^2 : n \in \mathbb{N}\}$(D) $\{\tan(n) : n \in \mathbb{N}\}$

📚 Method A: Formal Textbook Derivation

Step 1: Test boundedness and infinitude. Set (A) is infinite and bounded within $[0, 1]$. Step 2: By Bolzano-Weierstrass, it must have a limit point (which is $0$). Step 3: Sets (B), (C), and (D) are unbounded subsets of $\mathbb{R}$.

⚡ Method B: 25-Second Exam Shortcut

Instantly check for bounded subsets: only option (A) is confined to a finite interval while containing infinite elements.

💡 Tip: Unbounded sets like $\mathbb{N}$ or $\mathbb{Z}$ never have finite accumulation points.

Practice questions

Choose an answer to check it and see the solution:

MCQ 1: According to the Bolzano-Weierstrass theorem, every bounded infinite subset of $\mathbb{R}$ has at least:

A One limit point

B A unique limit point

C No limit point

D A countable limit

Derivation & Analysis:

By definition, the Bolzano-Weierstrass theorem guarantees the existence of at least one accumulation (limit) point in $\mathbb{R}$ for any bounded infinite set.

MCQ 2: The set of limit points of the sequence $x_n = (-1)^n \left(1 + \frac{1}{n}\right)$ is:

A \{-1, 1\}

B \{1\}

C \{-1\}

D \{0\}

Derivation & Analysis:

For even $n$, $x_n \to 1$. For odd $n$, $x_n \to -1$. Thus, the set of all subsequential limits (limit points) is $\{-1, 1\}$.

MCQ 3: Which of the following sequences has no convergent subsequence?

A $x_n = n$

B $x_n = \sin(n)$

C $x_n = \frac{1}{n}$

D $x_n = (-1)^n$

Derivation & Analysis:

An unbounded sequence like $x_n = n$ cannot have any convergent subsequence in $\mathbb{R}$ because all its subsequences diverge to infinity, violating Bolzano-Weierstrass conditions.

MCQ 4: The set $S = \left\{ \frac{m}{n} : m, n \in \mathbb{Z}, n \neq 0, 0 \le \frac{m}{n} \le 1 \right\}$ has how many accumulation points in $\mathbb{R}$?

A Infinitely many (every point in $[0, 1]$)

B Only rational points in $[0, 1]$

C Exactly two points ($0$ and $1$)

D None

Derivation & Analysis:

The set of rational numbers in $[0, 1]$ is dense in $[0, 1]$, meaning every real number in $[0, 1]$ is an accumulation point of this set.

MCQ 5: If $S$ is an infinite bounded subset of $\mathbb{R}$, its derived set $S'$ (set of all accumulation points):

A Must be non-empty and bounded

B Must be empty

C Must be finite

D Must equal $S$

Derivation & Analysis:

By Bolzano-Weierstrass, $S'$ is non-empty. Since $S \subset [a, b]$, its limit points must also lie within $[a, b]$, making $S'$ bounded.

MCQ 6: Consider the sequence $x_n = \sin\left(\frac{n\pi}{4}\right)$. The number of distinct limit points of this sequence is:

A 5

B 4

C 8

D Infinite

Derivation & Analysis:

The values of $\sin(n\pi/4)$ cycle through $0, \frac{1}{\sqrt{2}}, 1, \frac{1}{\sqrt{2}}, 0, -\frac{1}{\sqrt{2}}, -1, -\frac{1}{\sqrt{2}}$. The distinct values (limit points) are $\left\{0, \pm\frac{1}{\sqrt{2}}, \pm 1\right\}$, totaling 5 distinct points.

MCQ 7: Which of the following statements is true for Bolzano-Weierstrass theorem in metric spaces?

A It holds in any metric space if it is compact

B It holds in all metric spaces

C It fails in $\mathbb{R}^n$

D It is equivalent to the Intermediate Value Theorem

Derivation & Analysis:

A metric space is compact if and only if it is sequentially compact (i.e., satisfies the Bolzano-Weierstrass property for sequences).

MCQ 8: Assertion (A): Every bounded sequence in $\mathbb{R}$ has a convergent subsequence. Reason (R): This is a direct consequence of the Bolzano-Weierstrass theorem.

A Both (A) and (R) are true and (R) is the correct explanation of (A)

B Both (A) and (R) are true but (R) is not the correct explanation

C (A) is true but (R) is false

D (A) is false but (R) is true

Derivation & Analysis:

Both statements are standard textbook definitions and theorems in real analysis.

MCQ 9: If a set $S \subset \mathbb{R}$ has no accumulation points, then $S$ must be:

A Either finite or discrete and unbounded (or closed with no limit points)

B Compact

C Unbounded

D Dense in $\mathbb{R}$

Derivation & Analysis:

If $S$ is bounded and infinite, B.W. guarantees a limit point. Thus, having no limit points implies $S$ is either finite or cannot be both bounded and infinite.

Q10

MCQ 10: The set of limit points of the sequence $x_n = n \sin\left(\frac{n\pi}{2}\right)$ is:

A Empty (no finite limit points)

B $\{0, 1, -1\}$

C $\{0\}$

D $\mathbb{R}$

Derivation & Analysis:

For $n = 4k + 1$, $x_n = 4k + 1 \to \infty$. The sequence is unbounded, hence it has no finite limit points.

Common questions

No. The theorem guarantees the existence of a *convergent subsequence*, not convergence of the entire sequence. For example, $x_n = (-1)^n$ is bounded but does not converge, though it contains convergent subsequences converging to $1$ and $-1$.

Candidates often forget to check whether the set or sequence is bounded. Unbounded sets like $\mathbb{N}$ or sequences like $x_n = n$ completely violate the hypothesis and do not possess finite accumulation points.

Split composite sequences into residue classes modulo the period of trigonometric or alternating terms (e.g., $n \pmod 2$ or $n \pmod 4$) to instantly read off the subsequential limits.