Theorem
The setof continuous functions on
with the maximum metric
is second countable.
Proof
LetAccording to the Weierstrass approximation theorem, there existas a polynomial
with rational coefficients such that
for all
Hence the set of polynomials with rational coefficients is dense in C[0,1].
The set of polynomials with rational coefficients is countable hence C[0,1] contains a countable dense subset P[0,1] which is separable. A sepable metric space is second countable so C[0,1] is second countable with the maximum metric.