3
$\begingroup$

Is my attempt at the following proof correct?

Given that $\beta$ is a basis for a finite dimensional inner product space $V$ . Prove that if $\langle x,z\rangle = 0$ for all $z\in\beta$ then $x = 0$.

Proof. Let $\beta = \{z_1,z_2,...,z_n\}$ and $x = c_1z_1+c_2z_2+\cdot\cdot\cdot+c_nz_n$ then $\langle x,x\rangle = \langle x, c_1z_1+c_2z_2+\cdot\cdot\cdot+c_nz_n\rangle$ and by appealing to the conjugate linearity of $\langle\cdot,\cdot\rangle$ in second component we have $\langle x,x\rangle = \overline{c_1}\langle x,z_1\rangle+\overline{c_2}\langle x,z_2\rangle+\cdot\cdot\cdot+\overline{c_n}\langle x,z_n\rangle$ but from hypothesis $\langle x,z_1\rangle = \langle x,z_2\rangle = \cdot\cdot\cdot = \langle x,z_n\rangle = 0$ consequently $\langle x,x\rangle = 0$ which is equivalent to $x = 0$.

$\blacksquare$

$\endgroup$

1 Answer 1

1
$\begingroup$

Yes, it seems fine to me. Well done! It could do with some punctuation though instead of it being just one sentence.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .