Let A be a linear space of operators on a Hilbert space H, x a vector in H, and Ax the subspace of H comprising all vectors of the form Tx with T in A. We discuss, within a Bishop-style constructive framework, conditions under which the projection [Ax] of H on the closure of Ax exists. We derive a general result that leads directly to both the open mapping theorem and our main theorem on the existence of [Ax].

• 03F60 - Constructive and recursive analysis
• 46C05 - Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
• 46S30 - Constructive functional analysis
• 47S30 - Constructive operator theory