Past exam of the analysis course of the University of Oxford / 2007 / A

A norm on a complex vector space is a map $\Vert \cdot \Vert :X\to [0,\infty )$ that vanishes only at zero, satisfies $\Vert \lambda x\Vert =|\lambda |\Vert x\Vert$, and obeys the triangle inequality. The space is Banach when every Cauchy sequence in the resulting metric converges in $X$.

If $X$ is Banach and ${\sum }_j\Vert x_j\Vert <\infty$, the estimate $\Vert {\sum }_{j=m}^n{x}_j\Vert \le {\sum }_{j=m}^n\Vert x_j\Vert$ shows that its partial sums are Cauchy, hence converge. Conversely let every such series converge and take a Cauchy sequence $(y_n)$. Choose a subsequence with $\Vert y_{n_{k+1}}-y_{n_k}\Vert <2^{-k}$. The series consisting of $y_{n_1}$ followed by these successive differences is absolutely summable in norm, so converges by hypothesis; its partial sums are exactly this subsequence. A Cauchy sequence with a convergent subsequence converges to the same limit, proving the absolute-series criterion for completeness.

On the absolutely summable sequence space ${\ell }^1$, coordinatewise addition and scalar multiplication preserve membership, and summing the scalar triangle inequality verifies its norm axioms. To prove completeness using the criterion, let $x^{(k)}=(x_j^{(k)})\in {\ell }^1$ with ${\sum }_k\Vert x^{(k)}{\Vert }_1<\infty$. For each $j$ the sum $x_j={\sum }_k{x}_j^{(k)}$ converges absolutely, and the permitted interchange of nonnegative double sums givesThus $x\in {\ell }^1$. MoreoverEvery absolutely norm-summable series therefore converges in ${\ell }^1$, proving ${\ell }^1$ is a Banach space.

The continuous dual space $X^{\prime }$ consists of all bounded complex-linear functionals $f:X\to \mathbb{C}$, with pointwise vector operations and norm $\Vert f\Vert ={\sup }_{\Vert x\Vert \le 1}|f(x)|$. This is finite by boundedness. The scalar norm identity and triangle inequality follow under the supremum; if the norm is zero, scaling every nonzero vector into the unit ball shows that $f$ vanishes. Hence $X^{\prime }$ is a normed complex vector space.

For the dual of the convergent sequence space, take $\beta \in {\ell }^1$. The displayed formula is a bounded linear functional, since the series is absolutely convergent andIt is linear in $\beta$, so $\Vert \varphi (\beta )\Vert \le \Vert \beta {\Vert }_1$. For equality fix $N$, choose ${\alpha }_j$ for $j\le N$ of modulus at most one so that ${\alpha }_j{\beta }_{j+1}=|{\beta }_{j+1}|$, and make all later terms equal a constant $c$ of modulus at most one with $c{\beta }_1=|{\beta }_1|$. The choices for a zero coefficient can be arbitrary. This sequence lies in the unit ball of $c$ and converges to $c$. The reverse triangle inequality givesLetting $N\to \infty$ proves $\Vert \varphi (\beta )\Vert =\Vert \beta {\Vert }_1$, including injectivity.

For surjectivity let $F\in c^{\prime }$. By the permitted description of $c_0^{\prime }$, there is $\gamma \in {\ell }^1$ with $F(z)={\sum }_j{\gamma }_j{z}_j$ on $c_0$. Every $\alpha \in c$ decomposes as $\alpha -{\alpha }_{\infty }1\in c_0$ plus ${\alpha }_{\infty }1$. ConsequentlyTake ${\beta }_{j+1}={\gamma }_j$ and ${\beta }_1=F(1)-{\sum }_j{\gamma }_j$. This is an ${\ell }^1$ sequence and $F=\varphi (\beta )$, proving the stated isometric linear isomorphism onto $c^{\prime }$. No complex conjugation is inserted, since these are complex-linear dual functionals.

The complex Hahn-Banach theorem extends every bounded complex-linear functional on a subspace to the whole normed space with exactly the same norm. Let $d=\mathrm{dist}(x_0,M)>0$ and define on $M+\mathbb{C}{x}_0$The representation is unique. The distance inequality $\Vert y+\lambda x_0\Vert \ge |\lambda |d$ gives $\Vert g_0\Vert \le 1$. Taking $y=-m$ with $\Vert x_0-m\Vert \downarrow d$ proves the reverse norm bound. Extend by the Hahn-Banach theorem to $g\in X^{\prime }$; then $g{|}_M=0$, $\Vert g\Vert =1$, and $g(x_0)=d\ne 0$. The labels (a)-(c) specify these simultaneous properties of this one functional.

Let $Y=\overline{\mathrm{span}F}$. Every functional vanishing on $F$ vanishes on $Y$ by linearity and continuity, so $Y\subseteq (F^{\circ }{)}_{\circ }$. If $x\notin Y$, the separation just proved gives a bounded functional zero on $Y$ and nonzero at $x$. It belongs to $F^{\circ }$ and excludes $x$ from its preannihilator. ThereforeFor the dual-side counterexample take $X={\ell }^1$, $X^{\prime }={\ell }^{\infty }$, and $G=c_0$. It is norm closed, since a uniform limit of sequences tending to zero still tends to zero. Every coordinate unit vector belongs to $G$, so the only $x\in {\ell }^1$ annihilated by every element of $G$ has all coordinates zero. Thus $G_{\circ }=\{0\}$ andThe dual-side double annihilator corresponds to weak-star closure, which need not equal norm closure.

The spectrum of a bounded operator consists of $\lambda$ for which $T-\lambda I$ has no bounded two-sided inverse. The point spectrum consists of eigenvalues, so $\ker (T-\lambda I)\ne 0$. The approximate point spectrum consists of $\lambda$ admitting unit vectors $x_n$ with $\Vert (T-\lambda I)x_n\Vert \to 0$; equivalently $T-\lambda I$ is not bounded below.

If $T-\lambda I$ is invertible, its inverse bounds it below and its Banach-space adjoint is invertible. Thus neither alternative on the right of the claimed union occurs. Conversely suppose $\lambda$ belongs to neither term and write $S=T-\lambda I$. There is $c>0$ with $\Vert Sx\Vert \ge c\Vert x\Vert$, so $S$ is injective and has closed range: convergence of $S{x}_n$ makes $x_n$ Cauchy, and completeness supplies a preimage of its limit. Also $\ker S^{\prime }=0$. The allowed annihilator identity makes the range dense, hence equal to $X$. Its inverse has norm at most $1/c$. This proves the spectrum decomposition through the Banach-space adjoint:For the right shift on ${\ell }^1$, $\Vert T\Vert =1$, so the allowed norm bound puts its spectrum in the closed unit disc. Under the linear pairing with ${\ell }^{\infty }$, its Banach-space adjoint is the left shift $T^{\prime }(b_1,b_2,\dots )=(b_2,b_3,\dots )$. For each $|\lambda |\le 1$ the bounded nonzero sequence $(1,\lambda ,{\lambda }^2,\dots )$ is an eigenvector of $T^{\prime }$ with eigenvalue $\lambda$. The union identity gives the reverse inclusion. Hence $\sigma (T)=\{\lambda :|\lambda |\le 1\}$. This Banach-space adjoint uses the complex-linear dual, so its eigenvalue is $\lambda$ itself.