Measure, Integration & Real Analysis
A graduate treatment of measure and integration with connections to functional analysis and Fourier analysis. Suitable after proof-based analysis, not elementary calculus.
Measure theory separates the size of sets from the integration of functions built on them. Axler organizes a route through measurable spaces, measures, integrals and convergence before iterated integration. Tao offers a second development of Lebesgue measure and integration that can be useful when you want to revisit how the objects are constructed. Choose one main exposition and use the other to investigate a specific proof or example.
Measure, Integration & Real Analysis — Sheldon Axler. Read 2B-2C on measurable spaces and measures, 3A-3B on integration and convergence, then 5B on iterated integrals. Consult 2D only when the construction of Lebesgue measure is the gap.
Check measurability before writing an integral, and distinguish a nonnegative function from an integrable signed function. For each limit interchange, identify the applicable theorem and verify every hypothesis on the actual sequence. Compare increasing indicator functions with moving spikes to see why different convergence assumptions matter. Before swapping integration order, decide whether Tonelli or Fubini applies. Write the underlying measures and product space explicitly; similar-looking integral formulas can have different justifications.
Learn to justify integration and limit interchanges before applications.
Read 2B-2C on measurable spaces and measures, 3A-3B on integration and convergence, then 5B on iterated integrals. Consult 2D only when the construction of Lebesgue measure is the gap.
Source · Checked 2026-10-16
Compare a construction or convergence argument when the main exposition leaves a conceptual gap.
Follow the online-text link to the Lebesgue-measure, integration and convergence portions; precise chapter numbers were not rechecked.
Source · Checked 2026-10-11
Measurability, convergence and iterated-integral exercises. Exercises 2B, 2C, 3A, 3B and 5B, immediately following the named sections.. Exercises provided; public solutions not verified.
Try a proof or calculation before opening the hint. These solutions address the checks below, not the exercises in the linked textbooks.
On (0,1) with Lebesgue measure let f_n = n times the indicator of (0,1/n). Find the pointwise limit and each integral; prove that no single integrable function dominates all f_n.
Fix a point before letting n grow. If an integrable dominator existed, what would dominated convergence say about the integrals?
For each fixed , choose . Then implies and . Thus everywhere on this space. Nevertheless, for every integer , .
Suppose some nonnegative satisfied almost everywhere for every . Since the sequence is countable, discard the union of its exceptional null sets to obtain all inequalities on one common full-measure set. Dominated convergence would then imply , contradicting the constant value . Hence no integrable dominator exists. Any signed integrable proposed bound can be replaced by its absolute value, so that variant also fails. The concentration is near the excluded endpoint, not a failure of pointwise convergence at a point of the space.
If this was the sticking point:
Already comfortable with this? Skip this review if you can justify both checks and verify monotone or dominated convergence in a new example. Review measurable-space definitions separately if you know integration formulas but cannot prove a function measurable.
Review the prerequisites · Compare the full subject collection
A graduate treatment of measure and integration with connections to functional analysis and Fourier analysis. Suitable after proof-based analysis, not elementary calculus.
A one-quarter introduction moves from Riemann and regulated integrals to Lebesgue integration, convergence theorems, L² and Fourier series; the measure construction is supplied in an appendix.
Sigma-algebras, measure construction and Lebesgue integration lead to product measures, Lp spaces and Fourier-series applications.
Develops Lebesgue measure, integration and related convergence theorems. Follow the author’s online-text link for the full manuscript.
A long reference from basic measure theory to measure algebras, topological and set-theoretic topics. Counted once; the author site distributes source files and chapter material, not one unified PDF.
A systematic course in measure and integration with foundations for probability and functional analysis. Work through the core measure constructions before later applications.
A graduate analysis text connecting measure, integration, functional analysis and Fourier methods. Read with a strong undergraduate analysis background.
Builds measure-theoretic foundations with probability as a guiding application.
Moves from measure and integration to martingales, Markov chains and Brownian motion. A route linking analysis and probabilistic processes.
Studies integration over geometric sets, area/coarea ideas and related geometric measure tools. A specialist bridge from measure theory to geometric analysis.
Moves from Euclidean measure and integration toward abstract formulations and differentiation tools. The publisher catalogue corroborates the work; automated page access was refused.
Connects measure and integration with martingale methods and analytic applications.
A companion for testing hypotheses and understanding failures of plausible integration statements. Use selectively alongside a systematic measure-theory course.
Advanced measure theory is connected to Hilbert and Banach spaces, duality, interpolation, distributions, Fourier transforms and Hausdorff dimension.
A detailed reference for abstract and topological measure theory. Better suited to selective graduate reading than a rapid first course.
A substantial reference for geometric measure methods, rectifiability and currents. It requires strong analysis preparation and is not a first Lebesgue-integral textbook.
A research course explains the architecture of partial regularity proofs using rectifiable currents, multivalued functions, center manifolds, frequency estimates and blow-up arguments.