When Do Span Intersections Equal Span of Intersections in Vector Spaces?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
batballbat
Messages
127
Reaction score
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:
Physics news on Phys.org
batballbat said:

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.
 
sorry, but that is of no help. I am asking for a condition and a proof for "iff".
 
ok. please delete this post.
 
batballbat said:

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?