Let $X$ be Banach space and let $X^*$ its dual equipped with the weak* topology.

Consider the duality bracket $(X,(X^*,\textrm{weak}^*)) \to \mathbb{C}$, $(x,x^*) \mapsto \langle x, x^*\rangle_{X,X^*}$.

Do we have a continuous bilinear map, at least on a product of bounded sets ?

I am interested by the case $X=L^1(\Omega)$.


The evaluation is jointly continuous on $X\times B$ if $B$ is a norm-bounded subset of $X^*$. This is Corollary 6.40. in Aliprantis & Border 2006, "Infinite Dimensional Analysis". Theorem 6.38 in the same book shows that the evaluation is never jointly continuous on all of $X\times X^*$ when $X$ is infinite dimensional.

  • $\begingroup$ @Zouba However if you want the joint continuity of that bilinear map you can get it if instead of the weak star topology you take the Mackey topology on $X^*$ if the Banach space is reflexive $\endgroup$ – Neutral Element Nov 18 '17 at 12:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.