Linear Combination Proof of Orthonormal basis

In summary, given an orthonormal basis (|v_1>, |v_2>, |v_3>) for V, any vector in V that is orthogonal to |v_3> can be expressed as a linear combination of |v_1> and |v_2>. This can be shown by taking the dot product of each side of the equation with v_1, v_2, and v_3, which reveals that the inner product of <v|v_3> must be 0 by the definition of orthogonality.
  • #1
RJLiberator
Gold Member
1,095
63

Homework Statement


Assume that [itex](|v_1>, |v_2>, |v_3>)[/itex] is an orthonormal basis for V. Show that any vector in V which is orthogonal to [itex]|v_3>[/itex] can be expressed as a linear combination of [itex]|v_1>[/itex] and [itex]|v_2>[/itex].

Homework Equations


Orthonormality conditions:
|v_i>*|v_j> = 0 if i≠j OR 1 if i=j.

The Attempt at a Solution


[/B]
I don't know how to mathematically prove this obvious one.
I understand the definitions here.

Orthonormal basis implies that the set of three vectors lives in dimension three and are all orthogonal to one another. This means the |v_1> *|v_2> = 0.

If some vector is orthogonal to |v_3> that means |x> |v_3> = 0.

I am pretty sure we have to use sum notation for an inner product and orthonormality conditions to prove this statement.

Hints on starting out properly?
Here's the only lead I have:

|x> = c*|v_1> + t*|v_2>
as it is a linear combination of v_1 and v_2. But we don't want to assume the proof.
 
Physics news on Phys.org
  • #2
RJLiberator said:

Homework Statement


Assume that [itex](|v_1>, |v_2>, |v_3>)[/itex] is an orthonormal basis for V. Show that any vector in V which is orthogonal to [itex]|v_3>[/itex] can be expressed as a linear combination of [itex]|v_1>[/itex] and [itex]|v_2>[/itex].

Homework Equations


Orthonormality conditions:
|v_i>*|v_j> = 0 if i≠j OR 1 if i=j.

The Attempt at a Solution


[/B]
I don't know how to mathematically prove this obvious one.
I understand the definitions here.

Orthonormal basis implies that the set of three vectors lives in dimension three and are all orthogonal to one another. This means the |v_1> *|v_2> = 0.

If some vector is orthogonal to |v_3> that means |x> |v_3> = 0.

I am pretty sure we have to use sum notation for an inner product and orthonormality conditions to prove this statement.

Hints on starting out properly?
Here's the only lead I have:

|x> = c*|v_1> + t*|v_2>
as it is a linear combination of v_1 and v_2. But we don't want to assume the proof.
It helps to think of the geometry here. Since ##v_1, v_2## and ##v_3## form a basis for V, then they span V. If ##v \in V## is orthogonal to ##v_3##, then it must lie in the two-dimensional subspace of V spanned by ##v_1## and ##v_2##; i.e., the plane that is spanned by these two vectors. At this point, I would draw a sketch, showing the plane of ##v_1## and ##v_2##, with ##v_3## sticking straight out of the plane. Recognizing that ##v_1## and ##v_2## lie in this plane, and are a basis for that two-D subspace of V, then v must be a linear combination of ##v_1## and ##v_2##. When you have a handle on the geometry, it should be easier to write a proof that fleshes out the details.
 
  • Like
Likes RJLiberator
  • #3
Since v1, v2, and v3 are a basis, any vector, v, can be written as v= av1+ bv2+ cv3. Now, take the inner product of both sides with v.
 
  • Like
Likes RJLiberator
  • #4
Thanks guys, what you have stated I understand.

Taking the starting point that hallsofivy has gifted me, it's clear to see that c = 0, and a and b can be any numbers. This essentially is the proof.
HallsofIvy suggests taking the inner product of both sides with v.

LHS: <v|v> = |v|^2
RHS: <v|av_1> + <v|bv_2> + <v|cv_3>
a*<v|v_1>+b*<v|v_1>+c*<v|v_3> = |v|^2

I'm not really sure what this proves, is this not assuming the proof?
 
  • #5
RJLiberator said:
Thanks guys, what you have stated I understand.

Taking the starting point that hallsofivy has gifted me, it's clear to see that c = 0, and a and b can be any numbers. This essentially is the proof.
HallsofIvy suggests taking the inner product of both sides with v.

LHS: <v|v> = |v|^2
RHS: <v|av_1> + <v|bv_2> + <v|cv_3>
a*<v|v_1>+b*<v|v_1>+c*<v|v_3> = |v|^2

I'm not really sure what this proves, is this not assuming the proof?
What else are you given in this problem? There is information given that you aren't using.

Your last line should be an equation showing that v is a linear combination of ##v_1## and ##v_2##.
 
  • Like
Likes RJLiberator
  • #6
Is it really as simple as stating that c must = 0 by the definition of orthogonal, and so low and behold, v must be a linear combination of [itex]v_1[/itex] and [itex]v_2[/itex] ?

Why do we need the inner product of both sides?

Can we not just jump immediately to that step? C = 0, so linear combination is seen.
 
  • #7
RJLiberator said:
Is it really as simple as stating that c must = 0 by the definition of orthogonal
No, there's nothing that says that c = 0.

I asked this before, but you didn't answer.
What else are you given in this problem?

RJLiberator said:
, and so low and behold, v must be a linear combination of [itex]v_1[/itex] and [itex]v_2[/itex] ?

Why do we need the inner product of both sides?
It's convenient and helpful for reaching the conclusion.
RJLiberator said:
Can we not just jump immediately to that step? C = 0, so linear combination is seen.
No.
 
  • Like
Likes RJLiberator
  • #8
What else are you given in this problem?

Is the piece of information that you are alluding to the fact that the set is an orthonormal basis?
 
  • #9
Okay, so after taking the inner product, it is clear to see that the inner product of <v|v_3> = 0 because of the definition of orthogonality.

And now we have
<v|v> = a<v|v_1>+b<v|v_2>

Which shows that it is a linear combination of the other two vectors.
 
  • #10
Actually, I miswrote. I meant to say "take the dot product of each side with v1, v2, and v3 in turn".
 
  • Like
Likes RJLiberator
  • #11
Ah, now this is the grove I needed.

Taking the dot product in turn shows what |v_i> * |v> is clearly due to the orthogonal and orthonormal rules.

It can be seen that |v_3>|v> must be 0 due to definition of orthogonality and so c=0.
|v_2>|v> = b
|v_1>|v> = a

and so the answer seems clear. :D

With c = 0, all you need to do is go back to basis, plug it in and we have a linear combination representation of v.
 
  • #12
RJLiberator said:
Ah, now this is the grove I needed.

Taking the dot product in turn shows what |v_i> * |v> is clearly due to the orthogonal and orthonormal rules.

It can be seen that |v_3>|v> must be 0 due to definition of orthogonality
More to the point, ##v_3 \cdot v = 0##, because this is given.
RJLiberator said:
and so c=0.
|v_2>|v> = b
|v_1>|v> = a

and so the answer seems clear. :D

With c = 0, all you need to do is go back to basis, plug it in and we have a linear combination representation of v.
A simpler proof:
##v = av_1 + bv_2 + cv_3##, since ##\{v_1, v_2, v_3\}## is a basis for V
##\Rightarrow cv_3 = v - av_1 - bv_2##
##\Rightarrow cv_3 \cdot v_3 = v \cdot v_3 - av_1 \cdot v_3 - bv_2 \cdot v_3##
##\Rightarrow c = 0 - 0 - 0 = 0## Can you give a justification for each of the four dot products?
Hence ##v = av_1 + bv_2##, as required.
 
  • Like
Likes RJLiberator

FAQ: Linear Combination Proof of Orthonormal basis

1. What is a linear combination proof of orthonormal basis?

A linear combination proof of orthonormal basis is a mathematical method used to show that a set of vectors is an orthonormal basis for a vector space. It involves expressing any vector in the space as a linear combination of the basis vectors and then using the properties of orthonormality to prove that the coefficients in the linear combination are unique.

2. Why is the linear combination proof important?

The linear combination proof is important because it provides a rigorous way to demonstrate that a set of vectors forms an orthonormal basis. This is useful in many areas of mathematics, including linear algebra, Fourier analysis, and quantum mechanics.

3. How is the linear combination proof different from other proofs of orthonormality?

The linear combination proof is different from other proofs of orthonormality because it relies on the properties of linear combinations and orthogonality. Other proofs may use techniques such as the Gram-Schmidt process or the inner product definition of orthogonality.

4. Can the linear combination proof be used for non-orthonormal bases?

No, the linear combination proof is specifically designed for orthonormal bases. If the basis is not orthonormal, this method cannot be used to prove its orthonormality.

5. Are there any limitations to the linear combination proof?

The linear combination proof may be limited in situations where the basis vectors are difficult to express as linear combinations of each other. In these cases, other methods may be more suitable for proving orthonormality.

Back
Top