6
$\begingroup$

Let $\Omega$ be a compact metric space and $C(\Omega,\mathbb{R})$ the space of borel continuous real valued functions. I would like to know if there is any real Banach space $V$ such that its dual space (topological)is exactly $C(\Omega,\mathbb{R})$.

My main interest is when $\Omega$ is an infinite cartesian product as for example, $\Omega=E^{\mathbb{Z}^d}$, where $E$ is a compact metric space. If the answer for this case is also negative are we in a better situation if $E$ is a finite set ?

Thanks for any comment or reference.

Edition. Remove the superfluous hypothesis pointed out by Philip.

  • 0
    In the infinite Cartesian product example you mention, I don't think you have a separable metric space. Or are you taking some kind of restricted direct product?2012-02-10
  • 1
    What do you mean by "Borel continuous"? Are they continuous, or only Borel? If you mean continuous, then e.g. if $\Omega=[0,1]$ or another connected space, then the only extreme points of the unit ball of $C(\Omega,\mathbb R)$ will be the constant functions $f=1$ and $f=-1$, and by the Krein-Milman theorem this implies that $C(\Omega,\mathbb R)$ is not a dual space. If $\Omega$ is the one point compactification of the integers then you get a space isomorphic to the space of convergent sequences, which I believe is not a dual space but don't know how to show it.2012-02-10
  • 1
    In fact: in the complex-valued case, C(X) for X compact Hausdorff is a dual Banach space precisely when it is an abelian von Neumann algebra, which happens if and only if X is extremely disconnected. I have a feeling that the only Von Neumann algebras that are separable in norm topology are the finite dimensional ones. Now all this should carry over to the real-valued case, implying that $\Omega$ is finite...2012-02-10
  • 0
    @Yemon: Your feeling about separability of von Neumann algebras is correct. There's maybe an easier way to show it than this, but every infinite dimensional C*-algebra contains an element with infinite spectrum, and with Borel functional calculus of a self-adjoint element with infinite spectrum it isn't hard to show that the von Neumann algebra generated by such an element is nonseparable.2012-02-10
  • 0
    @YemonChoi I think that this cartesian space is always separable in this case, because $E^{\mathbb{Z}^d}$ is compact in the product topology, which is in this case generated by the metric $d_1(\omega,\eta)=\sum_{i\in\mathbb{Z}^d}\frac{1}{2^{\|i\|}} d(\omega_i,\eta_i)$, where $\omega=(\omega_i)_{i\in\mathbb{Z}^d}$ and $d$ is the metric on $E$.2012-02-10
  • 1
    @Yemon: your "if and only if" is not exactly right. There are extremely disconnected compact spaces $X$ such that $C(X)$ is not a von Neumann algebra. The right iff is given by **hyperstonean** spaces; these are extremely disconnected but they have the additional property that $C(X)$ has normal states.2012-02-22
  • 0
    @Martin You are of course correct - the embarrassing thing is that I even pointed this out on a MO answer (the Dixmier example which is AW but not von Neumann, right?)2012-02-22
  • 0
    @Yemon: yes, that's the canonical example. You can obtain the corresponding $X$ from $[0,1]$ by taking the projective limit over reverse inclusion of the Stone-Cech compactifications of the open dense subsets of $[0,1]$.2012-02-22

2 Answers 2

8

Firstly, let me just point out that every compact metric space is automatically separable.

Secondly, note that $c_0$ does not embed into any separable dual space, hence neither does any Banach space containing a subspace isomorphic to $c_0$. Since every $C(K)$ space ($K$ compact Hausdorff) contains a subspace isomorphic to $c_0$, no $C(K)$ space embeds isomorphically into a separable dual space. In particular, since metrizability of $K$ is equivalent to $C(K)$ being norm separable, the answer to your question is always no.

For a reference for all of the above claims, look up $C(K)$ and $c_0$ in the index of Albiac and Kalton's book Topics in Banach Space Theory.

  • 0
    Hi Philip thanks a lot for your help. I will have a look at the reference you provided.2012-02-10
0

The result is false in general. For example, consider $\Omega=\{\frac 1 n: n\in \mathbb N\}\cup \{0\}$, then $C(\Omega,\mathbb R)=c_0$ which is not a dual space. Edit: I'm adding some references: My claim follows from Proposition 4.4.1 of Albion and Kalton's book.

  • 0
    hi azarel, you mean that $c_0$ has no a predual space ? could you elaborate more or give me a reference ?2012-02-10
  • 1
    $c_0$ *is* a *pre-dual space* (it is the predual of its dual), however it is not a *dual space* (which is what you mean to say).2012-02-10
  • 2
    In your example, $C(\Omega,\mathbb R)\cong c$, the space of real convergent sequences, not $c_0$. It is easier to see that $c_0$ is not a dual space, because its unit ball has no extreme points. I don't know how to show that $c$ is not a dual space.2012-02-10
  • 0
    Note that $c_0=c_0\oplus \mathbb R=c$2012-02-10
  • 1
    @azarel: No, $c_0\neq c$.2012-02-10
  • 0
    @JonasMeyer. Are you sure? The last paragraph on page 87 on Albiac and Kalton's book says otherwise.2012-02-10
  • 0
    @JonasMeyer Fair enough2012-02-10
  • 0
    Jonas, if you now move to the isomorphic rather than the isometric case, what do you mean by "is a dual space"? It's not clear to me why knowing that c_0 has no isometric predual immediately implies that all spaces isomorphic to it also fail to have isometric preduals...2012-02-11
  • 0
    @Yemon: Thank you for pointing that out, that comment didn't make sense. In fact, I will delete it. (You can alert people of comments directed to them using `@username`; I only happened to look back at this just now.)2012-02-12