Can Spanning Subsets X and Y in Vector Space V Share No Common Vector?

  • Thread starter Thread starter stunner5000pt
  • Start date Start date
  • Tags Tags
    Homework Subspace
Click For Summary
SUMMARY

The discussion centers on the question of whether nonempty subsets X and Y of a vector space V, where span X = span Y = V, must share a common vector. Participants assert that it is possible for X and Y to have no common vectors, providing counterexamples such as X = {1} and Y = {-1} in the field of real numbers. The use of bases, such as B and 2B, further illustrates that the absence of a shared vector can occur under specific conditions. The conclusion is that while span equality holds, commonality of vectors is not guaranteed.

PREREQUISITES
  • Understanding of vector spaces and their properties
  • Knowledge of linear combinations and spans
  • Familiarity with the concept of bases in vector spaces
  • Basic understanding of fields and rings in mathematics
NEXT STEPS
  • Study the properties of vector spaces over different fields, including finite fields
  • Explore the concept of linear independence and its implications for vector subsets
  • Learn about counterexamples in linear algebra to solidify understanding of span and common vectors
  • Investigate the implications of scalar multiplication in vector spaces
USEFUL FOR

Mathematicians, students studying linear algebra, and anyone interested in the properties of vector spaces and their subsets.

stunner5000pt
Messages
1,447
Reaction score
5
If X and Y are nonempty subsets of vector space V such taht span X = span Y = V , must there be a vector common to both X and Y? Justify.

my intuition thinks there need not be one, but i can be wrong!

to go about proving it is where the fun starts!
[tex]a_{1} x_{1} + a_{2} x_{2} + ... + a_{n} x_{n} = b_{1} y_{1} + ... + b_{n} y_{n} = V[/tex]
suppose X contaiend only one vector then ax = by. That seems to say taht one is a scalar multiple of the other
suppose X contaiend two vectors then
[tex]a_{1} x_{1} + a_{2} x_{2} = b_{1} y_{1} + b_{2} y_{2} = V[/tex]
here that means the resultant of the first addition yields the resultant of the second addition. However it doesn't mean that X = Y since ai is not bi for all i.
So there need not be any common vector

is this right? Can you help with formalizing it?
Thank you!
 
Physics news on Phys.org
Maybe I got it wrong.

Let B be a basis for V. Then take X=B, Y=2B as a counter example.

Did I miss something?


*If you're not over R, replace 2 by any a!=0.
 
Is there a fixed field you're working over, or must this work for any field, or more generally, over any ring? When the field is F = {0, 1}, then there is a vector space over F such that if Span(X) = Span(Y) = V, then Y and X share a vector, and that is when V = F. In general, if F is any field, then there is a vector space such that if X and Y are nonempty, and span(X) = Span(Y) = V, then X and Y share a vector, and that is when V = {0}. However, there are fields and vectors spaces over them such that Span(X) = Span(Y) = V, but X and Y share no common vector. To formally prove this, you just need a counter-example: V = F = R, X = {1}, Y = {-1}.
 

Similar threads

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