Completion by perturbations

Abstract

We prove that any non-complete orthonormal system in a Hilbert space can be transformed into a basis by small perturbations.