Linear Algebra and Its Applications · Problem 3.1.20

Orthogonality — Gilbert Strang

Mathematics · orthogonal-vectors-subspaces

Problem

Let

S

be a subspace of

\mathbf{R}^n

. Explain what

(S^\perp)^\perp = S

means and why it is true.