Find Basis for Subspace of R^4 Spanned by Vectors

In summary, the conversation discusses finding a basis for a subspace in R^4 spanned by given vectors. The textbook provides an answer in reduced row echelon form, but the questioner proposes a different basis using parameters. However, the expert clarifies that the proposed basis is not valid and explains the process of row-reduction to ensure linear independence. The expert also discusses the definition of a basis and provides equations to eliminate parameters and find a valid basis for the subspace.
  • #1
sam0617
18
1
Hello. First, I'd like to apologize because I don't know where to go ask for homework on linear algebra on the forums so if anyone could please let me know, that would be appreciated.

Here's the question: Find a basis for the subspace of R^4 spanned by the given vectors

Here's the answer at the end of the textbook:


so the matrix A is
( 2 4 -2 3)
(-2 -2 2 -4)
(1 3 -1 1)

and the book puts it in reduced row echelon form which comes out to

( 1 0 -1 5/2 )
( 0 1 0 -1/2)
(0 0 0 0 )

Thus a basis for the subspace is { (1, 0, -1, 5/2), (0, 1, 0, -1/2) }



My question is:
Is this the only answer you can get or can I get different answers.
Say, if I used paramters "a" and "b" for column x3 and x4 respectively, then I can get
x1 = a - (5/2)b
x2 = (1/2)b
x3 = a
x4 = b

then if I let a = 0 and b =1, I'd get:
(-5/2, 1/2, 0, 1)

then if I let a = 1 and b = 0, I'd get:
(1, 0, 1, 0)

thus a basis for the subspace is { (-5/2, 1/2, 0, 1), (1, 0, 1, 0) }

Could that be another answer?

Also, I thought for it to be a basis, it has to be linearly independent. Are they assuming that by inspection it's linearly independent so that's why the book isn't testing for independence?

Thank you so much for any guidance.
 
Physics news on Phys.org
  • #2


bases for vector spaces aren't unique, the only invariant is the size of the basis, that is, the dimension of the vector space.

your example isn't a valid one, however. you can't assign "parameters" to the columns, because your span is determined by row vectors.

your 2nd "proposed basis" isn't even in span{(1,0,-1,5/2),(0,1,0,-1/2)}.

suppose (-5/2,1/2,0,1) = a(1,0,-1,5/2) + b(0,1,0,-1/2) = (a,b,-a,5a/2-b/2).

then a must be -5/2 (1st coordinate) and a must also be 0 (3rd coordinate).

similarly if (1,0,1,0) = c(1,0,-1,5/2) + d(0,1,0,-1/2) = (c,d,-c,5c/2-d/2)

then c must be 1 (1st coordinate) and c must be -1 (3rd coordinate).

what you can say is that {(a,0,-a,5a/2),(0,b,0,-b/2)} is also a basis, for non-zero a and b.

the reason no check is made for linear independence for the rows of a matrix in RREF, is that the process of row-reduction ensures linear independence (only the top row has a non-zero 1st coordinate, if the first non-zero entry of row 2 is in place j, than the first j-1 entries of row 2 and all subsequent rows are all 0, and the jth entry of all other rows is 0, so only the 2nd row has a non-zero entry in the j-th position.

continuing, (down and right), each surviving row has an entry (it's pivot entry) that no other row has, which means no linear combination of the other rows can produce a non-zero entry in that coordinate.
 
  • #3


i wonder if you are confused about whether your basis is for row space, column space, or null space?
 
  • #4


You talk about a space spanned by a "given set of vectors" but give no vectors. You do, fortunately, say that you are talking about vectors in R4 so, since the given matrix A has four columns but only three rows, I think you mean that the given vectors are (2, 4, -2, 3), (-2, -2, 2, 4), and (1, 3, -1, 1).

Rather than write matrices and try to use "row-reduction" formulas, I would prefer to use the basic definition. (w, x, y, z) would be in the span of those three vectors if and only there exist number a, b, and c such that (w, x, y, z)= a(2,4,-2,3)+ b(-2, -2, 2, 4)+ c(1, 2, -1, 1). That, of course, is the same as the four equations w= 2a- 2b+ 2c, x= 3a- 2b+ 2c, y= -2a+ 2b- c, z= 3a+ 4b+ c.

Now, try to eliminate a, b, and c. For example, if we subtract the first equation from the second, we eliminate both b and c: x- w= a. If, instead, we add the second equation to the third, we eliminate only b: x+ y= a+ c. Similarly, we can eliminate b by adding twice the second equation to the fourth: 2x+ z= 9a+ 5c. Now subtract 5 times x+ y= a+ c to that: 2x+ z- 5(x- y)= -3x+ 5y+ z= 9a+ 5c- 5(a+ c)= 4a. Finally, subtract 4 times x- w= a from that: -3x+ 5y+ z- 5(x- w)= 5w- 8x+ 5y+ z= 0.

That is the equation any vector in the span must satisfy.
 
  • #5


HallsofIvy said:
You talk about a space spanned by a "given set of vectors" but give no vectors. You do, fortunately, say that you are talking about vectors in R4 so, since the given matrix A has four columns but only three rows, I think you mean that the given vectors are (2, 4, -2, 3), (-2, -2, 2, 4), and (1, 3, -1, 1).

Rather than write matrices and try to use "row-reduction" formulas, I would prefer to use the basic definition. (w, x, y, z) would be in the span of those three vectors if and only there exist number a, b, and c such that (w, x, y, z)= a(2,4,-2,3)+ b(-2, -2, 2, 4)+ c(1, 2, -1, 1). That, of course, is the same as the four equations w= 2a- 2b+ 2c, x= 3a- 2b+ 2c, y= -2a+ 2b- c, z= 3a+ 4b+ c.

Now, try to eliminate a, b, and c. For example, if we subtract the first equation from the second, we eliminate both b and c: x- w= a. If, instead, we add the second equation to the third, we eliminate only b: x+ y= a+ c. Similarly, we can eliminate b by adding twice the second equation to the fourth: 2x+ z= 9a+ 5c. Now subtract 5 times x+ y= a+ c to that: 2x+ z- 5(x- y)= -3x+ 5y+ z= 9a+ 5c- 5(a+ c)= 4a. Finally, subtract 4 times x- w= a from that: -3x+ 5y+ z- 5(x- w)= 5w- 8x+ 5y+ z= 0.

That is the equation any vector in the span must satisfy.

Yes, sorry. I wrote the question wrong. Apologies. I guess I'm having a very difficult time understanding why the book used RREF (reduced row echelon form) to get the basis.

To take a guess, would it be because a basis are vectors that are linearly independent, and so the author puts it in RREF and thus a basis is formed?

A question about your explanation: I understand that to see if it spans, if you can find scalars a, b, c, it spans but why are you getting rid of a,b,c?
Also, I've noticed that you changed the numbers. Shouldn't it be w = 2a -2b + c, and x= 4a -2b + 3c ?

Thank you so much for any help.

EDIT: Also, I tried testing the vectors for linear independence. c1(2,4,-2,3) + c2(-2,-2,2,-4) + c3(1,3,-1,1) = (0,0,0,0)
to get c1 + c3 = 0
c2+ 1/2c3=0

doesn't that mean that since c1=c2=c3 does not all equal zero, this is not linearly independent thus not a basis? Since it has to be basis it has to be linearly independent and span?

Forgive me for not understanding something. The more I try to understand this problem, the more frustrated I get because it doesn't make sense. Any help would be much appreciated.
 
Last edited:
  • #6


ok, you're trying to find a basis for span({(2,4,-2,3),(-2,-2,2,4),(1,3,-1,1)}).

so this is the space of all vectors in R4 of the form:

a(2,4,-2,3) + b(-2,-2,2,4) + c(1,3,-1,1), or, to put this another way,

the row space of the matrix A =

[tex]\begin{bmatrix}2&4&-2&3\\-2&-2&2&4\\1&3&-1&1\end{bmatrix}[/tex]

what we want to do, is establish a minimal linearly independent set in our span set.

now, suppose i multiply a row of A by some number (except 0).

that's still in our span set, because its just a scalar multiple of one of the spanning vectors.

ok, what if i switch two rows? that obviously doesn't change the span set, it just shuffles it around.

fine, but what about this: what if i multiply one of the spanning vectors (rows), and then add it to another one? well, that's a diferent linear combination of our spanning vectors, but it's still a linear combination (no squaring or anything), so its still in our span set.

so none of the row-reduction operations changes the spanning set (row space), so if we can get a "nicer" set of rows from row-reducing, we can be confident we haven't gone outside our spanning set.

well, you might ask, ok, i see we're still in our spanning set, but maybe we "lose" some vectors along the way.

well, obviously swapping rows doesn't "lose any vectors". and multiplying by a non-zero number doesn't "lose" any vectors either. so let's just concentrate on the third operation:

adding a multiple of one row to another.

so let's prove this:

for any 2 non-zero vectors v1,v2 in a vector space V, if r ≠ 0:

span({v1,v2}) = span({v1+rv2,v2})

well, it's clear (or should be), the second set is contained in the first, because:

a(v1+rv2) + bv2 = av1 + (ar+b)v2, so we can write anything in the second span-set as linear combinations of the first.

what's not immediately clear is that the first span-set is contained in the second.

suppose we have av1+bv2.

then av1+bv2 = av1 + arv2 - arv2 + bv2 (adding and subtracting the same thing)

= a(v1+rv2) + (b-ar)v2,

so span({v1,v2}) ⊆ span({v1+rv2,v2}), so the two sets are equal.

hopefully, this convinces you that finding rref(A) doesn't change the span-set at all:

row(rref(A)) = row(A).
 
  • #7


Deveno, thank you so much for your help. It's much clearer now. Really, thank you again and Halls for really helping me out.
 

1. What is a basis for a subspace of R^4?

A basis for a subspace of R^4 is a set of linearly independent vectors that span the subspace. This means that any vector in the subspace can be written as a linear combination of the basis vectors.

2. How do I find a basis for a subspace of R^4?

To find a basis for a subspace of R^4, you can use the method of Gaussian elimination to find the reduced row echelon form of the matrix formed by the given vectors. The nonzero rows in the resulting matrix will form a basis for the subspace.

3. What is the dimension of a subspace of R^4?

The dimension of a subspace of R^4 is the number of vectors in its basis. Since R^4 is a four-dimensional space, the dimension of any subspace of R^4 can be at most four.

4. Can a subspace of R^4 have more than one basis?

Yes, a subspace of R^4 can have more than one basis. This is because a subspace can have an infinite number of different sets of linearly independent vectors that span it.

5. How do I check if a set of vectors is a basis for a subspace of R^4?

To check if a set of vectors is a basis for a subspace of R^4, you can use the method of Gaussian elimination to see if the vectors are linearly independent. If they are, then they form a basis for the subspace.

Similar threads

  • Linear and Abstract Algebra
Replies
8
Views
880
  • Linear and Abstract Algebra
Replies
6
Views
876
  • Linear and Abstract Algebra
Replies
9
Views
574
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
963
  • Linear and Abstract Algebra
Replies
9
Views
199
  • Linear and Abstract Algebra
Replies
1
Views
2K
Replies
2
Views
781
  • Linear and Abstract Algebra
2
Replies
39
Views
2K
Replies
3
Views
2K
Back
Top