Real Analysis
Master sequences, series, continuity, differentiability, Riemann integration, and metric spaces for GATE Mathematics.
Convergence of real sequences and infinite series forms the backbone of analysis. Understanding these concepts is essential for all subsequent topics.
- 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
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
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.
- 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
The precise definitions of continuity and differentiability, along with the powerful Mean Value Theorems that connect them.
- 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
$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$).
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)$.
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).
- 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
The rigorous construction of the integral via partitions and upper/lower sums, culminating in the Fundamental Theorem of Calculus.
- 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)
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)$.
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$.
- 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
Understanding when limits and infinite sums of functions preserve continuity, differentiability, and integrability.
- 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$
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.
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
- 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}$
Generalizing the concepts of convergence, continuity, and completeness from $\mathbb{R}$ to abstract metric spaces.
- 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)
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.
- 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