4
$\begingroup$

Earlier this year, thanks to various users on this site, I was able to answer a question dealing with the properties of $C_{p}([0,1])$ here: Properties of Cp(X).

$C_{p}([0,1])$ is the space of all continuous real-valued functions on $[0,1]$ with the topology of point-wise convergence.

I was looking at problems dealing with this space, and I came across these two:

Prove that the space $C_{p}([0,1])$ is Lindelöf.

Is $C_{p}([0,1])$ normal?

Can anyone help me out with this one? Thanks in advance!

  • 0
    @t.b. Thank you! You have helped me greatly!2012-09-03

1 Answers 1

4

Here's how I would argue (summarizing the comments):

  1. The space $C[0,1]$ with the $\sup$-norm is a separable Banach space, hence it is second countable and thus Lindelöf. The identity mapping $C[0,1] \to C_p[0,1]$ is a continuous bijection, so $C_p[0,1]$ is Lindelöf (if your definition of Lindelöf includes regular, use the first sentence in 2. in addition).

  2. $C_p[0,1]$ is regular because it is $\mathbb{R}^{[0,1]}$ with the product topology. A regular Lindelöf space is paracompact and hence normal.

Alternatively for 1., you could take the route suggested by Henno in the comments and prove the stronger property that $C_p[0,1]$ has a countable network, hence it is Lindelöf.