A question concerning separate and joint continuity of bilinear maps

2011-04-07T15:40:03Z

Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and $f \restriction C^2$ is separately continuous. Must $f \restriction C^2$ be jointly continuous?

In the particular application I have in mind, $V = \ell_\infty^*$ with the weak* topology. Moreover the function $f$ is injective. I suspect even in this setting that this is false.

I am also interested in a good reference for the optimal results of concerning separate and joint continuity of bilinear maps. Ideally this would be written for someone who is not a functional analyst.

Answer by Matthew Daws for A question concerning separate and joint continuity of bilinear maps

2011-04-07T16:27:29Z

A personal obsession is (weakly) almost period functions. Let $G$ be a discrete group (you can work more generally) and for $f\in \ell^\infty(G)$ let $O(f)$ be the set of translate of $f$ by the group action. Set \begin{align*} AP(G) = \{ f\in \ell^\infty(G) : O(f)\text{ is relatively compact}\}, \\ WAP(G) = \{ f\in \ell^\infty(G) : O(f)\text{ is weakly relatively compact}\}. \end{align*} Then these are unital sub- $C^*$ -algebras of $\ell^\infty(G)$ and so have character spaces $G^{AP}$ and $G^{WAP}$. You can extend the product from $G$ to these: then the product on $G^{AP}$ is jointly continuous, but that on $G^{WAP}$ only separately jointly continuous. Translated back to algebra, this means that the measure spaces $M(G^{AP})$ and $M(G^{WAP})$ become Banach algebras for the convolution product. The continuity translates to say that the product on $M(G^{WAP})$ is separately weak $^*$ -continuous, and that on $M(G^{AP})$ is even jointly weak $^*$ -continuous on bounded sets.

So that gives an example: if $C$ is the closed unit ball of $M(G^{WAP})$ and $f$ is the product map, then $f$ satisfies your requirements, but $f$ is not jointly continuous unless $WAP(G) = AP(G)$ (I think-- this last claim needs a little chasing of definitions). If $G$ is abelian then $G^{AP}$ is the classical Bohr compacitification, but $G^{WAP}$ is much larger. There are books by Berglund (and coauthors) on this topic; they do, IMHO, need a functional analysis background.

Surely there are easier examples for what you want though. (And $f$ is not injective in my example).

A question concerning separate and joint continuity of bilinear maps - MathOverflow

A question concerning separate and joint continuity of bilinear maps

Answer by Matthew Daws for A question concerning separate and joint continuity of bilinear maps