Basis for L_infty(R) - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T02:15:37Z http://mathoverflow.net/feeds/question/34967 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/34967/basis-for-l-inftyr Basis for L_infty(R) Ricky Demer 2010-08-09T04:37:13Z 2010-08-10T13:40:55Z <p>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</p> <ul> <li>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.</li> <li>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$.</li> </ul> <p>If so, is an explicit such $B$ known?</p> http://mathoverflow.net/questions/34967/basis-for-l-inftyr/34970#34970 Answer by Fedor Petrov for Basis for L_infty(R) Fedor Petrov 2010-08-09T05:51:29Z 2010-08-09T05:51:29Z <p>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).</p> http://mathoverflow.net/questions/34967/basis-for-l-inftyr/35004#35004 Answer by Bill Johnson for Basis for L_infty(R) Bill Johnson 2010-08-09T14:27:39Z 2010-08-09T20:24:24Z <p>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)].</p>