Real Analysis HW 1 Solutions
Problem 1: Prove that if A and B are two sets in A with A B, then m(A) m(B).
Proof: Since A B we can split up B into a union of two disjoint sets B = A (B A).
Using the co
Real Analysis HW 12 Solutions
Problem 11: For a point x = (x1 , x2 , . . . , xn ) in Rn , define Tx to be the step function on
the interval [1, n + 1), that takes the value xk on the interval [k, k +
Real Analysis qual study guide
James C. Hateley
1. Measure Theory
Exercise 1.1. If A R and > 0 show open sets O R such that m (O) m (A) + .
[
Proof: Let cfw_In be a countable cover for A, then A
In
Real Analysis HW 7 Solutions
Problem 44: Let f be integrable over R and > 0. Establish the following three approximation properties.
R
(i) There is a simple function on R which has finite support and
Real Analysis HW 10 Solutions
Problem 47: Show that a function f is absolutely continuous on [a, b] if and only if for
each > 0, there is a > 0 such that for every finite disjoint collection cfw_(ak ,
Real Analysis HW 5 Solutions
Problem 7: Let f be an increasing real-valued function on [0, 1]. For a natural number
n, define Pn to be the partition of [0, 1] into n subintervals on length 1/n. Show t
Real Analysis HW 9 Solutions
Problem 33: Let cfw_fn be a sequence of functions on [a, b] converging pointwise to f . Then
T V (f ) lim inf n T V (fn ).
Solution: Let P be any partition of [a, b], the
Real Analysis HW 11 Solutions
Problem 1: For f in C[a, b], define
b
Z
kf k1 =
|f |.
a
Show that this is a norm on C[a, b]. Also show that there is no number c 0 for which
kf kmax ckf k1 for all f in C
Real Analysis HW 8 Solutions
Problem 6: Let cfw_fn f in measure on E and g be a measurable function on E that is
finite a.e. on E. Show that cfw_fn g in measure on E if and only if f = g a.e. on E.
Real Analysis HW 2 Solutions
Problem 18: Let E have finite outer measure. Show that there is a G set G E with
m(G) = m (E). Show that E is measurable if and only if there is an F set F E with
m(F ) =
Real Analysis HW 6 Solutions
Problem 33: Let cfw_fn be a sequence of integrable functions
R on E for which fn converges
to f a.e.R on E and
f
is
integrable
over
E.
Show
that
|f fn | 0 if and only if
Real Analysis HW 4 Solutions
Problem 9: Let cfw_fn be a sequence of measurable functions defined on a measurable set
E. Define E0 to be the set of points x in E at which cfw_fn (x) converges. Is the
Real Analysis HW 3 Solutions
Problem 31. Justify the assertion in the proof of Vitalis Theorem that it suffices to
consider the case that E is bounded.
Solution. We know by a previous problem that any
Real Analysis HW 13 Solutions
Problem 1: Let X be a normed linear space and let T be a linear functional on X. Define
the norm
kT k = infcfw_M : |T (f )| M kf k for all f X.
Show that
kT k = supcfw_T