Measure Theory: Lebesgue Integral & Convergence

Learning Goal: Transition from classical Riemann integration to abstract measure spaces, Lebesgue outer measures, Carathéodory's measurability criterion, the construction of the Lebesgue integral, and modern convergence theorems (Monotone Convergence, Fatou's Lemma, and Dominated Convergence).

• Prerequisites: Multivariable calculus, introductory proof-based real analysis (limits, epsilon-delta arguments).
• Estimated Total Study Time: 24 Hours

Module 1: Mathematical Foundations: Real Analysis & Set Theory

To transition successfully into measure theory, you must first master the topology of real numbers and the behavior of sequences. This module establishes critical tools such as the supremum/infimum, open and closed sets, and the limits of sequences, which serve as the primary framework for defining integration.

Recommended Videos

Definition of Supremum and Infimum of a Set | Real Analysis

@WrathofMath13:50173,623

Definition of Supremum and Infimum of a Set | Real Analysis

The supremum (least upper bound) of a non-empty subset S of an ordered field is the smallest element b₀ such that every element of S is less than or equal to b₀, and if b is any other upper bound of S, then b₀ ≤ b; similarly, the infimum (greatest lower bound) is the largest element b₀ such that every element of S is greater than or equal to b₀, and if b is any other lower bound of S, then b₀ ≥ b. Importantly, the supremum and infimum may or may not belong to the set S itself, and their existenc

@WrathofMath · 13:50

• Why this video: This video provides a mathematically rigorous, yet accessible introduction to supremum (least upper bound) and infimum (greatest lower bound). Understanding these concepts is vital because both Riemann upper/lower sums and Lebesgue integrals are defined using suprema and infima over sets of functions.
• Knowledge Checkpoint:
  • Define the supremum and infimum of an arbitrary set $S \subset \mathbb{R}$.
  • Explain why a bounded-above subset of $\mathbb{R}$ must possess a supremum in $\mathbb{R}$ (the Completeness Axiom).
  • Identify the supremum and infimum of open intervals such as $(a, b)$.

Open and Closed Sets - Intro to Real Analysis Ep. 21

@JoelAndersonMath10:04264

Open and Closed Sets - Intro to Real Analysis Ep. 21

A subset X of real numbers is open if for every a in X, there exists an epsilon neighborhood of a entirely contained in X. Open intervals (a,b) are open sets, and arbitrary unions of open sets remain open. Finite intersections of open sets are open, but infinite intersections need not be (e.g., intersection of (1/n, 1/n) is {0}). A set is closed if it contains all its limit points. The real numbers and empty set are both open and closed (clopen). Closed intervals [a,b] are closed sets. The natur

@JoelAndersonMath · 10:04

• Why this video: Topology on the real line forms the backbone of measurable spaces. This lecture details how open and closed sets are constructed in $\mathbb{R}$ using epsilon neighborhoods, preparing you to understand the Borel $\sigma$-algebra.
• Knowledge Checkpoint:
  • State the definition of an open set in terms of neighborhood inclusions.
  • Prove that an arbitrary union of open sets is open, while only a finite intersection of open sets is guaranteed to be open.
  • Formulate the definition of a closed set using its complement.

Math S-322 Class 2

@paulbamberg401721:36106

Math S-322 Class 2

A sequence is a function from natural numbers to real numbers, denoted as (sₙ)ₙ∈ℕ, and a sequence converges to a limit s if for every ε > 0, there exists an N such that for all n > N, |sₙ - s| < ε. Key limit theorems include: if sₙ → s, then K·sₙ → K·s; if sₙ → s and tₙ → t, then sₙ + tₙ → s + t and sₙ·tₙ → s·t; if sₙ → 0 and tₙ is bounded, then sₙ·tₙ → 0; and if sₙ ≠ 0 for all n and sₙ → s ≠ 0, then 1/sₙ → 1/s. Sequences can diverge to +∞ or -∞, meaning terms become arbitrarily large or small r

@paulbamberg4017 · 21:36

• Why this video: Limits of sequences underlie every approximation method in measure theory. This video reviews pointwise convergence, bounded sequences, and provides concrete analytical definitions that will reappear when taking limits of simple functions.
• Knowledge Checkpoint:
  • Write down the formal $\epsilon$-$N$ definition of a convergent sequence of real numbers.
  • Describe the difference between pointwise convergence and uniform convergence.

Module 2: The Riemann Integral and Its Limitations

The classical Riemann integral is highly intuitive but functionally restricted. It fails when handling highly discontinuous functions and struggles with swapping limits and integrals. This module explores how the Riemann integral is built and analyzes the pathological cases—most notably the Dirichlet function—that motivate the transition to Lebesgue's integration theory.

Recommended Videos

Complete Formal Construction of The Riemann Integral from Calculus

@TheMathSorcerer12:131,987

Complete Formal Construction of The Riemann Integral from Calculus

The Riemann integral is formally constructed by first defining a partition of the interval [a, b] as a set of points x₀, x₁, ..., xₙ that divide the interval into subintervals, then selecting any sample point cᵢ in each subinterval to form a Riemann sum Σ f(cᵢ)Δxᵢ, and finally defining the definite integral ∫ₐᵇ f(x)dx as the limit of these Riemann sums as the norm (width of the largest subinterval) approaches zero, provided this limit exists; for practical computation, regular partitions with eq

@TheMathSorcerer · 12:13

• Why this video: To understand why we must replace the Riemann integral, we must first master its precise mathematical setup. This video provides a deep dive into formal partitions, subintervals, sample points, and the convergence of Riemann sums.
• Knowledge Checkpoint:
  • Define a partition $P$ of an interval $[a, b]$ and its mesh (norm).
  • Formulate the Riemann sum for a function $f$ over a partition $P$.
  • Explain how the limit of Riemann sums defines the definite integral as the mesh approaches zero.

Real Analysis \| Riemann Integral - Upper & Lower Riemann Integral \| Definition With Examples

@gajendrapurohit18:49412,146

Real Analysis \| Riemann Integral - Upper & Lower Riemann Integral \| Definition With Examples

For a bounded function f on [a,b], the lower Riemann integral is the supremum of all lower sums L(f,P) over partitions P, denoted by ∫ₐᵇ f(x)dx, while the upper Riemann integral is the infimum of all upper sums U(f,P), denoted by ∫ₐᵇ f(x)dx; a function is Riemann integrable if and only if these two integrals are equal.

@gajendrapurohit · 18:49

• Why this video: This video covers Darboux's approach to the Riemann integral using upper and lower bounds. Since modern integration theories rely on bounding functions above and below, this is a direct bridge to Lebesgue's formulation.
• Knowledge Checkpoint:
  • Compute the Upper Riemann Sum $U(f, P)$ and Lower Riemann Sum $L(f, P)$ using suprema and infima.
  • State the condition under which a bounded function is declared Riemann integrable.
  • Explain why the upper integral is always greater than or equal to the lower integral.

Math 131 Lecture 34 042224 Uniform Convergence and Integration

@wcwou03:53231

Math 131 Lecture 34 042224 Uniform Convergence and Integration

The Dirichlet function f(x) = 1 if x is rational, and f(x) = 0 if x is irrational, is not Riemann integrable on [0,1]. For any partition, the upper sum is always 1 (since every interval contains a rational point) and the lower sum is always 0 (since every interval contains an irrational point). Since the upper and lower integrals differ, the function is not Riemann integrable. This function is Lebesgue integrable with integral 0, but not Riemann integrable.

@wcwou · 03:53

• Why this video: This short lecture illustrates the Dirichlet function (indicator function of the rationals) and proves why it is not Riemann integrable. This pathological counterexample is the primary historical driver for the creation of Lebesgue's theory.
• Knowledge Checkpoint:
  • Write down the analytical definition of the Dirichlet function on $[0,1]$.
  • Prove why the lower Riemann sum of the Dirichlet function is always $0$, while the upper sum is always $1$ for any partition.
  • Explain the relationship between uniform convergence and Riemann integration limits.

Riemann Integral vs. Lebesgue Integral [dark version]

@brightsideofmaths11:5613,960

Riemann Integral vs. Lebesgue Integral [dark version]

The Riemann integral, while intuitive for calculating areas under curves, suffers from three critical limitations. First, extending it to higher dimensions becomes extremely technical, requiring complex partitioning of multi-dimensional domains. Second, it depends heavily on continuity—functions must be continuous or have only finitely many discontinuities to be integrable. Third, interchanging limits and integrals requires uniform convergence, which is too restrictive for many practical cases.

@brightsideofmaths · 11:56

• Why this video: A conceptual comparison of partitioning the domain (Riemann) versus partitioning the range (Lebesgue). It highlights the core limitations of Riemann integration (vector space completeness issues, lack of strong convergence theorems) and sets up the need for measure theory.
• Knowledge Checkpoint:
  • Contrast "vertical slicing" (Riemann domain partition) with "horizontal slicing" (Lebesgue range partition).
  • Explain the fundamental flaw of the Riemann integral when taking pointwise limits of integrable functions.

Module 3: Sigma-Algebras and Measure Spaces

To measure sets of arbitrary shapes, we need a consistent family of sets on which a "size" or "volume" function can be defined. This collection is called a $\sigma$-algebra. This module introduces the formal definition of a $\sigma$-algebra, explores the Borel $\sigma$-algebra generated by open sets, and formally defines a measure space.

Recommended Videos

Measure Theory 1 | Sigma Algebras

@brightsideofmaths12:12560,091

Measure Theory 1 | Sigma Algebras

A sigma algebra (σ-algebra) is a collection of subsets of a set X that satisfies three key properties: it contains the empty set and the entire set X, it is closed under complementation (if a set is in the collection, its complement is too), and it is closed under countable unions (the union of countably many sets in the collection is also in the collection). These measurable sets form the foundation for defining measures and integrals in measure theory, as they provide a structured way to assig

@brightsideofmaths · 12:12

• Why this video: This is the gold-standard introduction to the axiomatic definition of a $\sigma$-algebra. It walks you through why we require certain closure properties (complements, countable unions) to build a robust framework for calculation.
• Knowledge Checkpoint:
  • List the three defining axioms of a $\sigma$-algebra on a set $X$.
  • Prove that a $\sigma$-algebra is automatically closed under countable intersections.
  • Distinguish between an algebra (closed under finite unions) and a $\sigma$-algebra (closed under countable unions).

Measure Theory 2 | Borel Sigma Algebras

@brightsideofmaths00:24284,226

Measure Theory 2 | Borel Sigma Algebras

A sigma algebra is a family of subsets of a given set X that satisfies three rules: (1) The empty set and the full set X are always in the sigma algebra, (2) For each set in the sigma algebra, its complement is also in the sigma algebra, and (3) The sigma algebra is closed under countable unions. All sets that are elements of the sigma algebra are called measurable sets.

@brightsideofmaths · 00:24

• Why this video: Explains the Borel $\sigma$-algebra—the most important structural algebra on the real line. Borel sets represent all subsets that can be constructed from open intervals using countable intersections, unions, and complements.
• Knowledge Checkpoint:
  • Define the Borel $\sigma$-algebra $\mathcal{B}(\mathbb{R})$ as the $\sigma$-algebra generated by open sets.
  • Explain why closed intervals, half-open intervals, and singletons are Borel sets.

Measure Theory 3 | What is a measure?

@brightsideofmaths01:38197,086

Measure Theory 3 | What is a measure?

The Lebesgue measure on R^n is the measure that generalizes the standard volume concept. It satisfies two key properties: (1) The unit cube has volume 1, and (2) Translation invariance - translating any set by a vector does not change its volume. Unlike counting or Dirac measures, the Lebesgue measure cannot be defined on the entire power set of R^n; instead, it requires a smaller sigma-algebra like the Borel sigma-algebra.

@brightsideofmaths · 01:38

• Why this video: This video introduces the concept of a measure: a function that assigns a non-negative real value (or infinity) to sets in a $\sigma$-algebra, formalizing "length", "area", or "probability".
• Knowledge Checkpoint:
  • State the three requirements of a measure $\mu$ on a measurable space $(X, \Sigma)$.
  • Define the axiom of $\sigma$-additivity (countable additivity) and write it out mathematically.
  • Define a measure space as a triplet $(X, \Sigma, \mu)$.

(PP 1.2) Measure theory: Sigma-algebras

@mathematicalmonk03:42175,988

(PP 1.2) Measure theory: Sigma-algebras

Two fundamental properties always hold for any sigma algebra: First, the entire set Ω is always a member of the sigma algebra. This is proven by taking any set E in the sigma algebra, noting its complement is also present, and observing that the union of E and its complement equals Ω, which must therefore be in the collection. Second, the empty set is always a member of the sigma algebra, which follows directly from the fact that Ω is present and the sigma algebra is closed under complements (th

@mathematicalmonk · 03:42

• Why this video: A concise, proof-oriented video that reinforces the properties of $\sigma$-algebras. It contains simple proofs showing why the full set and empty set are always members.
• Knowledge Checkpoint:
  • Prove that the empty set $\emptyset$ belongs to any $\sigma$-algebra $\Sigma$ if $X \in \Sigma$.
  • Deduce why closure under countable unions combined with complements naturally guarantees closure under relative set subtraction.

Module 4: Lebesgue Measure and Measurable Functions

The goal on the real line is to define a measure that extends the intuitive concept of "interval length" to arbitrary sets. However, assigning a translation-invariant measure to all subsets of $\mathbb{R}$ leads to logical contradictions (such as the Vitali non-measurable set).

To resolve this, we construct the Lebesgue outer measure and restrict ourselves to a family of well-behaved sets defined by Carathéodory's criterion.

Recommended Videos

Measure Theory 21 | Outer measures - Part 2: Examples

@brightsideofmaths07:2530,198

Measure Theory 21 | Outer measures - Part 2: Examples

This comprehensive proof demonstrates that the Lebesgue outer measure satisfies all three outer measure properties. First, null empty set holds trivially by choosing empty intervals. Second, monotonicity follows because if A⊆B, any interval cover of B also covers A, so the infimum over larger sets cannot exceed that over smaller sets. Third, sigma subadditivity requires careful epsilon-argument: for any countable collection {A_n}, choose ε>0, then for each n select intervals I_j,n covering A_n w

@brightsideofmaths · 07:25

• Why this video: This video covers the construction of Lebesgue outer measure $\lambda^*$. It shows how we cover any arbitrary subset of $\mathbb{R}$ with countable collections of open intervals, and define the outer measure as the infimum of the sum of their lengths.
• Knowledge Checkpoint:
  • Define the Lebesgue outer measure $\lambda^*(A)$ for any set $A \subseteq \mathbb{R}$.
  • State the three defining axioms of an outer measure (null empty set, monotonicity, and countable subadditivity).
  • Explain why outer measure is defined for all subsets of $\mathbb{R}$, but fails to be countably additive on all subsets.

When is a Set Measurable?-Part 1\| Real Analysis

@simplymath14303:55585

When is a Set Measurable?-Part 1\| Real Analysis

A set E is measurable if for every subset A of the real numbers, the outer measure of A equals the sum of the outer measures of A ∩ E and A ∩ E^c. This is Carathéodory's criterion. By subadditivity, the outer measure of A is always less than or equal to this sum. To prove measurability, it suffices to show the reverse inequality, establishing equality. This criterion provides the fundamental test for determining whether a set is measurable in measure theory.

@simplymath143 · 03:55

• Why this video: This video introduces Carathéodory's measurability criterion. A set $E$ is Lebesgue measurable if it cleanly splits any testing set $A$ into a piece inside $E$ and a piece outside $E$. This step is critical for moving from an outer measure to a true countably additive measure.
• Knowledge Checkpoint:
  • Write down Carathéodory's measurability condition for a set $E \subseteq \mathbb{R}$.
  • Explain why the inequality $\lambda^*(A) \geq \lambda^*(A \cap E) + \lambda^*(A \cap E^c)$ is the only part of the equation that requires explicit proof.
  • State how the family of Carathéodory measurable sets forms a $\sigma$-algebra.

Rutgers Math 501 Real Analysis Prof. Kontorovich, Lecture 7, 10/04/2019

@AlexKontorovichMath14:14274

Rutgers Math 501 Real Analysis Prof. Kontorovich, Lecture 7, 10/04/2019

Carathéodory's criterion defines measurable sets directly from an exterior measure: a set E is measurable if for every A, μ*(A) = μ*(A ∩ E) + μ*(A ∩ E^c). This provides a topology-independent way to define measurable sets. The Carathéodory extension theorem states that measurable sets form a σ-algebra and the restricted exterior measure is countably additive. All algebra elements are measurable, and finite unions of measurable sets remain measurable.

@AlexKontorovichMath · 14:14

• Why this video: This advanced, live classroom lecture from Rutgers University provides a rigorous mathematical defense of Carathéodory's criterion. It offers the topological and geometric intuition needed to understand why we restrict ourselves to measurable sets.
• Knowledge Checkpoint:
  • Describe why outer measures alone are not countably additive.
  • Follow and reproduce the proof that the collection of measurable sets defined by Carathéodory forms a $\sigma$-algebra.

Lecture 01: Introduction: a non-measurable set

@impabr06:08152,545

Lecture 01: Introduction: a non-measurable set

Measure theory aims to extend the concept of length from intervals to all subsets of real numbers. The goal is to define a function λ: P(R) → [0, ∞] satisfying four key properties: (1) For any interval [a, b], λ([a, b]) = b - a; (2) Translation invariance: λ(A + x) = λ(A) for any set A and real x; (3) Sigma-additivity: If A = ∪A_j with pairwise disjoint A_j, then λ(A) = Σλ(A_j); (4) Defined on all subsets of R. The lecture proves that no such function exists.

@impabr · 06:08

• Why this video: This video proves why we cannot assign a translation-invariant, countably additive measure to every subset of $\mathbb{R}$. It details the construction of a Vitali set using rational equivalence classes, highlighting why non-measurable sets exist under the Axiom of Choice.
• Knowledge Checkpoint:
  • Define the equivalence relation used to construct a Vitali Set on $[0,1]$ ($x \sim y \iff x-y \in \mathbb{Q}$).
  • Explain why the assumption that a Vitali set is measurable leads to a contradiction of countable additivity (summing translated sets).
  • Identify the role the Axiom of Choice plays in generating non-measurable sets.

Module 5: The Lebesgue Integral Construction

With measurable sets and functions defined, we can now construct the Lebesgue integral. This construction is executed in three stages: first for simple functions (finite linear combinations of indicator functions), then extended to non-negative measurable functions via suprema of simple functions, and finally to general integrable functions by splitting them into positive and negative parts.

Recommended Videos

Approximating Measurable Functions| Simple Functions | Measure Theory

@Problemathic09:162,707

Approximating Measurable Functions| Simple Functions | Measure Theory

Simple functions, which are finite linear combinations of characteristic functions (indicator functions), can be used to approximate any measurable function pointwise and uniformly on bounded sets; this approximation theorem is fundamental in measure theory as it allows mathematicians to prove theorems about measurable functions by first proving them for the simpler class of simple functions.

@Problemathic · 09:16

• Why this video: This video directly addresses the gap of approximating arbitrary measurable functions using simple functions. Pointwise approximation by simple functions is the standard method used to prove theorems for general integrable functions.
• Knowledge Checkpoint:
  • Define a simple function $\phi(x) = \sum_{i=1}^n a_i \chi_{A_i}(x)$ and its canonical representation.
  • Explain how to construct an increasing sequence of non-negative simple functions $\phi_n$ that converges pointwise to a non-negative measurable function $f$.
  • Explain the difference between pointwise approximation and uniform approximation on bounded sets.

Measure Theory 6 | Lebesgue Integral

@brightsideofmaths23:01141,932

Measure Theory 6 | Lebesgue Integral

The Lebesgue integral for non-negative measurable functions is defined as the supremum of integrals of simple functions that lie below the given function; specifically, for a non-negative measurable function f, the integral ∫f dμ is the supremum of all ∫h dμ where h is a simple function satisfying h(x) ≤ f(x) for all x in X, and this definition extends the integral from simple functions (which are linear combinations of characteristic functions of measurable sets) to general measurable maps by a

@brightsideofmaths · 23:01

• Why this video: A comprehensive lecture that walks through the formal integration of simple functions and non-negative measurable functions. It defines the Lebesgue integral as a supremum over simple functions lying below the curve.
• Knowledge Checkpoint:
  • Write down the formula for the Lebesgue integral of a simple function $\phi$.
  • Formulate the Lebesgue integral for a non-negative measurable function $f$: $\int f \, d\mu = \sup \{ \int \phi \, d\mu : 0 \le \phi \le f, \phi \text{ is simple} \}$.
  • Show why the Lebesgue integral of the Dirichlet function over $[0,1]$ is exactly $0$.

Lebesgue Integral Overview

@drpeyam26:23109,770

Lebesgue Integral Overview

The Lebesgue integral is constructed by starting with indicator functions (which equal 1 on a set and 0 elsewhere), then defining integrals for simple functions as linear combinations of indicators, followed by approximating more general non-negative functions using limits of simple functions, and finally extending to all real-valued functions by decomposing them into positive and negative parts; this approach allows integration of a much broader class of functions than the Riemann integral, inc

@drpeyam · 26:23

• Why this video: Dr. Peyam provides an intuitive and accessible overview of the entire construction process. This video is highly valuable for summarizing how the positive and negative parts of a function are integrated separately to define the general Lebesgue integral.
• Knowledge Checkpoint:
  • Define the positive part $f^+(x) = \max(f(x), 0)$ and negative part $f^-(x) = \max(-f(x), 0)$ of a function.
  • Define the general Lebesgue integral as $\int f \, d\mu = \int f^+ \, d\mu - \int f^- \, d\mu$.
  • State the condition under which a general measurable function is said to be Lebesgue integrable ($\int |f| \, d\mu < \infty$).

Module 6: Convergence Theorems in Measure Theory

The crown jewel of Lebesgue's integration theory is the ease with which we can exchange limits and integrals: $\lim_{n \to \infty} \int f_n = \int \lim_{n \to \infty} f_n$. Under Riemann integration, this requires the extremely restrictive condition of uniform convergence. In measure theory, we use three foundational theorems: the Monotone Convergence Theorem (MCT), Fatou's Lemma, and the Dominated Convergence Theorem (DCT).

Recommended Videos

Monotone Convergence Theorem and Fatou's Lemma

@measuretheory159830:0114,366

Monotone Convergence Theorem and Fatou's Lemma

The Monotone Convergence Theorem states that for a sequence of non-negative measurable functions $ f_n $ increasing pointwise to a function $ f $, the integral of the limit equals the limit of the integrals: $ \int f \, d\mu = \lim_{n \to \infty} \int f_n \, d\mu $. In contrast, for decreasing sequences, this equality may fail (as shown by the example $ f_n = \chi_{[n, \infty)} $ which decreases to zero but has integrals equal to infinity). Fatou's Lemma provides a weaker but always true inequal

@measuretheory1598 · 30:01

• Why this video: This proof-centric lecture walks step-by-step through the proofs of the Monotone Convergence Theorem and Fatou's Lemma. These are the starting points for swapping limits and integrals.
• Knowledge Checkpoint:
  • State the Monotone Convergence Theorem (MCT). What conditions must the sequence of functions $f_n$ satisfy?
  • Explain how MCT fails if the sequence is not non-negative or not monotonically increasing.
  • State Fatou's Lemma and describe why it is written as an inequality ($\int \liminf f_n \leq \liminf \int f_n$).

Measure Theory 11 | Proof of Lebesgue's Dominated Convergence Theorem

@brightsideofmaths14:4833,263

Measure Theory 11 | Proof of Lebesgue's Dominated Convergence Theorem

Lebesgue's Dominated Convergence Theorem states that if a sequence of measurable functions $ f_n $ converges pointwise almost everywhere to a function $ f $, and there exists an integrable function $ G $ such that $ |f_n(x)| \leq G(x) $ for all $ n $ and almost every $ x $, then $ f $ is integrable and $ \lim_{n \to \infty} \int f_n \, d\mu = \int f \, d\mu $. The proof uses Fatou's lemma on the non-negative sequence $ H_n = 2G - |f_n - f| $, showing that $ \lim_{n \to \infty} \int |f_n - f| \,

@brightsideofmaths · 14:48

• Why this video: This video fills a key gap by delivering a complete, rigorous proof of the Dominated Convergence Theorem (DCT) using Fatou's Lemma. This is the most widely applied convergence theorem in analysis and probability.
• Knowledge Checkpoint:
  • State the exact conditions of the Lebesgue Dominated Convergence Theorem.
  • Explain what it means for a sequence $f_n$ to be "dominated" by an integrable function $g$ (i.e., $|f_n| \leq g$ almost everywhere).
  • Reconstruct the proof of DCT by applying Fatou's Lemma to the non-negative sequences $g + f_n$ and $g - f_n$.

Dominated Convergence Theorem

@drpeyam19:0819,887

Dominated Convergence Theorem

The Dominated Convergence Theorem states that if a sequence of functions $ f_n $ converges pointwise to a function $ f $, and there exists an integrable function $ g $ such that $ |f_n(x)| \leq g(x) $ for all $ n $ and almost all $ x $, then the limit can be passed inside the integral: $ \lim_{n \to \infty} \int f_n(x) dx = \int f(x) dx $. This theorem provides mild conditions under which we can interchange limits and integrals, which is essential for many applications in analysis and PDEs.

@drpeyam · 19:08

• Why this video: Dr. Peyam provides intuitive, concrete examples of how to apply the Dominated Convergence Theorem to solve complex limit-integral evaluations that are impossible using standard calculus tools.
• Knowledge Checkpoint:
  • Show how to evaluate $\lim_{n \to \infty} \int_0^1 \frac{n x^{3/2}}{1 + n^2 x^2} \, dx$ using DCT.
  • Identify a dominating function $g(x)$ for a given sequence of integrand functions.

Course Map

This map outlines your learning path. Do not skip modules, as each relies on the analytical structures built in the previous one.

Key People Index

• Bernhard Riemann (1826–1866): Introduced the first rigorous formulation of the integral of functions on an interval using upper and lower approximating sums over domain partitions.
• Henri Lebesgue (1875–1941): Developed the theory of measure and modern integration. By partitioning the range of a function rather than its domain, he expanded integration to a much broader class of functions.
• Constantin Carathéodory (1873–1950): Formulated the measurability criterion for outer measures, allowing mathematicians to define a true countably additive measure space starting from non-additive outer measures.
• Giuseppe Vitali (1875–1932): Constructed the first example of a non- Lebesgue-measurable subset of the real numbers, proving the impossibility of a universal, translation-invariant, countably additive measure on all subsets of $\mathbb{R}$.

Final Self-Assessment

Complete this checklist to verify your mastery of the curriculum:

• I can formally define the supremum and infimum of a subset of the real numbers.
• I can explain why the Dirichlet function is not Riemann integrable, but is Lebesgue integrable.
• I can state the three axioms of a $\sigma$-algebra.
• I can define the Borel $\sigma$-algebra and explain why it contains all open and closed intervals.
• I can define the Lebesgue outer measure and explain why it is countably subadditive but not countably additive on all subsets of $\mathbb{R}$.
• I can state and apply Carathéodory's criterion to prove whether a set is Lebesgue measurable.
• I can explain the structure of a Vitali set and why it cannot be Lebesgue measurable.
• I can define a simple function and write out its canonical form.
• I can explain how to construct the Lebesgue integral of a general function starting from simple functions, then non-negative functions, and finally general integrable functions.
• I can state the Monotone Convergence Theorem (MCT) and identify when it can be applied.
• I can state Fatou's Lemma and explain the direction of its inequality.
• I can state the Dominated Convergence Theorem (DCT) and use it to justify swapping a limit and an integral.