(a) Let be a measurable real-valued function on a finite measure
space . Define
for . Give and prove a (non-trivial) upper and lower estimate
of the norm of , , purely in terms of the
quantities .
(b) Suppose that is a -finite measure space,
is a measurable function on , and
-a.e. Show that the integral operator
defined by
is well-defined and bounded, and its norm is bounded by .
Stanford Fall 2010, 3Real analysis, Lebesgue measure, normal numbers, Borel-Cantelli
Write a real number in the usual decimal expansion (pick
the representation ending in 0's if there are two representations),
. We let be the set of with the
property that there are infinitely many such that each of the
digits appears among the first digits (i.e.
) exactly times. Prove that the set is
Lebesgue measurable and find its measure.
Suppose that is a complex Banach space and is its weak
topology.
(a) Suppose that is first countable. Show that there are
linear functionals , , such that every
is a finite linear combination of the . That is, if
then there exists and , ,
such that .
(b) Suppose that is infinite dimensional. Show that
is not metrizable.
Stanford Fall 2010, 4Real analysis, adjoint operators, spectral theory, Hilbert space geometry
Suppose that is a Hilbert space, , and let
denote its adjoint.
(a) Show that ,
where is orthogonal direct sum.
(b) Suppose that there exists such that for all ,
. Show that is a closed
subspace of .
(c) Show that if , then
is invertible if , and show that
.
Stanford Fall 2010, 5Real analysis, self-adjoint operators, spectral theory, Fourier series
We define a bounded operator by
(a) Show that is a bounded symmetric operator.
(b) Let be defined by
Show that the operator is
a multiplication operator; that is,
for some function .
(c) Determine the spectrum of .
(d) Find the eigenvalues of .
Stanford Fall 2010, 5Real analysis, tempered distributions, boundary values of analytic functions, distributions
Let ,
. Let denote
the space of Schwartz functions on , with seminorms
, and
its topological dual, tempered distributions.
(a) Suppose that is an analytic function with
for
some . For , let
with
. Show
that exists in
. (Hint: consider the indefinite integral of from
e.g. , and integrate first parallel to the real axis then
to the imaginary axis and obtain an estimate for
.) Define similarly, replacing
by .
(b) For , ,
integer, find ,
, in terms of , .
Stanford Fall 2011, 1Real analysis, Fourier series, boundary values of analytic functions, Lp spaces
Two short problems.
(a) Suppose that is a finite measure space and
is an -measurable function. Prove that
.
(b) Let , and identify it with the unit circle
in the complex plane. For , let
. Suppose that
and there exist and
, holomorphic on , such
that . Let
be the th Fourier coefficient of . Show that for all
there exists such that for
.
Suppose is Borel, is a dense subset of and
has Lebesgue measure zero for each , where
is the translation . Prove that either
or has Lebesgue measure zero.
Suppose that is a bounded function (where is the set
of the positive integers), and define ,
, by .
(a) Find (with proof) the spectrum of .
(b) State and prove a necessary and sufficient condition in terms of
for being a compact operator.
(c) Can there be any points in the spectrum of that are not
eigenvalues? Give an example or prove the contrary.
Stanford Fall 2011, 2Real analysis, Borel measures, self-adjoint operators, compact operators, spectral theory
Two short problems.
(a) Let be the circle, and let denote
the Banach space of complex valued continuously differentiable
functions on with the norm .
Suppose that is continuous and has the property
that , on , imply . Show
that there is a finite Borel measure on such that
for all .
(b) Suppose that is a Hilbert space, the set of bounded
operators on , is self-adjoint, and for
define via the functional calculus where
. Show that is compact for all
if and only if is compact.