Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$X$ be a compact Hausdorff space such that $\dim$ $C(X,\mathbb{R})<\infty$ we need to show $|X|<\infty$, I must say I have no idea how to prove this result. please help. Thank you!

share|cite|improve this question
Can you show that you can always extend a function defined on a finite set of points on $X$ to a continuous function on all of $X$? – Zhen Lin Feb 7 '13 at 11:51
See also: for a generalization. – Martin Feb 7 '13 at 15:04
up vote 4 down vote accepted

Let $N$ be the dimension of $C(X,\Bbb R)$. Assume that there are $N+1$ distinct points $x_1,\dots,x_{N+1}$ in $X$. As $X$ is compact and Hausdorff it is normal, hence by the Urysohn lemma, we can find for each $j$ a continuous function $g_j\colon X\to\Bbb R$ such that $g_j(x_k)=0$ when $k\neq j$ and $g_j(x_j)=1$.

The family $\{g_j,1\leqslant j\leqslant N+1\}$ is necessarily linearly dependent, so we can assume that $g_{N+1}=\sum_{j=1}^Ng_j$. Evaluating this equality at $x_{N+1}$ yields a contradiction.

This proves that $\dim C(X,\Bbb R)=\operatorname{card}(X)$.

The result is not necessarily true when $X$ is not assumed to be Hausdorff. For example, take $X$ an infinite set with the topology $\{\emptyset,X\}$. The only continuous functions are constant ones.

share|cite|improve this answer
Perhaps it's worth pointing out where we used the compactness assumption... – Zhen Lin Feb 7 '13 at 13:12
@ZhenLin: Even I can't see where compactness is used. – S.C. May 30 '14 at 8:39
You need some assumption on $X$ to apply Urysohn's lemma. – Zhen Lin May 30 '14 at 9:47
You are right. This is indeed where compactness is used (I should have done this edit one year ago...). – Davide Giraudo May 30 '14 at 9:51

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.