Dominated convergence theorem

The dominated convergence theorem (DCT), due to Henri Lebesgue, is the central structural theorem of Lebesgue integration theory. It states that if a sequence of measurable functions converges pointwise to a limit function, and the entire sequence is dominated by a single integrable function, then the limit of the integrals equals the integral of the limit. This is not a convenience; it is the reason that infinite-dimensional analysis is possible. Without the DCT, passing to limits under the integral sign — the operation that transforms approximation into exact result — would require case-by-case justification, and most of modern analysis would remain locked behind a wall of special cases.

The theorem's power lies in its separation of concerns: pointwise convergence is a local property, domination is a global property, and the DCT guarantees that local convergence plus global control produces global convergence of integrals. This pattern — local behavior plus global constraint yields global result — is the template for virtually every existence theorem in partial differential equations, probability theory, and functional analysis. The DCT is not merely a theorem about integrals; it is a theorem about the conditions under which approximation preserves structure, and in this sense it is one of the deepest results in all of mathematics.

The dominated convergence theorem is often taught as a technical tool, but this misses its philosophical weight. It is the mathematical statement that control dominates chaos: if you can bound the wildness of a sequence, its convergence is preserved through integration. This is the same principle that appears in Lyapunov's stability theory, in the bounded convergence theorem of probability, and in every control system that must guarantee performance in the face of disturbance. The DCT is not analysis; it is the theory of controlled approximation, and its applications range far beyond integration.