# Linear algebra Subspaces

1. May 2, 2007

### Neoon

I came accross a problem in linear algebra asking me to find for which values of s the following set:
R={(x,y,z,w) belongs to R^4; x+y+sz-w=s^2-2s}
is a subspace of R^4 with respect to the usual additoin and scalar multiplication. Any idea to solve this question?

2. May 2, 2007

### Office_Shredder

Staff Emeritus
Suppose $$(x_1,y_1,z_1,w_1)$$ and $$(x_2,y_2,z_2,w_2)$$ are in the set.

Then $$x_1+y_1+sz_1-w_1 = x_2+y_2+sz_2-w_2=s^2-2s$$

and

$$ax_1+ay_1+asz_1-aw_1=s^2-2s$$

For 'a' real.

This should tell you everything you need to know about what s can be actually... I would use the second one to start

(In case you didn't realize, this is saying "well, let's see if our set is closed under addition and scalar multiplication, since if it is, it satisfies the vector space axioms)

Last edited: May 2, 2007
3. May 2, 2007

### Neoon

What is the puropose of a in the second equation? i.e. Why you multiplied each term of the left hand side by a.
I appreciate if you give me more hints.

4. May 2, 2007

### Office_Shredder

Staff Emeritus
Because, if your set is a subspace, it must be closed under scalar multiplication. Which means if

$$(x_1,y_1,z_1,w_1)$$

is in your set, you want

$$a*(x_1,y_1,z_1,w_1)$$

to be in your set. But this is just

$$(a*x_1,a*y_1,a*z_1,a*w_1)$$

and hence, this quadruplet must satisfy the original condition of

$$x+y+sz-w=s^2-2s$$

i.e. $$(a*x_1)+(a*y_1)+s(a*z_1)-(a*w)=s^2-2s$$

for all $$a \in R$$

So try thinking of "good" values of a that yield useful information about what s might be

Last edited: May 2, 2007
5. May 2, 2007

### Neoon

Thank you for your help. I

6. May 2, 2007

### Neoon

Sorry. I would like to tell you that I am a chemical engineer and I have a math course (mathematics for engineering). One chapter of that course is about eigenvalues and eigenvectors and our instructor refer only to the subspaces and it is not mentioned in the book. I tried last week to read many books about the subspaces to be able to solve the question but I was not able to understand the problem and half of knowing the answer is understanding the question.

Any way, How I will be able to make (a*x_1, a*y_1, a*z_1, a*w_1) in set?
What is the useful information that I should get?

Until now the problem is not understood to me?

7. May 2, 2007

### Office_Shredder

Staff Emeritus
A bit of a crash course about subspaces then.

A vector space is a set of objects (called vectors, naturally) that satisfy some axioms (you can read about them at
http://en.wikipedia.org/wiki/Vector_space).

Basically, it just says that addition and multiplication work how you would want them to (associativity, distribution, etc.)So a subspace is defined as a subset of your vector space, that is in itself a vector space.

So let's say we have a vector space V. We also have a subset U, and want to know if U is a subspace (aka, show if U is a vector space). If U is closed under addition and scalar multiplication (so if u1, u2 are in U, and a,b are real numbers, a*u1 + b*u2 are in U), then the rest of the vector space axioms hold (because they must hold in V, and U is a part of V), and thus U is a subspace.

So we test this..... call U the subspace of (x,y,z,w) such that x+y+sz-w=s^2-2s. We're assuming it's a subspace, so we need to find, given what we know about subspaces, what s can be. We know subspaces are closed under multiplication of scalars, so if (x,y,z,w) is in U, so is a*(x,y,z,w) = (ax,ay,az,aw) and thus, plugging that quadruplet right back into the definition of what's in our subspace
ax+ay+saz-aw = s2-2s

This is true for any real number a.

So, this means, for example, that if a=2, this must be true. I.e. 2x+2y+s2z-2w = s2-2s
Factoring 2
2(x+y+sz-w) = s2=2s

But we originally had x+y+sz-w = s2=2s

So what can we conclude?

8. May 2, 2007

### Neoon

let us see if i am understanding. ax+ay++saz-aw=s^2-2s is closed under multiplication if and only if the RHS of the equation s^2-2s =0
s^2=2s
divide by s
s=2

So, if s=2 the vector space is closed under multipliaction

in other words,
ax+ay+saz-aw=x+y+sz-w = s2-2s if and only if s=2.

Is this correct?

9. May 2, 2007

### Office_Shredder

Staff Emeritus
you're close. There is one other value of s that you missed (by dividing it out....).

Once you have the values of s such that the subspace is closed under multiplication, you need to show that it's closed under addition too. It can be a little tricky the first time if you don't know what exactly you're trying to do, but really isn't that difficult. So, given your value of s (which makes the RHS zero),

show if $$(x_1,y_1,z_1,w_1)$$ and $$(x_2,y_2,z_2,w_2)$$ satisfy x+y+sz-w = 0, then so does $$(x_1+x_2, y_1+y_2, z_1+z_2, w_1+w_2$$

10. May 2, 2007

### Neoon

May be the the trivial solution s=0

Now, lets say
If u= (x1,y1,z1,w1) is in R then x1+y1+sz1-w= s^2- 2s for some number s. If v= (x2,y2,z2,w2) is in R then x2+y2+tz2-w= t^2-2t for some number t.

if s=0 or 2 and t=0 or 2 then au+ bv= (ax1+bx2,ay1+ by2,az1+bz2,aw1+bw2) which is satisfy the equation x+y+sz-w=s^2-2s

then it is close under addition. the values of s= (0,2)

Am I reaching the answer of the problem?

R={(x,y,z,w) belongs to R^4; x+y+z-w=s^2-2s}
or
R={(x,y,z,w) belongs to R^4; x+y+sz-sw=s^2-2s}
or
R={(x,y) belongs to R^2; x+y=s^2-2s}
or
R={(x,y,z,w) belongs to R^2; x+y+sz-sw=s^2-2s} (is this statement true)

Is the answer the same ?

what about the third condition of R to be called a suspace that is R should conatin a zero vector in R^4.

?

11. May 2, 2007

### Office_Shredder

Staff Emeritus
As long as you're closed under addition and multiplication, you always have the zero vector in your set!

First, in all your examples, as long as the RHS is 0, the zero vector trivially solves it. If it doesn't though:

Suppose v belongs to your (possible) subspace. Then -1*v belongs also, because we have shown it's closed under scalar multiplication. Hence, v+(-v) is in it also. But this is the zero vector, and we're done.

And yes, all those examples you posted require s to be 0 or 2. Note though, that they aren't the same vector space.

I don't think you quite wrote enough to show it's closed under addition. You'll want to do something like this:

Suppose $$(x_1, y_1, z_1, w_1)$$ and $$(x_2, y_2, z_2, w_2)$$ satisfy $$x+y+sz-w = 0$$ since we determined $$s^2-2s = 0$$

Then we want to show $$(x_1+x_2) + (y_1+y_2) + s(z_1 + z_2) - (w_1 + w_2) = 0$$

Rearranging gives us

$$[x_1 + y_1 + sz_1 - w_1] + [x_2 + y_2 + sz_2 - w_2]$$

and what can yo usaw about the term in each pair of brackets?

12. May 2, 2007

### Neoon

each bracket is equal to zero
[x1 + y1 + sz1 - w1] + [x2 + y2 + sz2 - w2]= 0+0=[S^2-2s]+[t^2-2s]
for t=s=(0,2)

13. May 2, 2007

### Office_Shredder

Staff Emeritus
And that about sums it up.

Congratulations, you're an expert on subspaces

14. May 3, 2007

### Neoon

Thank you. I won’t be without you help. I spent last week reading on subspaces but I wasn’t able to understand it while the idea was not diffuclt.

Now, let’s add this to the problem. “Find its dimensions and provid a basis for it”

15. May 3, 2007

### Office_Shredder

Staff Emeritus
Now it depends on what value of s you have (0 or 2).

First, do you know what the definition of a basis and dimension are?

16. May 3, 2007

### Neoon

Yes I have read some books that mintion the definition of the basis and dimention.
Basis: is a linearly independent set of vectors that spans the space. My problem is with the span because for example the following three vectors
(1 (0 (0
0 1 0
0) 0) 1)
spans the vector space R^3. but I can generate a lot of vectors form these three vectors which changes the basis. I am really confused in this part.

for the dimension: it is n if and only if V has a basis containing n vectors, where V can not be zero. As I understood, I should find the basis to find the dimension.

In addition, in some examples I saw some books saying the dimension, for example, is 2 if R^2 and 4 if R^4. Does this apply also here. Can I say the dimension is 4 in our case because we have R^4? And what changes if s=0 or s=2?

17. May 3, 2007

What do you mean? The basis isn't unique; any linearly independent set that spans the space is a basis.

Yes, you should.

If you're looking at R^n, the dimension is n. If you're looking at a subspace of R^n, the dimension is less or equal to n.

18. May 3, 2007

### Neoon

You said ("Yes, you should" find the basis to find the dimension). But the question statement is as the following:" Find the dimension of the subspace and provide a basis for it", so here it is the other way around. I am really confused. Could you please clarify this point for me?

19. May 3, 2007

### Office_Shredder

Staff Emeritus
I think it's supposed to be do them simultaneously, i.e. it's not specifically telling you which to do first.

So to start, I would (though I'm sure someone here has a much more clever trick, but I don't think it's necessary for these) start by writing out the general solution to

x+y-w=0

and x+y+2z-w=0

Because (keeping in mind we have two different subspaces), any vector of the subspace where s=0 must satisfy the first, and any vector of the subspace where s=2 satisfies the second

20. May 3, 2007