## Subspaces of duals

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

It is an easy undergraduate exercise to show that (finite) direct sums are preserved under dualisation. Thus, it is natural to ask if we the following holds:

is it true that if $X$ is a subspace of $Y$, then $X^*$ is a subspace of $Y^*$?

In many cases this is certainly not true (one can construct relevant subspaces of $Y=\ell^\infty$) but... let me say that $Y$ has property (D) if the above hypothesis holds for $Y$.

Is it true that the only spaces with property (D) are Hilbert spaces?

-

## 2 Answers

$Y=L_1[0,1]$ has the property (D) since it is separable and the dual of any separable space embeds into $Y^\ast = L_\infty[0,1]$.

Of course, any separable space with a complemented subspace whose dual is isomorphic to $L_\infty[0,1]$ will have the property too.

If I think of other examples that are fundamentally different I'll add them later.

-
ok, it was easy, thanks! – Tomek Kania Jul 24 2011 at 13:39

1
I probably should have just answered in a comment, but in any case my initial attempts to find a counterexample (before I thought of $L_1$) involved trying to construct a space $Y$ with the formally stronger property $(E)$ (say) that if $X$ is a subspace of $Y$, then $X$ is isomorphic to $X^\ast$... this seems to be not so easy if one excludes Hilbert spaces I wonder if having the property (E) is equivalent to being isomorphic to Hilbert space? Maybe the answer to this also follows easily from known results, but off the top of my head I can't think of a good argument or counterexample. – Philip Brooker Jul 24 2011 at 14:04
Nice question, Phil. It is related to an old unsolved problem of Pelczynski's: If $X$ is separable and every subspace of $X$ that has a basis is isomorphic to $\ell_2$, must $X$ be isomorphic to $\ell_2$? – Bill Johnson Jul 24 2011 at 15:34
Phil, what about a local version of your problem? Suppose you have a family of finite dimensional spaces that is closed under taking of subspaces. Assume that every space in the collection is $C$-isomorphic to its dual. Is every space in the collection $D$-isomorphic to a Hilbert space for some $D=D(C)$? This looks to me easier than your question. – Bill Johnson Jul 24 2011 at 15:39
Pelczynski's question is quite intriguing, Bill. I guess one could write down many properties for which the only known spaces with the property are those isomorphic to $\ell_2$; e.g., I wonder if the only minimal Banach space isomorphic to its dual is $\ell_2$? In a sort of opposite direction, I think it is (still) an open question whether an indecomposable space can be isomorphic to its dual. The local question you pose above seems like it is probably true... Is it known to be true for $C=1$? – Philip Brooker Jul 26 2011 at 14:24
show 1 more comment

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

There are separable reflexive examples also, such as the $\ell_2$ sum $X$ of a sequence of finite dimensional spaces that is dense (in the sense of the Banach-Mazur distance) in the collection of all finite dimensional spaces. See my 1974 paper with Zippin in the Israel Journal of Mathematics.

Another example is a separable reflexive space $X$ s.t. every subspace of every quotient of $X$ is isomorphic to a complemented subspace of $X$, yet $X$ is not isomorphic to a Hilbert space. This is in a recent paper with Szankowski and can be downloaded from

http://www.math.tamu.edu/~bill.johnson/selpubs.html

(no. 117).

The example with Zippin lacks this property since it has subspaces that fail the approximation property (we proved in an earlier paper that each of its subspaces that has the approximation property is isomorphic to a complemented subspace).

-

Awesome examples, Bill. It's a shame that my answer was already accepted when you posted yours, because the content of mine was really only comment-worthy. – Philip Brooker Jul 26 2011 at 14:33
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9371233582496643, "perplexity_flag": "head"}