States and finite-support GNS models of convergent sequences ($F(\alpha )=w_{\infty }{\alpha }_{\infty }+{\sum }_j{w}_j{\alpha }_j$)

On the C-star algebra of convergent complex sequences, a functional in the displayed coordinate representation is a state on a C-star algebra exactly when all its weights are nonnegative and sum to one. Coordinate projections test positivity of $w_j$ at finite indices. Positive sequences with the first $N$ terms zero and the rest one test $w_{\infty }$ after passage to the limit. The known dual isometry makes the norm the sum of the absolute weights, proving necessity and sufficiency.

If only finitely many weights are positive, the GNS construction identifies the quotient by $\{\alpha :F({\alpha }^{\ast }\alpha )=0\}$ with the values at precisely those supporting indices. Its inner product is the weighted coordinate inner product. Passing to the standard Hilbert norm gives diagonal evaluation operators and cyclic vector whose entries are the square roots of the weights. Arbitrary finite coordinate values and the limiting value can be assigned independently by a convergent sequence, which proves cyclicity. For weights $1/2$ at infinity and $1/4$ at each of the first two indices, the space is ${\mathbb{C}}^3$ and the cyclic vector is $(1/\sqrt{2},1/2,1/2)$.