← Back to GATE Mathematics

Real Analysis

Master sequences, series, continuity, differentiability, Riemann integration, and metric spaces for GATE Mathematics.

Sequences & Series Continuity & Differentiability Riemann Integration Function Sequences Metric Spaces
0% complete5 units
01
Sequences and Series

Convergence of real sequences and infinite series forms the backbone of analysis. Understanding these concepts is essential for all subsequent topics.

Convergence of Sequences
Definition — Convergence A sequence $(a_n)$ converges to $L \in \mathbb{R}$ if for every $\varepsilon > 0$, there exists $N \in \mathbb{N}$ such that $|a_n - L| < \varepsilon$ for all $n \geq N$. We write $\lim_{n \to \infty} a_n = L$.
Theorem — Monotone Convergence Every bounded monotone sequence in $\mathbb{R}$ converges. Specifically, a monotone increasing sequence bounded above converges to its supremum, and a monotone decreasing sequence bounded below converges to its infimum.
  • A Cauchy sequence is one where $|a_m - a_n| \to 0$ as $m, n \to \infty$; in $\mathbb{R}$, Cauchy $\iff$ convergent
  • Bolzano-Weierstrass: Every bounded sequence in $\mathbb{R}$ has a convergent subsequence
  • $\limsup$ and $\liminf$ always exist for bounded sequences
Convergence of Series

An infinite series $\sum_{n=1}^{\infty} a_n$ converges if the sequence of partial sums $S_N = \sum_{n=1}^{N} a_n$ converges.

  • Comparison test: If $0 \leq a_n \leq b_n$ and $\sum b_n$ converges, then $\sum a_n$ converges
  • Ratio test: If $L = \lim |a_{n+1}/a_n|$, then the series converges if $L < 1$ and diverges if $L > 1$
  • Root test: If $L = \limsup |a_n|^{1/n}$, then the series converges if $L < 1$ and diverges if $L > 1$
  • Leibniz test: An alternating series $\sum (-1)^n b_n$ converges if $(b_n)$ is decreasing and $b_n \to 0$
  • Absolute convergence implies convergence, but not conversely
★ Example
Prove that $\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^2}$ converges using the comparison test.

Step 1: For $n \geq 2$, observe that $\dfrac{1}{n^2} \leq \dfrac{1}{n(n-1)} = \dfrac{1}{n-1} - \dfrac{1}{n}$ (partial fractions).

Step 2: The partial sums telescope: $\displaystyle\sum_{n=2}^{N} \left(\frac{1}{n-1} - \frac{1}{n}\right) = 1 - \frac{1}{N} \to 1$ as $N \to \infty$.

Step 3: By comparison, $\displaystyle\sum_{n=2}^{\infty} \frac{1}{n^2} \leq 1$, so $\displaystyle\sum_{n=1}^{\infty} \frac{1}{n^2} = 1 + \sum_{n=2}^{\infty} \frac{1}{n^2} \leq 2$.

Since the partial sums are bounded and increasing (all terms are positive), the series converges.

★ Key Takeaways — Sequences & Series
  • The harmonic series $\sum 1/n$ diverges, but $\sum 1/n^p$ converges for $p > 1$ (p-series test)
  • The ratio and root tests are inconclusive when the limit equals 1
  • Absolute convergence is strictly stronger than conditional convergence
02
Continuity and Differentiability

The precise definitions of continuity and differentiability, along with the powerful Mean Value Theorems that connect them.

Continuity
Definition — Epsilon-Delta Continuity A function $f: D \to \mathbb{R}$ is continuous at $c \in D$ if for every $\varepsilon > 0$ there exists $\delta > 0$ such that $|x - c| < \delta$ implies $|f(x) - f(c)| < \varepsilon$.
  • Uniform continuity: $\delta$ depends only on $\varepsilon$, not on the point $c$
  • Every continuous function on a closed bounded interval $[a,b]$ is uniformly continuous (Heine-Cantor)
  • Intermediate Value Theorem: If $f$ is continuous on $[a,b]$ and $f(a) < k < f(b)$, then $f(c) = k$ for some $c \in (a,b)$
  • Extreme Value Theorem: A continuous function on $[a,b]$ attains its maximum and minimum
Differentiability and Mean Value Theorems

$f$ is differentiable at $c$ if $\lim_{h \to 0} \frac{f(c+h) - f(c)}{h}$ exists. Differentiability implies continuity, but not conversely (e.g., $f(x) = |x|$ at $x = 0$).

Theorem — Mean Value Theorems Rolle's Theorem: If $f$ is continuous on $[a,b]$, differentiable on $(a,b)$, and $f(a) = f(b)$, then $f'(c) = 0$ for some $c \in (a,b)$.

Lagrange's MVT: Under the same conditions (without $f(a)=f(b)$), there exists $c \in (a,b)$ with $f'(c) = \frac{f(b)-f(a)}{b-a}$.

Cauchy's MVT: If $f, g$ are continuous on $[a,b]$, differentiable on $(a,b)$, and $g'(x) \neq 0$, then $\frac{f'(c)}{g'(c)} = \frac{f(b)-f(a)}{g(b)-g(a)}$ for some $c \in (a,b)$.
★ Example
Use the Mean Value Theorem to show that $|\sin x - \sin y| \leq |x - y|$ for all $x, y \in \mathbb{R}$.

Step 1: Let $f(t) = \sin t$. Then $f$ is continuous and differentiable everywhere, with $f'(t) = \cos t$.

Step 2: By Lagrange's MVT, for $x \neq y$, there exists $c$ between $x$ and $y$ such that $\frac{\sin x - \sin y}{x - y} = \cos c$.

Step 3: Since $|\cos c| \leq 1$, we get $|\sin x - \sin y| = |\cos c| \cdot |x - y| \leq |x - y|$.

This also proves that $\sin$ is Lipschitz continuous (and hence uniformly continuous) on $\mathbb{R}$.

Taylor's theorem: If $f$ has $n+1$ continuous derivatives on $[a,b]$, then $f(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}(x-a)^k + \frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}$ for some $c$ between $a$ and $x$ (Lagrange remainder form).

★ Key Takeaways — Continuity & Differentiability
  • Differentiable $\Rightarrow$ continuous, but continuous $\not\Rightarrow$ differentiable
  • Uniform continuity is a global property; standard continuity is local
  • Cauchy's MVT is the key to proving L'Hopital's rule
03
Riemann Integration

The rigorous construction of the integral via partitions and upper/lower sums, culminating in the Fundamental Theorem of Calculus.

Riemann Sums and Integrability
Definition — Riemann Integrability For a bounded function $f$ on $[a,b]$, the upper sum $U(f,P) = \sum M_i \Delta x_i$ and lower sum $L(f,P) = \sum m_i \Delta x_i$ where $M_i, m_i$ are the supremum and infimum of $f$ on each subinterval. $f$ is Riemann integrable if $\inf_P U(f,P) = \sup_P L(f,P)$.
  • Every continuous function on $[a,b]$ is Riemann integrable
  • Every monotone function on $[a,b]$ is Riemann integrable
  • A bounded function is Riemann integrable if and only if its set of discontinuities has measure zero (Lebesgue's criterion)
Fundamental Theorem and Improper Integrals
Theorem — Fundamental Theorem of Calculus Part 1: If $f$ is integrable on $[a,b]$ and $F(x) = \int_a^x f(t)\,dt$, then $F$ is continuous. If $f$ is continuous at $c$, then $F'(c) = f(c)$.

Part 2: If $f$ is integrable on $[a,b]$ and $F$ is an antiderivative of $f$ (i.e., $F' = f$), then $\int_a^b f(x)\,dx = F(b) - F(a)$.
★ Example
Determine whether $\displaystyle\int_1^{\infty} \frac{1}{x^p}\,dx$ converges, and for which values of $p$.

Case $p \neq 1$: $\displaystyle\int_1^{R} x^{-p}\,dx = \left[\frac{x^{1-p}}{1-p}\right]_1^R = \frac{R^{1-p} - 1}{1-p}$.

As $R \to \infty$: if $p > 1$, then $1 - p < 0$, so $R^{1-p} \to 0$ and the integral equals $\frac{1}{p-1}$ (converges).

If $p < 1$, then $1 - p > 0$, so $R^{1-p} \to \infty$ (diverges).

Case $p = 1$: $\displaystyle\int_1^{R} \frac{1}{x}\,dx = \ln R \to \infty$ (diverges).

Conclusion: The integral converges if and only if $p > 1$.

★ Key Takeaways — Riemann Integration
  • The integral $\int_1^\infty x^{-p}\,dx$ converges iff $p > 1$ (compare with the p-series)
  • FTC connects differentiation and integration; the antiderivative need not be elementary
  • For improper integrals, always check convergence before evaluating
04
Sequences and Series of Functions

Understanding when limits and infinite sums of functions preserve continuity, differentiability, and integrability.

Pointwise vs Uniform Convergence
Definition — Uniform Convergence A sequence of functions $(f_n)$ converges uniformly to $f$ on $S$ if $\sup_{x \in S} |f_n(x) - f(x)| \to 0$ as $n \to \infty$. Equivalently, for every $\varepsilon > 0$ there exists $N$ (independent of $x$) such that $|f_n(x) - f(x)| < \varepsilon$ for all $n \geq N$ and all $x \in S$.
  • Pointwise convergence: $f_n(x) \to f(x)$ for each fixed $x$ (the $N$ may depend on $x$)
  • Uniform limit of continuous functions is continuous (fails for pointwise limits)
  • Under uniform convergence, $\lim \int f_n = \int \lim f_n$
Theorem — Weierstrass M-test If $|f_n(x)| \leq M_n$ for all $x \in S$ and $\sum M_n$ converges, then $\sum f_n$ converges uniformly and absolutely on $S$.
★ Example
Show that $f_n(x) = x^n$ converges pointwise but not uniformly on $[0,1)$.

Pointwise: For each $x \in [0,1)$, $|x| < 1$, so $x^n \to 0$. Thus $f_n \to 0$ pointwise.

Not uniform: $\sup_{x \in [0,1)} |x^n - 0| = \sup_{x \in [0,1)} x^n = 1$ (the supremum approaches 1 as $x \to 1^-$). Since $\sup |f_n(x)| = 1 \not\to 0$, convergence is not uniform.

Power Series

A power series $\sum_{n=0}^{\infty} a_n (x - c)^n$ has a radius of convergence $R$ given by $\frac{1}{R} = \limsup_{n \to \infty} |a_n|^{1/n}$. The series converges absolutely for $|x-c| < R$ and diverges for $|x-c| > R$.

  • Power series converge uniformly on any compact subset of the interval of convergence
  • Power series can be differentiated and integrated term by term within the interval of convergence
  • The endpoints $x = c \pm R$ must be checked separately
★ Key Takeaways — Function Sequences
  • Uniform convergence preserves continuity; pointwise convergence does not
  • The Weierstrass M-test is the primary tool for showing uniform convergence of series
  • Radius of convergence: use the root test formula $1/R = \limsup |a_n|^{1/n}$
05
Metric Spaces

Generalizing the concepts of convergence, continuity, and completeness from $\mathbb{R}$ to abstract metric spaces.

Topology of Metric Spaces
Definition — Metric Space A metric space $(X, d)$ is a set $X$ with a function $d: X \times X \to [0, \infty)$ satisfying: (i) $d(x,y) = 0 \iff x = y$, (ii) $d(x,y) = d(y,x)$, (iii) $d(x,z) \leq d(x,y) + d(y,z)$ (triangle inequality).
  • A set $U$ is open if every point has an open ball contained in $U$
  • A set $F$ is closed if its complement is open, equivalently if it contains all its limit points
  • A metric space is complete if every Cauchy sequence converges (e.g., $\mathbb{R}$ is complete, $\mathbb{Q}$ is not)
  • A set is compact if every open cover has a finite subcover; in $\mathbb{R}^n$, compact $\iff$ closed and bounded (Heine-Borel)
Contraction Mapping and Connectedness
Theorem — Banach Fixed Point (Contraction Mapping) Let $(X, d)$ be a complete metric space and $T: X \to X$ a contraction (i.e., $d(Tx, Ty) \leq \alpha\, d(x,y)$ for some $0 \leq \alpha < 1$). Then $T$ has a unique fixed point $x^* \in X$, and for any $x_0 \in X$, the sequence $x_{n+1} = T(x_n)$ converges to $x^*$.
★ Example
Show that $T(x) = \frac{1}{2}(x + 3/x)$ has a unique fixed point on $[1, 3]$ with the standard metric.

Step 1: $T$ maps $[1,3]$ into itself: for $x \in [1,3]$, $T(x) = \frac{x}{2} + \frac{3}{2x}$. At $x=1$: $T(1) = 2$; at $x=3$: $T(3) = 2$. By calculus, $T'(x) = \frac{1}{2} - \frac{3}{2x^2}$, and $T$ maps $[1,3] \to [\sqrt{3}, 2] \subset [1,3]$.

Step 2: $|T'(x)| = \left|\frac{1}{2} - \frac{3}{2x^2}\right| \leq \frac{1}{2}$ for $x \in [1,3]$. By the Mean Value Theorem, $|T(x) - T(y)| \leq \frac{1}{2}|x - y|$.

Step 3: Since $[1,3]$ is a complete metric space and $T$ is a contraction with $\alpha = 1/2$, the Banach fixed point theorem guarantees a unique fixed point. Solving $x = \frac{1}{2}(x + 3/x)$ gives $x = \sqrt{3}$.

A metric space is connected if it cannot be written as a union of two disjoint nonempty open sets. Subsets of $\mathbb{R}$ are connected if and only if they are intervals.

★ Key Takeaways — Metric Spaces
  • Completeness + contraction = unique fixed point (Banach's theorem is a GATE favourite)
  • In $\mathbb{R}^n$: compact $\iff$ closed and bounded (Heine-Borel)
  • Every compact metric space is complete, but not conversely
✎ Practice Problems
Problem 1
Determine whether the sequence $a_n = \left(1 + \frac{1}{n}\right)^n$ converges, and if so, find its limit.
Show Solution ▼
The sequence is monotone increasing and bounded above by 3. By the monotone convergence theorem, it converges. The limit is $e = 2.71828\ldots$. This is in fact the definition of Euler's number $e$.
Problem 2
Does $\displaystyle\sum_{n=1}^{\infty} \frac{n!}{n^n}$ converge or diverge?
Show Solution ▼
Apply the ratio test: $\frac{a_{n+1}}{a_n} = \frac{(n+1)! \cdot n^n}{(n+1)^{n+1} \cdot n!} = \frac{n^n}{(n+1)^n} = \left(\frac{n}{n+1}\right)^n = \frac{1}{(1+1/n)^n} \to \frac{1}{e} < 1$. The series converges.
Problem 3
Let $f(x) = x^2 \sin(1/x)$ for $x \neq 0$ and $f(0) = 0$. Is $f$ differentiable at $x = 0$?
Show Solution ▼
$f'(0) = \lim_{h \to 0} \frac{f(h) - f(0)}{h} = \lim_{h \to 0} \frac{h^2 \sin(1/h)}{h} = \lim_{h \to 0} h \sin(1/h) = 0$ (by squeeze theorem since $|h\sin(1/h)| \leq |h|$). So $f$ is differentiable at $0$ with $f'(0) = 0$.
Problem 4
Find the radius of convergence of $\displaystyle\sum_{n=0}^{\infty} \frac{x^n}{2^n + 1}$.
Show Solution ▼
$a_n = \frac{1}{2^n + 1}$. Then $|a_n|^{1/n} = \frac{1}{(2^n+1)^{1/n}} \to \frac{1}{2}$ since $(2^n+1)^{1/n} \to 2$. By the root test formula, $R = 1/\limsup|a_n|^{1/n} = 1/(1/2) = 2$. The radius of convergence is $R = 2$.
Problem 5
Show that the set $A = \{1/n : n \in \mathbb{N}\}$ is not compact in $\mathbb{R}$.
Show Solution ▼
$A$ is bounded but not closed (the limit point $0$ is not in $A$: $1/n \to 0$ but $0 \notin A$). By Heine-Borel, a subset of $\mathbb{R}$ is compact iff closed and bounded. Since $A$ is not closed, it is not compact. Alternatively, the open cover $\{(1/(n+1), 1/(n-1)) : n \geq 2\} \cup \{(1/2, 2)\}$ covers $A$ but has no finite subcover.
⚙ Interactive Quiz
1. The series $\displaystyle\sum_{n=1}^{\infty} \frac{(-1)^n}{n}$ is:
A Absolutely convergent
B Conditionally convergent
C Divergent
D Oscillating
2. Which function is uniformly continuous on $(0, 1)$?
A $f(x) = 1/x$
B $f(x) = \sin(1/x)$
C $f(x) = \sqrt{x}$
D $f(x) = e^{1/x}$
3. If $f$ is Riemann integrable on $[0,1]$, which of the following is necessarily true?
A $f$ is continuous on $[0,1]$
B $f$ is bounded on $[0,1]$
C $f$ is differentiable a.e.
D $f$ is monotone on $[0,1]$
4. The sequence $f_n(x) = nx e^{-nx^2}$ on $[0, 1]$:
A Converges uniformly to 0
B Converges pointwise to 0 but not uniformly
C Diverges pointwise
D Converges uniformly to $e^{-x}$
5. Which of the following metric spaces is complete?
A $(\mathbb{Q}, |\cdot|)$
B $((0,1), |\cdot|)$
C $([0,1], |\cdot|)$
D $(\mathbb{R} \setminus \mathbb{Q}, |\cdot|)$