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 |
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): |
Archimedean Property: |
Density of Rationals: |
Density of Irrationals: |
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. |
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: |
Mean Value Theorem (MVT): |
Consequences of MVT: |
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]} |
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: |
FTC Part 2: |
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 |