projection of the span on orthonormal vectors

definition

  • , is a set of orthonormal vectors in