• Support PF! Buy your school textbooks, materials and every day products Here!

Linear algebra span proof

  • Thread starter batballbat
  • Start date
  • #1
127
0

Homework Statement


[tex] S_1 [/tex] and [tex] S_2 [/tex] are subsets of a vector space. When is this:[tex] span(S_1 \cap S_2) = span(S_1) \cap span(S_2) [/tex] true? Prove it.


Homework Equations





The Attempt at a Solution


conjecture: iff the two subsets are vector spaces.
 
Last edited:

Answers and Replies

  • #2
STEMucator
Homework Helper
2,075
140

Homework Statement


[itex]S_1[/itex] and [itex]S_2[/itex] are subsets of a vector space. When is this:[itex]span(S_1 \cap S_2) = span(S_1) \cap span(S_2)[/itex] true? Prove it.


Homework Equations





The Attempt at a Solution


conjecture: iff the two subsets are vector spaces.
It's true when both sides are subsets of each other.

Choose an arbitrary element in each set and show it belongs to the other set both ways.
 
  • #3
127
0
sorry, but that is of no help. I am asking for a condition and a proof for "iff".
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
41,833
955
Well, what do you know and what have you tried? Do you know what "span" means?

Or do you just want someone to do the problem for you?
 
  • #5
127
0
ok. plz delete this post.
 
  • #6
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
407

Homework Statement


[tex] S_1 [/tex] and [tex] S_2 [/tex] are subsets of a vector space. When is this:[tex] span(S_1 \cap S_2) = span(S_1) \cap span(S_2) [/tex] true? Prove it.


Homework Equations





The Attempt at a Solution


conjecture: iff the two subsets are vector spaces.
It's easy to see that your guess is wrong. Let ##\{e_1,e_2\}## be the standard basis of ##\mathbb R^2##. Let ##S_1=\{e_1\}## and ##S_2=\{e_1,e_2\}##. We have $$\operatorname{span}S_1\cap\operatorname{span} S_2 =\operatorname{span}(S_1\cap S_2)$$ but neither ##S_1## nor ##S_2## is a subspace.

You will have to put in some effort of your own if you want help with the problem. In particular, you should include the definition of "span". Is ##\operatorname{span}\emptyset## defined?
 

Related Threads on Linear algebra span proof

  • Last Post
Replies
1
Views
2K
Replies
4
Views
2K
Replies
11
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
24
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
819
  • Last Post
Replies
4
Views
16K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
2
Views
1K
Top