For a real Banach space $X$ let $A:X\rightarrow X^*$ be a positive operator in the sense that $(Ax)(x)\geq 0$ for all $x\in X$. Show that $A$ is bounded.
I don't know how to do that, maybe it's an application of the closed graph theorem?
For a real Banach space $X$ let $A:X\rightarrow X^*$ be a positive operator in the sense that $(Ax)(x)\geq 0$ for all $x\in X$. Show that $A$ is bounded.
I don't know how to do that, maybe it's an application of the closed graph theorem?
It's indeed an application of closed graph theorem. First, we take $\{x_n\}\subset X$ a sequence which converges to $x$ and such that $Ax_n\to l$, where $l\in X^*$. As the sequence $\{x_n\}$ is bounded, we have $\langle T(x_n),x_n\rangle\to l(x)$. For $y\in X$, we have
$$0\leq \langle Tx_n-Ty,x_n-y\rangle=\langle Tx_n,x_n\rangle-\langle Ty,x_n\rangle-\langle Tx_n,y\rangle+\langle Ty,y\rangle.$$
Taking the limit $\lim_{n\to +\infty}$, we get
$$0\leq l(x)-\langle T(y),x\rangle-l(y)+\langle T(y),y\rangle,$$
which gives
$$l(y-x)\leq \langle T(y),y-x\rangle.$$
Let $y=z+x$. Then
$$l(z)\leq \langle Tz,z\rangle+\langle T(x),z\rangle.$$
Replacing $z$ by $az$, where $0
As $X$ and $X^*$ are Banach spaces, we conclude by closed graph theorem.