MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $K$ be a convex,balanced and compact subset of a Banach space $X$. We let $X_{K}:=span\{K\}$. Define the norm $\|x\|_{K}:=\inf\{\alpha>0: x\in \alpha K\}, x\in X_{K}$. Then $(X_{K},\|\|_{K})$ is a Banach space and the unit ball of $(X_{K},\|\|_{K})$ is $K$. My question is : Is the space $(X_{K},\|\|_{K})$ reflexive? The answer maybe has already been known, but I do not know.

share|cite|improve this question
When people take the trouble to respond to a question on MO, the OP should be respond in timely fashion. You are being discourteous by not responding. – Bill Johnson Jul 20 '14 at 14:10
@BillJohnson: Oh! I am sorry for not responding in timely fashion. I'll respond timely later. – Dongyang Chen Jul 20 '14 at 16:29

No it is not reflexive in general. Your assumptions basically say that $X_K$ is compactly embedded in $X$ because $K$ is more or less the unit ball of $X_K$ (it is equal to the closed unit ball I think).

Now there are obviously a ton of examples of non-reflexive Banach spaces that are compactly embedded into other (completely arbitrary!) Banach spaces like the Sobolev space $W^{1,\infty}(0,1)$ (=the space of Lipschitz continuous functions) which compactly embeddeds into $C^0[0,1]$.

share|cite|improve this answer

Even if $K$ is just weakly compact, $X_K$ is isometrically isomorphic to a dual space with the weak$^*$ topology agreeing with the weak topology from $X$ on $K$. You can get a weakly compact convex symmetric set $J\supset K$ s.t. $X_J$ is reflexive. See my paper with Davis, Figiel, and Pelczynski, ``Factoring weakly compact operators".

share|cite|improve this answer
What exactly do you mean when you say "weak topology from X and K" ? I would interpret the terminology "weak topology" as "coarsest topology on $X_K$ that makes $X_K\to X$ continuous" but that would be the subspace topology and additionaly does not depend on $K$. Or do you mean the subspace topology of $X_K\subseteq X$ where $X$ is endowed with its weak topology? That still doesn't depend on $K$ but it sounds more like the right topology for your statement. – Johannes Hahn Jul 15 '14 at 22:33
I corrected a typo, Johannes; "and" should have been "on". By "weak topology from $X$" I mean the weak topology from $X^*$ which of course does not depend on $K$. – Bill Johnson Jul 16 '14 at 7:09

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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