Linear algebra proof - Orthogonal complements

In summary, in an inner product space V with a finite dimensional subspace W, if x is not an element of W, there exists a vector y in the orthogonal complement of W such that the inner product of x and y is not equal to 0. This can be proven using the theorem that states that any vector in V can be split into a sum of a vector in W and a vector in the orthogonal complement of W.
  • #1
reb659
64
0

Homework Statement



Let V be an inner product space, and let W be a finite dimensional subspace of V. If x is not an element of W, prove that there exists y in V such that y is in the orthogonal complement of W, but the inner product of x and y is not equal to 0.

Homework Equations


The Attempt at a Solution



I'm pretty lost. There is a theorem which states:

Let W be a finite dimensional subspace of an inner product space V, and let y be in V. Then there exist unique vectors u in W andf z in the orthogonal complement of W such that y=u+z.

But I don't know how this would apply.
 
Last edited:
Physics news on Phys.org
  • #2
You can use that. Call U the orthogonal complement of W. Then your vector can be split into x=w+u where w is in W and u is in U. If x is not in W then u is not zero, agree with that? The inner product of u with u is then nonzero. Do you see it now?
 

FAQ: Linear algebra proof - Orthogonal complements

What is the definition of an orthogonal complement?

An orthogonal complement is a vector space that is perpendicular to a given vector space. Specifically, it is the set of all vectors that are perpendicular to every vector in the given space.

How do you prove that two vector spaces are orthogonal complements?

To prove that two vector spaces are orthogonal complements, you must show that their intersection is the zero vector and that the sum of their dimensions equals the dimension of the larger vector space.

Can two subspaces of a given vector space be orthogonal complements of each other?

Yes, two subspaces of a vector space can be orthogonal complements of each other as long as their intersection is the zero vector and the sum of their dimensions equals the dimension of the larger vector space.

How does the concept of orthogonal complements relate to linear independence?

A set of vectors is linearly independent if and only if its orthogonal complement is the zero vector. This means that the vectors in the set are not redundant and cannot be expressed as a linear combination of each other.

Are all vector spaces orthogonal complements of themselves?

No, not all vector spaces are orthogonal complements of themselves. A vector space must have a non-zero dimension and its orthogonal complement must have a dimension of zero for this to be true.

Back
Top