Supóngase que "W" tiene una base ortonormal, que denotamos por la notación vectorial de ket como formula_17.