With abasis\(\left\{ {{{\bf{x}}_1}, \ldots ,{{\bf{x}}_p}} \right\}\)for a nonzero subspace \(W\) of \({\mathbb{R}^n}\), the expressionis shown below:
\(\begin{aligned}{}{{\bf{v}}_1} &= {{\bf{x}}_1}\\{{\bf{v}}_2} & = {{\bf{x}}_2} - \frac{{{{\bf{x}}_2} \cdot {{\bf{v}}_1}}}{{{{\bf{v}}_1} \cdot {{\bf{v}}_1}}}{{\bf{v}}_2}\\ \vdots \\{{\bf{v}}_p} & = \frac{{{{\bf{x}}_p} \cdot {{\bf{v}}_1}}}{{{{\bf{v}}_1} \cdot {{\bf{v}}_1}}}{{\bf{v}}_p} - \frac{{{{\bf{x}}_p} \cdot {{\bf{v}}_2}}}{{{{\bf{v}}_2} \cdot {{\bf{v}}_2}}}{{\bf{v}}_p} - \ldots - \frac{{{{\bf{x}}_{p - 1}} \cdot {{\bf{v}}_{p - 1}}}}{{{{\bf{v}}_{p - 1}} \cdot {{\bf{v}}_{p - 1}}}}{{\bf{v}}_{p - 1}}\end{aligned}\)
Therefore, theorthogonal basisfor \(W\) is \(\left\{ {{{\bf{v}}_1}, \ldots ,{{\bf{v}}_p}} \right\}\). Furthermore,
\({\mathop{\rm Span}\nolimits} \left\{ {{{\bf{v}}_1}, \ldots ,{{\bf{v}}_k}} \right\} = {\mathop{\rm Span}\nolimits} \left\{ {{{\bf{x}}_1}, \ldots ,{{\bf{x}}_k}} \right\}\) for \(1 \le k \le p\).