The GATE Grind

GATE 2025 MA – Question 54

Functional Analysis · Hilbert Spaces · 2 marks · Multiple select

An infinite orthonormal set {x_k} lies in a real Hilbert space X. Let Y=span{x₁,…,x_n} and $S_nx=\sum_{k=1}^n\langle x,x_k\rangle x_k$. Which statements hold?

  1. S_nx is the projection onto Y.
  2. S_nx is the projection onto Y⊥.
  3. x−S_nx is orthogonal to S_nx.
  4. Σₖ₌₁ⁿ|⟨x,x_k⟩|²=‖x‖² for every x.

Practise this question in The GATE Grind →

Show answer and explanation

Correct answer: (A) S_nx is the projection onto Y.; (C) x−S_nx is orthogonal to S_nx.

Explanation

S_nx lies in Y and subtracting it leaves zero inner product with each basis x_k, so it is the orthogonal projection onto Y and the remainder is orthogonal to it. A,C hold. Taking x=x_(n+1) gives left sum zero but ‖x‖²=1, disproving D; B identifies the wrong projection. **A,C**.

More Hilbert Spaces questions

All Hilbert Spaces questions →