## Basis for L_infty(R)

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

Let $V$ be the Banach space of bounded sequences of reals with the sup norm. Does there exists a subset $B$ of $V$ such that

• Linear Independence: For all functions $c$ in $\mathbb{R}^B$, if $\sum_{b \in B} c(b) \cdot b = 0$, then $c$ is identically zero.
• Spanning Set: For all vectors $v$ in $V$, there exists a function $c$ in $\mathbb{R}^B$ such that $\sum_{b \in B} c(b) \cdot b = v$.

If so, is an explicit such $B$ known?

-

he Banach space V with which you start would seem to be $\ell^\infty_{\mathbb R}$ and not $L^\infty({\mathbb R})$ -- as it happens, the two are (non-isometrically) isomorphic as Banach spaces, but this is not trivial and the isomorphism is slightly mysterious. Could you clarify whether you had one or the other in mind when you asked this question? – Yemon Choi Aug 9 2010 at 4:50
Why the set of $e_j=(0,\ldots,0,1,0\ldots)$ does not work ?  – Leandro  Aug 9 2010 at 4:51
Yemon, I had the sequence space in mind.   Leandro, that's not a spanning set. – Ricky Demer Aug 9 2010 at 4:55
Are you requiring these functions to be zero for all but finitely many $b$? If so, this is just the statement that every vector space has a basis. I think you can't find an explicit basis. – Kevin Ventullo Aug 9 2010 at 5:24
No, and that's why I made my question more explicit than the topic. – Ricky Demer Aug 9 2010 at 5:38
show 1 more comment

## 2 Answers

The space $\ell^\infty_R$ does not have even an M-basis; i.e., a biorthogonal set $(x_t,x_t^*)$ such that the span of the $x_t$ is dense and the $x_t^*$ are total (Lindenstrauss, late 1960s IIRC), so it has nothing like a Schauder basis. Later I proved [PAMS 26. no. 3 467-468 (1970)] that $\ell^\infty$ also does not have an M-basis. However, each of these spaces does have a biorthogonal set $(x_t,x_t^*)$ such that the span of the $x_t$ is dense. This is in my paper with W.J. Davis [Studia Math. 45 173-179 (1973)].

-
What does "the $x_t^*$ are total" mean? – Ricky Demer Aug 9 2010 at 14:53

1
Separate points. – Bill Johnson Aug 9 2010 at 15:03

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

It exists for any linear space (Banach structure is not essential here), is called Hamel base. No explicit construction (without use of Axiom of Choice) exists (and, I guess, it may proved in a sense - that existence of Hamel base in any linear space implies the axiom of choice or smth similar).

-

1
No, a Hamel base is what you would get if you required the cs to be zero for all but finitely many b. – Ricky Demer Aug 9 2010 at 5:59
If $c$ is not assumed to be finitely supported, then how do you understand this sum? Should it be absolutely convergent series in almost every point? – Fedor Petrov Aug 9 2010 at 6:09
See en.wikipedia.org/wiki/… – Ricky Demer Aug 9 2010 at 6:12
So, $B$ is not countable, but $c$ is countably supported and the convergence is unconditional in $L_{\infty}$ norm. Right? – Fedor Petrov Aug 9 2010 at 6:20

1
Ricky: regarding the Wikipedia page, my mistake. I still think the question might be a little clearer if you said explicitly that you were talking about unconditional convergemce of the "series" - especially to indicate that you are talking about something a little different from a Schauder basis – Yemon Choi Aug 9 2010 at 8:49
show 3 more comments
{"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": 29, "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.9311851263046265, "perplexity_flag": "middle"}