1
$\begingroup$

Let $I=[0,1]$ and $K$ is a compact space. Then could the function space $I^K$ be submetrizable, even metrizable? In other words, in general, if $I^A$ can be submetrizable (metrizable) for some space $A$, what's condition that $A$ should satisfying?

  • 0
    Really, I want to know the results on the topology of uniform convergence, the topology of pointwise convergence and the compact-open topology.2011-12-31

1 Answers 1

4

If $A$ is compact, $I^A$ is metrizable with the metric being the uniform norm. That is, $d(f,g):=\sup_{a\in A} d(f(a),g(a))$.

  • 0
    @Henno Brandsma, could you give me a proof for it?2011-12-31