Besides containing the compact spaces, what other properties do you want ${\mathcal C}$ to have? (I guess, really, what kind of category are you after?)
–
Yemon ChoiMar 22 '12 at 0:32

I have no clue if there is such a $\mathcal{C}$ and if, what properties its spaces have. Assume the question had asked for $C_0$ instead of $C_c$. Then, I think it would be difficult to guess that the property is "locally compact".
–
RalphMar 22 '12 at 0:51

My point was more that you seem to implicitly assume some kind of maximality or closure property of your class. Otherwise you have silly examples, such as the class of all infinite compact Hausdorff spaces, together with an infinite set with indiscrete topology. What do you actually mean by "class"?
–
Yemon ChoiMar 22 '12 at 4:38

1

Can we say the 'iff' requirement in question will take care of other conditions on the class $\mathcal{C}$? Another question: Does the answer depend on topological considerations on the function spaces also or is it purely algebraic?
–
UdayMar 22 '12 at 7:23

@Yemon: One condition it would be nice to have is that all rings that can be realized are realized in $\mathcal{C}$. I don´t know if this is true for the locally compact vs. $C_0$ case.
–
Ramiro de la VegaMar 22 '12 at 11:55

1 Answer
1

My naive feeling is that the answer is simply the class of locally compact Hausdorff spaces, for the following reasons. First, for a locally compact Hausdorff space $X$, one can recover $C_0(X)$ from $C_c(X)$ by completion in the uniform norm; and the uniform norm is an algebraic feature because it can be derived from the characters on the ring $C_c(X)$. So for $X$ and $Y$ locally compact Hausdorff, if $C_c(X)$ and $C_c(Y)$ are isomorphic then $X$ and $Y$ are homeomorphic.

Now suppose that $X$ is any completely regular (Hausdorff) space (and surely it is topological spaces in this class that we are interested in). Then $X$ is the disjoint union of an open locally compact subset $X_0$ consisting of points which have a compact neighbourhood and a closed subset $X_1$ consisting of points which do not. Each $f\in C_c(X)$ vanishes on $X_1$ so we are not going to get any information about $X_1$ from $C_c(X)$.

So my feeling is that $C_c(X)$ determines $X_0$ up to isomorphism but gives no information about $X_1$.

To complement this answer: The ring $C_c(X)$ can be directly recovered from $C_0(X)$ as the smallest dense (in the uniform norm) ideal of $C_0(X)$. Say $I$ is a dense ideal of $C_0(X)$ and $f$ is a positive function in $C_0(X)$. Choose $g$ in $I$ such that $|f-g|<\epsilon$. Then one can show that $(f-\epsilon)_+$ is a multiple of $g$ and so belongs to $I$. In this way we get that $C_c(X)$ is contained in $I$.
–
Leonel RobertMar 25 '12 at 21:51