Page "Bra-ket notation" Paragraph 137

Consider a complete orthonormal system ( basis ),, for a Hilbert space H, with respect to the norm from an inner product.

From basic functional analysis we know that any ket can be written as