Hi,
how can one shows that an orthonomal set in an inner product space is automatically an independent set?
Well, any such summation is zero when all the coefficients are zero......what you wanted to prove, and we achieved, is that only then the sum is zero, or in other words: if the sum is zero then all the coefficients equal zero. This, according to definition, means the vectors are lin. independient .
Tonio