Characterization of the closedness of the sum of two shift-invariant spaces

Abstract

We first present a formula for the supremum cosine angle between two closed subspaces of a separable Hilbert space under the assumption that the ‘generators’ form frames for the subspaces. We then characterize the conditions that the sum of two, not necessarily finitely generated, shift-invariant subspaces of L 2 ( R d ) be closed. If the fibers of the generating sets of the shift-invariant subspaces form frames for the fiber spaces a.e., which is satisfied if the shift-invariant subspaces are finitely generated or if the shifts of the generating sets form frames for the respective subspaces, then the characterization is given in terms of the norms of possibly infinite matrices. In particular, if the shift-invariant subspaces are finitely generated, then the characterization is given wholly in terms of the norms of finite matrices.