Graduate
  1. Real Analysis  1.1. Set Theory and Logic  1.1.1. Sets and Operations  1.1.2. Relations and Functions  1.1.3. Logic and Quantifiers  1.1.4. Cardinality of Sets  1.2. Metric Spaces  1.2.1. Open and Closed Sets  1.2.2. Convergence of Sequences  1.2.3. Continuous Functions in Metric Spaces  1.2.4. Compactness and Completeness in Metric Spaces in Real Analysis  1.3. Sequence and Series  1.3.1. Convergence of Sequences  1.3.2. Infinite Series  1.3.3. Uniform Convergence  1.3.4. Power Series  1.4. Differentiation  1.4.1. Mean Value Theorems  1.4.2. Taylor Series  1.4.3. Functions of Several Variables  1.4.4. Partial Derivatives  1.5. Integration  1.5.1. Riemann and Lebesgue Integration  1.5.2. Improper Integrals  1.5.3. Measure Theory  1.5.4. Fubini’s Theorem  1.6. Functional Analysis  1.6.1. Banach Spaces  1.6.2. Hilbert Spaces  1.6.3. Operators on Spaces  1.6.4. Spectral Theory
  2. Abstract Algebra  2.1. Groups  2.1.1. Definitions and Examples in Groups in Abstract Algebra  2.1.2. Group Homomorphisms  2.1.3. Normal Subgroups  2.1.4. Sylow Theorems  2.2. Rings and Fields  2.2.1. Ideals and Factor Rings  2.2.2. Field Extensions  2.2.3. Galois Theory  2.2.4. Polynomial Rings  2.3. Modules  2.3.1. Module Homomorphisms  2.3.2. Free Modules  2.3.3. Tensor Products  2.3.4. Exact Sequences  2.4. Linear Algebra  2.4.1. Vector Spaces  2.4.2. Eigenvalues and Eigenvectors  2.4.3. Inner Product Spaces  2.4.4. Diagonalization
  3. Topology  3.1. General Topology  3.1.1. Open and Closed Sets  3.1.2. Compactness and Connectedness  3.1.3. Continuous Maps  3.1.4. Separation Axioms  3.2. Algebraic Topology  3.2.1. Fundamental Groups  3.2.2. Homotopy and Homology  3.2.3. Simplicial Complexes  3.2.4. Exact Sequences in Homology  3.3. Differential Topology  3.3.1. Manifolds  3.3.2. Smooth Functions  3.3.3. Tangent and Cotangent Spaces  3.3.4. Vector Bundles
  4. Differential Equations  4.1. Ordinary Differential Equations  4.1.1. First-Order Equations  4.1.2. Second-Order Linear Equations  4.1.3. Systems of Differential Equations  4.1.4. Stability Analysis  4.2. Partial Differential Equations  4.2.1. Classification of PDEs  4.2.2. Fourier Series  4.2.3. Green's Functions  4.2.4. Method of Characteristics  4.3. Dynamical Systems  4.3.1. Stability Theory  4.3.2. Limit Cycles  4.3.3. Chaos Theory  4.3.4. Bifurcation Theory
  5. Probability and Statistics  5.1. Probability Theory  5.1.1. Random Variables  5.1.2. Probability Distributions  5.1.3. Law of Large Numbers  5.1.4. Central Limit Theorem  5.2. Statistical Inference  5.2.1. Hypothesis Testing  5.2.2. Confidence Intervals  5.2.3. Bayesian Methods  5.2.4. Maximum Likelihood Estimation  5.3. Stochastic Processes  5.3.1. Markov Chains  5.3.2. Brownian Motion  5.3.3. Poisson Processes  5.3.4. Martingales
  6. Numerical Analysis  6.1. Numerical Solutions of Equations  6.1.1. Root Finding  6.1.2. Iterative Methods  6.1.3. Convergence Analysis  6.1.4. Error Bounds in Numerical Solutions of Equations  6.2. Numerical Linear Algebra  6.2.1. Matrix Factorizations  6.2.2. Eigenvalue Computations  6.2.3. Sparse Matrices  6.2.4. Preconditioning Techniques  6.3. Numerical Integration and Differentiation  6.3.1. Quadrature Methods  6.3.2. Finite Differences  6.3.3. Error Analysis in Numerical Integration and Differentiation  6.3.4. Adaptive Methods
  7. Complex Analysis  7.1. Complex Numbers  7.1.1. Polar Form  7.1.2. Complex Conjugates  7.1.3. Exponential Form  7.1.4. Roots of Unity  7.2. Analytic Functions  7.2.1. Cauchy-Riemann Equations  7.2.2. Power Series  7.2.3. Conformal Mappings  7.2.4. Harmonic Functions  7.3. Integration in the Complex Plane  7.3.1. Cauchy’s Theorem  7.3.2. Residue Theorem  7.3.3. Contour Integration  7.3.4. Integral Transforms
  8. Mathematical Logic and Foundations  8.1. Propositional Logic  8.1.1. Truth Tables  8.1.2. Logical Equivalences  8.1.3. Proof Techniques in Propositional Logic  8.1.4. Resolution  8.2. Predicate Logic  8.2.1. Quantifiers in Predicate Logic  8.2.2. Formal Systems in Predicate Logic  8.2.3. Completeness and Soundness  8.2.4. Model Theory  8.3. Set Theory  8.3.1. Cardinality and Ordinality  8.3.2. Axiomatic Systems  8.3.3. Zermelo-Fraenkel Set Theory  8.3.4. Forcing
  9. Optimization  9.1. Linear Programming  9.1.1. Simplex Method  9.1.2. Duality in Linear Programming  9.1.3. Sensitivity Analysis  9.1.4. Interior Point Methods  9.2. Nonlinear Programming  9.2.1. Gradient Descent  9.2.2. Lagrange Multipliers  9.2.3. Convex Optimization  9.2.4. Quadratic Programming  9.3. Combinatorial Optimization  9.3.1. Graph Algorithms  9.3.2. Integer Programming  9.3.3. Network Flows  9.3.4. Approximation Algorithms
  10. Discrete Mathematics  10.1. Graph Theory  10.1.1. Graph Representations  10.1.2. Planarity and Coloring  10.1.3. Shortest Path Algorithms  10.1.4. Network Flows  10.2. Combinatorics  10.2.1. Permutations and Combinations  10.2.2. Generating Functions  10.2.3. Recurrence Relations  10.2.4. Inclusion-Exclusion Principle  10.3. Cryptography  10.3.1. Number Theory Applications in Cryptography  10.3.2. Symmetric and Asymmetric Cryptography  10.3.3. RSA and Elliptic Curve Cryptography  10.3.4. Post-Quantum Cryptography

Graduate → Real Analysis → Integration ↓


Measure Theory


Measure theory is a fundamental part of modern real analysis, providing a sophisticated approach to integration that addresses some of the limitations faced by Riemann integration. At the core of this discipline, measure theory provides the tools needed to rigorously define and work with the notions of size, volume, and probability. Below, we explore the intricacies of measure theory in various dimensions, complementing it with examples and visualizations that shed light on these abstract concepts.

Origin and intuition

The development of measure theory emerged from the need to broaden the idea of integration beyond classical methods. Traditional Riemann integration works well for many functions, but struggles with functions that have a lot of discontinuities or that are defined in more complicated settings. Measure theory, via the Lebesgue integral, allows us to integrate functions by telling not only “how often” but also “where” those functions take certain values, by including functions with infinite discontinuities and by defining them in wider domains.

Basic concepts of measurement theory

Sigma algebra

At the core of measure theory is the concept of the sigma algebra, which is an exhaustive collection of subsets from a given set X where we can apply the concept of measure. The sigma algebra must satisfy the following properties:

  • It contains the entire set X.
  • It is closed under complementation; if a set is in the sigma algebra, then its complement is also in it.
  • It is closed under countable unions; if a collection of sets belongs to the sigma algebra, then their union belongs to it as well.
For example, consider a set X = {a, b, c}. The possible sigma algebra of X would be:
{∅, {a, b, c}, {a}, {b, c}}

This means that we can talk meaningfully about the measure of these subsets, but this is not necessary for arbitrary subsets of X.

Remedy

The concept of measure extends the mathematical idea of length or volume. More formally, a measure is a function μ from a sigma algebra to the extended real numbers [0, ∞] that satisfies the following conditions:

  • Non-negativity: for any set E in the sigma algebra μ(E) ≥ 0.
  • The null set: μ(∅) = 0.
  • Countable additivity: If {E i } is a countable collection of paired disjoint sets in the sigma algebra, then 
    μ(⋃E i ) = ∑μ(E i )
    .

Imagine a simple line segment with measurable subsets, divided as follows:

A B C

Here, μ(A ∪ B ∪ C) = μ(A) + μ(B) + μ(C) where is the measure length of each region.

Lebesgue measure

The Lebesgue measure is the most common measure and it generalizes our notions of length, area, and volume. A set is said to be Lebesgue measurable if its measure is consistent with the measure of its complement and can be specified within any countable union or intersection setting.

In the real numbers the Lebesgue measure of a line segment is equal to its length. Similarly, the Lebesgue measure of a planar region is its area. In painting a line of colors, consider only the non-disjoint elements:

Each segment (green, blue) has different measurement properties depending on its extent.

Measurable tasks

In measure theory, measurable functions correspond to continuous functions in topology with respect to their compatibility with measure spaces.

A function f from a measure space (X, Σ, μ) to a measurable space (Y, Τ) is measurable if for every set A in Τ, the preimage of A under f is in Σ.

Example: Let f: R -> R be defined by f(x) = x². This function is measurable since the pre-image of any open set is an open set, a defining quality of measurable functions.

Lebesgue integral

Lebesgue integration expands the calculations we can perform by focusing on measure spaces.

For a non-negative measurable function f and a measure space (X, Σ, μ), the Lebesgue integral of f is defined as:

∫f dμ = sup { ∑ a i μ(E i ) | a i >0, E i disjoint, 0 < a i ≤ f on E i }

Unlike Riemann integration, which connects "slices" vertically, the Lebesgue integral focuses horizontally on the measure space, and captures more complex function behaviors.

A key feature of Lebesgue integration is that it is able to handle situations where the limit of integration equals the limits of integration, which is contrary to Riemann's results. This is formalized as the Monotone Convergence Theorem and the Dominated Convergence Theorem:

  • Monotone Convergence Theorem: If {f n } is an increasing sequence of non-negative measurable functions converging on f, then 
    lim(∫f n dμ) = ∫f dμ
    .
  • Affected Convergence Theorem: If {f n } converges pointwise to f and is affected by an integrable function g (|f n | ≤ g), then 
    lim(∫f n dμ) = ∫f dμ
    .

Real-world applications

Outside of pure mathematics, measure theory forms the basis of probability theory. In probability, measures define probabilities on the sigma-algebra, allowing for in-depth analysis of complex phenomena.

In functional analysis, measure theory supports the development of the Lp space, which is important for understanding various transformation and convergence properties of functions.

Economics and other social sciences use measurement theory in areas such as utility theory, game theory, and analysis of the distribution of resources or behavior under uncertainty.

Conclusion

Measure theory fundamentally reshapes our understanding of integration by broadening it to include more complex functions and spaces, providing a consistent framework for evaluation in modern mathematics.

Through the complex but powerful framework of measure spaces and integrals, measure theory facilitates a deeper understanding of real analysis, and forms a key component in the advanced study of mathematics and its applications.


Graduate → 1.5.3


U
username
0%
completed in Graduate

← Prev (1.5.2)
Improper Integrals
Next (1.5.4) →
Fubini’s Theorem

Comments 



Measure Theory

https://www.buddymath.com/g/1.5.3?bmal=en