Really quick question on linear spans

  • Thread starter Thread starter NeonVomitt
  • Start date Start date
  • Tags Tags
    Linear
AI Thread Summary
To determine if the spans of two sets of vectors are equal, one should find their reduced row echelon form (RREF) and check for equivalence. If both matrices reduce to the same RREF, they span the same vector space, indicating that they are equivalent. The discussion emphasizes that if two matrices are equivalent, augmenting them with the same vector will yield the same solution set. It also clarifies that the vector space in question is R^3, as the vectors are three-dimensional. Ultimately, finding the RREF is a crucial step in confirming the equality of spans.
NeonVomitt
Messages
7
Reaction score
0
If I want to find if

span ([4, 0, -3], [2,2,1]) = span ([2,-2,-4], [0,1,5]) do I first find their reduced row echelon form, and then see if they match? For instance, if I found both matrices to reduce to:
[ 1 0]
[ 0 1]
[ 0 0]

does that mean that they equal each other? Or do I have to do something else?

Also what is the vector space? Is it R2 in this case?
 
Mathematics news on Phys.org
Essentially, if two matrices are equivalent, then augmenting them with the same vector will give the same solution set. Another way of saying this is that if A ~ B, then in Ax = b and Bx = b, where b can be anything, if x satisfies the first equality, then it satisfies the second, and vice-versa. Also note that when there are no solutions in one, there are no solutions in the other.

If the rref of A is C and the rref of B is also C, then A ~ C and B ~ C. So we have that Ax = b, Cx = b, Bx = b, have the same solutions for x given any vector b (again if there are no solutions for particular b, none of the equations will have a solution). More elaborately, equivalence is transitive and reflexive, so A ~ C and B ~ C implies A ~ B.

That tells us that a vector b that has a solution in Ax = b, also has a solution in Bx = b. And vice-versa. Finding a linear combination of a set {v1, v2, ..., vn} of vectors equal to a vector b, amounts to solving [v1 v2 v3 ... vn]x = b. If {w1, w2, ..., wn} is another set of vectors, we would solve [w1 w2 ... wn]x = b. If [v1 v2 v3 ... vn] ~ C and [w1 w2 ... wn] ~ C then, by the above, one matrix has a solution when the other does. This means when there's a linear combination in {v1, v2, ..., vn} equal to a vector b, there's also one in {w1, w2, ... , wn} and vice-versa. This shows you that {v1, v2, ..., vn} and {w1, w2, ... , wn} have the same span.
 
NeonVomitt said:
If I want to find if

span ([4, 0, -3], [2,2,1]) = span ([2,-2,-4], [0,1,5]) do I first find their reduced row echelon form, and then see if they match? For instance, if I found both matrices to reduce to:
[ 1 0]
[ 0 1]
[ 0 0]

does that mean that they equal each other? Or do I have to do something else?

Remember that row operations transform the row vectors to an equivalent basis, so you look at the rref of

[4, 0, -3]
[2, 2, 1]

etc.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top