Let formula_2 be a Hilbert space, and suppose that formula_3 is an orthonormal sequence in formula_2.
Пусть formula_2 — гильбертово пространство, и formula_3 — ортонормированная последовательность элементов formula_2.