Extending an orthonormal set

33 Views Asked by At

Prove that given any orthonormal set $\{e_1, \dots, e_k\}$, where $k < m$, there exists a vector $e_{k+1} \in V^m$ such that $\{e_1, \cdots, e_k, e_{k+1}\}$ is an orthonormal set.

Am unsure what properties I should use to prove this.