  Any collection of \(N\) mutually orthogonal vectors of length 1 in an \(N\)-dimensional vector space constitutes an orthonormal basis for that space. Let \(\ket{A_1}, \ldots, \ket{A_N}\) be such a collection of unit vectors. Then every vector in the space can be expressed as a sum of the form: