Explaning Orthogonality: Vectors, Subspaces, and Curiosity

  • Thread starter Thread starter talolard
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around the concept of orthogonality in vector spaces, specifically addressing the relationship between a vector space V and its subspace U, as well as the orthogonal complement U⊥. The original poster expresses curiosity about the implications of the statement U ⊕ U⊥ = V, questioning whether every vector in V that is not in U must be orthogonal to every vector in U.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Some participants clarify that U ⊕ U⊥ does not imply that every vector in V not in U is orthogonal to U, but rather that every vector in V can be expressed as a unique sum of a vector from U and a vector from U⊥. Examples involving geometric interpretations in 2D spaces are provided to illustrate this point.

Discussion Status

The discussion is ongoing, with participants providing clarifications and examples to address the original poster's confusion. There is a productive exchange of ideas, with some participants offering insights that help to clarify the concepts involved.

Contextual Notes

The original poster mentions potential language barriers due to studying in Hebrew, which may affect their understanding of the terminology used in the discussion.

talolard
Messages
119
Reaction score
0

Homework Statement


Hello,
Please pardon me if my terms are off, I'm studying in hebrew and might lacka few of the english words.
Anyway this isn't homewokr but just curiosity.
We learned in class that if V is a vector space and U is a subspace of V then [tex]U\oplus U^{\bot}=V[/tex]
But then it seems to me that this implies that every vector that is in V but not in U is orthogonal to every vector in U. i.e.

This just strikes me as odd and counterintuitive. Is it correct or am I issing something.
Thanks
Tal

The Attempt at a Solution

 
Last edited:
Physics news on Phys.org
I don't find it counterintuitive.. for instance, let the subspace U be some plane in a 3d-V. Then all you need to get V is U and its normal.
And it doesn't say that every vector in V but not in U is orthogonal to U, but rather that with U and the vectors orthogonal to U spans V.
I think the U= some plane in 3d-V-space is the best and most intuitive example i can think of.
 
talolard said:

Homework Statement


Hello,
Please pardon me if my terms are off, I'm studying in hebrew and might lacka few of the english words.
Anyway this isn't homewokr but just curiosity.
We learned in class that if V is a vector space and U is a subspace of V then [tex]U\oplus U^{\bot}=V[/tex]
But then it seems to me that this implies that every vector that is in V but not in U is orthogonal to every vector in U. i.e.
No, that's not what it is saying. [itex]U\oplus U^{\bot}[/itex] is NOT a union of sets. In particular, it does NOT mean that every vector in V is in one or the other of those. It means, rather, that every vector in V is a unique sum of a vector in U and a vector in [itex]U^{\perp}[/itex].


Suppose V is the xy-plane and U is the x-axis. Then [itex]U^{\perp}[/itex] is the y- axis. Every vector in V, [itex]a\vec{i}+ b\vec{j}[/itex] is a unique sum of a vector in U and a vector in V- here, just [itex]a\vec{i}[/itex] and [itex]b\vec{j}[/itex], respectively.

A slightly harder example: With V as before, let U= {(x,y)|y= x}, the line y= x. Then [itex]U^{\perp}[/itex] is {(x,y)| y= -x}. Given a vector [itex]p\vec{i}+ q\vec{j}[/itex] how would we write it as a sum of vectors in U and [itex]U^{\perp}[/itex]? Well, any vector in U is of the form [itex]a\vec{i}+ a\vec{j}[/itex] for some number a and every vector in [itex]U^{\perp}[/itex] is of the form [itex]b\vec{i}- b\vec{j}[/itex] for some number b so we would need to find a and b such that [itex](a\vec{i}+ a\vec{j})+ (b\vec{i}- b\vec{j}= p\vec{i}+ q\vec{j}[/itex].

That is, [itex](a+ b)\vec{i}+ (a- b)\vec{j}= p\vec{i}+ q\vec{j}[/itex] so we must have a+ b= p and a- b= q. Adding the two equations, 2a= p+ q so a= (p+ q)/2. Subtracting the two equations, 2b= p- q so b= (p- q)/2.

That is, any vector in R2 can be written, in a unique way, as the sum of a vector in U and a vector in [itex]U^{\perp}[/itex].

This just strikes me as odd and counterintuitive. Is it correct or am I missing something.
Thanks
Tal

The Attempt at a Solution

 
Thanks for clearing that up.
 

Similar threads

Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K