Proving the Intersection of Subspaces is a Subspace: A Vector Space Proof

Click For Summary

Homework Help Overview

The discussion revolves around proving that the intersection of two subspaces, H and K, of a vector space V is itself a subspace of V. Participants are exploring the necessary conditions for this proof, focusing on properties such as non-emptiness and closure under addition and scalar multiplication.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the requirement to show that the intersection is non-empty and closed under operations. Initial attempts include demonstrating that the zero vector is in the intersection, but there is uncertainty about how to proceed with other vectors common to both subspaces.

Discussion Status

Some guidance has been provided regarding the need to show that linear combinations of vectors in the intersection remain in the intersection. However, there is still a lack of clarity among participants about which vectors can be used and how to apply the properties of subspaces effectively.

Contextual Notes

Participants express difficulty in extracting useful information from the problem statement and are questioning what assumptions can be made about the vectors in the intersection.

Benny
Messages
577
Reaction score
0
Hi can someone please help me with the following question. Such questions always trouble me because I don't know where to start and/or cannot continue after starting.

Q. Let H and K be subspaces of a vector space V. Prove that the intersection of K and H is a subspace of V.

By the way that the question is set out I figure that all I need to show is that the intersection of K and H is non-empty, closed under scalar multiplication and addition. So here is what I've tried.

H and K are subspaces of the vector space V so they both contain the zero vector. So it follows that the intersection contains the zeor vector so that [tex]H \cap K \ne \emptyset[/tex].

That's all I can think of. I'm not sure if I can make any other assumptions about vectors which are common to H and K and so I cannot continue.
 
Physics news on Phys.org
Now show that a lineair combination of vectors of [tex]H \cap K[/tex] is still in [tex]H \cap K[/tex].
 
Thanks for your response but that's the sort of thing that I'm having trouble with. All I've been able to show is that the zero vector is in the intersection. I don't know which are vectors are in the intersection. I cannot figure out what else I extract from the stem of the question to assist me. It's probably just a conceptual thing but I can't really see what I can and can't use.
 
Well you already showed it's not empty. Now take the scalars [itex]\alpha ,\beta \in \mathbb{R}[/itex] (or any other field of course) and the vectors [itex]\vec x,\vec y \in H \cap K[/tex]. Now, since the vectors are in both subspaces, we can say that:<br /> [tex]\alpha \vec x + \beta \vec y \in H[/tex]<br /> [tex]\alpha \vec x + \beta \vec y \in K[/tex]<br /> <br /> And thus: [tex]\alpha \vec x + \beta \vec y \in H \cap K[/tex][/itex]
 
Ok thanks for the help.
 

Similar threads

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