i removed if v is separable it follows that any vector in v can be written as a possibly infinite linear combination of vectors from s linear combinations are by definition finite so we would have to say a bit more to make this statement precise even then i'm not sure that it is true in general it surely works in hilbert spaces though may utc