Hi.

I think I understand what you mean, but take care, the sums are exactly the same, changing indices' letters doesn't change anything.

But indeed if you want to have a vector space in bijection with one of his proper subspaces, then they must have the same infinite dimension.

Why don't you take an example, like , whose dimension in infinite (countable), and its subspace .

Is there an isomorphism between them?