Let $T:X\rightarrow Y$ be a linear continuous map between Banach spaces $X$ and $Y$ and denote by $T':Y'\rightarrow X'$ the norm adjoint of $T$. Let $M\subseteq U'$ be a subset of the unit sphere $U'$ of $Y'$. Let $C\subseteq M$ be any weak*closed convex subset. Is the image $T'(C)$ weak*closed in $X'$? Or more generally, assuming that $C$ is convex, under which additional conditions on $C$ is the image $T'(C)$ weak*closed in $X'$?

$\begingroup$ I have forgotten to mention that we can also assume that $T'$ is injective on $M$! $\endgroup$ – Andy Teich Jun 13 '12 at 8:56

$\begingroup$ Do you really mean the sphere, or do you mean the ball? Convex subsets of spheres might not be very big... $\endgroup$ – Yemon Choi Jun 13 '12 at 9:03

$\begingroup$ Yes, it I really mean the sphere. Think of $Y'$ as being an $L^1$space... $\endgroup$ – Andy Teich Jun 13 '12 at 9:06

1$\begingroup$ This is very similar to a question here: math.stackexchange.com/questions/157069/… $\endgroup$ – Matthew Daws Jun 13 '12 at 12:10

2$\begingroup$ @Peter: No; but if you look on this site, you'll see that it's generally considered good to crosslink. You probably wouldn't know that as a new user, so I thought I'd highlight this for you. $\endgroup$ – Matthew Daws Jun 13 '12 at 12:27
When you say that $C$ is weak* closed I'm not sure whether you mean as a subset of $Y'$ or in the relative weak* topology on $M$. If the latter, the answer is obviously "no": take $T$ to be the identity map and let $C = M$ be a convex subset of the unit sphere which is not weak* closed. (Examples are easy to find, even in finite dimensions.) If the former, the answer is "yes", for then $C$ is a weak* closed subset of the closed unit ball, hence it is weak* compact, hence its image under a weak* continuous map (which $T'$ is) must also be weak* compact, and hence weak* closed.

$\begingroup$ If I understand you correctly, it also would suffice to assume that $M$ itself is weak*closed...? $\endgroup$ – Andy Teich Jun 13 '12 at 12:45

$\begingroup$ Weak* compact (which is the same as weak* closed, if it's bounded). $\endgroup$ – Nik Weaver Jun 13 '12 at 12:51

$\begingroup$ So it is sufficient to assume that $C$ is weak*closed and $M$ is weak*closed. Is it also necessary to have that $C$ is weak*closed?Can we give conditions on $C$, $M$ or $T'$ to have that for any $C\subseteq M$ the image $T'(C)$ is weak*closed in $X'$? $\endgroup$ – Andy Teich Jun 13 '12 at 13:26

3$\begingroup$ Since the question is changing, maybe you'd better edit your original post to clarify what it is you really want. $\endgroup$ – Nik Weaver Jun 13 '12 at 13:37