Proof of W as Subspace of Rn: Help & Explanation

  • Thread starter Thread starter roam
  • Start date Start date
  • Tags Tags
    Proof Subspace
Click For Summary

Homework Help Overview

The discussion revolves around proving that a set W, defined as W={w ∈ R^n : w=u+v for some u ∈ U and v ∈ V}, is a subspace of R^n given two subspaces U and V. Participants are exploring the necessary conditions for W to be considered a subspace, focusing on aspects such as non-emptiness and closure under addition and scalar multiplication.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss verifying that W is non-empty and closed under addition and scalar multiplication. Some suggest that straightforward verification of these conditions might suffice. Questions arise about how to demonstrate that U and V contain the zero vector and how to formally write a proof for this.

Discussion Status

There is ongoing exploration of the properties of W, with some participants providing guidance on how to approach the proof. The discussion includes attempts to clarify the reasoning behind the closure properties and the necessity of the zero vector in subspaces. Multiple interpretations of the proof requirements are being examined.

Contextual Notes

Participants are considering the definitions and properties of subspaces, including the implications of being closed under addition and scalar multiplication, as well as the requirement for containing the zero vector. There is an emphasis on understanding the foundational aspects of linear spaces and subspaces.

roam
Messages
1,265
Reaction score
12
I saw this problem in a book, it asks if there are two subspaces of Rn, say U & V and the following condition is true:
W={[tex]w \in R^n[/tex] : w=u+v for some [tex]u \in U[/tex] and [tex]v \in V[/tex]}

Make a proof/show that W is a subspace of Rn.

I think maybe we need to try to somehow prove that the set W is a subspace of Rn by showing that it's non-empty and closed under addition/scalar multipication. Does anyone know how to show this? I'm not sure how we can do it, any explanation or links would be appreciated.

Thanks.
 
Physics news on Phys.org


roam said:
I saw this problem in a book, it asks if there are two subspaces of Rn, say U & V and the following condition is true:
W={[tex]w \in R^n[/tex] : w=u+v for some [tex]u \in U[/tex] and [tex]v \in V[/tex]}

Make a proof/show that W is a subspace of Rn.

I think maybe we need to try to somehow prove that the set W is a subspace of Rn by showing that it's non-empty and closed under addition/scalar multipication. Does anyone know how to show this? I'm not sure how we can do it, any explanation or links would be appreciated.

Thanks.
I don't see why just straightforward verification of the conditions you state wouldn't work.

W is not empty because U and V both contain the 0 vector. So what vector is in W?

Suppose w and w' are in W, we can write w= u+ v and w'= u'+ v' where u and u' are in U, v and v' are in V. what can you say about w+ w'? What about [itex]\alpha w[/itex] for [itex]\alpha[/itex] a number?
 


HallsofIvy said:
Suppose w and w' are in W, we can write w= u+ v and w'= u'+ v' where u and u' are in U, v and v' are in V. what can you say about w+ w'? What about [itex]\alpha w[/itex] for [itex]\alpha[/itex] a number?

w+ w' = (u+v)+(u'+v'), therefore it's closed under addition. And for some [tex]\alpha \in R[/tex], [tex]\alpha w= \alpha u + \alpha v[/tex] & [tex]\alpha (w + w')= \alpha (u + v) + \alpha (u'+v')[/tex] so closed under scalar multipication. Is this right?

W is not empty because U and V both contain the 0 vector. So what vector is in W?

Could you please explain because I'm not sure. How do we write a proof to show that U and V contain the 0 vector?
 


Every subspace contains the 0 vector! Every subspace is non empty so either it contains the 0 vector or it contains some non-zero vector v. Since a subspace is closed under scalar multiplication, it contains (-1)v= -v. Since a subspace is closed under addition, it contains v+ (-v)= 0.

If you don't want to use 0 specifically, you can argue that U is a subspace so contains some vector u, V is a subspace so contains some vector v, therefore U+ V contains u+v and so is non-empty.
 


roam said:
w+ w' = (u+v)+(u'+v'), therefore it's closed under addition. And for some [tex]\alpha \in R[/tex], [tex]\alpha w= \alpha u + \alpha v[/tex] & [tex]\alpha (w + w')= \alpha (u + v) + \alpha (u'+v')[/tex] so closed under scalar multipication. Is this right?



Could you please explain because I'm not sure. How do we write a proof to show that U and V contain the 0 vector?
It is right. This is because, for any [tex]\alpha \in R[/tex], [tex]\alpha w= \alpha u + \alpha v\in {R^n}[/tex]. why? recall that u and v are vectors respectively in subspaces U and V. and also for any w in W, w = u + v implies u is in U and v is in V.But
[tex]\alpha u[/tex] is in U and [tex]\alpha v[/tex] is V. Now think of the sum, their sum will surely be in W.

U and V contains the zero vector because of the fact that a linear space is an additive abelian group. You recall that a group must contain the identity element. Thus for a linear space, the identity element is the zero vector under the binary operation '+'. you recall that a subspace of a linear space is linear space in its own right. Thus, the subspaces U and V must contain the zero vector.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K