Prove sum of two subspaces is R^3

  • Context: Undergrad 
  • Thread starter Thread starter tjkubo
  • Start date Start date
  • Tags Tags
    Subspaces Sum
Click For Summary

Discussion Overview

The discussion revolves around proving that the sum of two specific subspaces, U and W, equals R^3. The participants explore the mathematical justification for this claim, considering the nature of the subspaces involved and the requirements for demonstrating their sum spans the entire space R^3.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant suggests that to prove U + W = R^3, it is necessary to show that any vector in R^3 can be expressed as the sum of a vector from U and a vector from W.
  • Another participant questions the intuitive understanding of U + W = R^3, seeking clarification on how this conclusion is reached.
  • A participant identifies the equation x - y - z = 0 as representing a plane, with a normal vector n = (1, -1, -1), and proposes that the span of the basis elements leads to R^3.
  • There is a request for justification of the mathematical proof sketch provided, with a note that the discussion has not yet addressed the concept of a basis.
  • One participant reiterates the need to express vectors in U and W in terms of their respective bases and questions the independence of the combined bases.
  • Another participant introduces the dimension theorem, suggesting that the dimensions of the subspaces can provide insight into their sum.

Areas of Agreement / Disagreement

Participants express differing levels of understanding regarding the proof of U + W = R^3. While some share intuitive insights, others seek more rigorous mathematical justification. The discussion remains unresolved with multiple competing views on how to approach the proof.

Contextual Notes

There are limitations in the discussion regarding the assumptions made about the independence of the bases and the specific mathematical steps required to demonstrate the sum of the subspaces. The participants have not reached a consensus on the proof methodology.

tjkubo
Messages
41
Reaction score
0
How do you prove that the sum of the following subspaces is R^3?
U = {(x,y,z) : x - y = z}
W = {(t,-t,-t) : t∈R}

I guess I need to show that any vector (x,y,z)∈R^3 can be written as the sum of a vector from U and a vector from W, but I'm not sure how to do that. I know intuitively that U+W=R^3 because U is a plane and W is a line not contained in U, but I don't know how to show that mathematically.

Any hints?
 
Physics news on Phys.org
tjkubo said:
know intuitively that U+W=R^3 because U is a plane and W is a line not contained in U
How does that work?
 
x-y-z=0 is the equation of a plane and n=(1,-1,-1) is a normal vector, so (1,-1,-1)t is a line perpendicular to the plane, and the span of the basis elements is R^3.
 
That sounds like a sketch for a mathematical proof to me. Can you justify each part of it?

(p.s. nobody said anything about a basis...)
 
tjkubo said:
How do you prove that the sum of the following subspaces is R^3?
U = {(x,y,z) : x - y = z}
W = {(t,-t,-t) : t∈R}

I guess I need to show that any vector (x,y,z)∈R^3 can be written as the sum of a vector from U and a vector from W, but I'm not sure how to do that. I know intuitively that U+W=R^3 because U is a plane and W is a line not contained in U, but I don't know how to show that mathematically.

Any hints?
Any vector in U can be written as <x, y, x- y>= <x, 0, x>+ <0, y, -y>= x<1, 0, 1>+ y<0, 1, -1>. What is a basis for U?

Any vector in W can be written as <t, -t, -t>= t<1, -1, -1>. What is a basis for U?

Suppose you put those two bases together? Are they still independent?
 
Moreover, notice that Sp(B1)+Sp(B2)=Sp(B1uB2), where B1,B2 are sets or bases (in our case).
 
You can also use the dimension theorem dim(U+V)=dim(U)+dim(V)-dim(U^V)

And the fact that if U is a subspace of V and they have the same dimension then U=V.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 19 ·
Replies
19
Views
6K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K