Do these sets span the same space?

  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Sets Space Span
Bipolarity
Messages
773
Reaction score
2
Suppose you have two sets S_{1} and S_{2}. Suppose you also know that every vector in S_{1} is expressible as a linear combination of the vectors in S_{2}. Then can you conclude that the two sets span the same space?

If not, what if you further knew that every vector in S_{2} is expressible as a linear combination of the vectors in S_{1}?

I merely need an answer. I will work out the details (proof) for myself. Thanks!

BiP
 
Physics news on Phys.org
Isn't this like if every element of set A is in set B then there may still be elements in B that aren't in A.

Geometrically if S1 is all vectors in a plane whereas S2 is all vectors in a 3D space then its clear that S2 has some vectors that aren't in S1.
 
Bipolarity said:
Suppose you have two sets S_{1} and S_{2}. Suppose you also know that every vector in S_{1} is expressible as a linear combination of the vectors in S_{2}. Then can you conclude that the two sets span the same space?

If not, what if you further knew that every vector in S_{2} is expressible as a linear combination of the vectors in S_{1}?

Yes, if you know both those things, then you can make the conclusion. If you only know one of these things, then jedishrfu already pointed out that the conclusion doesn't follow.
 
No to the first and yes to the second. For the first one you can come up with tons of counter-examples. The second one you can prove straightforwardly from the definition of span.
 
If every vector in S2 can be written as a linear combination of vectors in S1, then S2 spans some subspace of the span of S1.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top