Take the 2-minute tour ×
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.

$X$ be a compact hausdorf 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|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
1  
See also: math.stackexchange.com/q/250325/49437 for a generalization. –  Martin Feb 7 '13 at 15:04
add comment

1 Answer

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 Hausdorff, by 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|improve this answer
2  
Perhaps it's worth pointing out where we used the compactness assumption... –  Zhen Lin Feb 7 '13 at 13:12
add comment

Your Answer

 
discard

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.