Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $C_b(X)$ be a space of bounded continuous functions on a locally compact space $X$ equipped with the supremum norm. How to show that $C_b(X)$ is reflexive if and only if $X$ is finite?

share|cite|improve this question
Do you know what the dual of $C_b(X)$ is? – Christopher A. Wong Dec 4 '12 at 2:18
This can be reduced to the case where $X$ is compact. $C_b(X)\cong C(\beta X)$. – Jonas Meyer Dec 4 '12 at 5:31
Why do you accept an incomplete answer when you received three full answers? – Martin Dec 19 '12 at 21:19

3 Answers 3

up vote 2 down vote accepted

This is only a partial answer. I assume that $X$ have finite amount of connected components.

If $X$ is finite then $C_b(X)$ is finite dimensional and the result follows. If $X$ is infinite then $C_b(X)$ and $c_b(X)^{**}$ are infinite dimensional. Assume $C_b(X)$ is reflexive. Since $C_b(X)^{**}$ is the dual space, then by Banach–Alaoglu theorem its unit ball of $C_b(X)^{**}$ is weak-$^*$ compact. Hence by Krein–Milman theorem this unit ball is closed convex hull of its extreme points. Since $C_b(X)$ is reflexive, then $C_b(X)^{**}$ is isometricaly isomorphic to $C_b(X)$. As the consequence extreme points of unit ball of $C_b(X)^{**}$ is one-to-one correspondence with exteme points of unita ball of $C_b(X)$. One can check that there finitely many extreme points in the unit ball of $C_b(X)$. They are of the form $\sum\limits_{i=1}^n\alpha_i{1_{S_i}}$ whre $\{S_i\}_{i=1}^n$ are connected component of $X$ and $|\alpha_i|=1$ for all $i$. Thus unit ball of $C_b(X)^{**}$ is closed convex hull of finite amount of points! This implies that $C_b(X)^{**}$ is finite dimensional. Contradiction, hence $C_b(X)$ is not reflexive.

share|cite|improve this answer
Isn't any $f$ with $|f|\equiv 1$ an extreme point in $C_b(X)$? – Jonas Meyer Dec 4 '12 at 5:07
@JonasMeyer You are right. I thought of $C([0,1])$ when was writing this answer. – Norbert Dec 4 '12 at 5:11
Still, in $C[0,1]$, $f$ is an extreme point in the unit ball if and only if $|f(x)|=1$ for all $x\in[0,1]$. – Jonas Meyer Dec 4 '12 at 5:13
@JonasMeyer I consider real case. Well to answer this question one may apply a sledgehammer from this answer – Norbert Dec 4 '12 at 5:13
Oh yeah, I should have realized that. :) That could handle many cases, then. Thanks. – Jonas Meyer Dec 4 '12 at 5:15

It is clear that for finite $X$ the space $C_b(X)$ is reflexive because it is finite-dimensional.

Assume $X$ is infinite. Choose a sequence of distinct points $(x_n) \subset X$. The functionals $\delta_n (f) = f(x_n)$ yield an isometric embedding $(a_n) \mapsto \sum a_n \delta_n$ of $\ell^1$ into $C_b(X)^\ast$. This gives a closed non-reflexive subspace of $C_b(X)^\ast$, so $C_b(X)^\ast$ is not reflexive and hence $C_b(X)$ is not reflexive either.

The argument I gave is basically an easier (dual) version of Danny Leung's answer. The fact that $c_0$ embeds isometrically into $C_b(X)$ is a simple application of Urysohn's lemma: choose a sequence of pairwise distinct points in $X$ (which is possible since $X$ is infinite. Use Urysohn's lemma to construct a sequence of functions $f\colon X \to [0,1]$ such that $f_n(x_m) = \delta_{mn}$ with pairwise disjoint supports by induction. To embed $c_0$ isometrically into $C_b(X)$ send a sequence $a_n \in c_0$ to the continuous function $x \mapsto \sum a_n f_n(x)$.

share|cite|improve this answer
I didn't see the question about the dual space of $C_b(X)$ in the comments. It has no better description than the space of Radon measures on $\beta X$ via the identification of $C_b(X) = C(\beta X)$ (Stone–Čech compactification + Riesz representation theorem). – Martin Dec 4 '12 at 18:09
Where are you using the compactness of $X$? – J.G. Oct 1 at 16:30
I'm not sure that this is exactly easier. Proving that $\ell^1$ is not reflexive is actually a bit challenging, and it requires the axiom of choice. Proving that $c_0$ is not reflexive is a lot easier and can be done explicitly. – Nate Eldredge Nov 4 at 21:46

If X is infinite, then $C_b(X)$ contains a copy of $c_0$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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