Wednesday May 8:
- Study: Here
are selected
homework solutions (Last modified December 31, 1969).
- Do: We'll assume we're working is a separable complex Hilbert space from now on.
- Let $X=\ell^2$. Show that the sequence $(e_n)$ converges
weakly to $0$. (As usual, $e_n=\delta_n$. Here is another example to see that the norm is not well behaved with respect to the weak topology.)
-
Let $\bigl(V,(\cdot\mid\cdot)\bigr)$ be pre-inner product space.
Let $N=\{\,v\in V:\|v\|=0\,\}$ be the subspace of length zero
vectors. Show that
$$
(v+N\mid w+N)=(v\mid w)$$
is a well-defined inner product on $V/N$.
- (Optional)
Let $\bigl(V,(\cdot\mid \cdot)\bigr)$ be an inner product space. We
want to see that its completion $\widetilde V$ is a Hilbert space
without invoking the Jordan-von Neumann Theorem. I suggest the
following. Let $i:V\to \widetilde V$ be the natural map.
- Show that if $(v_{n})$ and $(w_{n})$ are Cauchy in $V$, then
$\bigl((v_{n}\mid w_{n})\big)$ is Cauchy in $\mathbf F$.
- Show that if $i(v_{n})$ and $i(v_{n}')$ converge to $v$ in
$\widetilde V$ while
$i(w_{n})$ and $i(w_{n}')$ converge to $w$ in $\widetilde V$, then $\lim_{n}
(v_{n}\mid w_{n}) = \lim_{n}(v_{n}'\mid
w_{n}')$. (Both the limits exist by the previous part.)
- Show there is a function $(\cdot\mid\cdot)_{0}$ on $\widetilde
V\times\widetilde V$ such that $(v\mid w)_{0}=\lim(v_{n}\mid w_{n})$
whenever $i(v_{n})\to v$ and $i(w_{n})\to w$ in $\widetilde V$.
- Show that $(\cdot\mid\cdot)_{0}$ is an inner product on
$\widetilde V$ such that $i:V\to\widetilde
V$ is inner product preserving. In particular, $\|v\|=(v\mid
v)_{0}^{\frac12}$ for all $v\in \widetilde V$.
- Let $E$ be a nonempty subset of a Hilbert space $H$. Let
$Y$ be the subspace spanned by $E$. Then $E^{\perp\perp}$ is
the closure of $Y$ in $H$.
- (Optional) Some technical niceities. Let $V$ be a
complex vector space. Let $V^o$ be the same additive group and
$\iota:V\to V^o$ the identity map. Define scalar multiplication on
$V^o$ by $\lambda\cdot \iota(v)= \iota(\overline{\lambda}v)$. Then
$V^o$ is a complex vector space called the conjugate space to $V$.
If $H$ is a Hilbert space, show that $H^o$ is a Hilbert space which
is isometrically isomorphic to $H^*$.
- Let $P\in\mathcal L(H)$ be the orthogonal projection onto a
nonzero subspace $W$. Show that $P=P^*=P^2$ and that
$\|P\|=1$. Conversely, show that if $P\in\mathcal L(H)$ and
$P=P^*=P^2$, then $P$ is the orthogonal projection onto its
range.
- A linear map $V:H\to H$ is called an isometry if
$\|V(x)\|=\|x\|$ for all $x\in H$. Show that the following
are equivalent.
- $V$ is an isometry.
- $\bigl( V(x) \mid V(y)\bigr)=(x\mid y)$ for all
$x,y\in H$.
- $V^*V=I$.
- A surjective isometry $U:H\to H$ is called a unitary.
Show that the following are equivalent for $U\in \mathcal H$.
- $U$ is a unitary.
- $U$ is invertible with $U^{-1}=U^*$.
- If $\{e_n\}$ an orthonormal basis for $H$, then
$\{U(e_n)\}$ is an orthonormal basis for $H$.
(Remark, (3) imples (1) is not true unless we know $U$ is both linear and bounded.)
- (Dini's Theorem) Suppose that $X$ is a compact
metric space and $(f_n)\subset C(X)$ is such that there is a
$f\in C(X)$ such that $f_n(x)\nearrow f(x)$ for all $x\in X$.
Show that $f_n\to f$ in $C(X)$. Equivalently, show that
$f_n\to f$ uniformly on $X$. (There are probably lots of ways
to do this problem. But I found it helpful to note that since
the convergence is monotonic, if $f_n\not\to f$ uniformly, then
there is a $\epsilon_0>0$ such that
$\|f-f_n\|_\infty\ge\epsilon_0$ for all $n$.)
- Let $T$ be a normal operator. Show that $v$ is an
eigenvector for $T$ with eigenvalue $\lambda$ if and only if
$v$ is an eigenvector for $T^*$ with eigenvalue $\overline
\lambda$.
- (Optional: More fun from the past) Let $H$ be a
finite-dimensional complex Hilbers space. Suppose that
$T\in\mathcal L(H)$ is normal. Show that $H$ has an orthonormal
basis of eigenvectors for $T$. (Since we're working over
$\mathbf C$, we know that $T$ has at least one eigenvector $v$.
Let $W=\mathbf C \cdot v$. Agrue that $W^\perp$ is invariant
for both $T$ and $T^*$ and that the restriction $T|_{W^\perp}$
of $T$ to $W^\perp$ is a normal operator on $W^\perp$. Now use
induction.)
- (Everything you every wanted to know about partial
isometries.) We call $U\in\mathcal L(H)$ a partial
isometry if there is a closed subspace $E$ on which $U$ is
isometric and $U(E^\perp)=\{0\}$.
- Suppose $U$ is a partial isometry (on $E$ as above)
and $P:=U^*U$. Observe that $$(P(x)\mid x)=\|x\|^2.$$
Conclude that $P(x)=x$ and that $P$ is the orthogonal
projection onto $E$. (First use Cauchy-Schwarz to show
$\|P(x)\|=\|x\|$.)
- If $U$ is a partial isometry, then show that
$U=UU^*U$. (Hint: $U-UU^*U=U(I-P)$.)
- Conversely, show that if $V\in\mathcal L(H)$ is such
that $V^*V$ is a projection, then $V$ is a partial
isometry.
- Show that if $U$ is a partial isometry, then $U^*$
is a parital isometry with space the range of $U$.
- Describe the sense in which $U$ and $U^*$ are
inverses to each other. (Think of $U$ as a operator
from its space $E$ onto its range.)
- (Optional Diagonalizable Operators) Suppose that $\{ e_n
\}_{n=1}^\infty$ is an orthonormal basis in a complex Hilbert
space $H$. Let $\alpha\in\ell^\infty$. Show that there is an
operator $T\in\mathcal L(H)$ such that $T(e_n)=\alpha_n e_n$ and
that $\|T\|=\|\alpha\|_\infty$. (When such a basis exists, we
say that $T$ is diagonalizable.) Show that such a
$T$ is normal, that $T$ is self-adjoint if and only if each
$\alpha_n$ is real, and positive if and only if each
$\alpha_n\ge0$.
- (Optional) Let $H=L^2([0,1])$ and define $T:H\to H$ by
$T(h)(x)=xh(x)$. Show that $\|T\|=1$, $T\ge 0$, and that $T$
has no eidenvectors. Hence $T$ is not diagonalizable. (Compare with the finite dimensional case: aka problem #60.)
- Show that $T$ is compact if and only if $|T|$ is compact.
(Recall that if $U|T|$ is the polar deomposition of $T$ then
$U^*U$ is the orthogonal projection onto the space of $U$ which
is the closure of the range of $|T|$. Use this to show
$U^*T=|T|$.)
- Show that if $I$ is any (not necessarily closed) nonzero
ideal in $\mathcal L(H)$ then $\mathcal{L}_f(H)\subset I$. In
other words, the finite rank operators are a mininmal ideal in
$\mathcal L(H)$. (Show $\mathcal {L}_f$ has nontivial
intersection with $I$ and that $\mathcal{L}_f(H)$ has no
nontrivial proper ideals.)
- In lecture, we saw that a linear map $T:H\to H$ whose
restriction to the unit ball is weak-norm continuous was a compact
operator. Here we want to see that if $T:H\to H$ is weak-norm
continuous, then $T$ is a finite-rank operator. (Observe that
for such a $T$, $x\mapsto \|T(x)\|$ is weakly continuous.
Hence there are $x_1,\dots,x_n\in H$ such that $|(x\mid
x_k)|<1$ for all $k$ implies that $\|T(x)\|<1$.)
- Show that a norm-weak continuous map is actually norm-norm
continuous.
- (Optional) Let's review the final details of the Spectral Theorem for Normal Compact Operators. Let $T$ be a normal compact operator on $H$.
- Let $\alpha=\{e_k\}$ be a set of orthonormal eigenvectors
for $T$, and let $P$ be the orthogonal projection onto
$E=\overline{\operatorname{span}\{e_k\}}$. Show that $P$ and
$T$ commute.
- Let $S=(I-P)T$. Show that $S$ is compact and normal.
- If $S=0$, then show that any unit vector $e_0\in E^\perp$
is an eigenvector for $T$.
- If $S\not=0$, then our partially proved lemma implies that
$S$ has en eigenvector $e_0$ such that $S(e_0)=\lambda e_0$
with $|\lambda|=\|S\|$. Show that $e_0 \in E^\perp$ and that
$e_0$ is an eigenvector for $T$.
- Conclude that $\alpha\cup\{e_0\}$ is an orthonormal set of
eigenvectors for $T$.
Thursday, May 16:
- STATUS: The above homework assignments complete the "required" part of the course. They'll be due sometime before the end of term.
- Solutions: Here
are selected
homework solutions (Last modified December 31, 1969) up through
assignment 49.
- The Spectral Theorem: We will be following sections 2-4
of my notes on the Spectral Theorem
from my web page. A slightly different, but perhaps more
friendly version, can be found in Chapters 1 and 2 of
my C*-algebra notes from my web page. If
you do puruse either of these, I would appreciate knowing about
any typos, thinkos, or exposition that seems opaque or could be
improved.
-
- Let $\Omega$ be a connected open subset of $\mathbf C$. (We
call $\Omega$ a domain.) If $A$ is a Banach algebra, then we
call $f:\Omega\to A$ strongly holomorphic if $f'(z):=\lim_{h\to
0}h^{-1}(f(z+h)-f(z))$ exists (in $A$) for all $z\in \Omega$. Observe
that if $f$ is strongly holomorphic and $\phi\in A^*$, then $\phi\circ
f$ is holomorphic on $\Omega$ in the usual sense. Show that if $f$ is
strongly holomorphic on $\mathbf C$ and bounded, then $f$ is
constant.
- Suppose that $\Omega$ is domain. Let $H(\Omega)$ be the
collection of complex valued holomorphic functions on $\Omega$.
The Deformation Invariance Theorem implies that if $\phi\in
H(\Omega)$ and $\Gamma_0$ and $\Gamma_1$ are homotopic closed
contours in $\Omega$, then $$\int_{\Gamma_0} \phi(z)\,dz =
\int_{\Gamma_1} \phi(z)\,dz.$$ Use this result to show that the
same conclusion holds if $\phi$ is replaced by a strongly
holomorpic $A$-valued function $f$ on $\Omega$ for a Banach
algebra $A$.
- Let $A$ be the subset of $2\times 2$ complex matrices given
by $$\Bigl\{ \begin{pmatrix}a & b \\ 0 & a
\end{pmatrix}:a,b\in\mathbf{C}\,\Bigr\}.$$ Observe that $A$ is a two
dimensional unital commutative Banach algebra and that
$\operatorname{Rad}(A)\not=\{0\}$. (Hint: any complex homomorphism on
$A$ is in particular a linear map from $A$ to $\mathbf C$.)
Homework Solutions:Here are the final
selected
homework solutions (Last modified December 31, 1969).
|
|