Paper 3, Section II, I

Linear Analysis
Part II, 2016

(a) Define Banach spaces and Euclidean spaces over R\mathbb{R}. [You may assume the definitions of vector spaces and inner products.]

(b) Let XX be the space of sequences of real numbers with finitely many non-zero entries. Does there exist a norm \|\cdot\| on XX such that (X,)(X,\|\cdot\|) is a Banach space? Does there exist a norm such that (X,)(X,\|\cdot\|) is Euclidean? Justify your answers.

(c) Let (X,)(X,\|\cdot\|) be a normed vector space over R\mathbb{R} satisfying the parallelogram law

x+y2+xy2=2x2+2y2\|x+y\|^{2}+\|x-y\|^{2}=2\|x\|^{2}+2\|y\|^{2}

for all x,yXx, y \in X. Show that x,y=14(x+y2xy2)\langle x, y\rangle=\frac{1}{4}\left(\|x+y\|^{2}-\|x-y\|^{2}\right) is an inner product on XX. [You may use without proof the fact that the vector space operations ++ and are continuous with respect to \|\cdot\|. To verify the identity a+b,c=a,c+b,c\langle a+b, c\rangle=\langle a, c\rangle+\langle b, c\rangle, you may find it helpful to consider the parallelogram law for the pairs (a+c,b),(b+c,a),(ac,b)(a+c, b),(b+c, a),(a-c, b) and (bc,a).](b-c, a) .]

(d) Let (X,X)\left(X,\|\cdot\|_{X}\right) be an incomplete normed vector space over R\mathbb{R} which is not a Euclidean space, and let (X,X)\left(X^{*},\|\cdot\|_{X^{*}}\right) be its dual space with the dual norm. Is (X,X)\left(X^{*},\|\cdot\|_{X^{*}}\right) a Banach space? Is it a Euclidean space? Justify your answers.