Algebraic infinite sum notation
On an infinite-dimensional vector space one usually defines a linear combination as a finite sum; for instance, if is a basis of the -vector space , one may write, for some finite part of : I find this notation cumbersome, because it seems to make the sum dependent on the arbitrary choice of the finite…