Why not just build an isometric isomorphism between and ? Let be defined by .
So I know how to prove that the space of all continuous functions in [0,1] is separable. But I was thinking, the space of real valued continuous functions which are periodic (with period 2pi) should also be separable. The prof didn't prove this (and I am not sure he will) but I am interested in seeing a proof nevertheless.