Suppose that $\{v_1,…,v_n\}$ be a basis for an inner product space $V$, and $v=a_1v_1+…+a_nv_n$ implies $||v||^2=a_1^2+…+a_n^2$, then can we say that the given basis is orthonormal? If so how?
I tried that $<a_1v_1+…+a_nv_n, a_1v_1+…+a_nv_n>=\sum_{i,j}a_ia_j<v_i,v_j>$ given that it is equal to $a_1^2+…+a_n^2$, thus can we conclude?
Best Answer
Hint: Note that $\left\| v\right\|^2 = \langle v , v\rangle$ for all $v\in V$. Therefore, you can show using inner product properties that $\left\| v + w\right\|^2 = \left\|v \right\|^2 + \left\|w \right\|^2 + 2 \langle v, w\rangle $ in a real inner product space, so
$$ \langle v, w\rangle = \frac{\left\| v + w\right\|^2 - \left\|v \right\|^2 - \left\|w \right\|^2}{2},$$
for all $v,w\in V$.
Try to use this to show that $\langle v_i , v_i\rangle = 1$ for all $i$ and $\langle v_i , v_j\rangle = 0$ for all $i\ne j$.