Undergrad Linear Algebra - Inner Product problem

Click For Summary
The discussion revolves around proving or disproving the statement that if the inner product (u, v) equals zero for every vector v in a vector space V, where v is not equal to u, then u must be zero. Participants suggest that the condition may be miswritten and should specify (u, v) = 0 for all v ≠ 0, which would imply u = 0. They also discuss the implications of the inner product axioms, particularly that (u, u) = 0 if and only if u = 0. The conversation highlights the importance of linearity in the inner product and the potential use of a basis to analyze the vectors involved. Overall, the consensus leans towards the necessity of showing (u, u) = 0 to conclude that u = 0.
RikaWolf
Messages
2
Reaction score
0
TL;DR
Prove/Disprove - Inner Product topic
I need help to know if I'm on the right track:
Prove/Disprove the following:
Let u ∈ V . If (u, v) = 0 for every v ∈ V such that v ≠ u, then u = 0.
(V is a vector-space)
I think I need to disprove by using v = 0, however I'm not sure.
 
Physics news on Phys.org
RikaWolf said:
Summary: Prove/Disprove - Inner Product topic

I need help to know if I'm on the right track:
Prove/Disprove the following:
Let u ∈ V . If (u, v) = 0 for every v ∈ V such that v ≠ u, then u = 0.
(V is a vector-space)
I think I need to disprove by using v = 0, however I'm not sure.
I assume you have a real, finite dimensional vector space here.

You are right, ##(u,0)=0## is always true for any ##u##, which makes me think there is a typo. The condition is probably ##(u,v)=0## for every ##v\neq 0##, then ##u=0##.

What does it mean, that ##(u,v)=0## for all ##v\neq 0## and what does it mean if you chose a basis and express ##u## according to this basis?
 
fresh_42 said:
I assume you have a real, finite dimensional vector space here.

You are right, ##(u,0)=0## is always true for any ##u##, which makes me think there is a typo. The condition is probably ##(u,v)=0## for every ##v\neq 0##, then ##u=0##.

What does it mean, that ##(u,v)=0## for all ##v\neq 0## and what does it mean if you chose a basis and express ##u## according to this basis?
Well then, assuming v= {b1...bn}, u={a1...an} there could still be a (u,v)=0 when v= {-an...-a} and u isn't 0
 
##(u,v)=0## means that ##u## and ##v## are perpendicular to each other. Now how can a vector ##u## be perpendicular to all the rest? Have you had the Gram Schmidt orthogonalization algorithm in your course, yet?
 
RikaWolf said:
Summary: Prove/Disprove - Inner Product topic

I need help to know if I'm on the right track:
Prove/Disprove the following:
Let u ∈ V . If (u, v) = 0 for every v ∈ V such that v ≠ u, then u = 0.
(V is a vector-space)
I think I need to disprove by using v = 0, however I'm not sure.

Let me add to the above by explaining how I thought about this:

First, why are we not given that ##(u, u) = 0##? Well, one of the inner product axioms is that ##(u, u) = 0## iff ##u =0##.

Now, that gives me an idea of how to prove that ##u = 0##. If I could show that ##(u, u) = 0## then that would be enough.

So, how to show that ##(u, u) = 0##?

First, I can see an easy way that is a bit of a cheat. So, if I don't use that, what else can I do?

Well, there's the linearity of the inner product: ##(u, v+w) = (u, v) + (u, w)##. Perhaps I could use that ...
 
  • Like
Likes Cryo
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K