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!

$\endgroup$
  • 3
    $\begingroup$ Can you find a Lindelöf space that maps continuously onto $C_p[0,1]$? (Hint: there is one in the thread you link to). Recall (or prove): if $X$ is Lindelöf and $Y$ is regular and $f\colon X \to Y$ is continuous then $Y$ is Lindelöf. $\endgroup$ – t.b. Sep 3 '12 at 1:32
  • $\begingroup$ If you show it is Lindelöf, then (every $C_{p}(X)$ being regular, even completely regular) it is also normal. So it's only the first that you need to concern yourself with. $\endgroup$ – Henno Brandsma Sep 3 '12 at 5:55
  • $\begingroup$ Hint: if $X$ has a countable network, so does $C_p(X)$. A network is like a base, but the members need not be open sets. A regular space with a countable network is Lindelöf... $\endgroup$ – Henno Brandsma Sep 3 '12 at 6:02
  • $\begingroup$ @t.b. I'm not seeing which space you are talking about from the thread I linked to. Can you give me any more hints or suggestions? $\endgroup$ – Maria Sep 3 '12 at 17:32
  • 2
    $\begingroup$ The space $C[0,1]$ with the $\sup$-norm is a separable Banach space, hence second countable and thus Lindelöf. The identity mapping $C[0,1] \to C_p[0,1]$ is continuous. $\endgroup$ – t.b. Sep 3 '12 at 17:47
4
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.