3

This problem has been giving me some troubles. Does anyone have any ideas on how to go about proving this?

Let X be a Banach space and let $$\Phi: X \rightarrow X^*$$ be a linear mapping such that for each $x\in X$ we have $\Phi(x)(x)=0.$

Then:

For all $x,y\in X $we have $\Phi(x)(y)= -\Phi(y)(x) $ and $\Phi $ is bounded.

I suspect to use Uniform Boundedness Principle which says:

Suppose that F is a collection of continuous linear operators from X to Y. If

$$\sup\nolimits_{T \in F} \|T(x)\|_Y < \infty, $$

for all $x\in X$, then

$$\sup\nolimits_{T \in F,\|x\|=1} \|T(x)\|_Y=\sup\nolimits_{T \in F} \|T\|_{B(X,Y)} < \infty.$$

fasdgr
  • 281
  • 1
    For the first part, just use linearity of $\Phi$ and $\Phi(-)$. For all $x,y\in X$,

    \begin{align} 0=\Phi(x+y)(x+y)&=\Phi(x)(x+y)+\Phi(y)(x+y) \ &= \Phi(x)(x)+\Phi(x)(y)+\Phi(y)(x)+\Phi(y)(y) \ &= \Phi(x)(y)+\Phi(y)(x). \end{align}

    – rae306 Apr 15 '20 at 06:57
  • +1. Nice question! – Kavi Rama Murthy Apr 15 '20 at 07:29

1 Answers1

3

The first part has been answered by rae306.

For the second part apply Closed Graph Theorem. Suppose $x_n \to x$ and $\Phi(x_n) \to f$. Then $\Phi (x_n) (y)=-\Phi (y) (x_n)$. Taking limits we get $f(y)=-\Phi (y) (x)$. [ Note that $\Phi (y)$ is continuous for fixed $y$]. Applying the first part again we get $f(y)=\Phi (x) (y)$. This is true for each $y$ so $f=\Phi (x)$ as required.