Catalog / Real Analysis Cheatsheet

Real Analysis Cheatsheet

A concise reference for real analysis, covering fundamental concepts, theorems, and techniques. Useful for quick review and problem-solving.

Basic Concepts

Sets and Set Operations

Union (∪)

A ∪ B = {x : x ∈ A or x ∈ B}

Intersection (∩)

A ∩ B = {x : x ∈ A and x ∈ B}

Difference ()

A \ B = {x : x ∈ A and x ∉ B}

Complement (Ac)

Ac = {x : x ∈ U and x ∉ A}, where U is the universal set.

De Morgan’s Laws

(A ∪ B)c = Ac ∩ Bc
(A ∩ B)c = Ac ∪ Bc

Power Set (P(A))

The set of all subsets of A.

Real Numbers and Completeness

Axioms of Real Numbers: Field axioms, order axioms, and the completeness axiom.

Completeness Axiom (Least Upper Bound Property):
Every non-empty subset of ℝ that is bounded above has a least upper bound (supremum) in ℝ.

Archimedean Property:
For any x ∈ ℝ, there exists n ∈ ℕ such that n > x.

Density of Rationals:
Between any two real numbers, there exists a rational number.

Density of Irrationals:
Between any two real numbers, there exists an irrational number.

Sequences

Definition

An ordered list of real numbers: (xn), where xn ∈ ℝ for all n ∈ ℕ.

Convergence

A sequence (xn) converges to x if for every ε > 0, there exists N ∈ ℕ such that |xn - x| < ε for all n > N.

Bounded Sequence

There exists M > 0 such that |xn| ≤ M for all n ∈ ℕ.

Monotone Sequence

Increasing: xn ≤ xn+1 for all n.
Decreasing: xn ≥ xn+1 for all n.

Monotone Convergence Theorem

A bounded monotone sequence converges.

Subsequence

A sequence formed from (xn) by selecting some of the elements, usually indexed by a strictly increasing sequence nk.

Limits and Continuity

Limits of Functions

Definition (ε-δ)

lim x→c f(x) = L if for every ε > 0, there exists δ > 0 such that if 0 < |x - c| < δ, then |f(x) - L| < ε.

Sequential Criterion

lim x→c f(x) = L if and only if for every sequence (xn) converging to c, with xn ≠ c, the sequence (f(xn)) converges to L.

Limit Laws

Limits of sums, products, quotients (if the denominator’s limit is non-zero) follow the expected algebraic rules.

One-Sided Limits

lim x→c+ f(x) (right-hand limit) and lim x→c- f(x) (left-hand limit).

Continuity

Definition

f is continuous at c if lim x→c f(x) = f(c).

Sequential Criterion

f is continuous at c if and only if for every sequence (xn) converging to c, the sequence (f(xn)) converges to f(c).

Properties

Sums, products, and compositions of continuous functions are continuous (where defined).

Intermediate Value Theorem (IVT)

If f is continuous on [a, b] and f(a) ≠ f(b), then for any value y between f(a) and f(b), there exists c ∈ (a, b) such that f(c) = y.

Extreme Value Theorem (EVT)

If f is continuous on a closed and bounded interval [a, b], then f attains its maximum and minimum values on [a, b].

Uniform Continuity

Definition

f is uniformly continuous on A if for every ε > 0, there exists δ > 0 such that for all x, y ∈ A, if |x - y| < δ, then |f(x) - f(y)| < ε. (δ depends only on ε, not on x).

Heine-Cantor Theorem

If f is continuous on a closed and bounded interval [a, b], then f is uniformly continuous on [a, b].

Differentiation

Definition and Basic Theorems

Derivative Definition

f’(x) = lim h→0 (f(x + h) - f(x)) / h, if the limit exists.

Differentiability Implies Continuity

If f is differentiable at x, then f is continuous at x.

Rules of Differentiation

Sum, product, quotient, and chain rules.

Mean Value Theorems

Rolle’s Theorem:
If f is continuous on [a, b], differentiable on (a, b), and f(a) = f(b), then there exists c ∈ (a, b) such that f’(c) = 0.

Mean Value Theorem (MVT):
If f is continuous on [a, b] and differentiable on (a, b), then there exists c ∈ (a, b) such that f’(c) = (f(b) - f(a)) / (b - a).

Consequences of MVT:
If f’(x) = 0 for all x in an interval, then f is constant on that interval. If f’(x) > 0 (or f’(x) < 0) on an interval, then f is increasing (or decreasing) on that interval.

L'Hôpital's Rule

Indeterminate Forms

0/0, ∞/∞, 0 * ∞, ∞ - ∞, 1^∞, 0^0, ∞^0

L’Hôpital’s Rule

If lim x→c f(x) = 0 and lim x→c g(x) = 0 (or both are ∞) and lim x→c f’(x)/g’(x) exists, then lim x→c f(x)/g(x) = lim x→c f’(x)/g’(x).

Integration

Riemann Integration

Partition

A partition P of [a, b] is a finite set of points {x0, x1, …, xn} such that a = x0 < x1 < … < xn = b.

Upper and Lower Sums

U(f, P) = Σ Mi(xi - xi-1), where Mi = sup{f(x) : x ∈ [xi-1, xi]}
L(f, P) = Σ mi(xi - xi-1), where mi = inf{f(x) : x ∈ [xi-1, xi]}

Riemann Integral

f is Riemann integrable on [a, b] if the upper and lower integrals are equal. The common value is the Riemann integral ∫ab f(x) dx.

Integrability Condition

f is Riemann integrable if and only if for every ε > 0, there exists a partition P such that U(f, P) - L(f, P) < ε.

Fundamental Theorem of Calculus

FTC Part 1:
If f is continuous on [a, b] and F(x) = ∫ax f(t) dt, then F’(x) = f(x) for x ∈ (a, b).

FTC Part 2:
If f is continuous on [a, b] and F is any antiderivative of f, then ∫ab f(x) dx = F(b) - F(a).

Improper Integrals

Type 1 (Infinite Interval)

∫a∞ f(x) dx = lim b→∞ ∫ab f(x) dx

Type 2 (Discontinuous Integrand)

If f is discontinuous at c ∈ (a, b), then ∫ab f(x) dx = lim t→c- ∫at f(x) dx + lim t→c+ ∫tb f(x) dx