- #1
RJLiberator
Gold Member
- 1,095
- 63
Homework Statement
Prove that <v|0>=0 for all |v> ∈ V.
Homework Equations
The Attempt at a Solution
This is a general inner product space.
I break it up into 2 cases.
Case 1: If |v> = 0, the proof is trivial due to inner space axiom stating <0|0> = 0.
Case 2: If |v> =/= 0 then:
I use <v|0> = Σv_i * 0_i
and from here it is clear to see that the sum adds up to 0 as every component is multiplied by the 0 vector.
My question: Is this a safe definition of the complex inner product? Am I OK to use the summation definition in this general proof?
Second Question: Is the proof correct? Any reason why the 0 vector would need to be proven further to sum the components to 0?
Thanks