Fijada una base del espacio de Hilbert unitaria formula_9 tal que,