12
$\begingroup$

Why can the elements of the dual space of $\ell^\infty(\mathbb N)$ be represented as sums of elements of $\ell^1(\mathbb N)$ and Null$(c_0)$?

EDIT: As confirmed in the comments, the OP intended to ask about this sentence "$f\in\ell_\infty^*$ is the sum of an element of $\ell_1$ and an element null on $c_0$" from the paper D. H. Fremlin and M. Talagrand: A Gaussian Measure on $l^\infty$ http://jstor.org/stable/2243023 (Which is different claim from what was in the original version of the question.)

$\endgroup$
6
  • $\begingroup$ But that is not true, as is well known. (Hint: Ultrafilters on $\mathbb{N}$.) $\endgroup$ Mar 22, 2011 at 9:46
  • $\begingroup$ And Fremlin and Talgats paper it is. And i didnt understand it $\endgroup$ Mar 22, 2011 at 10:18
  • 1
    $\begingroup$ Perhaps you could be more specific in your question - you could at least provide info about the article you're studying. Did you mean D. H. Fremlin and M. Talagrand: A Gaussian Measure on $l^\infty$ jstor.org/stable/2243023 ? $\endgroup$ Mar 22, 2011 at 11:00
  • $\begingroup$ Sorry. Yeah, i mean Fremlin and Talagrand article. $\endgroup$ Mar 22, 2011 at 11:59
  • $\begingroup$ My favorite article on this topic is sciencedirect.com/science/article/pii/S0019357798800396 sorry couldn't resist... $\endgroup$ Jan 24, 2018 at 22:50

3 Answers 3

28
$\begingroup$

Obviously, the OP intended to ask about this sentence "$f\in\ell_\infty^*$ is the sum of an element of $\ell_1$ and an element null on $c_0$" from the paper D. H. Fremlin and M. Talagrand: A Gaussian Measure on $l^\infty$ http://jstor.org/stable/2243023 (Which is different claim from what was in the question.)

The authors refer to the book Day, M. (1973). Normed Linear Spaces. Springer, Berlin. I was not able to find the exact place in Day's book where this is shown, but I think that for this special case it is relatively easy.

For $f\in\ell_\infty^*$ put $a_i=f(e^i)$. Then the sequence $a=(a_i)$ belongs to $\ell_1$. (Since $\sum\limits_{i=1}^n |a_i| = \sum\limits_{i=1}^n |f(e^i)| = f(\sum\limits_{i=1}^n \varepsilon_ie^i) \le \lVert f \rVert$, where $\varepsilon_i=\pm1$ are chosen according to the signs of $f(e^i)$.)

Now, if $x_n\to 0$, then $$f(x)-a^*(x)= \lim\limits_{n\to\infty} f(\sum\limits_{i=1}^n x_ie^i)-\sum\limits_{i=1}^n a_ix_i=0.$$

I hope I haven't overlooked something and that someone will provide the reference to the result (probably more general) which the authors of the above-mentioned paper had in mind.

$\endgroup$
5
  • 15
    $\begingroup$ +1 for finding the question that was supposed to be asked. (The proof is tantamount to showing that the dual of $c_0$ is $\ell_1$ and then saying that $\ell_\infty^* = c_0^\perp \oplus c_0^*$.) $\endgroup$
    – Yemon Choi
    Mar 22, 2011 at 19:27
  • $\begingroup$ thanks. sometimes i think that the main aim of a students is to find that kinfd of questions and defects.) Good comment. $\endgroup$ Mar 22, 2011 at 23:03
  • 2
    $\begingroup$ Now I accidentaly stumbled upon the Hewitt-Yosida decomposition of a finitely additive measure into purely additive and $\sigma$-additive part. See e.g. books.google.com/… If I understand it correctly, after representing the functionals as finitely additive measures it is basically the same thing. It is sumarized nicely in Theorem 6.31 of Aliprantis-Border - the page is not viewable at google books, but you can find the claim here: thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/… $\endgroup$ May 10, 2011 at 14:01
  • $\begingroup$ @YemonChoi: Can we put is a norm on the direct sum $c_0^{\perp} \oplus c_0^*?$ $\endgroup$
    – Idonknow
    Apr 19, 2018 at 2:08
  • $\begingroup$ @Idonknow It's an $\ell^1$-sum decomposition $\endgroup$
    – Yemon Choi
    Apr 19, 2018 at 12:43
16
$\begingroup$

The fact stated above by Martin is a special case of the general property of a bounded functional on a von Neumann algebra - it can be always decomposed into a sum of a normal functional (in other words an image of a functional in the predual, in this case a functional represented by a sequence in $l^1$) and a singular functional (a `highly non-normal' functional, in the special case a functional vanishing on $c_0$). One can even achieve the decomposition respecting the functional norms in a suitable sense

The general result together with some discussion can be found in the first volume of Takesaki's `Theory of Operator Algebras'.

$\endgroup$
1
  • 2
    $\begingroup$ It is also a special case of a general decomposition property of Dedekind complete Riesz spaces. See 353 in Fremlin's Measure Theory. $\endgroup$ Jan 21, 2016 at 20:16
7
$\begingroup$

Let's recall a simple, elementary, and general fact that hasn't been explicitly mentioned: a dual Banach space is always a splitting subspace in the isometric embedding into its double dual.

Let $i_X:X\to X^{**}$ denote the natural isometric embedding of $X$ in $X^{**}$. If we dualize, we have a transpose operator, $i_X^*:X^{***}\to X^*$ (that we may identify as the restriction map, which takes a linear form on $X^{**}$ to its restriction on $X$ as a subspace of $X^{**}$). On the other hand we also have the isometric embedding $i_{X^*}:X^*\to X^{***}$. It is a straightforward (though a bit formal) computation checking that $i_{X}^*$ is left-inverse to $i_{X^*}$, that is $i_{X}^*i_{X^*}=1_{X^*}.$ As a consequence of this, $P:=i_{X^*}i_{X}^*$ is a linear projector with $\operatorname{ker}P=\operatorname{ker}i_X^*=X^\perp$ corresponding to the splitting $X^{***}=X^*\oplus X^\perp$.

$$*$$

Checking the identity $i_{X}^*i_{X^*}=1_{X^*}.$ This means $i_{X}^*i_{X^*}f=f$ for all $f\in X^*$, which also means $\langle i_{X}^*i_{X^*}f, x\rangle=\langle f, x\rangle$ for all $x\in X$ and $f\in X^*$. Indeed

$$\langle i_{X}^*i_{X^*}f, x\rangle_{X^*\times X}=\langle i_{X^*}f, i_{X} x\rangle_{X^{***}\times X^{**}}=\langle i_{X} x,f\rangle_{X^{**}\times X^*}=\langle f, x\rangle_{X^*\times X},$$ by the definition of the transpose operator $i_{X}^*$, respectively by the definition of the embeddings $i_{X^*}$ and $i_{X}$.

$\endgroup$
5
  • 5
    $\begingroup$ I use this fact to give a quick and easy construction of the Borel functional calculus for a self-adjoint operator $A \in B(H)$. The continuous functional calculus is an isometric linear map from $C({\rm spec}(A))$ into $B(H)$. Double dualizing, we get an isometric linear map from $C({\rm spec}(A))^{**}$ into $B(H)^{**}$. Since $B(H)$ is a dual space, we can project that $B(H)^{**}$ onto $B(H)$; restricting the domain to ${\rm Bor}({\rm spec}(A)) \subseteq C({\rm spec}(A))^{**}$ then yields the Borel functional calculus. $\endgroup$
    – Nik Weaver
    Jan 24, 2018 at 22:55
  • $\begingroup$ @NikWeaver Aren't you using Arens products somewhere in the background, then? $\endgroup$
    – Yemon Choi
    Jan 24, 2018 at 22:56
  • $\begingroup$ @YemonChoi You mean, to get multiplicativity? Sure, I guess you can do it that way. Probably I would just make a continuity argument, given that the continuous functional calculus is multiplicative. $\endgroup$
    – Nik Weaver
    Jan 24, 2018 at 23:26
  • $\begingroup$ @NikWeaver: Wonderful $\endgroup$ Jan 24, 2018 at 23:34
  • $\begingroup$ Just a wee remark. One can avoid the use of the double dual of $B(H)$ in this argument by employing one of the vector-valued versions of the Riesz representation theorem to show that this operator is integration with respect to a measure with values in $B(H)$—-this works because the unit ball of the latter is compact for a suitable topology, the weak operator topology. $\endgroup$
    – user131781
    Nov 13, 2019 at 21:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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