Prove if set A is a subspace of R4

  • Thread starter Thread starter I Like Pi
  • Start date Start date
  • Tags Tags
    Set Subspace
AI Thread Summary
To prove that set A = {[x, 0, y, -5x] | x, y ∈ ℝ} is a subspace of R4, three conditions must be satisfied: the zero vector must be in A, the sum of any two vectors in A must also be in A, and any scalar multiple of a vector in A must remain in A. The zero vector is confirmed by setting x and y to 0. For the second condition, arbitrary vectors u and v can be expressed as u = [x1, 0, y1, -5x1] and v = [x2, 0, y2, -5x2], showing that their sum also fits the form of vectors in A. The third condition is similarly satisfied by demonstrating that multiplying an arbitrary vector by a scalar retains the necessary structure of A. Thus, A meets all criteria to be a subspace of R4.
I Like Pi
Messages
90
Reaction score
0

Homework Statement


Prove if set A is a subspace of R4, A = {[x, 0, y, -5x], x,y E ℝ}

Homework Equations


The Attempt at a Solution


Now I know for it to be in subspace it needs to satisfy 3 conditions which are:
1) zero vector is in A
2) for each vector u in A and each vector v in A, u+v is also in A
3) for each vector u in A and each scalar a in ℝ, a*vector u is also in A

Now the problem I have is proving it...

Do I need to prove the 3 conditions above by substituting values for x and y?

Example:

1) letting x and y = 0, we get a zero vector, therefore vector 0 is in A (check)
2) let vector u have x = 1, y = 2 and vector v have x = 3, y =4
u + v = [1, 0, 2, -5] + [3, 0, 4, -15] = [4, 0, 6, -20] (which is also in A; check)
3) let a = 2, and vector u having x = 1, y = 3, so 2[1, 0, 3, -5] = [2, 0, 6, -10] (which is also in A; check)

The reason I am confused is because I have seen methods where the values are multiplied by the entire vector within the set, like...

1) 0*vector u = vector 0
2) u = b_{1}u_{1}+...+b_{k}*u_{k} and
and then you would have v = c_{1}v_{1}+...+c_{k}*v_{k}, then u + v = (b_{1}+c_{1})u_{1}+...+(b_{k}+c_{k})u_{k}
3) and etc.

But the second method only applies to spans? Which can only be used if you know set A is a subspace of R4?

Anyways, any clarification would be appreciated, thanks
I Like Pi
 
Last edited:
Physics news on Phys.org
I'm confused by this part: x,y E|R}

Do you mean to say x,y \in \mathbb{R}? I assume so because we are talking about \mathbb{R}^{4}, but I just wanted to make sure.

The first condition is an existence statement; you must be able to find x and y in the reals such that the 0 vector exists. You did that by finding values for x and y.

The next two conditions are universal statements. They mean for ALL vectors u,v in A, _______ ; for all vectors u in A and scalars c in the reals, ____________.

So what you do for 2 is take two arbitrary vectors u and v, and add them together to show they are still in the set. When you take arbitrary vectors, you don't assign specific values to the components, you assign variables (different variables for each vector, the vectors can possibly be different from each other!).

For 3 you take an arbitrary vector u and multiply it by an arbitrary constant c and argue that the new vector is still in your set.

Can you try it now?
 
I Like Pi said:

Homework Statement


A = {[x, 0, y, -5x], x,y E|R}

Homework Equations





The Attempt at a Solution


Now I know for it to be in subspace it needs to satisfy 3 conditions which are:
1) zero vector is in A
2) for each vector u in A and each vector v in A, u+v is also in A
3) for each vector u in A and each scalar a in |R, a*vector u is also in A

Now the problem I have is proving it...

Do I need to prove the above 3 by changing the x and y variables?
I don't understand what you're asking.
I Like Pi said:
Example:

1) letting x and y = 0, we get a zero vector, therefore vector 0 is in A (check)
2) let vector u have x = 1, y = 2 and vector v have x = 3, y =4
u + v = [1, 0, 2, -5] + [3, 0, 4, -15] = [4, 0, 6, -20] (which is also in A; check)
3) let a = 2, and vector u having x = 1, y = 3, so 2[1, 0, 3, -5] = [2, 0, 6, -10] (which is also in A; check)
You can't prove parts 2 and 3 like this. These conditions have to hold for any arbitrary vectors u and v in A.

Two such arbitrary vectors are u = <x1, 0, y1, -5x1> and v = <x2, 0, y2, -5x2>.

Now show that u + v is also in A.

For the 3rd condition the proof is similar.
I Like Pi said:
The reason I am confused is because I have seen methods where the values are multiplied by the entire vector within the set, like...

1) 0*vector u = vector 0
2) u = b_{1}u_{1}+...+b_{k}*u_{k} and
and then you would have v = c_{1}v_{1}+...+c_{k}*v_{k}, then u + v = (b_{1}+c_{1})u_{1}+...+(b_{k}+c_{k})u_{k}
3) and etc.

But the second method only applies to spans? Which can only be used if you know set A is a subspace of R4?

Anyways, any clarification would be appreciated, thanks
I Like Pi
 
I edited the above post to reflect your concerns and thanks guys! I understand what you mean, so, how about this for the first one:

let A1 = [x1, 0, y1, -5x1] and A2 = [x2, 0, y2, -5x2]
for b, c, E R
bA1+cA2 = b[x1, 0, y1, -5x1]+c[x2, 0, y2, -5x2] = [bx1+cx2,0,by1+cy2,-5bx1-5cx2] = [bx1+cx2,0,by1+cy2,-5(bx1+cx2)], where x = bx1+cx2 and y = by1+cy2For the third condition, I'm still stuck on...

Thanks!
 
Last edited:
I Like Pi said:
I edited the above post to reflect your concerns and thanks guys! I understand what you mean, so, how about this:

For the third condition, I'd get c<x, 0, y, -5x> giving me <cx, 0, cy, -5cx> which is just c times larger than the initial (implying it is in set A)?

I'm sorry for the lack of precise explanations, I'm having a hard time wrapping my mind around what is asked...

Thanks!

You need to state why exactly this is (a little bit more precise than what you've stated). Hint: What were the conditions for x and y in the original vector?
 
I Like Pi said:
I edited the above post to reflect your concerns and thanks guys! I understand what you mean, so, how about this for the first one:

let A1 = [x1, 0, y1, -5x1] and A2 = [x2, 0, y2, -5x2]
for b, c, E R
bA1+cA2 = b[x1, 0, y1, -5x1]+c[x2, 0, y2, -5x2] = [bx1+cx2,0,by1+cy2,-5bx1-5cx2] = [bx1+cx2,0,by1+cy2,-5(bx1+cx2)], where x = bx1+cx2 and y = by1+cy2


For the third condition, I'm still stuck on...

Thanks!

Hmm. Not quite.For part b) follow Mark44's advice:

Mark44 said:
Two such arbitrary vectors are u = <x1, 0, y1, -5x1> and v = <x2, 0, y2, -5x2>.

Now show that u + v is also in A.

(you don't multiply those arbitrary vectors by a constant)
 
scurty said:
(you don't multiply those arbitrary vectors by a constant)

ahhh, rightt, I don't know what I had in mind... it'd be <x1+x2, 0, y1+y2, -5(x1+x2)> where x = x1+x2 and y = y1+y2!

Now for part 3, would it be...
For b, E R

b<x1,0,y1,-5x1> = <(bx1),0,(by1), -5(bx1)>, where x = bx1 and y = by1??

Thanks guys!
 
I Like Pi said:
ahhh, rightt, I don't know what I had in mind... it'd be <x1+x2, 0, y1+y2, -5(x1+x2)> where x = x1+x2 and y = y1+y2!

Now for part 3, would it be...
For b, E R

b<x1,0,y1,-5x1> = <(bx1),0,(by1), -5(bx1)>, where x = bx1 and y = by1??

Thanks guys!

Almost finished, but not quite. You need to explain why <x1+x2, 0, y1+y2, -5(x1+x2)> is a vector in \mathbb{R}^{4}. What specific conditions must be met for x_1 + x_2 \ \text{and} \ y_1 + y_2?

Similarly you need to explain part c as well.
 
scurty said:
You need to explain why <x1+x2, 0, y1+y2, -5(x1+x2)> is a vector in \mathbb{R}^{4}. What specific conditions must be met for x_1 + x_2 \ \text{and} \ y_1 + y_2?

Similarly you need to explain part c as well.

I don't get what you mean by specific conditions? x1+x2 make up x, for example? Since x can be an value of R, doesn't that apply to x1 and x2? I'm sorry, I haven't gone into much detail with subspaces but the very basics...

Thanks scurty
 
  • #10
You're right on the edge. I think the reason why it's oblivious to you is because it seems almost common sense! Here is what your set A is:

A = \{[x, 0, y, -5x],\ x,y \in \mathbb{R}\}

So, what conditions must x and y satisfy to be in the set A? Likewise, x_1 + x_2 \ \text{and} \ y_1 + y_2 must also satisfy these conditions (all you have to do is show why they satisfy these conditions and you are done). And the same for part 3.
 
  • #11
Wait, x1+x2, x1,x2 E R? haha
 
  • #12
Yep! Now you just need to write it up nicely and you're good!
 
  • #13
Haha, thanks so much! It's funny how when you do something complicated, you become oblivious to the obvious!
 
  • #14
No problem! Yeah, I miss the obvious a lot too. :/
 
  • #15
scurty said:
Almost finished, but not quite. You need to explain why <x1+x2, 0, y1+y2, -5(x1+x2)> is a vector in \mathbb{R}^{4}.
No, he needs to explain why this vector is in A. The vector is obviously in R4.
scurty said:
What specific conditions must be met for x_1 + x_2 \ \text{and} \ y_1 + y_2?

Similarly you need to explain part c as well.
 
  • #16
scurty said:
You're right on the edge. I think the reason why it's oblivious to you is because it seems almost common sense! Here is what your set A is:

A = \{[x, 0, y, -5x],\ x,y \in \mathbb{R}\}

So, what conditions must x and y satisfy to be in the set A?
Hold on here a minute. The only restriction on x and y is that each needs to be real.

If you mean that x and y are vectors in set A, that causes confusion with how the set is defined. That's why my arbitrary vectors were u and v.

In any case a vector v in R4 is set A if and only if 1) its 2nd coordinate is 0, and 2) its 4th coordinate is -5 times its first coordinate. The 1st and 3rd coordinates are entirely arbitrary.
scurty said:
Likewise, x_1 + x_2 \ \text{and} \ y_1 + y_2 must also satisfy these conditions (all you have to do is show why they satisfy these conditions and you are done). And the same for part 3.
 
  • #17
Mark44 said:
Hold on here a minute. The only restriction on x and y is that each needs to be real.

If you mean that x and y are vectors in set A, that causes confusion with how the set is defined. That's why my arbitrary vectors were u and v.

In any case a vector v in R4 is set A if and only if 1) its 2nd coordinate is 0, and 2) its 4th coordinate is -5 times its first coordinate. The 1st and 3rd coordinates are entirely arbitrary.

Maybe I was just describing what I meant wrong. He found adding u and v together to be <x1+x2, 0, y1+y2, -5(x1+x2)>. I was just suggesting that he show x_1 + x_2, \ y_1 + y_2 \in \mathbb{R} which would then satisfy the new vector being in the set A. Was I suggesting for him to show superfluous information?

In your post above I meant showing the vector was in A, not \mathbb{R}^4, sorry about that.
 
  • #18
scurty said:
Maybe I was just describing what I meant wrong. He found adding u and v together to be <x1+x2, 0, y1+y2, -5(x1+x2)>. I was just suggesting that he show x_1 + x_2, \ y_1 + y_2 \in \mathbb{R} which would then satisfy the new vector being in the set A. Was I suggesting for him to show superfluous information?
Yes, IMO. x1, x2, y1, and y2 are reals, so of course if you add any two of them you get a real. That's not germane to the discussion, I don't believe.

What is important is the realization that the coordinates of u + v follow the same pattern as every other vector in A; namely, that the 2nd coordinate is 0, and the 4th coordinate is -5 times the first coordinate.
scurty said:
In your post above I meant showing the vector was in A, not \mathbb{R}^4, sorry about that.
 
Back
Top