Most Iterations of Projections Converge

Consider three closed linear subspaces C₁, C₂, C 1 , C 2 , and C₃ C 3 of a Hilbert space H and the orthogonal projections P₁, P₂ P 1 , P 2 and P₃ P 3 onto them. Halperin showed that a point in C₁∩ C₂ ∩ C₃ C 1 ∩ C 2 ∩ C 3 can be found by iteratively projecting any point x₀ ∈ H x 0 ∈ H onto all the sets in a periodic fashion. The limit point is then the projection of x₀ x 0 onto C₁∩ C₂ ∩ C₃ C 1 ∩ C 2 ∩ C 3 . Nevertheless, a non-periodic projection order may lead to a non-convergent projection series, as shown by Kopecká, Müller, and Paszkiewicz. This raises the question how many projection orders in \1,2,3 { 1 , 2 , 3 } N are “well behaved” in the sense that they lead to a convergent projection series. Melo, da Cruz Neto, and de Brito provided a necessary and sufficient condition under which the projection series converges and showed that the “well behaved” projection orders form a large subset in the sense of having full product measure. We show that also from a topological viewpoint the set of “well behaved” projection orders is a large subset: it contains a dense G_δ G δ subset with respect to the product topology. Furthermore, we analyze why the proof of the measure theoretic case cannot be directly adapted to the topological setting.