On the closure of the sum of closed subspaces

Abstract

We give necessary and sufficient conditions for the sum of closed subspaces of a Hilbert space to be closed. Specifically, we show that the sum will be closed if and only if the angle between the subspaces is not zero, or if and only if the projection of either space into the orthogonal complement of the other is closed. We also give sufficient conditions for the sum to be closed in terms of the relevant orthogonal projections. As a consequence, we obtain sufficient conditions for the existence of an optimal solution to an abstract quadratic programming problem in terms of the kernels of the cost and constraint operators.