Is the Union of W and Its Orthogonal Complement Equal to V?

  • Thread starter Thread starter xfunctionx
  • Start date Start date
  • Tags Tags
    Orthogonal
Click For Summary
The discussion centers on the relationship between a vector space V, a subspace W, and the orthogonal complement of W. It is established that while the orthogonal complement of W is a subspace of V and their intersection is zero, the union of W and its orthogonal complement does not equal V. The union of two vector subspaces is generally not a subspace itself, illustrated by the example of R^2 not being the union of two lines. Instead, the direct sum of W and its orthogonal complement equals V. Thus, the union of W and its orthogonal complement is not equal to V.
xfunctionx
Messages
9
Reaction score
0
Hi, I was just reading about Orthogonal complements.

I managed to prove that if V was a vector space, and W was a subspace of V, then it implied that the orthogonal complement of W was also a subspace of V.

I then proved that the intersection of W and its orthogonal complement equals 0.

However, I am wondering if the union of W and its orthogonal complement equals V?

Can anyone please answer that, and if so, can you give a proof?

Thanks.

-xfunctionx-
 
Physics news on Phys.org
It is true, says see this page. The links on the page will give you some hints as to in which direction the proof should be found.
 
The union is not V: the union of two vector subspaces is not in general a subspace: just remember that R^2 is not the union of two lines.

V is the vector space sum of W and its complement.
 
As Matt Grime said, the union is not V. The union would not even be a subspace of V, unless W = {0} or W = V. However, the direct sum of W and its orthogonal complement is equal to V.
 
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 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K