(No proofs here: for proofs and/or details see e.g. Stein and Shakarchi’s *Real Analysis*)

## Step 1: Measures

A (signed) measure on a given space *X* is a way of determining (a measure for, as it were) how large a set is, or, more precisely, a function from subsets of *X* to the (extended) reals. Measures are non-negative (signed measures need not be), zero on the empty set, and countably additive on disjoint sets.

It is, in general, not possible to assign a measure to every subset of an arbitrary *X* in a way consistent with these axioms (see: existence of non-measurable sets); hence to fully specify a measure space we need one more piece of data, the set of subsets of *X* which are measurable. These form a ~~tribe~~-algebra: they contain *X*, and are closed under taking complements and countable unions (and hence, by De Morgan’s laws, also closed under countable intersections.)

The word “countable” in all of the above is important! If we replace it with “finite” we obtain the weaker notion of Jordan content; if we replace it with “arbitrary” we get limp hogwash (any set is the disjoint union of its points; if we further assume some sort of translation-invariance, i.e. all singleton sets have the same measure, this implies either any infinite set has infinite measure, or every set has zero measure.)

### Important examples include

- the counting measure
- the Lebesgue measure on is the complete translation-invariant measure on the σ-algebra containing the closed cubes with
- the Haar measure on a locally-compact topological group is a common generalization of the Lebesgue measure and the counting measure, with similar uniqueness properties

### Construction of the Lebesgue measure

- Closed intervals are assigned measure (Note this follows from our normalization, translation-invariance, and countable additivity.)
- To an arbitrary set
*E*we assign the**(Lebesgue) exterior measure**, where the inf ranges over all countable coverings of*E*by closed cubes. Again—“countable” is key here. - A set is
**measurable**if it differs from some open set(s) in a difference set of arbitrarily small exterior measure (more precisely: for any , we have an open set , which depends on , s.t. .) - Define the measure of a measurable set to be its exterior measure.
- Check that the resulting measure is indeed a measure (i.e. do the book-keeping to verify that the result is countably additive on disjoint sets.)

### Carathéodory extension

A similar procedure can be applied more generally: given a space *X* on which we would like a measure, we start with some small reasonable family of subsets of *X* on which we can agree how to determine size / measure (in the case above, the closed cubes), and then attempt to extend this toddler measure (technically, a **premeasure**) to a measure on some larger -algebra of subsets. -more precisely:

- The “small reasonable family” should be an algebra, i.e. non-empty, and closed under complements,
*finite*unions and*finite*intersections. - A premeasure assigns (non-negative extended) reals to sets in our algebra. Premeasures should be zero on the empty set and countably additive on disjoint sets.
- Given a premeasure on an algebra , we may form an
**exterior measure—**a function that assigns a (non-negative extended) real to*any*subset ofby taking , where the inf ranges over all coverings of*X—**E*by sets in . - Axiomatically, exterior measures should be zero on the empty set, non-decreasing (if , then $latex \mu_*(E_1) \leq \mu_*(E_2)$), and countably subadditive.
- Now we come to a key idea of Carathéodory: whereas in the construction of the Lebesgue measure we leaned heavily on the open sets in , we can formulate a criterion for measurability which does not refer to any topology on
*X*, by declaring that a set*E*is measurable if for*every*—i.e. if*E*divides any part of the space up in a reasonable enough way, as seen by the exterior measure. - It is then straightforward to check that the set of all such sets forms a -algebra which contains , and our exterior measure restricted to this -algebra satisfies the axioms for a measure. By construction, this measure agrees with our premeasure on

The **Carathéodory extension theorem** states that, starting with any premeasure on any algebra of sets in *X*, one can form a measure extending , in the sense above, by following the process above.

Moreover, if *X* is -finite, i.e. it is the union of countably many pieces of finite measure (according to ), then this extension is unique.

### Lebesgue-Radon-Nikodym

How do different measures on the same space relate? Lebesgue (for the real line) and Radon-Nikodym (in the general case) tell us that the relation is, in some way, as nice and controlled as it could be.

Given any -finite positive measure on a measure space *X, *any -finite (signed) measure on *X *may be decomposed into a piece absolutely continuous w.r.t. (i.e. iff ) and a piece mutually singular with , i.e. the two measures have disjoint supports.

Moreover the first piece may be written in the form for some extended -integrable function *f*. (For notions of measurable functions and their integration, see below.)

## Step 2: Maps

Measuring sets is all very well … but we also want our notion of measure to play nicely with maps between spaces, and this leads us to the idea of measurable functions. These are functions where measurable sets in the target space have measurable preimages in the domain space.

Note “measurable” here is with respect to the respective -algebras. In particular, if the target is a topological space, it is assumed, unless otherwise specified, to be equipped with the Borel -algebra, i.e. the smallest -algebra containing all of the open sets (which is *smaller* than the family of Lebesgue-measurable sets for , for instance.)

### Littlewood’s three principles

In short: “weird things only ever happen in a vanishingly small period of time”:

- Every measurable set of finite measure is nearly a finite union of intervals: given such a set
*E*for any there exists a finite union*F*of closed cubes s.t. . - Every measurable function is nearly continuous, i.e. for any , is continuous for some closed with (Lusin’s theorem.)

Note that this states the restricted function is continuous as a function - Every convergent sequence of measurable functions is nearly uniformly convergent, i.e. for any is uniformly convergent on some closed with (Egorov’s theorem.)

The above are formulated for Lebesgue measure on . More generally:

- applies in any measure space with a measure constructed by Carathéodory extension, with “closed cube” replaced by “element of “.
- requires the domain and target spaces to be topological spaces for continuity to make sense, and the result further requires the target to be second-countable, and the domain to be Hausdorff and equipped with a Radon measure.
- requires the target to be a metric space for the idea of uniform convergence to make sense, and also requires target to be separable.

## Step 3: Integrals

Once we have measurable functions it doesn’t take very long before somebody starts talking about trying to integrate them. Because measure theory is all about how big things are, and an integral is essentially (some global measure of ) “how big a function is.” Okay, enough with this turbo vagueness already—Eli Stein does a much better job in his preface, anyway.

In the below we assume the maps are functions into the reals; more generally the target space may be any separable metric space without too much change to the statements …

### Construction of the Lebesgue integral

- The characteristic function of a measurable set
*E*is declared to have integral equal to the measure of the set: . - Extend the definition of the integral to
**simple functions**, i.e. linear combinations of characteristic functions, by linearity. - Extend the integral to all non-negative functions, by considering any such function
*f*as a limit of simple functions , and letting the integral of*f*be the limit of the integrals of . - Extend the integral to all (measurable) functions by decomposing any such function
*f*into positive and negative parts .

The same process works, more generally, for any -finite measure space

### Fatou and friends

Very useful for proving results with the Lebesgue integral (starting with how it’s well-defined)

**Fatou’s lemma**: for a sequence of non-negative measurable functions, .**Monotone convergence**: for a sequence of non-negative measurable functions with , $\lim_{n \to \infty} \int f_n \,d\mu = \int f \,d\mu$**Dominated convergence:**for a sequence of measurable functions with a.e. and for some integrable*g*, we have and so as .**Much approximation. Wow.**The simple functions, step functions, and continuous functions of compact support are dense in the space of integrable functions.

### Fubini’s theorem

Given two measures and on and (resp.), we can form a product measure by defining the *premeasure *(not measure!) for all -measurable *A* and -measurable *B*, and then extending this to a measure using Carathéodory extension.

Fubini’s theorem then tells us that integrating against the product measure is the same as integrating against each of the factor measures in turn (in either order.)

### Whither the Fundamental Theorem of Calculus

The **Lebesgue density theorem **states that, for any locally integrable *f* on , for almost every *x. *

As a corollary: recalling the definition of the derivative, this says taking the Lebesgue integral of any integrable function *f* and then differentiating will recover the original function *f—*this is one direction of the Fundamental Theorem.

In the opposite direction: if F is **absolutely continuous** on [*a, b*], then *F’* exists a.e. and is integrable, and satisfies for all . Absolutely continuity may appear to be an additional hypothesis, but its necessity is clear when we observe that functions that arise as indefinite integrals (i.e. those of the form with *f* an integrable function) are absolutely integrable.