I have thought about the following question for several years. This question may be stupid or not interesting. My question is: Is there a subspace $U$ of $l{_1}$ such that the quotient $l_{1}/U$ is isomorphic to $L_{1}(\mu)$ for some measure $\mu$, but $U$ is not Lipschitz complemented in $l_{1}$.

  • $\begingroup$ The question is very interesting IMO. $\endgroup$ – Bill Johnson Jul 6 '14 at 18:02
  • $\begingroup$ @BillJohnson I must be missing something -- isn't this handled by Godefroy--Kalton? (If there were a Lipschitz complementation, then surely there'd be a Lipschitz right inverse to the quotient map, hence a bounded linear right inverse by the GK results; and we know that $L_1[0,1]$ is not isomorphic to any complemented subspace of $\ell_1$... $\endgroup$ – Yemon Choi Jul 6 '14 at 19:28
  • $\begingroup$ @Yemon Choi: A Lipschitz right inverse to the quotient gives a Lipschitz projection, but the converse is false. for example, $C[0,1]$ is Lipschitz complemented in every superspace by Lindenstrauss' 1964 paper, but, as you know, it is not complemented in every separable superspace; in particular the functions that are right continuous, left continuous except at the rationals, and have left limits at the rationals. $\endgroup$ – Bill Johnson Jul 6 '14 at 21:38
  • $\begingroup$ @BillJohnson Thanks - I knew I was missunderstanding something basic $\endgroup$ – Yemon Choi Jul 6 '14 at 22:08
  • 1
    $\begingroup$ Dear Dongyang Chen, please follow this link - mathoverflow.net/contact - to arrange for your two accounts to be merged: #41619 #54727. $\endgroup$ – François G. Dorais Jul 7 '14 at 2:18

This is not an answer, just a related question: In the particular case when $U$ is complemented in its bidual, you have that $U$ is Lipschitz complemented in $\ell_1$ if and only if $U$ is complemented in $\ell_1$ (by a classical result of Lindenstrauss) if and only if $U$ is isomorphic to $\ell_1$ (Pelczynski). It means that if you find $U$ non-isomorphic to $\ell_1$, complemented in its bidual and such that $\ell_1/U$ is isomorphic to $L_1(\mu)$, you will get the Lipschitz non-complementability for free. Now the question is: is there such a space $U$? Can you have for example for a dual $U\subset \ell_1$ ($U$ not isomorphic to $\ell_1$) that $\ell_1/U$ is isomorphic to some $L_1(\mu)$?

  • $\begingroup$ Thank you for your suggestion. But, if a subspace $U$ of $l_{1}$ is such that $l_{1}/U$ is isomorphic to $L_{1}(\mu)$, then $U^{**}$ is complemented in $l_{1}^{**}$. This is due to J.Lindenstrauss(J.Lindenstrauss, On a certain subspace of $l_{1}$,1964.).Thus $U$ is Lipschitz complemented in its bidual if and only if $U$ is Lipschitz complemented in $l_{1}$. $\endgroup$ – Dongyang Chen Jul 7 '14 at 1:02
  • 1
    $\begingroup$ @DongyangChen Aha, so solving your problem would in particular give you a separable Banach space which is not a Lipschitz retract of its bidual. Nice! $\endgroup$ – Tony Prochazka Jul 7 '14 at 23:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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