FS23 Real Analysis
FS23 Real Analysis
Note: all statements require proofs. You can make references to standard theorems from the course; however,
you must state the relevant part of the theorem in your own words, unless it is a well-known named theorem.
For example, “by the monotone convergence theorem,” or, “we showed in lecture that the integrals of an
increasing sequence of positive functions converge to the integral of their limit,” are good references but, “by
a convergence theorem the integrals converge,” is not a good reference.
1. Let µ be a regular Borel measure on R, let f : R → C be a continuous function with compact support,
and let (an )n∈N ⊂ R be a sequence converging to a ∈ R. Show that
Z Z
lim f (x − an ) dµ(x) = f (x − a) dµ(x).
n→∞ R R
2. Let (X, M, µ) be a σ-finite measure space. For f ∈ L1 (X, µ), show that
Z +∞
1
t µ({x ∈ X : |f (x)| ≥ t2 }) dt = ∥f ∥1 .
0 2
3. Let (νn )n∈N be a sequence of complex measures on a measurable space (X, M). Show that if
∞
X
|νn |(X) < ∞,
n=1
P∞
then ν(E) := n=1 νn (E) is a complex measure.
4. Let B and m denote the Borel σ-algebra and Lebesgue measure on R2 , respectively. For θ ∈ R let
Rθ : R2 → R2 be the map that rotates the plane about the origin by θ in the counterclockwise direction.
Show that for all E ∈ B one has Rθ (E) ∈ B.
5. Show that a function F : R → C is Lipschitz continuous with constant M if and only if F is absolutely
continuous and |F ′ | ≤ M m-almost everywhere.
[Note: recall that Lipschitz continuous means there exists M > 0 so that |F (x) − F (y)| ≤ M |x − y|
for all x, y ∈ R.]