1
$\begingroup$

Suppose we have a pseudocompact, Hausdorff space $L$ (pseudocompact means that each continuous function $f\colon L\to \mathbb{R}$ is bounded). Consider the space $C(L)$ of continuous real-valued functions on $L$. It seems that it is a Banach space (the proof for compact spaces should carry on).

Assuming $L$ is locally compact, is $C(L)$ isomorphic to $C_0(L)$, where $C_0(L)$ stands for the Banach space of continuous functions vanishing at infinity?

1 Answers 1

2

Edit: This answers a previous version of the question.

$C(L)$ is not equal to $C_0(L)$. For example, $C(L)$ contains the constant function 1, which is not in $C_0(L)$ unless $L$ is compact.

  • 1
    There can be other examples besides @NateEldredge 's constant functions. Suppose $L$ is a noncompact pseudocompact Hausdorff space. Then so is $M = L \sqcup L$, the disjoint union of two copies of $L$, and on $M$ we can have a continuous function that is $1$ on the first copy of $L$, $0$ on the second, so that this function has no limit at infinity.2012-07-22