Projection geometry and relaxed quasi-orthogonality for inf-sup stable Galerkin methods

We give an elementary, coordinate-free proof that uniformly inf-sup stable nested Petrov-Galerkin methods on Hilbert spaces satisfy relaxed general quasi-orthogonality. More precisely, the accumulated squared Galerkin increments over any window of $N$ consecutive levels are bounded by the squared er