10
$\begingroup$

I need to show that if $X$ is an uncountable Tychonoff space, then $C(X)$ is not metrizable. All I've been able to show so far is that that $F(X)$, the space of all functions with pointwise topology, is homeomorphic to $\mathbb{R}^X$ (the product) which is not metrizable, but I can't seem to get much further. Thanks.

  • 2
    The following result is known: $C_p(X)$ is first countable if and only if $X$ is countable. See McCoy, Ntantu: Topological Properties of Spaces of Continuous Functions, Theorem 4.4.2; or Tkachuk: A $C_p$-Theory Problem Book, Problem 169, [p.142](http://books.google.com/books?id=EcINw8FHIAoC&pg=PA142). [This question](http://math.stackexchange.com/questions/83815/properties-of-cpx) might also be interesting for you.2012-08-07

1 Answers 1

6

Hint: If the pointwise convergence topology was metrizable, it would be first countable, so $0$ would have a countable neighbourhood base. Thus there would be a sequence of open neighbourhoods $U_i$ of $0$ such that every neighbourhood of $0$ contains some $U_i$.
By definition of the topology of pointwise convergence, for each $i$ there exist some finite set $J_i$ and some $\epsilon_i > 0$ such that $f \in U_i$ if $|f(x)| < \epsilon_i$ for all $x \in J_i$. Now define another neighbourhood $U$ of $0$, and use the fact that $X$ is completely regular to show that for any $i$ there is some $f \in C(X)$ such that $f \in U_i$ but $f \notin U$.

  • 0
    Why by definition of the topology of pointwise convergence do we have the for each $i$ there exists this finite set $J_i$ and $\epsilon_i$ such that $f \in U_i$ if |f(x)| < \epsilon_i ? I am not clear as to why there is such a finite set.2017-12-28