[Math] Linear Independence and Inner Product Spaces

inner-productslinear algebraorthogonality

Let $S=\{v_1,v_2,\dots,v_n\}$ be a linearly independent subset of an inner product space $V$, and $w \in V$ where $w$ is orthogonal to each vector in $S$. Prove, using only the definition of linear independence, orthogonal vectors and the inner product space axioms that $S\cup\{w\}$ is also linearly independent.

I'm just not quite sure how to combine the definition of linear independence, orthogonal vectors and the inner product space axioms to show that $S\cup\{w\}$ is also Linearly Independent.

Best Answer

Suppose that $c_1v_1+\dotsb+c_nv_n+c_{n+1}w=0$ for some scalars $c_i$. Take the inner product of the left hand side and right hand side with $w$ and use the fact $w$ is orthogonal to each vector in $S$ to deduce that $c_{n+1}=0$. Finally use the fact that the $\{v_i\}$ form a linearly independent set to deduce that $c_i=0$ for $1\leq i\leq n$.