## surjectivity of operators on l^infty

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

Can anyone give me an example of an bounded and linear operator `$T:\ell^\infty\to \ell^\infty$` (the space of bounded sequences with the usual sup-norm), such that T has dense range, but is not surjective?

-

9
Despite the two quick votes to close, I don't find this a trivial question. Am I missing something? – Bill Johnson Jul 3 at 21:41

1
I guess you mean also that $A$ should be closed and map its domain back into itself. I would have to review semigroup theory (or think more than I care to right now) to see if that is correct. Anyway, how do you get such an $A$? – Bill Johnson Jul 3 at 22:48

1
Surely, Yemon; for the weak$^*$ topology the problem is trivial. – Bill Johnson Jul 3 at 23:25

2
There is a theorem of Lotz stating that there are no strongly continuous semigroups on $l^{\infty}$, meaning that if semigroup is strongly continuous, then the generator is bounded. – András Bátkai Jul 4 at 17:27

2
Here is a much easier question: Does there exist a non surjective bounded linear operator from some Banach space into $\ell_\infty$ that has dense range? I see how to do this but the argument uses something that is not elementary. Is there a simple reason such an operator exists? – Bill Johnson Jul 5 at 16:21
show 5 more comments

## 2 Answers

Here is an answer to an easier but related question.

Proposition. There is a one to one operator $T$ from $\ell_1(2^{\aleph_0})$ into $\ell_\infty$ that has dense range.

Of course, such an operator cannot be surjective because $\ell_1(2^{\aleph_0})$ is not isomorphic to $\ell_\infty$.

My proof of the Proposition uses an old result of Bill Davis and mine (Remark 4 in

Davis, W. J.; Johnson, W. B. On the existence of fundamental and total bounded biorthogonal systems in Banach spaces. Studia Math. 45 (1973), 173–179):

$\ell_\infty$ has a biorthogonal system $(x_\alpha,x_\alpha^*)_{\alpha<2^{\aleph_0}}$ with $\|x_\alpha\|=1$ and $\sup_\alpha \|x_\alpha^*\|<\infty$ such that the linear span of $(x_\alpha)$ is dense in $\ell_\infty$.

To prove the Proposition, define $T$ to be the norm one linear extension of the map $e_\alpha \mapsto x_\alpha$, where $(e_\alpha)$ is the unit vector basis for $\ell_1(2^{\aleph_0})$. This mapping obviously has dense range and is one to one because every biorthogonal system is countably linearly independent.

Here is a variation on the OP's question:

Is there a one to one bounded linear operator from $\ell_\infty$ into itself that has dense range but is not surjective?

The interest in the variation is that this question is easily seen to be equivalent to:

Are there quasi-complementary copies of $\ell_\infty$ in $\ell_\infty$ that are not complementary?

(Recall that two closed subspaces of a Banach space are said to be quasi-complementary if their sum is dense and their intersection is ${0}$.)

-

@Bill: The existence of "quasi-complementary but not complementary subspaces" in $l_{\infty}$ is equivalent to $l_{\infty}$ has infinite dimension separable quotient.  \\  But the existence of "quasi-complementary but not complementary subspaces" in $l_{\infty}$ is not equivalent to  the existence of "one to one bounded linear operator form $l_{\infty}$ into itself that has dense range but is not surjective".   – Qingping Zeng Aug 27 at 13:58
The former condition is in fact equivalent to the existence of  "one to one bounded linear operator form some Banach space $X$ into $l_{\infty}$ that has dense range but is not surjective".  \\  And, it is well known that $l_{\infty}$ has infinite dimension separable quotient. So, the existence of "one to one bounded linear operator form some Banach space $X$ into $l_{\infty}$ that has dense range but is not  surjective" can also be deduced from the above facts.  – Qingping Zeng Aug 27 at 14:03
@Qingping:  What I said is that the existence of two quasi-complementary subspaces of `$\ell_\infty$` that are isomorphic to `$\ell_\infty$` and are not complementary is equivalent to the existence of a one  to one bounded linear operator from `$\ell_\infty$` into itself that has dense range but is not surjective. – Bill Johnson Dec 7 at 18:34

### 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.

I could prove that if $T$ has dense then $T$ is surjective, in the cases where $T=S^{*}+W$, $W$ is weakly compact and $S:l^1\rightarrow l^1$ or when $T$ has totally disconnected spectrum.

-

1
If you merge your existing accounts then you will be able to add this information to the existing question. Please try not to use the "answer" boxes for comments, as MO is not set up like a forum or blog thread. – Yemon Choi Jul 8 at 0:36

1
I merged the two users, but this will not be very useful since Amir does not have a registered user. @Amir: Please consider registering a user; it will help make sure that you can edit all of your posts in the future. – Anton Geraschenko♦ Jul 8 at 18:23
{"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": 39, "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": true, "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.9539454579353333, "perplexity_flag": "head"}