115
$\begingroup$

I was trying to find papers and articles about non-contractive continuous projections on $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $S=\mathbb{N}$.

I've found one quite general condition for the closed linear subspace to be image of a continuous projection. Such a subspace must be the closure of the linear span of so-called relatively disjoint vectors. This subspaces gives us explicit examples of projections with norm greater than 1. For details see the paper of H. P. Rosenthal On relatively disjoint families of measures, with some applications to Banach space theory.

As a special case we can get subspaces that are the closure of the linear span of disjointly supported vectors. These subspaces give us examples of norm one projections. Moreover, only such subspaces are give rise to norm one projections. For details see the survey by Beata Randrianantoanina Norm one projections in Banach spaces.

Thus, for projections of norm 1 we have a complete description. For the rest quite a big source of examples. In the first mentioned paper the author states that he doesn't know any other examples of continuous projections on $\ell_1(S)$ that are not generated by some relatively disjoint family of vectors.

So, could someone give me a reference where I can read about other examples of projections on $\ell_1(S)$, or may be their complete characterization?

Also I will be grateful if you give me some explicit examples of discontinuous projections on $\ell_1(S)$.

The same question on mathoverflow.net.

  • 5
    If you put a 500 bounty on this its chances of getting answered will sky rocket.2012-06-10
  • 0
    Are you interested in (1) subspaces which don't admit continuous projections [namely, uncomplemented subspaces], or (2) in discontinuous projections themselves? The examples of (2) can be constructed even in a Hilbert space, where all subspaces are complemented.2012-06-16
  • 0
    I'm interested in quite explicit description of non-contractive projections. I've will have it, of course, I'll get examples of discontinuous projections. Examples of uncomplemented subspaces will be helpful too.2012-06-16
  • 0
    Thanks @JonasMeyer, I wanted to put this bounty in the end of the summer, but you are the first. If someone answer it (the way I wanted) I'll put another 500 bounty for him/her.2012-06-27
  • 0
    Here's an idea (which I leave as a comment rather than an answer since I have not checked enough of the details). Take a subspace $E$ of $\ell^1$ that is isomorphic with small Banach-Mazur constant to $\ell^2$. (You can probably get something out of Khintchine's inequality.) Take a large finite-dimensional subspace of $E$, call it $F$. Then any projection of $\ell^1$ onto $F^\perp$ should have large norm, since otherwise by taking $F$ larger and larger we could eventually build a projection of $\ell^1$ onto $E^\perp$ and hence onto $E$, which is impossible.2012-07-01
  • 5
    @Yemon: I don't understand your comment. There is no subspace of $\ell^1$ isomorphic to $\ell^2$ by Pitt's theorem. A closed infinite-dimensional subspace of $\ell^p$ cannot be isomorphic to a closed subspace of $\ell^q$ if $1 \leq p \neq q \lt \infty$ since the operator in one direction would have to be compact.2012-07-02
  • 0
    @Norbert: Do you search for a construction of a discontinuous projection in $\ell_1(S)$, without using the axiom of choice ?2012-07-02
  • 0
    @francis-jamet, no I haven't searched for that. So all examples that you know based on axiom of choice?2012-07-02
  • 0
    Yes, an example: if $F$ is a complement of the subspace of finite sequences, and $f_{|F} \mapsto 0$ and $f(e_n)=ne_1$. Sorry if it doesn't help.2012-07-02
  • 0
    What is $f$? Is this minimal projection on $\mathrm{span}\{e_1\}$?2012-07-02
  • 0
    Yes, $f$ is a projection on span $\{e_1\}$.2012-07-02
  • 5
    @francis-jamet: It's impossible to prove that there is a discontinuous linear map without invoking some strong form of choice -- "you can't write down a discontinuous linear map defined on all of a Banach space". For instance, it follows from the [axiom of determinacy](http://en.wikipedia.org/wiki/Axiom_of_determinacy) that every linear map on a separable Banach space is continuous.2012-07-02
  • 0
    @t.b. Oops, you are quite right, I was trying to use the Rademachers inside $L^1$ and then transport by finite-dimensional representability. However, one can still find copies of fin-dim $\ell^2$ inside $\ell^1$ (Dvoretzky, but I think Khintchine should work) and then take projections onto complements of these fin-dim subspaces2012-07-02
  • 0
    @t.b. Very interesting, thanks.2012-07-02
  • 0
    If Bill Johnson did not say anything informative at mathoverflow, it is hopeless to expect an answer here, at MSE.2014-04-22
  • 2
    Every Banach space which is not isometric to a Hilbert space contains a two-dimensional subspace which is not 1-complemented. On the other hand, every 2-dimensional Banach space embeds isometrically into $\ell_1$ (Herz–Lindenstrauss), so I think that even at the level of two-dimensional subspaces the situation can be quite difficult. Maybe you should somehow narrow yourself and ask a more specific question?2014-08-26
  • 0
    @TomekKania, ok here is the question that bothers me for years: Let $T:\ell_1^0(M)\to X$ be a quotient map between normed spaces. For each $C>1$ we have a right inverse $S$ of $T$ of norm $. Is it true that $X=\ell_1^0(N)$ for some $N$. If you can answer this question or give a counterexample I can organize it as separate MSE question and give the maximal bounty for it. Twice.2014-08-26
  • 0
    Sorry, what is $\ell_1^0(M)$?2014-08-26
  • 0
    @TomekKania, $c_{00}(M)$ - finitely supported sequences on $M$, $\ell_1^0(M)$ - $c_{00}(M)$ with $\ell_1$-norm. In a more fancy way my question is the following: Is it true that all projective (with respect to quotients maps) spaces in the category of normed spaces are $\ell_1^0(M)$.2014-08-26
  • 0
    This is a result of Helemskii http://arxiv.org/pdf/1112.5750v1.pdf2014-08-26
  • 0
    @TomekKania, this paper handles projectivity with respect to restricted class of quotient maps (they map closed unit ball onto closed unita ball), and my question is about all quotient maps2014-08-26

1 Answers 1