Let X and Y be normed vector spaces. Show that a linear map T:X→Y is continuous if and only if it is bounded.
Now let X,Y,Z be Banach spaces. We say that a map F:X×Y→Z is bilinear
F(αx+βy,z)=αF(x,z)+βF(y,z), for all scalars α,β and x,y∈X,z∈YF(x,αy+βz)=αF(x,y)+βF(x,z), for all scalars α,β and x∈X,y,z∈Y.
Suppose that F is bilinear and is continuous in each variable separately. Show that there exists a constant M⩾0 such that
∥F(x,y)∥⩽M∥x∥∥y∥
for all x∈X,y∈Y.
[Hint: For each fixed x∈X, consider the map y↦F(x,y) from Y to Z.]